Uses of Class
org.jmlspecs.checker.JmlName

Packages that use JmlName

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 JmlName in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as JmlName

protected JmlName[]	JmlMethodName.subnames The name of the method as given in the source code.
protected JmlName	JmlMethodName.methodName
private JmlName[]	JmlStoreRefExpression.names The initial name and name suffixes of this store-ref-expression.

Methods in org.jmlspecs.checker that return JmlName

JmlName[]	JmlMethodName.subnames() Returns the subname part of this method name.
JmlName	JmlName.typecheck(CExpressionContextType context) Typechecks the store reference and mutates the context to record information gathered during typechecking.
JmlName[]	JmlStoreRefExpression.names()
JmlName	JmlParser.jmlSpecArrayRefExpr(TokenReference sourceRef)
JmlName	JmlParser.jmlStoreRefNameSuffix()

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

void	JmlAbstractVisitor.visitJmlName(JmlName self)
abstract void	JmlVisitor.visitJmlName(JmlName self)
void	JmlVisitorNI.visitJmlName(JmlName self)

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

JmlMethodName(TokenReference where, JmlName[] subnames, CType[] paramDisambigList)

JmlStoreRefExpression(TokenReference where, JmlName[] names)

Uses of JmlName in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlName(JmlName self)
void	SpecWriter.visitJmlNameHelper(JmlName self, boolean addDot)

Uses of JmlName in org.jmlspecs.jmlrac

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

private String	LocalConstraintMethod.simpleName(JmlName[] subnames) Returns a simplied method name of the given JML names, that can be compared with the method name given as a parameter of the constraint check method.
void	RacPrettyPrinter.visitJmlName(JmlName self) Prints a JML name.