A

AbstractVisitor - Class in edu.ksu.cis.santos.mdcf.dml.ast

A basic IVisitor implementation that handles List, Optional, and returns true for all IVisitor methods (indicating that all children should be visited) with default case handler for all AST nodes.

AbstractVisitor() - Constructor for class edu.ksu.cis.santos.mdcf.dml.ast.AbstractVisitor

 

accessExp(Exp, String) - Static method in class edu.ksu.cis.santos.mdcf.dml.ast.Ast

 

accessExp(Exp, String) - Static method in class edu.ksu.cis.santos.mdcf.dml.ast.Ast.Weak

 

allAttributeMap(Iterable<String>) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

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.

allAttributeMap(List<NamedType>) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

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.

allAttributeMap(String) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

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.

allAttributes(Iterable<String>, String, boolean) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

Retrieves an immutable Set of Attribute with its declaring Feature that contains all overriden/overriding attributes of the provided features and attribute name.

allAttributes(List<NamedType>, String, boolean) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

Retrieves an immutable Set of Attribute with its declaring Feature that contains all overriden/overriding attributes of the provided named types and attribute name.

allAttributes(String, String, boolean) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

Retrieves an immutable Set of Attribute with its declaring Feature that contains all overriden/overriding attributes of the provided named types and attribute name.

allInvariantMap(Iterable<String>) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

Retrieves an immutable Map of Member.name to Invariant with its declaring Feature that contains all declared and inherited invariants of the provided features.

allInvariantMap(List<NamedType>) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

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.

allInvariantMap(String) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

Retrieves an immutable Map of Member.name to Invariant with its declaring Feature that contains all declared and inherited invariants of the provided feature.

allMemberMap(Iterable<String>) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

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.

allMemberMap(List<NamedType>) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

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.

allMemberMap(String) - Method in class edu.ksu.cis.santos.mdcf.dml.symbol.SymbolTable

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.

annotations - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.Attribute

 

annotations - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.Feature

 

applyExp(Exp, Exp) - Static method in class edu.ksu.cis.santos.mdcf.dml.ast.Ast

 

applyExp(Exp, Exp) - Static method in class edu.ksu.cis.santos.mdcf.dml.ast.Ast.Weak

 

Ast - Class in edu.ksu.cis.santos.mdcf.dml.ast

Provides AST construction methods.

Ast.Weak - Class in edu.ksu.cis.santos.mdcf.dml.ast

Provides AST construction methods with weaker type parameter constraints.

AstNode - Class in edu.ksu.cis.santos.mdcf.dml.ast

Top-level AST class that all AST node inherits from.

AstNode() - Constructor for class edu.ksu.cis.santos.mdcf.dml.ast.AstNode

 

attribute(Iterable<AttributeAnnotation>, Type, String, Optional<Initialization>) - Static method in class edu.ksu.cis.santos.mdcf.dml.ast.Ast

 

attribute(Iterable<?>, Type, String, Optional<?>) - Static method in class edu.ksu.cis.santos.mdcf.dml.ast.Ast.Weak

 

Attribute - Class in edu.ksu.cis.santos.mdcf.dml.ast

 

Attribute(Iterable<AttributeAnnotation>, Type, String, Optional<Initialization>) - Constructor for class edu.ksu.cis.santos.mdcf.dml.ast.Attribute

 

AttributeAnnotation - Interface in edu.ksu.cis.santos.mdcf.dml.ast

 

attributes - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.FeatureInit

 

attributes - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.RefinedType