Uses of Package
nts.interf.base

Packages that use nts.interf.base
nts.interf   
nts.interf.base   
nts.interf.expr   
 

Classes in nts.interf.base used by nts.interf
IAnnotated
          Syntactical elements that can be annotated implement this interface.
IExpr
          The base interface for expressions.
ILabel
          The base interface for transition labels.
IScope
          Base interface for elements that have a variable table.
IVarTableEntry
          An entry of a variable table.
IVisitable
          Visitable syntactical elements.
 

Classes in nts.interf.base used by nts.interf.base
EBasicType
          Basic types of variables.
EModifier
          Declaration modifier.
IAnnotated
          Syntactical elements that can be annotated implement this interface.
IAnnotations
          Annotations of syntactical elements that can be annotated -- elements that are instances of classes implementing IAnnotated interface.
IExpr
          The base interface for expressions.
ILabel
          The base interface for transition labels.
IScope
          Base interface for elements that have a variable table.
IType
          Interface for a type.
IVarTable
          A hierarchical variable table.
IVarTableEntry
          An entry of a variable table.
IVisitable
          Visitable syntactical elements.
IVisitor
          The visitor is responsible for determining the order of traversal.
 

Classes in nts.interf.base used by nts.interf.expr
IAccess
          Base interface for IAccessBasic, IAccessIndexed, and IAccessMulti interfaces.
IExpr
          The base interface for expressions.
IExprBin
          Base interface for binary expressions.
IExprQ
          Base interface for quantifier expressions.
IExprUn
          Base interface for unary expressions.
ILabel
          The base interface for transition labels.
IScope
          Base interface for elements that have a variable table.
IVarTableEntry
          An entry of a variable table.
IVisitable
          Visitable syntactical elements.