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 | Field and Description |
---|---|
List<NamedType> |
BasicType.supers |
List<NamedType> |
Feature.supers |
List<NamedType> |
RefinedType.types |
List<NamedType> |
FeatureInit.types |
Modifier and Type | Method and Description |
---|---|
static NamedType |
Ast.namedType(String name) |
static NamedType |
Ast.Weak.namedType(String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractVisitor.visitNamedType(NamedType node) |
boolean |
IVisitor.visitNamedType(NamedType node) |
Modifier and Type | Method and Description |
---|---|
static BasicType |
Ast.basicType(String name,
Iterable<NamedType> supers) |
static Feature |
Ast.feature(Iterable<FeatureAnnotation> annotations,
String name,
Iterable<NamedType> supers,
Iterable<Member> members) |
static FeatureInit |
Ast.featureInit(Iterable<NamedType> types,
Iterable<Attribute> attributes) |
static RefinedType |
Ast.refinedType(Iterable<NamedType> types,
Iterable<Attribute> attributes) |
Constructor and Description |
---|
BasicType(String name,
Iterable<NamedType> supers) |
Feature(Iterable<FeatureAnnotation> annotations,
String name,
Iterable<NamedType> supers,
Iterable<Member> members) |
FeatureInit(Iterable<NamedType> types,
Iterable<Attribute> attributes) |
RefinedType(Iterable<NamedType> types,
Iterable<Attribute> attributes) |
Modifier and Type | Method and Description |
---|---|
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. |
Set<Pair<Feature,Attribute>> |
SymbolTable.allAttributes(List<NamedType> namedTypes,
String attributeName,
boolean isOverriden)
|
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,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. |