Package | Description |
---|---|
edu.ksu.cis.santos.mdcf.dml.ast |
DML Abstract Syntax Tree (AST) API
|
edu.ksu.cis.santos.mdcf.dml.symbol |
DML Symbol Table API
|
Modifier and Type | Method and Description |
---|---|
static Invariant |
Ast.invariant(String name,
edu.ksu.cis.santos.mdcf.dml.ast.PredicateType predicateType,
edu.ksu.cis.santos.mdcf.dml.ast.exp.FunExp predicate) |
static Invariant |
Ast.Weak.invariant(String name,
edu.ksu.cis.santos.mdcf.dml.ast.PredicateType predicateType,
edu.ksu.cis.santos.mdcf.dml.ast.exp.FunExp predicate) |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractVisitor.visitInvariant(Invariant node) |
boolean |
IVisitor.visitInvariant(Invariant node) |
Modifier and Type | Method and Description |
---|---|
Map<String,Pair<Feature,Invariant>> |
SymbolTable.allInvariantMap(Iterable<String> featureNames)
Retrieves an immutable
Map of Member.name to
Invariant with its declaring Feature that contains all
declared and inherited invariants of the provided features. |
Map<String,Pair<Feature,Invariant>> |
SymbolTable.allInvariantMap(List<NamedType> namedTypes)
Retrieves an immutable
Map of Member.name to
Invariant with its declaring Feature that contains all
declared and inherited invariants of the provided named types. |
Map<String,Pair<Feature,Invariant>> |
SymbolTable.allInvariantMap(String featureName)
Retrieves an immutable
Map of Member.name to
Invariant with its declaring Feature that contains all
declared and inherited invariants of the provided feature. |
Map<String,Invariant> |
SymbolTable.declaredInvariantMap(String featureName)
Retrieves an immutable
Map of Member.name to
Invariant that contains all declared invariants of the provided
feature. |
Collection<Invariant> |
SymbolTable.declaredInvariants(String featureName)
Retrieves an immutable
Collection of all declared Invariant
s of the provided feature. |