I

index - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.EitherInit

 

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

 

init - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.EitherInit

 

init - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.SomeInit

 

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

 

inits - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.SeqInit

 

inits - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.SetInit

 

inits - Variable in class edu.ksu.cis.santos.mdcf.dml.ast.TupleInit

 

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

 

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

 

invariant(String, PredicateType, FunExp) - Static method in class edu.ksu.cis.santos.mdcf.dml.ast.Ast

 

invariant(String, PredicateType, FunExp) - Static method in class edu.ksu.cis.santos.mdcf.dml.ast.Ast.Weak

 

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

 

Invariant(String, PredicateType, FunExp) - Constructor for class edu.ksu.cis.santos.mdcf.dml.ast.Invariant

 

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

Determines whether a Declaration fully-qualified name ( Declaration.name) is of a BasicType.

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

Determines whether a Declaration fully-qualified name ( Declaration.name) is of a Feature.

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

Determines whether a Declaration fully-qualified name ( Declaration.name) is of a Requirement.

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

Determines whether a fully-qualified name of a BasicType or a Feature is a sub type of another BasicType or a Feature.

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

Determines whether a fully-qualified name of a BasicType or a Feature is a super type of another BasicType or a Feature.

iterator() - Method in class edu.ksu.cis.santos.mdcf.dml.ast.AstNode

 

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

AST Visitor Interface.