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 Feature |
Ast.Weak.feature(Iterable<?> annotations,
String name,
Iterable<?> supers,
Iterable<?> members) |
static Feature |
Ast.feature(Iterable<FeatureAnnotation> annotations,
String name,
Iterable<NamedType> supers,
Iterable<Member> members) |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractVisitor.visitFeature(Feature node) |
boolean |
IVisitor.visitFeature(Feature node) |
Modifier and Type | Method and Description |
---|---|
Feature |
SymbolTable.feature(String name)
Retrieves a
Feature from its fully-qualified name (
Declaration.name ). |
Modifier and Type | Method and Description |
---|---|
Map<String,Pair<Feature,Attribute>> |
SymbolTable.allAttributeMap(Iterable<String> featureNames)
Retrieves an immutable
Map of Member.name to
Attribute with its declaring Feature that contains all
declared and closest (least) inherited attributes of the provided features. |
Map<String,Pair<Feature,Attribute>> |
SymbolTable.allAttributeMap(List<NamedType> namedTypes)
Retrieves an immutable
Map of Member.name to
Attribute with its declaring Feature that contains all
declared and closest (least) inherited attributes of the provided named
types. |
Map<String,Pair<Feature,Attribute>> |
SymbolTable.allAttributeMap(String featureName)
Retrieves an immutable
Map of Member.name to
Attribute with its declaring Feature that contains all
declared and closest (least) inherited attributes of the provided feature. |
Set<Pair<Feature,Attribute>> |
SymbolTable.allAttributes(Iterable<String> featureNames,
String attributeName,
boolean isOverriden)
|
Set<Pair<Feature,Attribute>> |
SymbolTable.allAttributes(List<NamedType> namedTypes,
String attributeName,
boolean isOverriden)
|
Set<Pair<Feature,Attribute>> |
SymbolTable.allAttributes(String featureName,
String attributeName,
boolean isOverriden)
|
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,Pair<Feature,Member>> |
SymbolTable.allMemberMap(Iterable<String> featureNames)
Retrieves an immutable
Map of Member.name to Member
with its declaring Feature that contains all declared and closest
(least) inherited members of the provided features. |
Map<String,Pair<Feature,Member>> |
SymbolTable.allMemberMap(List<NamedType> namedTypes)
Retrieves an immutable
Map of Member.name to Member
with its declaring Feature that contains all declared and inherited
closest (least) members of the provided named types. |
Map<String,Pair<Feature,Member>> |
SymbolTable.allMemberMap(String featureName)
Retrieves an immutable
Map of Member.name to
Invariant with its declaring Feature that contains all
declared and closest (least) inherited members of the provided feature. |
Map<String,Map<String,Pair<Feature,Member>>> |
SymbolTable.featureMemberMap()
Retrieves an immutable
Map of Declaration.name to Map
of Member.name to Member with its declaring Feature
that contains all features' and their declared and closest (least)
inherited members. |
Optional<Feature> |
SymbolTable.featureOpt(String name)
Retrieves a
Feature from its fully-qualified name (
Declaration.name ), if any. |
List<Feature> |
SymbolTable.features()
Retrieves all
Feature s declared in the SymbolTable.models . |
<V,T> Map<String,Pair<Feature,T>> |
SymbolTable.filterp(Map<String,Pair<Feature,V>> m,
Class<T> clazz)
|
Modifier and Type | Method and Description |
---|---|
<V,T> Map<String,Pair<Feature,T>> |
SymbolTable.filterp(Map<String,Pair<Feature,V>> m,
Class<T> clazz)
|