|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use TokenReference | |
| org.jmlspecs.checker | Contains the source code for a parser and typechecker for JML annotations and java code. |
| org.jmlspecs.jmlrac | Generates Java classes from JML specifications that check assertions at runtime. |
| org.jmlspecs.jmlrac.qexpr | Translates JML quantified expressions into Java source code to evaluate them at runtime. |
| org.multijava.mjc | Implements mjc, a MultiJava compiler. |
| org.multijava.util.compiler | Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language. |
| Uses of TokenReference in org.jmlspecs.checker |
| Methods in org.jmlspecs.checker that return TokenReference | |
TokenReference |
JmlFlowControlContext.getTokenReference()
|
| Methods in org.jmlspecs.checker with parameters of type TokenReference | |
static boolean |
Main.isSpecOrJmlMode(TokenReference t)
|
static JmlClassDeclaration |
JmlClassDeclaration.makeInstance(TokenReference where,
long modifiers,
String ident,
CTypeVariable[] typevariables,
CClassType superType,
boolean isWeakSubtype,
CClassType[] interfaces,
boolean[] interfaceWeaklyFlags,
ArrayList methods,
ArrayList inners,
JPhylum[] fieldsAndInits,
JmlInvariant[] invariants,
JmlConstraint[] constraints,
JmlRepresentsDecl[] representsDecls,
JmlAxiom[] axioms,
JmlVarAssertion[] varAssertions,
JavadocComment javadoc,
JavaStyleComment[] comment,
boolean isRefinedType)
Constructs a class declaration in the parsing tree. |
static JmlMethodDeclaration |
JmlMethodDeclaration.makeInstance(TokenReference where,
long modifiers,
CTypeVariable[] typevariables,
CType returnType,
String ident,
JFormalParameter[] parameters,
CClassType[] exceptions,
JBlock body,
JavadocComment javadoc,
JavaStyleComment[] comments,
JmlMethodSpecification methodSpecification)
|
static JmlConstructorDeclaration |
JmlConstructorDeclaration.makeInstance(TokenReference where,
long modifiers,
String ident,
JFormalParameter[] params,
CClassType[] exceptions,
JConstructorBlock body,
JavadocComment javadoc,
JavaStyleComment[] comments,
JmlMethodSpecification methodSpecification)
|
static JmlFieldDeclaration |
JmlFieldDeclaration.makeInstance(TokenReference where,
JVariableDefinition var,
JavadocComment javadoc,
JavaStyleComment[] comment,
JmlVarAssertion[] varAssertions,
JmlDataGroupAccumulator dataGroups)
|
static JmlInformalExpression |
JmlInformalExpression.ofBoolean(TokenReference where,
String text)
Returns a new informal description of type boolean. |
static JmlInformalExpression |
JmlInformalExpression.ofInteger(TokenReference where,
String text)
Returns a new informal description of type int. |
static JmlInterfaceDeclaration |
JmlInterfaceDeclaration.makeInstance(TokenReference where,
long modifiers,
String ident,
CTypeVariable[] typevariables,
CClassType[] interfaces,
boolean[] interfaceWeaklyFlags,
ArrayList methods,
ArrayList inners,
JPhylum[] fieldsAndInits,
JmlInvariant[] invariants,
JmlConstraint[] constraints,
JmlRepresentsDecl[] representsDecls,
JmlAxiom[] axioms,
JmlVarAssertion[] varAssertions,
JavadocComment javadoc,
JavaStyleComment[] comment,
boolean isRefinedType)
Constructs an interface declaration in the parsing tree. |
static JmlBinaryType |
JmlRefinePrefix.buildBinaryType(TokenReference where,
String prefix)
|
JExpression |
JmlContext.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
static JExpression[] |
JmlBinaryArithmeticExpressionHelper.typecheck(JExpression left,
JExpression right,
TokenReference where,
CExpressionContextType context)
Typechecks the expression and mutates the context to record information gathered during typechecking. |
JExpression |
JmlClassContext.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
JExpression |
JmlCompilationUnitContext.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
void |
JmlMethodContext.verifyExceptions(TokenReference ref)
Verifies that all checked exceptions are defined in the throw list. |
CFlowControlContextType |
JmlMethodContext.createFlowControlContext(int localVars,
TokenReference where)
|
CFlowControlContextType |
JmlMethodContext.createFlowControlContext(int localVars,
boolean isInExternalGF,
TokenReference where)
|
void |
JmlConstructorContext.verifyExceptions(TokenReference ref)
Verifies that all checked exceptions are defined in the throw list. |
private void |
JmlExpressionChecker.check(boolean cond,
TokenReference tref,
MessageDescription msg,
Object obj1,
Object obj2)
Checks if the condition, cond is true. |
private void |
JmlExpressionChecker.check(boolean cond,
TokenReference tref,
MessageDescription msg,
Object[] obj)
|
private void |
JmlExpressionChecker.check(boolean cond,
TokenReference tref,
MessageDescription msg,
Object obj1)
Checks if the condition, cond is true. |
private void |
JmlExpressionChecker.check(boolean cond,
TokenReference tref,
MessageDescription msg)
Checks if the condition, cond is true. |
private void |
JmlExpressionChecker.warnPureness(int cond,
TokenReference tref,
Object obj)
Produce a caution message about method pureness if the argument, cond, is -1. |
private void |
JmlExpressionChecker.checkType(CType type,
TokenReference ref)
Checks the visibility of the given type, type. |
private void |
JmlExpressionChecker.checkTypeHelper(CClass clazz,
TokenReference ref)
Checks the visibility of the given class, clazz. |
JUnaryExpression |
JmlExpressionFactory.createUnaryExpression(antlr.Token op,
TokenReference where,
int oper,
JExpression expr)
|
JAddExpression |
JmlExpressionFactory.createAddExpression(antlr.Token tok,
TokenReference where,
JExpression left,
JExpression right)
|
JMinusExpression |
JmlExpressionFactory.createMinusExpression(antlr.Token tok,
TokenReference where,
JExpression left,
JExpression right)
|
JMultExpression |
JmlExpressionFactory.createMultExpression(antlr.Token op,
TokenReference where,
JExpression left,
JExpression right)
|
JDivideExpression |
JmlExpressionFactory.createDivideExpression(antlr.Token op,
TokenReference where,
JExpression left,
JExpression right)
|
CFlowControlContextType |
JmlFlowControlContext.createFlowControlContext(TokenReference where)
|
CFlowControlContextType |
JmlFlowControlContext.createFlowControlContext(int params,
TokenReference where)
|
CTryContext |
JmlFlowControlContext.createTryContext(TokenReference where)
|
CFlowControlContextType |
JmlFlowControlContext.createFinallyContext(CFlowControlContextType tryContext,
TokenReference where)
|
CFlowControlContextType[] |
JmlFlowControlContext.createParallelContexts(int count,
TokenReference where)
Creates a set of child contexts for typechecking parallel control flows. |
CType |
JmlParser.jValueSpecializer(CType type,
TokenReference sourceRef)
|
JmlName |
JmlParser.jmlSpecArrayRefExpr(TokenReference sourceRef)
|
JmlSpecQuantifiedExpression |
JmlParser.jmlSpecQuantifiedExprRest(TokenReference sourceRef)
|
JExpression |
JmlParser.jParenthesizedExpressionRest(TokenReference sourceRef)
|
| Constructors in org.jmlspecs.checker with parameters of type TokenReference | |
JmlNode(TokenReference where)
|
|
JmlDeclaration(TokenReference where,
long modifiers,
boolean redundantly)
Creates a new JmlDeclaration instance. |
|
JmlSourceClass(Main compiler,
CClass owner,
CMemberHost host,
TokenReference where,
long modifiers,
String ident,
String qualifiedName,
CTypeVariable[] typevariables,
boolean isAnonymous,
boolean isMember,
boolean deprecated)
Constructs a class export from source |
|
JmlFormalParameter(TokenReference where,
long modifiers,
int desc,
CSpecializedType type,
String ident)
Constructs a formal parameter node in the parsing tree. |
|
JmlInvariant(TokenReference where,
long modifiers,
boolean redundantly,
JmlPredicate predicate)
Construct an invariant annotation AST. |
|
JmlConstraint(TokenReference where,
long modifiers,
boolean redundantly,
JmlPredicate predicate,
JmlMethodNameList methodNames)
Creates a new JmlConstraint instance. |
|
JmlRepresentsDecl(TokenReference where,
long modifiers,
boolean redundantly,
JmlStoreRefExpression storeRef,
JmlSpecExpression specExpression)
Creates a new JmlRepresentsDecl instance. |
|
JmlRepresentsDecl(TokenReference where,
long modifiers,
boolean redundantly,
JmlStoreRefExpression storeRef,
JmlPredicate predicate)
Creates a new JmlRepresentsDecl instance. |
|
JmlAxiom(TokenReference where,
JmlPredicate predicate)
|
|
JmlVarAssertion(TokenReference where,
long modifiers)
|
|
JClassDeclarationWrapper(TokenReference where,
long modifiers,
String ident,
CClassType superType,
CClassType[] interfaces,
ArrayList methods,
ArrayList inners,
JPhylum[] fieldsAndInits,
JavadocComment javadoc,
JavaStyleComment[] comments)
Constructs a class declaration in the parsing tree. |
|
JClassDeclarationWrapper(TokenReference where,
long modifiers,
String ident,
CTypeVariable[] typevariables,
CClassType superType,
CClassType[] interfaces,
ArrayList methods,
ArrayList inners,
JPhylum[] fieldsAndInits,
JavadocComment javadoc,
JavaStyleComment[] comments,
boolean isRefinedType)
Constructs a class declaration in the parsing tree. |
|
JConstructorBlockWrapper(TokenReference where,
JStatement[] body)
Construct a node in the parsing tree. |
|
JConstructorDeclarationWrapper(TokenReference where,
long modifiers,
String ident,
JFormalParameter[] parameters,
CClassType[] exceptions,
JConstructorBlock body,
JavadocComment javadoc,
JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser |
|
JFieldDeclarationWrapper(TokenReference where,
JVariableDefinition variable,
JavadocComment javadoc,
JavaStyleComment[] comments)
Constructs a node in the parsing tree. |
|
JInterfaceDeclarationWrapper(TokenReference where,
long modifiers,
String ident,
CTypeVariable[] typevariables,
CClassType[] interfaces,
ArrayList methods,
ArrayList inners,
JPhylum[] fieldsAndInits,
JavadocComment javadoc,
JavaStyleComment[] comments,
boolean isRefinedType)
Constructs an interface declaration in the parsing tree. |
|
JMethodDeclarationWrapper(TokenReference where,
long modifiers,
CTypeVariable[] typevariables,
CType returnType,
String ident,
JFormalParameter[] parameters,
CClassType[] exceptions,
JBlock body,
JavadocComment javadoc,
JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser |
|
JmlSpecBody(TokenReference where)
|
|
JmlSpecBodyClause(TokenReference where,
boolean isRedundantly)
|
|
JmlSpecCase(TokenReference where)
|
|
JmlGeneralSpecCase(TokenReference where,
JmlSpecVarDecl[] specVarDecls,
JmlRequiresClause[] specHeader,
JmlSpecBody specBody)
Creates a new JmlGeneralSpecCase instance. |
|
JmlAbruptSpecCase(TokenReference sourceRef,
JmlSpecVarDecl[] specVarDecls,
JmlRequiresClause[] specHeader,
JmlAbruptSpecBody abruptSpecBody)
|
|
JmlSpecVarDecl(TokenReference where)
|
|
JmlPredicateClause(TokenReference where,
boolean isRedundantly,
JmlPredicate predOrNot)
|
|
JmlRequiresClause(TokenReference where,
boolean isRedundantly,
JmlPredicate predOrNot)
|
|
JmlAccessibleClause(TokenReference where,
boolean isRedundantly,
JmlStoreRef[] storeRefs)
|
|
JStatementWrapper(TokenReference where,
JavaStyleComment[] comments)
Construct a node in the parsing tree |
|
JmlAssertOrAssumeStatement(TokenReference where,
boolean isRedundantly,
JmlPredicate predicate,
JExpression throwMessage,
JavaStyleComment[] comments)
|
|
JmlAssertStatement(TokenReference where,
boolean isRedundantly,
JmlPredicate predicate,
JExpression throwMessage,
JavaStyleComment[] comments)
|
|
JmlAssignableClause(TokenReference where,
boolean isRedundantly,
JmlStoreRef[] storeRefs)
|
|
JmlAssumeStatement(TokenReference where,
boolean isRedundantly,
JmlPredicate predicate,
JExpression throwMessage,
JavaStyleComment[] comments)
|
|
JmlHeavyweightSpec(TokenReference where,
long privacy,
JmlGeneralSpecCase specCase)
|
|
JmlBehaviorSpec(TokenReference where,
long privacy,
JmlGeneralSpecCase specCase)
|
|
JmlSpecStatementClause(TokenReference where,
boolean isRedundantly,
JmlPredicate predOrNot,
boolean isNotSpecified)
|
|
JmlLabeled(TokenReference where,
boolean isRedundantly,
String label,
JmlPredicate predOrNot,
boolean isNotSpecified)
|
|
JmlBreaksClause(TokenReference where,
boolean isRedundantly,
String label,
JmlPredicate predOrNot,
boolean isNotSpecified)
|
|
JmlCallableClause(TokenReference where,
boolean isRedundantly,
JmlMethodNameList methodNames)
|
|
JmlCapturesClause(TokenReference where,
boolean isRedundantly,
JmlStoreRef[] storeRefs)
|
|
JmlClassBlock(TokenReference where,
boolean isStatic,
JavadocComment javadoc,
JmlMethodSpecification methodSpecification)
Constructs an initializer specification AST node. |
|
JmlClassBlock(TokenReference where,
boolean isStatic,
JStatement[] body,
JavadocComment javadoc,
JmlMethodSpecification methodSpecification)
Constructs an initializer AST node annotated with a method specification. |
|
JmlMemberDeclaration(TokenReference where,
JMemberDeclaration delegee)
|
|
JmlTypeDeclaration(TokenReference where,
boolean[] interfaceWeaklyFlags,
JmlInvariant[] invariants,
JmlConstraint[] constraints,
JmlRepresentsDecl[] representsDecls,
JmlAxiom[] axioms,
JmlVarAssertion[] varAssertions,
JTypeDeclaration delegee)
|
|
JmlClassDeclaration(TokenReference where,
boolean isWeakSubtype,
boolean[] interfaceWeaklyFlags,
JmlInvariant[] invariants,
JmlConstraint[] constraints,
JmlRepresentsDecl[] representsDecls,
JmlAxiom[] axioms,
JmlVarAssertion[] varAssertions,
JClassDeclarationWrapper delegee)
Constructs a new JML class declaration; clients should use factory method makeInstance instead. |
|
JmlClassOrGFImport(TokenReference where,
String name,
JavaStyleComment[] comments,
boolean isModel)
Constructs an AST node for a class or external member import statement. |
|
JmlCompilationUnit(TokenReference where,
JPackageName packageName,
CCompilationUnit export,
JPackageImportType[] importedPackages,
ArrayList importedUnits,
JTypeDeclarationType[] typeDeclarations,
ArrayList tlMethods,
JmlRefinePrefix refinePrefix)
Constructs a CompilationUnit with the specified top level context |
|
JmlCodeContract(TokenReference where)
|
|
JmlCodeContract(TokenReference where,
long privacy,
JmlAccessibleClause[] accessibleClauses,
JmlCallableClause[] callableClauses,
JmlMeasuredClause[] measuredClauses)
|
|
JmlMethodDeclaration(TokenReference where,
JmlMethodSpecification methodSpecification,
JMethodDeclaration delegee)
|
|
JmlConstructorDeclaration(TokenReference where,
JmlMethodSpecification methodSpecification,
JConstructorDeclaration delegee)
|
|
JmlMethodName(TokenReference where,
JmlName[] subnames,
CType[] paramDisambigList)
|
|
JmlMethodName(TokenReference where,
CType[] paramDisambigList)
|
|
JmlConstructorName(TokenReference where,
CType ownerType,
CType[] paramDisambigList)
|
|
JmlContinuesClause(TokenReference where,
boolean isRedundantly,
String label,
JmlPredicate predOrNot,
boolean isNotSpecified)
|
|
JmlDebugStatement(TokenReference where,
JExpression expression,
JavaStyleComment[] comments)
|
|
JmlDivergesClause(TokenReference where,
boolean isRedundantly,
JmlPredicate predOrNot)
|
|
JmlDurationClause(TokenReference where,
boolean isRedundantly,
JmlSpecExpression specExp,
JmlPredicate pred)
|
|
JmlExpression(TokenReference where)
|
|
JmlQuotedExpressionWrapper(TokenReference where,
JExpression expression)
|
|
JmlDurationExpression(TokenReference where,
JExpression expression)
|
|
JmlSpecExpressionWrapper(TokenReference where,
JmlSpecExpression specExpression)
|
|
JmlElemTypeExpression(TokenReference where,
JmlSpecExpression specExpression)
|
|
JmlEnsuresClause(TokenReference where,
boolean isRedundantly,
JmlPredicate predOrNot)
|
|
JmlExample(TokenReference where,
long privacy,
JmlSpecVarDecl[] specVarDecls,
JmlRequiresClause[] specHeader,
JmlSpecBodyClause[] specBody)
Constructs a new instance with given arguments. |
|
JmlExample(TokenReference where,
JmlSpecVarDecl[] specVarDecls,
JmlRequiresClause[] specHeader,
JmlSpecBodyClause[] specBody)
Constructs a new instance with given arguments. |
|
JmlExceptionalBehaviorSpec(TokenReference where,
long privacy,
JmlGeneralSpecCase specCase)
|
|
JmlExceptionalExample(TokenReference where,
long privacy,
JmlSpecVarDecl[] specVarDecls,
JmlRequiresClause[] specHeader,
JmlSpecBodyClause[] specClauses)
Constructs a new instance with given arguments. |
|
JmlExceptionalSpecCase(TokenReference sourceRef,
JmlSpecVarDecl[] specVarDecls,
JmlRequiresClause[] specHeader,
JmlExceptionalSpecBody exceptionalSpecBody)
|
|
JmlMethodSpecification(TokenReference where)
|
|
JmlMethodSpecification(TokenReference where,
JmlRedundantSpec redundantSpec)
|
|
JmlSpecification(TokenReference where,
JmlSpecCase[] specCases,
JmlRedundantSpec redundantSpec)
|
|
JmlSpecification(TokenReference where,
JmlRedundantSpec redundantSpec)
|
|
JmlExtendingSpecification(TokenReference where,
JmlSpecCase[] specCases,
JmlRedundantSpec redundantSpec)
|
|
JmlFieldDeclaration(TokenReference where,
JmlVarAssertion[] varAssertions,
JmlDataGroupAccumulator dataGroups,
JFieldDeclaration delegee)
|
|
JmlForAllVarDecl(TokenReference where,
JVariableDefinition[] quantifiedVarDecls)
|
|
JmlFreshExpression(TokenReference where,
JmlSpecExpression[] specExpressionList)
|
|
JmlGenericSpecCase(TokenReference sourceRef,
JmlSpecVarDecl[] specVarDecls,
JmlRequiresClause[] specHeader,
JmlGenericSpecBody genericSpecBody)
|
|
JmlGuardedStatement(TokenReference where,
JmlAssumeStatement assumeStatement,
JStatement[] statements)
|
|
JmlHenceByStatement(TokenReference where,
boolean isRedundantly,
JmlPredicate predicate,
JavaStyleComment[] comments)
|
|
JmlDataGroupClause(TokenReference where,
boolean redundantly,
JmlStoreRefExpression[] groupList)
|
|
JmlInGroupClause(TokenReference where,
boolean redundantly,
JmlStoreRefExpression[] groupList)
|
|
JmlInformalExpression(TokenReference where,
String text)
Constructs an instance. |
|
JmlInformalExpression(TokenReference where,
String text,
boolean isBoolean)
Constructs an instance. |
|
JmlStoreRef(TokenReference where)
|
|
JmlInformalStoreRef(TokenReference where,
String text)
|
|
JmlInitiallyVarAssertion(TokenReference where,
long modifiers,
JmlPredicate predicate)
|
|
JmlInterfaceDeclaration(TokenReference where,
boolean[] interfaceWeaklyFlags,
JmlInvariant[] invariants,
JmlConstraint[] constraints,
JmlRepresentsDecl[] representsDecls,
JmlAxiom[] axioms,
JmlVarAssertion[] varAssertions,
JInterfaceDeclarationWrapper delegee)
Constructs a new JML interface declaration; clients should use factory method makeInstance instead. |
|
JmlInvariantForExpression(TokenReference where,
JmlSpecExpression specExpression)
|
|
JmlModelProgStatement(TokenReference where,
JavaStyleComment[] comments)
|
|
JmlInvariantStatement(TokenReference where,
boolean isRedundantly,
JmlPredicate predicate,
JavaStyleComment[] comments)
|
|
JmlIsInitializedExpression(TokenReference where,
CType referenceType)
|
|
JmlLabelExpression(TokenReference where,
boolean isPosLabel,
String ident,
JmlSpecExpression specExpression)
|
|
JmlLetVarDecl(TokenReference where,
JVariableDefinition[] specVariableDeclarators)
|
|
JmlLockSetExpression(TokenReference where)
|
|
JmlLoopSpecification(TokenReference where,
boolean isRedundantly)
|
|
JmlLoopInvariant(TokenReference where,
boolean isRedundantly,
JmlPredicate predicate)
|
|
JmlLoopStatement(TokenReference where,
JmlLoopInvariant[] loopInvariants,
JmlVariantFunction[] variantFunctions,
JStatement stmt,
JavaStyleComment[] comments)
Constructs a new instance with the given arguments. |
|
JmlMapsIntoClause(TokenReference where,
boolean redundantly,
String fieldId,
JmlStoreRefExpression memberRef,
JmlStoreRefExpression[] groupList)
|
|
JmlMaxExpression(TokenReference where,
JExpression expression)
|
|
JmlMeasuredClause(TokenReference where,
boolean isRedundantly,
JmlSpecExpression specExp,
JmlPredicate pred)
|
|
JmlMethodNameList(TokenReference where,
JmlMethodName[] methodNames)
|
|
JmlMethodNameList(TokenReference where,
JmlStoreRefKeyword storeRefKeyword)
|
|
JmlModelProgram(TokenReference where,
long modifiers,
JStatement[] statements)
|
|
JmlMonitorsForVarAssertion(TokenReference where,
long modifiers,
JNameExpression fieldName,
JmlSpecExpression[] specExpressionList)
|
|
JmlName(TokenReference where,
String ident)
Construct an ident sort of name or name-suffix. |
|
JmlName(TokenReference where,
int sort)
Construct a super, this, or
\other sort of name, or a [*] sort of
store-ref-name-suffix. |
|
JmlName(TokenReference where,
JmlSpecExpression start)
Construct a [ spec-expression ] sort of
store-ref-name-suffix. |
|
JmlName(TokenReference where,
JmlSpecExpression start,
JmlSpecExpression end)
Construct a an index-range suffix. |
|
JmlNonNullElementsExpression(TokenReference where,
JmlSpecExpression specExpression)
|
|
JmlNondetChoiceStatement(TokenReference where,
JBlock[] alternativeStatements,
JavaStyleComment[] comments)
|
|
JmlNondetIfStatement(TokenReference where,
JmlGuardedStatement[] guardedStatements,
JStatement[] elseStatements,
JavaStyleComment[] comments)
|
|
JmlNormalBehaviorSpec(TokenReference where,
long privacy,
JmlGeneralSpecCase specCase)
|
|
JmlNormalExample(TokenReference where,
long privacy,
JmlSpecVarDecl[] specVarDecls,
JmlRequiresClause[] specHeader,
JmlSpecBodyClause[] specClauses)
Constructs a new instance with given arguments. |
|
JmlNormalSpecCase(TokenReference sourceRef,
JmlSpecVarDecl[] specVarDecls,
JmlRequiresClause[] specHeader,
JmlNormalSpecBody normalSpecBody)
|
|
JmlStoreRefListWrapper(TokenReference where,
JmlStoreRef[] storeRefList)
|
|
JmlNotAssignedExpression(TokenReference where,
JmlStoreRef[] storeRefList)
|
|
JmlNotModifiedExpression(TokenReference where,
JmlStoreRef[] storeRefList)
|
|
JmlOnlyAccessedExpression(TokenReference where,
JmlStoreRef[] storeRefList)
|
|
JmlOnlyAssignedExpression(TokenReference where,
JmlStoreRef[] storeRefList)
|
|
JmlOnlyCalledExpression(TokenReference where,
JmlMethodNameList methodNameList)
|
|
JmlOnlyCapturedExpression(TokenReference where,
JmlStoreRef[] storeRefList)
|
|
JmlOldExpression(TokenReference where,
JmlSpecExpression specExpression,
String label)
|
|
JmlPackageImport(TokenReference where,
String name,
JavaStyleComment[] comments,
boolean isModel)
|
|
JmlPredicateKeyword(TokenReference where,
int code)
|
|
JmlPreExpression(TokenReference where,
JmlSpecExpression specExpression)
|
|
JmlReachExpression(TokenReference where,
JmlSpecExpression specExpression,
CType referenceType,
JmlStoreRefExpression storeRefExpression)
|
|
JmlReadableIfVarAssertion(TokenReference where,
long modifiers,
JNameExpression fieldName,
JmlPredicate predicate)
|
|
JmlWritableIfVarAssertion(TokenReference where,
long modifiers,
JNameExpression fieldName,
JmlPredicate predicate)
|
|
JmlRedundantSpec(TokenReference where,
JmlSpecCase[] implications,
JmlExample[] examples)
|
|
JmlRefinePrefix(TokenReference where,
String fileName)
|
|
JmlRelationalExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
|
|
JmlResultExpression(TokenReference where)
|
|
JmlReturnsClause(TokenReference where,
boolean isRedundantly,
JmlPredicate predOrNot,
boolean isNotSpecified)
|
|
JmlSetComprehension(TokenReference where,
long modifiers,
CType type,
CType memberType,
String ident,
JExpression supersetPred,
JmlPredicate predicate)
|
|
JmlSetStatement(TokenReference where,
JExpression assignmentExpression,
JavaStyleComment[] comments)
|
|
JmlSignalsOnlyClause(TokenReference where,
boolean isRedundantly,
CClassType[] exceptions,
boolean nothing)
|
|
JmlSignalsClause(TokenReference where,
boolean isRedundantly,
CType type,
String ident,
JmlPredicate pred,
boolean notSpecified)
|
|
JmlSpaceExpression(TokenReference where,
JmlSpecExpression specExpression)
|
|
JmlSpecQuantifiedExpression(TokenReference where,
int oper,
JVariableDefinition[] quantifiedVarDecls,
JmlPredicate predicate,
JmlSpecExpression specExpression)
|
|
JmlSpecStatement(TokenReference where,
JmlGeneralSpecCase specCase,
JavaStyleComment[] comments)
Construct a JMLSpecStatement. |
|
JmlStoreRefExpression(TokenReference where,
JmlName[] names)
|
|
JmlStoreRefKeyword(TokenReference where,
int code)
|
|
JmlTypeExpression(TokenReference where,
CType type)
|
|
JmlTypeOfExpression(TokenReference where,
JmlSpecExpression specExpression)
|
|
JmlUnreachableStatement(TokenReference where,
JavaStyleComment[] comments)
|
|
JmlVariantFunction(TokenReference where,
boolean isRedundantly,
JmlSpecExpression specExpression)
|
|
JmlVariableDefinition(TokenReference where,
long modifiers,
CType type,
String ident,
JExpression initializer)
Construct a node in the parsing tree. |
|
JmlWhenClause(TokenReference where,
boolean isRedundantly,
JmlPredicate predOrNot)
|
|
JmlWorkingSpaceClause(TokenReference where,
boolean isRedundantly,
JmlSpecExpression specExp,
JmlPredicate pred)
|
|
JmlWorkingSpaceExpression(TokenReference where,
JExpression expression)
|
|
JmlAddExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree. |
|
JmlArrayDimsAndInits(TokenReference where,
CUniverse array_univ,
JExpression[] dims,
JArrayInitializer init,
long mods)
Constructs an array dimension and initializer node in the AST |
|
JmlBinaryMember(TokenReference where,
CMember member)
|
|
JmlBinaryField(TokenReference where,
CField member)
Constructs a class export from file. |
|
JmlBinaryMethod(TokenReference where,
JmlSourceMethod member)
Constructs a class export from file. |
|
JmlBinaryType(TokenReference where,
JmlBinarySourceClass member,
String prefix)
Constructs a class export from file. |
|
JmlBitwiseExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JmlCastExpression(TokenReference where,
JExpression expr,
CType dest)
Constructs a node in the parsing tree. |
|
JmlCastExpression(TokenReference where,
JExpression expr,
CType dest,
boolean isExplicitNonNull)
Constructs a node in the parsing tree. |
|
JmlCastExpression(TokenReference where,
JExpression expr,
boolean isExplicitNonNull)
Constructs a node in the parsing tree. |
|
JmlDivideExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree. |
|
JmlEqualityExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
Constructs a node in the parsing tree. |
|
JmlFlowControlContext(CFlowControlContextType parent,
TokenReference where)
Construct a nested flow control context. |
|
JmlFlowControlContext(CFlowControlContextType parent,
int varEstimate,
TokenReference where)
Construct a nested flow control context. |
|
JmlFlowControlContext(CMethodContextType parent,
int varEstimate,
TokenReference where)
Construct an outer-most flow control context. |
|
JmlFlowControlContext(CMethodContextType parent,
int varEstimate,
boolean isInExternalGF,
TokenReference where)
Construct an outer-most flow control context. |
|
JmlMinusExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree. |
|
JmlModuloExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree. |
|
JmlMultExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree. |
|
JmlNode.DummyInitializerDeclaration(TokenReference where,
boolean isStatic)
|
|
JmlOrdinalLiteral(TokenReference where,
String image)
Construct a node in the parsing tree |
|
JmlOrdinalLiteral(TokenReference where,
Number value,
CNumericType type)
Construct a node in the parsing tree |
|
JmlOrdinalLiteral(TokenReference where,
long value,
CNumericType type)
Construct a node in the parsing tree |
|
JmlShiftExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JmlUnaryExpression(TokenReference where,
int oper,
JExpression expr)
Construct a node in the parsing tree. |
|
| Uses of TokenReference in org.jmlspecs.jmlrac |
| Fields in org.jmlspecs.jmlrac declared as TokenReference | |
private TokenReference |
PositionnedExpressionException.tok
|
private TokenReference |
NonExecutableExpressionException.tok
|
private TokenReference |
NotImplementedExpressionException.tok
|
private TokenReference |
NotSupportedExpressionException.tok
|
private static TokenReference |
TransInterface.NO_REF
Null token reference. |
| Methods in org.jmlspecs.jmlrac that return TokenReference | |
TokenReference |
PositionnedExpressionException.getTok()
|
| Methods in org.jmlspecs.jmlrac with parameters of type TokenReference | |
protected JmlRequiresClause |
DesugarSpec.defaultRequiresClause(TokenReference where)
Returns a default requires clause for an behavior spec case. |
private JmlSignalsClause |
DesugarSpec.defaultSignalsClause(TokenReference where)
Returns a default signals clause for a normal specification. |
private JmlSignalsClause |
DesugarSpec.defaultSignalsClause(TokenReference where,
CClassType[] exceptions)
Returns a default signals clause for a lightweight specification whose method may throw the given exceptions. |
protected JmlEnsuresClause |
DesugarSpec.defaultEnsuresClause(TokenReference where)
Returns a default ensures clause for an exceptional specification. |
static void |
JmlRacGenerator.warn(TokenReference tref,
MessageDescription description,
Object obj)
Produce a warning message with the given token reference, message description, and argument to message description. |
static void |
JmlRacGenerator.warn(TokenReference tref,
MessageDescription description)
Produce a warning message with the given token reference and message description. |
static void |
JmlRacGenerator.fail(TokenReference tref,
MessageDescription description,
Object obj)
Produce an error message with the given token reference, message description, and arguments to message description. |
static void |
JmlRacGenerator.fail(TokenReference tref,
MessageDescription description,
Object obj1,
Object obj2)
Produce an error message with the given token reference, message description, and arguments to message description. |
static void |
TransExpression.warn(TokenReference tref,
MessageDescription description,
Object obj)
Produce a warning message with the given token reference, message description, and argument to message description. |
protected static void |
TransExpression2.notExecutableClauseWarn(TokenReference tok,
String description)
|
protected static void |
TransExpression2.notImplementedClauseFail(TokenReference tok,
String description)
|
protected static void |
TransExpression2.notSupportedClauseFail(TokenReference tok,
String description)
|
| Constructors in org.jmlspecs.jmlrac with parameters of type TokenReference | |
TransInvariant.CallExpr(TokenReference ref,
JExpression expr,
CType type)
|
|
TransInvariant.CallExpr2(TokenReference ref,
JExpression expr,
CType type)
|
|
PositionnedExpressionException(TokenReference tok,
String msg)
|
|
NonExecutableExpressionException(TokenReference tok,
String msg)
|
|
NotImplementedExpressionException(TokenReference tok,
String msg)
|
|
NotSupportedExpressionException(TokenReference tok,
String msg)
|
|
| Uses of TokenReference in org.jmlspecs.jmlrac.qexpr |
| Fields in org.jmlspecs.jmlrac.qexpr declared as TokenReference | |
protected static TokenReference |
Translator.NO_REF
|
| Uses of TokenReference in org.multijava.mjc |
| Fields in org.multijava.mjc declared as TokenReference | |
private TokenReference |
CSourceDispatcherMethod.where
|
private static TokenReference |
CClass.NO_TOKEN
Used for error reporting. |
private static TokenReference |
CMethodSet.NO_TOKEN
|
private TokenReference |
CSourceAmbiguousDispatcherClass.where
|
private TokenReference |
CSourceDispatcherClass.where
|
(package private) TokenReference |
JTypeDeclaration.MethodRecord.where
|
private static TokenReference |
CCompilationUnit.NO_TOKEN
Used for error reporting. |
private TokenReference |
CFlowControlContext.where
A source code position for the start of this context. |
private TokenReference |
CSourceRedirectorMethod.where
The location in the source code that caused this redirector to be generated. |
| Methods in org.multijava.mjc that return TokenReference | |
abstract TokenReference |
CompilerPassEnterable.getTokenReference()
|
abstract TokenReference |
CFlowControlContextType.getTokenReference()
|
TokenReference |
CFlowControlContext.getTokenReference()
|
TokenReference |
ParserUtility.buildTokenReference()
Constructs a token reference (i.e., a source code position marker) for annotating the abstract syntax tree. |
TokenReference |
ParserUtility.buildTokenReference(antlr.Token tok)
Constructs a token reference (i.e., a source code position marker) for annotating the abstract syntax tree. |
TokenReference |
ParserUtility.buildTokenReference(ParsingController.TokenWrapper wrap)
Constructs a token reference (i.e., a source code position marker) for annotating the abstract syntax tree. |
| Methods in org.multijava.mjc with parameters of type TokenReference | |
abstract JExpression |
CContextType.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
JExpression |
CSourceClass.getOuterLocalAccess(TokenReference ref,
JLocalVariable var,
CMethod constructor)
Returns an expression that evaluates to the value of the outer local variable var. |
private JLocalVariableExpression |
CSourceClass.generatedLocalVarHelper(CMethod constructor,
CSourceField field,
JLocalVariable var,
TokenReference ref)
|
void |
JLocalVariable.setAssigned(TokenReference ref,
CContextType context)
Records that this variable is assigned to and reports a warning if the assignment is to a for-loop variable in a location other than the increment of the loop. |
private void |
CSourceDispatcherClass.completeClassInfo(Main compiler,
TokenReference where)
Generates the $signature interface and (if RMJ) the ambiguous-method dispatcher class for this generic function and then calls completeClassInfo(). |
JExpression |
CContext.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
JExpression |
CClassContext.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
abstract JExpression |
CClassContextType.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
abstract CFlowControlContextType |
CFlowControlContextType.createFlowControlContext(TokenReference where)
|
abstract CFlowControlContextType |
CFlowControlContextType.createFlowControlContext(int params,
TokenReference where)
|
abstract CTryContext |
CFlowControlContextType.createTryContext(TokenReference where)
|
abstract CFlowControlContextType |
CFlowControlContextType.createFinallyContext(CFlowControlContextType tryContext,
TokenReference where)
|
abstract CFlowControlContextType[] |
CFlowControlContextType.createParallelContexts(int count,
TokenReference where)
Creates a set of child contexts for typechecking parallel control flows. |
protected JClassFieldExpression |
JNameExpression.createClassField(TokenReference ref,
JExpression prefix,
String ident)
Since class field may be overloaded in sub compiler, this method allow you to specifie the type of class field without needed to touch the huge method above ! |
protected JClassFieldExpression |
JNameExpression.createClassField(TokenReference ref,
String ident)
Since class field may be overloaded in sub compiler, this method allow you to specifie the type of class field without needed to touch the huge method above ! |
static JExpression |
JAssignmentExpression.create(TokenReference where,
int oper,
JExpression left,
JExpression right)
Factory method creates an assignment expression or a compound assignment expression (like x += 3) depending on
the assignment operator. |
abstract void |
CMethodContextType.verifyExceptions(TokenReference ref)
Verifies that all checked exceptions are defined in the throw list. |
abstract CFlowControlContextType |
CMethodContextType.createFlowControlContext(int localVars,
TokenReference where)
|
abstract CFlowControlContextType |
CMethodContextType.createFlowControlContext(int localVars,
boolean isInExternalGF,
TokenReference where)
|
abstract void |
CConstructorContextType.verifyExceptions(TokenReference ref)
Verifies that all checked exceptions are defined in the throw list. |
abstract JExpression |
CCompilationUnitContextType.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
JExpression |
CExtMethodContext.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
JUnaryExpression |
JExpressionFactory.createUnaryExpression(antlr.Token op,
TokenReference where,
int oper,
JExpression expr)
|
JExpression |
JExpressionFactory.createAdditiveExpr(antlr.Token op,
TokenReference where,
JExpression left,
JExpression right)
|
JAddExpression |
JExpressionFactory.createAddExpression(antlr.Token tok,
TokenReference where,
JExpression left,
JExpression right)
|
JMinusExpression |
JExpressionFactory.createMinusExpression(antlr.Token tok,
TokenReference where,
JExpression left,
JExpression right)
|
JExpression |
JExpressionFactory.createMultiplicativeExpr(antlr.Token op,
TokenReference where,
JExpression left,
JExpression right)
|
JMultExpression |
JExpressionFactory.createMultExpression(antlr.Token op,
TokenReference where,
JExpression left,
JExpression right)
|
JDivideExpression |
JExpressionFactory.createDivideExpression(antlr.Token op,
TokenReference where,
JExpression left,
JExpression right)
|
JModuloExpression |
JExpressionFactory.createModuloExpression(antlr.Token op,
TokenReference where,
JExpression left,
JExpression right)
|
JShiftExpression |
JExpressionFactory.createShiftExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
|
JBitwiseExpression |
JExpressionFactory.createBitwiseExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
|
CFlowControlContextType |
CFlowControlContext.createFlowControlContext(TokenReference where)
|
CFlowControlContextType |
CFlowControlContext.createFlowControlContext(int params,
TokenReference where)
|
CTryContext |
CFlowControlContext.createTryContext(TokenReference where)
|
CFlowControlContextType |
CFlowControlContext.createFinallyContext(CFlowControlContextType tryContext,
TokenReference where)
|
CFlowControlContextType[] |
CFlowControlContext.createParallelContexts(int count,
TokenReference where)
Creates a set of child contexts for typechecking parallel control flows. |
CSwitchGroupContext |
CSwitchBodyContext.createSwitchGroupContext(CSwitchGroupContext previousContext,
TokenReference where)
Creates a context for checking the statements in a labelled block statement group within this switch. |
JExpression |
CCompilationUnitContext.lookupOuterLocalVariable(TokenReference ref,
String ident)
Finds a local variable with the given name that appears outside the current lexical contour. |
void |
CMethodContext.verifyExceptions(TokenReference ref)
Verifies that all checked exceptions are defined in the throw list. |
CFlowControlContextType |
CMethodContext.createFlowControlContext(int localVars,
TokenReference where)
|
CFlowControlContextType |
CMethodContext.createFlowControlContext(int localVars,
boolean isInExternalGF,
TokenReference where)
|
void |
CConstructorContext.verifyExceptions(TokenReference ref)
Verifies that all checked exceptions are defined in the throw list. |
CType |
MjcParser.jValueSpecializer(CType type,
TokenReference sourceRef)
|
private static JBlock |
MJTopLevelAbstractMethodDeclaration.make_abstract_body(TokenReference where)
|
| Constructors in org.multijava.mjc with parameters of type TokenReference | |
CSourceDispatcherMethod(TokenReference where,
Main compiler,
CSourceClass outer,
CMethod topConcreteMethod,
CSourceMethod[] multimethods,
int gfID)
Constructs a dispatcher method for the given set of multimethods. |
|
JPhylum(TokenReference where)
construct an element of the parsing tree |
|
JCompilationUnit(TokenReference where,
JPackageName packageName,
CCompilationUnit export,
JPackageImportType[] importedPackages,
ArrayList importedUnits,
JTypeDeclarationType[] typeDeclarations,
ArrayList tlMethods)
Constructs a CompilationUnit with the specified top level context |
|
CSourceClass(Main compiler,
MemberAccess access,
TokenReference where,
String ident,
String qualifiedName,
CTypeVariable[] typevariables,
boolean isAnonymous,
boolean isMember,
boolean deprecated)
Constructs a class export from source |
|
JLocalVariable(TokenReference where,
long modifiers,
int desc,
CType type,
String name,
JExpression expr)
Constructs a local variable definition AST node. |
|
JFormalParameter(TokenReference where,
long modifiers,
int desc,
CSpecializedType type,
String ident)
Constructs a formal parameter node in the parsing tree. |
|
JFormalParameter(TokenReference where,
int desc,
CSpecializedType type,
String ident,
boolean isFinal)
Constructs a formal parameter node in the parsing tree. |
|
JExpression(TokenReference where)
Construct a node in the parsing tree |
|
JMethodCallExpression(TokenReference where,
JExpression prefix,
JExpression[] args)
Construct a node in the parsing tree This method is directly called by the parser |
|
JMethodCallExpression(TokenReference where,
JExpression prefix,
String ident,
JExpression[] args)
Constructs a method call node of an AST. |
|
JMethodCallExpression(TokenReference where,
JExpression prefix,
String ident,
JExpression[] args,
boolean doSetContext)
Constructs a method call node of an AST. |
|
JGeneratedLocalVariable(TokenReference where,
long modifiers,
CType type,
String name,
JExpression value)
Constructs a local variable definition |
|
CSourceAmbiguousDispatcherClass(Main compiler,
CSourceClass outer,
TokenReference where,
CDispatcherSignature dispatcherSig,
CSourceDispatcherMethod dispatcherMethod,
int number)
|
|
CSourceDispatcherClass(Main compiler,
CSourceClass outer,
TokenReference where,
CSourceDispatcherMethod dispatcherMethod)
|
|
CSourceDispatcherSignature(Main compiler,
CClass outer,
TokenReference where,
CSourceDispatcherMethod dispMethod,
int number)
|
|
JMemberDeclaration(TokenReference where,
JavadocComment javadoc,
JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser |
|
JMethodDeclaration(TokenReference where,
long modifiers,
CTypeVariable[] typevariables,
CType returnType,
String ident,
JFormalParameter[] parameters,
CClassType[] exceptions,
JBlock body,
JavadocComment javadoc,
JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser |
|
JThisExpression(TokenReference where)
Construct an unqualified "this" expression node in the parsing tree. |
|
JThisExpression(TokenReference where,
CClass self)
Construct a qualified "this" expression node in the parsing tree, where the actual CClass singleton of the
qualifier is known. |
|
JThisExpression(TokenReference where,
JExpression prefix)
Construct a qualified "this" expression node in the parsing tree, where only the qualifying expression is known, not its type. |
|
JLocalVariableExpression(TokenReference where,
JLocalVariable variable)
Construct a node in the parsing tree |
|
JTypeDeclaration(TokenReference where,
long modifiers,
String ident,
CTypeVariable[] typevariables,
CClassType[] interfaces,
ArrayList methods,
ArrayList inners,
JPhylum[] fieldsAndInits,
JavadocComment javadoc,
JavaStyleComment[] comments)
Constructs a type declaration in the parsing tree. |
|
JClassDeclaration(TokenReference where,
long modifiers,
String ident,
CTypeVariable[] typevariables,
CClassType superType,
CClassType[] interfaces,
ArrayList methods,
ArrayList inners,
JPhylum[] fieldsAndInits,
JavadocComment javadoc,
JavaStyleComment[] comment)
Constructs a class declaration in the parsing tree. |
|
JStatement(TokenReference where,
JavaStyleComment[] comments)
Construct a node in the parsing tree |
|
JBlock(TokenReference where,
JStatement[] body,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JConstructorBlock(TokenReference where,
JStatement[] body)
Construct a node in the parsing tree. |
|
JConstructorDeclaration(TokenReference where,
long modifiers,
String ident,
JFormalParameter[] parameters,
CClassType[] exceptions,
JConstructorBlock body,
JavadocComment javadoc,
JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser |
|
JConstructorDeclaration(TokenReference where,
long modifiers,
String ident)
Constructs an AST node for a default constructor |
|
JConstructorDeclaration(TokenReference where,
long modifiers,
String ident,
JFormalParameter[] parameters,
CClassType[] exceptions,
JConstructorBlock body)
Constructs an AST node for a compiler-generated constructor. |
|
JFieldDeclaration(TokenReference where,
JVariableDefinition variable,
JavadocComment javadoc,
JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser |
|
JVariableDefinition(TokenReference where,
long modifiers,
CType type,
String ident,
JExpression initializer)
Construct a node in the parsing tree. |
|
JInterfaceDeclaration(TokenReference where,
long modifiers,
String ident,
CTypeVariable[] typevariables,
CClassType[] interfaces,
ArrayList methods,
ArrayList inners,
JPhylum[] fieldsAndInits,
JavadocComment javadoc,
JavaStyleComment[] comments)
Constructs an interface declaration in the parsing tree. |
|
JInitializerDeclaration(TokenReference where,
JBlock body,
boolean isStatic,
boolean isDummy)
Construct a node in the parsing tree This method is directly called by the parser |
|
JClassBlock(TokenReference where,
boolean isStatic,
JStatement[] body,
JavadocComment javadoc)
Construct a node in the parsing tree |
|
JClassBlock(TokenReference where,
boolean isStatic,
JStatement[] body)
Construct a block with no javadocs annotations. |
|
JBinaryExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JRelationalExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
Construct a node in the parsing tree. |
|
MJGenericFunctionDecl(TokenReference where,
long modifiers,
String ident,
MJTopLevelMethodDeclaration[] methods)
Constructs a generic function anchor declaration in the parsing tree. |
|
MJTopLevelMethodDeclaration(TokenReference where,
long modifiers,
CTypeVariable[] typevariables,
CType returnType,
CType openClassType,
String ident,
JFormalParameter[] parameters,
CClassType[] exceptions,
JBlock body,
JavadocComment javadoc,
JavaStyleComment[] comments)
This class represents a MultiJava external method in the syntax tree Construct a node in the parsing tree This method is directly called by the parser |
|
JLoopStatement(TokenReference where,
JavaStyleComment[] comments)
Construct a node in the parsing tree |
|
JWhileStatement(TokenReference where,
JExpression cond,
JStatement body,
JavaStyleComment[] comments)
Construct a node in the parsing tree |
|
JVariableDeclarationStatement(TokenReference where,
JVariableDefinition[] vars,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JVariableDeclarationStatement(TokenReference where,
JVariableDefinition var,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JTryCatchStatement(TokenReference where,
JBlock tryClause,
JCatchClause[] catchClauses,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JTryFinallyStatement(TokenReference where,
JBlock tryClause,
JBlock finallyClause,
JavaStyleComment[] comments)
Construct a node in the parsing tree |
|
JThrowStatement(TokenReference where,
JExpression expr,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JSynchronizedStatement(TokenReference where,
JExpression cond,
JBlock body,
JavaStyleComment[] comments)
Construct a node in the parsing tree |
|
JSwitchStatement(TokenReference where,
JExpression expr,
JSwitchGroup[] groups,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JAssertStatement(TokenReference where,
JExpression predicate,
JavaStyleComment[] comments)
|
|
JAssertStatement(TokenReference where,
JExpression predicate,
JExpression throwMessage,
JavaStyleComment[] comments)
|
|
JReturnStatement(TokenReference where,
JExpression expr,
JavaStyleComment[] comments)
Construct a node in the parsing tree |
|
JLabeledStatement(TokenReference where,
String label,
JStatement stmt,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JIfStatement(TokenReference where,
JExpression cond,
JStatement thenClause,
JStatement elseClause,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JForStatement(TokenReference where,
JStatement init,
JExpression cond,
JStatement incr,
JStatement body,
JavaStyleComment[] comments)
Construct a node in the parsing tree |
|
JCompoundStatement(TokenReference where,
JStatement[] body)
Construct a node in the parsing tree. |
|
JExpressionStatement(TokenReference where,
JExpression expr,
JavaStyleComment[] comments)
Construct a node in the parsing tree |
|
JExpressionListStatement(TokenReference where,
JExpression[] exprs,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JEmptyStatement(TokenReference where,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JDoStatement(TokenReference where,
JExpression cond,
JStatement body,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JContinueStatement(TokenReference where,
String label,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JBreakStatement(TokenReference where,
String label,
JavaStyleComment[] comments)
Construct a node in the parsing tree. |
|
JTypeDeclarationStatement(TokenReference where,
JTypeDeclarationType decl)
Construct a node in the parsing tree |
|
JUnaryExpression(TokenReference where,
int oper,
JExpression expr)
Construct a node in the parsing tree. |
|
JTypeNameExpression(TokenReference where,
String qualifiedName,
CUniverse univ,
JNameExpression sourceName)
Constructs a node in the parsing tree. |
|
JTypeNameExpression(TokenReference where,
CClassType type,
JNameExpression sourceName)
Constructs a node in the parsing tree. |
|
JSuperExpression(TokenReference where)
Construct a node for an unqualified super expression. |
|
JSuperExpression(TokenReference where,
JExpression prefix)
Construct a qualified "super" expression node in the AST, where only the qualifying expression is known, not its type. |
|
JBinaryArithmeticExpression(TokenReference where,
JExpression left,
JExpression right)
Constructs a node in the parsing tree. |
|
JShiftExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JPrefixExpression(TokenReference where,
int oper,
JExpression expr)
Construct a node in the parsing tree |
|
JPostfixExpression(TokenReference where,
int oper,
JExpression expr)
Construct a node in the parsing tree |
|
JParenthesedExpression(TokenReference where,
JExpression expr)
Construct a node in the parsing tree. |
|
JNewObjectExpression(TokenReference where,
CClassType objectType,
JExpression explicitThis,
JExpression[] params)
Construct a node in the parsing tree. |
|
JNewAnonymousClassExpression(TokenReference where,
CClassType objectType,
JExpression explicitThis,
JExpression[] params,
JClassDeclarationType decl)
Construct a node in the parsing tree. |
|
JNewArrayExpression(TokenReference where,
CType arrayType,
JArrayDimsAndInits dims)
Constructs a node in the parsing tree. |
|
JNameExpression(TokenReference where,
String ident)
Constructs a node in the parsing tree. |
|
JNameExpression(TokenReference where,
String ident,
CUniverse univ)
Constructs a node in the parsing tree. |
|
JNameExpression(TokenReference where,
JExpression prefix,
String ident)
Constructs a node in the parsing tree. |
|
JNameExpression(TokenReference where,
JExpression prefix,
String ident,
CUniverse univ)
Constructs a node in the parsing tree. |
|
JAddExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree. |
|
JConditionalAndExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JConditionalOrExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JDivideExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree. |
|
JMinusExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JModuloExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JMultExpression(TokenReference where,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JInstanceofExpression(TokenReference where,
JExpression expr,
CType dest)
Construct a node in the parsing tree. |
|
JEqualityExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
Constructs a node in the parsing tree. |
|
JConditionalExpression(TokenReference where,
JExpression cond,
JExpression left,
JExpression right)
Construct a node in the parsing tree. |
|
JAssignmentExpression(TokenReference where,
JExpression left,
JExpression right)
Constructs a node in the parsing tree. |
|
JCompoundAssignmentExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JClassFieldExpression(TokenReference where,
JExpression prefix,
String ident,
JNameExpression sourceName)
Construct a node in the parsing tree. |
|
JClassFieldExpression(TokenReference where,
String ident,
JNameExpression sourceName)
Construct a node in the parsing tree. |
|
JClassFieldExpression(TokenReference where,
JExpression prefix,
String ident)
Construct a node in the parsing tree. |
|
JClassFieldExpression(TokenReference where,
String ident)
Construct a node in the parsing tree. |
|
JClassExpression(TokenReference where,
CType prefixType)
Construct a node in the parsing tree. |
|
JClassExpression(TokenReference where,
JExpression expr,
int bounds)
Construct a node in the parsing tree. |
|
JCastExpression(TokenReference where,
JExpression expr,
CType dest)
Constructs a node in the parsing tree. |
|
JCastExpression(TokenReference where,
JExpression expr,
CType dest,
boolean isSynthetic)
Constructs a node in the parsing tree. |
|
JBitwiseExpression(TokenReference where,
int oper,
JExpression left,
JExpression right)
Construct a node in the parsing tree This method is directly called by the parser |
|
JArrayLengthExpression(TokenReference where,
JExpression prefix)
Construct a node in the parsing tree |
|
JArrayAccessExpression(TokenReference where,
JExpression prefix,
JExpression accessor)
Construct a node in the parsing tree This method is directly called by the parser |
|
MJWarnExpression(TokenReference where,
String operatorName,
JExpression operand,
boolean enable_safe_math)
Construct a node in the parsing tree. |
|
MJWarnExpression(TokenReference where,
String operatorName,
JExpression operand,
boolean enable_safe_math,
boolean scope_is_one_op)
Construct a node in the parsing tree. |
|
MJMathModeExpression(TokenReference where,
String operatorName,
JExpression operand,
byte mode)
Construct a node in the parsing tree. |
|
JSwitchLabel(TokenReference where,
JExpression expr)
Construct a node in the parsing tree. |
|
JSwitchGroup(TokenReference where,
JSwitchLabel[] labels,
JStatement[] stmts)
Construct a node in the parsing tree. |
|
JCatchClause(TokenReference where,
JFormalParameter exception,
JBlock body)
Constructs a node in the parsing tree. |
|
JLiteral(TokenReference where)
Construct a node in the parsing tree |
|
JBooleanLiteral(TokenReference where,
boolean value)
Construct a node in the parsing tree |
|
JNumberLiteral(TokenReference where)
Construct a node in the parsing tree |
|
JOrdinalLiteral(TokenReference where,
String image)
Construct a node in the parsing tree |
|
JOrdinalLiteral(TokenReference where,
Number value,
CNumericType type)
Construct a node in the parsing tree |
|
JOrdinalLiteral(TokenReference where,
long value,
CNumericType type)
Construct a node in the parsing tree |
|
JCharLiteral(TokenReference where,
String image)
Construct a node in the parsing tree |
|
JCharLiteral(TokenReference where,
char val)
Construct a node in the parsing tree |
|
JCharLiteral(TokenReference where,
Object val)
Construct a node in the parsing tree |
|
JRealLiteral(TokenReference where,
String image)
Construct a node in the parsing tree |
|
JRealLiteral(TokenReference where,
Number value,
CType type)
Construct a node in the parsing tree |
|
JStringLiteral(TokenReference where,
String image)
Construct a node in the parsing tree |
|
JStringLiteral(TokenReference where,
String image,
boolean escaped)
Construct a node in the parsing tree |
|
JNullLiteral(TokenReference where)
Construct a node in the parsing tree |
|
JPackageName(TokenReference where,
String name,
JavaStyleComment[] comments)
construct a package name |
|
JPackageImport(TokenReference where,
String name,
JavaStyleComment[] comments)
|
|
JClassOrGFImport(TokenReference where,
String name,
JavaStyleComment[] comments)
Constructs an AST node for a class or external member import statement. |
|
JExplicitConstructorInvocation(TokenReference where,
JExpression prefix,
String ident,
JExpression[] args)
Construct a node in the parsing tree. |
|
JExplicitConstructorInvocation(TokenReference where,
String ident,
JExpression[] args)
Construct an AST node for an explicit constructor invocation. |
|
JArrayInitializer(TokenReference where,
JExpression[] elems)
Constructs a node in the parsing tree. |
|
JArrayDimsAndInits(TokenReference where,
CUniverse array_univ,
JExpression[] dims,
JArrayInitializer init)
Constructs an array dimension and initializer node in the AST |
|
CFlowControlContext(CFlowControlContextType parent,
TokenReference where)
Construct a nested flow control context. |
|
CFlowControlContext(CFlowControlContextType parent,
int varEstimate,
TokenReference where)
Construct a nested flow control context. |
|
CFlowControlContext(CMethodContextType parent,
int varEstimate,
boolean isInExternalGF,
TokenReference where)
Construct an outer-most flow control context. |
|
CFlowControlContext(CMethodContextType parent,
int varEstimate,
TokenReference where)
|
|
CTryContext(CFlowControlContextType parent,
TokenReference where)
Construct a block context, it supports local variable allocation throw statement and return statement |
|
CBlockError(TokenReference where,
Message message)
An error with a formatted message as argument |
|
CBlockError(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
CBlockError(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
CBlockError(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
CBlockError(TokenReference where,
MessageDescription description)
An error without parameters |
|
CSourceRedirectorMethod(CMethod target,
TokenReference where,
CContextType context)
Constructs a redirector for the given method, assuming the given declaration context. |
|
CSourceRedirectorMethod(CSourceMethod target,
TokenReference where)
Constructs a redirector for the given source method. |
|
CLineError(TokenReference where,
Message message)
An error with a formatted message as argument |
|
CLineError(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
CLineError(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
CLineError(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
CLineError(TokenReference where,
MessageDescription description)
An error without parameters |
|
CExpressionError(TokenReference where,
Message message)
An error with a formatted message as argument |
|
CExpressionError(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
CExpressionError(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
CExpressionError(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
CExpressionError(TokenReference where,
MessageDescription description)
An error without parameters |
|
CFinallyContext(CFlowControlContextType beforeTryContext,
CFlowControlContextType afterTryContext,
TokenReference where)
|
|
CMethodNotFoundError(TokenReference where,
String name,
CType[] types,
boolean isConstr)
|
|
CSourceGFCollection(Main compiler,
CClass owner,
CMemberHost host,
TokenReference where,
long modifiers,
String ident,
String qualifiedName,
boolean isAnonymous,
boolean isMember,
boolean deprecated,
CMethod[] tlMethods)
|
|
CSwitchGroupContext(CSwitchBodyContext parent,
TokenReference where)
Construct a context for checking control flow through a switch group where fall through from the previous group is not possible. |
|
CSwitchGroupContext(CSwitchBodyContext parent,
CSwitchGroupContext previousContext,
TokenReference where)
Construct a context for checking control flow through a switch group where fall through from the previous group is possible. |
|
JCheckedExpression(TokenReference where,
JExpression checked)
Construct a node in the parsing tree. |
|
JClassFieldDeclarator(TokenReference where,
JFieldDeclarationType decl)
Construct a node in the parsing tree. |
|
JOuterLocalVariableExpression(TokenReference where,
JLocalVariable var,
CClass outer)
Construct a node in the parsing tree. |
|
JResendExpression(TokenReference where,
JExpression prefix,
JExpression[] args)
|
|
MJTopLevelAbstractMethodDeclaration(TokenReference where,
long modifiers,
CType returnType,
CType openClassType,
String ident,
JFormalParameter[] parameters,
CClassType[] exceptions,
JBlock body,
JavadocComment javadoc,
JavaStyleComment[] comments)
This class represents an abstract MultiJava external method in the syntax tree. |
|
| Uses of TokenReference in org.multijava.util.compiler |
| Fields in org.multijava.util.compiler declared as TokenReference | |
private TokenReference |
Phylum.where
|
static TokenReference |
TokenReference.NO_REF
|
private static TokenReference |
TokenReference.last
|
private TokenReference |
PositionedError.where
|
| Methods in org.multijava.util.compiler that return TokenReference | |
abstract TokenReference |
PhylumType.getTokenReference()
Returns the token reference of this node in the source text. |
TokenReference |
Phylum.getTokenReference()
Returns the token reference of this node in the source text. |
static TokenReference |
TokenReference.build(File file,
int line)
Construct a file and line reference |
static TokenReference |
TokenReference.build(File file,
int line,
int column)
Construct a file, line, and column reference. |
TokenReference |
PositionedError.getTokenReference()
Returns the position in the source code. |
TokenReference |
CToken.makeTokenReference()
|
| Methods in org.multijava.util.compiler with parameters of type TokenReference | |
abstract void |
PhylumType.setTokenReference(TokenReference where)
Change the token reference of this node |
void |
Phylum.setTokenReference(TokenReference where)
Change the token reference of this node |
PositionedError |
UnpositionedError.addPosition(TokenReference where)
Returns an error with a reference to the source file. |
| Constructors in org.multijava.util.compiler with parameters of type TokenReference | |
Phylum(TokenReference where)
construct an element of the parsing tree |
|
PositionedError(TokenReference where,
Message message)
An error with a formatted message as argument |
|
PositionedError(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
PositionedError(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
PositionedError(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
PositionedError(TokenReference where,
MessageDescription description)
An error without parameters |
|
CWarning(TokenReference where,
Message message)
An error with a formatted message as argument |
|
CWarning(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
CWarning(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
CWarning(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
CWarning(TokenReference where,
MessageDescription description)
An error without parameters |
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||