Package polyglot.ext.polyj.ast

Interface Summary
AmbInstOrAccess An AmbInstOrAccess is an ambiguous piece of syntax that represents either an instantiated parametric type or an array access.
AmbNameParam An AmbNameParam is a name used as a parameter in an instantiation.
AmbNewArray An AmbNewArray is an ambiguous piece of syntax that represents the creation of a new array, where the parser is unable to distinguish whether the first dimension in the creation is a parametric instantiation or an expression indicating size.
ClassConstraint  
ConstructorConstraint  
ExprParam An ExprParam is an expression used as a parameter in an instantiation.
InstTypeNode An InstTypeNode is a TypeNode representing the instantiation of a parametric type.
MethodConstraint  
ParamNode A ParamNode is a parameter in an instantiation.
PolyJArrayAccess A PolyJArrayAccess is identical to an ArrayAccess, except that accesses to parametric arrays are translated as $AFetch$ methods.
PolyJAssign An PolyJAssign represents a Java assignment expression.
PolyJBinary A PolyJBinary represents a Java binary expression, an immutable pair of expressions combined with an op.
PolyJCall A PolyJCall is an immutable representation of a Java method call.
PolyJCanonicalTypeNode A PolyJCanonicalTypeNode is a type node for a canonical type in Polyj.
PolyJCast A PolyJCast is an immutable representation of a casting operation done in any PolyJ program.
PolyJClassBody  
PolyJClassDecl  
PolyJConstructorCall A PolyJConstructorCall is an immutable representation of a direct call to a constructor of a class in the form of super(...) or this(...).
PolyJConstructorDecl  
PolyJField A PolyJField is an immutable representation of a Java field access.
PolyJFieldDecl A PolyJFieldDecl is an immutable representation of a variable declaration, which consists of a type, one or more variable names, and possible initilization expressions.
PolyJInitializer  
PolyJInstanceof A PolyJInstanceof is an immutable representation of the use of the instanceof operator in PolyJ programs.
PolyJLocalDecl A PolyJLocalDecl is an immutable representation of a variable declaration, which consists of a type, one or more variable names, and possible initilization expressions.
PolyJMethodDecl  
PolyJNew A PolyJNew is an immutable representation of the use of the new operator to create a new instance of a class.
PolyJNewArray A PolyJNewArray is identical to a NewArray, except that parametric arrays are translated as $ANew$ methods
PolyJNodeFactory Constructs JL AST nodes with PolyJ extensions, as well as PolyJ-specific AST nodes.
ProcedureConstraint Generalization of the Method and Constructor subclasses.
TypeParam An TypeParam is a type used as a parameter in an instantiation.
 

Class Summary
AmbInstOrAccess_c  
AmbNameParam_c  
AmbNewArray_c  
ClassConstraint_c  
ConstructorConstraint_c  
ExprParam_c  
InstTypeNode_c  
MethodConstraint_c  
PolyJArrayAccess_c A PolyJArrayAccess is identical to an ArrayAccess, except that accesses to parametric arrays are translated as $AFetch$ methods.
PolyJArrayAccessAssign_c  
PolyJBinary_c A PolyJBinary represents a Java binary expression, an immutable pair of expressions combined with an op.
PolyJCall_c A PolyJCall is an immutable representation of a Java method call.
PolyJCanonicalTypeNode_c A PolyJCanonicalTypeNode is a type node for a canonical type in Polyj.
PolyJCast_c A PolyJCast is an immutable representation of a casting operation done in any PolyJ program.
PolyJClassBody_c  
PolyJClassDecl_c  
PolyJConstructorCall_c A PolyJConstructorCall is an immutable representation of a direct call to a constructor of a class in the form of super(...) or this(...).
PolyJConstructorDecl_c  
PolyJDisamb_c Utility class which is used to disambiguate ambiguous AST nodes (Expr, Type, Receiver, Qualifier, Prefix).
PolyJExtFactory_c ExtFactory for polyj extension The ext should have a name PolyJxxxxExt, for now, it is still PolyJxxxxDel.
PolyJField_c A PolyJField is an immutable representation of a Java field access.
PolyJFieldAssign_c  
PolyJFieldDecl_c A PolyJFieldDecl is an immutable representation of a variable declaration, which consists of a type, one or more variable names, and possible initilization expressions.
PolyJInitializer_c  
PolyJInstanceof_c A PolyJInstanceof is an immutable representation of the use of the instanceof operator in PolyJ programs.
PolyJLocalAssign_c  
PolyJLocalDecl_c A PolyJLocalDecl is an immutable representation of a variable declaration, which consists of a type, one or more variable names, and possible initilization expressions.
PolyJMethodDecl_c  
PolyJNew_c A PolyJNew is an immutable representation of the use of the new operator to create a new instance of a class.
PolyJNewArray_c PolyJ translates NewArrays as method calls when the ultimate base type of the array is a type parameter.
PolyJNodeFactory_c Constructs JL AST nodes with PolyJ extensions, as well as PolyJ-specific AST nodes.
ProcedureConstraint_c Generalization of the Method and Constructor subclasses.
TypeParam_c