Uses of Class
org.jmlspecs.checker.JmlMemberAccess

Packages that use JmlMemberAccess

org.jmlspecs.checker

Contains the source code for a parser and typechecker for JML annotations and java code.

Uses of JmlMemberAccess in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as JmlMemberAccess

private JmlMemberAccess	JmlTypeDeclaration.jmlAccess
private JmlMemberAccess	JmlBinaryMember.jmlAccess

Methods in org.jmlspecs.checker that return JmlMemberAccess

JmlMemberAccess	JmlSourceClass.jmlAccess()
abstract JmlMemberAccess	JmlMemberDeclaration.jmlAccess()
JmlMemberAccess	JmlTypeDeclaration.jmlAccess()
JmlMemberAccess	JmlMethodDeclaration.jmlAccess()
JmlMemberAccess	JmlFieldDeclaration.jmlAccess()
JmlMemberAccess	JmlSourceMethod.jmlAccess()
JmlMemberAccess	JmlBinaryMember.jmlAccess()
JmlMemberAccess	JmlSourceField.jmlAccess()
private static JmlMemberAccess	JmlSigBinaryField.createMemberAccess(CClass owner, org.jmlspecs.util.classfile.JmlFieldInfo fieldInfo) Creates a JML member access for the given JML field info object fieldInfo.
private static JmlMemberAccess	JmlSigBinaryMethod.createMemberAccess(CClass owner, org.jmlspecs.util.classfile.JmlMethodInfo methodInfo) Creates a JML member access for the given JML method info object methodInfo.

Constructors in org.jmlspecs.checker with parameters of type JmlMemberAccess

JmlSourceField(JmlMemberAccess access, String ident, CType type, boolean deprecated)
Constructs a field export