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 |
|