Uses of Class
org.jmlspecs.checker.JmlMethodName

Packages that use JmlMethodName

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.

Uses of JmlMethodName in org.jmlspecs.checker

Subclasses of JmlMethodName in org.jmlspecs.checker

class

JmlConstructorName This AST node represents a constructor in a JML annotation.

Fields in org.jmlspecs.checker declared as JmlMethodName

private JmlMethodName[]

JmlMethodNameList.methodNames

Methods in org.jmlspecs.checker that return JmlMethodName

JmlMethodName[]	JmlMethodNameList.methodNameList()
JmlMethodName	JmlParser.jmlMethodName()
private JmlMethodName[]	TestJmlParser.methodNamesFrom(JmlCompilationUnit unit)

Methods in org.jmlspecs.checker with parameters of type JmlMethodName

void	JmlAbstractVisitor.visitJmlMethodName(JmlMethodName self)
abstract void	JmlVisitor.visitJmlMethodName(JmlMethodName self)
void	JmlVisitorNI.visitJmlMethodName(JmlMethodName self)

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

JmlMethodNameList(TokenReference where, JmlMethodName[] methodNames)

Uses of JmlMethodName in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JmlMethodName

void	SpecWriter.visitJmlMethodName(JmlMethodName self)

Uses of JmlMethodName in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as JmlMethodName

private JmlMethodName[]

LocalConstraintMethod.names The names of methods to which the generated constraint check method is applicable; it is null if the constraint is applicable to all methods.

Methods in org.jmlspecs.jmlrac with parameters of type JmlMethodName

private RacNode	LocalConstraintMethod.isApplicable(JmlMethodName[] names) Returns code that tests if the given JML method name, name, is applicable to the method name given as a parameter (rac$name and rac$params) to the constraint check method.
private String	LocalConstraintMethod.isApplicable(JmlMethodName name, String var) Returns code that tests if the given JML method name, name, is applicable to the method name given as a parameter (rac$name and rac$params) to the constraint check method.
private String	LocalConstraintMethod.nameMatched(JmlMethodName name, String var) Returns code that compares the given JML method name, name, with the method name given as a parameter (rac$name) to the constraint check method.
private String	LocalConstraintMethod.paramMatched(JmlMethodName name, String var) Returns code that compares the foraml parameter types of the given JML method, name, with those of the constraint check method.
void	RacPrettyPrinter.visitJmlMethodName(JmlMethodName self) Prints a JML method name.
private RacNode	TransConstraint.constraintMethod(boolean forStatic, int cnt, JExpression pred, JmlMethodName[] names) Returns a constraint check method that checks the given predicate, pred as a hisotry constraint.

Constructors in org.jmlspecs.jmlrac with parameters of type JmlMethodName

LocalConstraintMethod(VarGenerator varGen, boolean isStatic, JmlTypeDeclaration typeDecl, JmlMethodName[] names, int suffix)
Construct a new instance.