| Constructors in org.jmlspecs.jml4.ast with parameters of type JmlIdentifier |
JmlAssignableClause(JmlIdentifier keyword,
Expression expr)
|
JmlAssignableClause(JmlIdentifier keyword,
JmlStoreRefListExpression expr)
|
JmlConstraintClause(JmlIdentifier clauseKeyword,
Expression pred)
|
JmlDivergesClause(JmlIdentifier keyword,
Expression predOrKeyword)
|
JmlEnsuresClause(JmlIdentifier keyword,
Expression predOrKeyword)
|
JmlInDataGroupClause(JmlIdentifier clauseKeyword,
Expression[] groupNames)
|
JmlInitiallyClause(JmlIdentifier clauseKeyword,
Expression expr)
|
JmlInvariantForType(JmlIdentifier clauseKeyword,
Expression pred)
|
JmlLocalDeclaration(JmlIdentifier identifier)
|
JmlLoopInvariant(JmlIdentifier keyword,
Expression pred)
|
JmlLoopVariant(JmlIdentifier keyword,
Expression expr)
|
JmlMapsIntoClause(JmlIdentifier clauseKeyword,
Expression mapstoExprRef,
Expression[] groupNames)
|
JmlRepresentsClause(JmlIdentifier clauseKeyword,
Expression storeRef,
Expression expr)
|
JmlRequiresClause(JmlIdentifier keyword,
Expression predOrKeyword)
|
JmlSignalsClause(JmlIdentifier clauseKeyword,
Argument arg,
Expression predOrKeyword)
|
JmlSignalsOnlyClause(JmlIdentifier clauseKeyword,
JmlKeywordExpression keyword)
|
JmlSignalsOnlyClause(JmlIdentifier clauseKeyword,
TypeReference[] typeRefs)
|
JmlTypeBodyDeclaration(JmlIdentifier clauseKeyword)
|
JmlTypeBodyDeclaration(JmlIdentifier clauseKeyword,
Expression pred)
|