polyglot.ast

Interface Summary
Interface	Description
AmbAssign	A `AmbAssign` represents a Java assignment expression to an ambiguous expression.
AmbExpr	An `AmbExpr` is an ambiguous AST node composed of a single identifier that must resolve to an expression.
Ambiguous	An `Ambiguous` represents an ambiguous AST node.
AmbPrefix	An `AmbPrefix` is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a prefix.
AmbQualifierNode	An `AmbQualifierNode` is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a type qualifier.
AmbReceiver	An `AmbReceiver` is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a receiver.
AmbTypeNode	An `AmbTypeNode` is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a type.
ArrayAccess	An `ArrayAccess` is an immutable representation of an access of an array member.
ArrayAccessAssign	A `ArrayAccessAssign` represents a Java assignment expression to an array element.
ArrayInit	An `ArrayInit` is an immutable representation of an array initializer, such as { 3, 1, { 4, 1, 5 } }.
ArrayTypeNode	An `ArrayTypeNode` is a type node for a non-canonical array type.
Assert	An `Assert` is an immutable representation of an `assert` statement.
Assign	An `Assign` represents a Java assignment expression.
Binary	A `Binary` represents a Java binary expression, an immutable pair of expressions combined with an operator.
Block	A `Block` represents a Java block statement -- an immutable sequence of statements.
BooleanLit	A `BooleanLit` represents a boolean literal expression.
Branch	A `Branch` is an immutable representation of a branch statment in Java (a break or continue).
Call	A `Call` is an immutable representation of a Java method call.
CallOps	This interface allows extension delegates both to override and reuse functionality in Call_c.
CanonicalTypeNode	A `CanonicalTypeNode` is a type node for a canonical type.
Case	A `Case` is a representation of a Java `case` statement.
Cast	A `Cast` is an immutable representation of a casting operation.
Catch	A `Catch` represents one half of a `try-catch` statement.
CharLit	A `CharLit` represents a literal in java of `char` type.
ClassBody	A `ClassBody` represents the body of a class or interface declaration or the body of an anonymous class.
ClassDecl	A `ClassDecl` represents a top-level, member, or local class declaration.
ClassDeclOps	This interface allows extension delegates both to override and reuse functionality in ClassDecl_c.
ClassLit	A `ClassLit` represents a class literal expression.
ClassMember	A `ClassMember` is a method, a constructor, a field, an initializer block, or another class declaration.
CodeBlock	A code node.
CodeDecl	A code declaration.
CodeNode	A code node.
CompoundStmt	Any statement with sub-statements.
Conditional	A `Conditional` is a representation of a Java ternary expression.
ConstructorCall	A `ConstructorCall` represents a direct call to a constructor.
ConstructorDecl	A `ConstructorDecl` is an immutable representation of a constructor declaration as part of a class body.
DelFactory	Deprecated
Disamb	Utility class which is used to disambiguate ambiguous AST nodes (Expr, Type, Receiver, Qualifier, Prefix).
Do	A Java language `do` statement.
Empty	`Empty` is the class for a empty statement (i.e., `;`).
Eval	An `Eval` wraps an expression in the context of a statement.
Expr	An `Expr` represents some Java expression.
ExprOps	This interface allows extensions both to override and reuse functionality in Term_c.
Ext	`Ext` is the super type of all node extension objects.
ExtFactory	An `ExtFactory` constructs extensions.
Field	A `Field` is an immutable representation of a Java field access.
FieldAssign	A `FieldAssign` represents a Java assignment expression to a field.
FieldDecl	A `FieldDecl` is an immutable representation of the declaration of a field of a class.
FloatLit	A `FloatLit` represents a literal in java of type `float` or `double`.
For	An immutable representation of a Java language `for` statement.
ForInit	A `ForInit` represents a statement that can be used as a initializer in a `for` statement.
Formal	A `Formal` represents a formal parameter to a method or constructor or to a catch block.
ForUpdate	A `ForUpdate` represents a statement that can be used as an iterator in a `for` statement.
Id	An `Id` represents a simple identifier in the AST.
If	An immutable representation of a Java language `if` statement.
Import	An `Import` is an immutable representation of a Java `import` statement.
Initializer	An `Initializer` is an immutable representation of an initializer block in a Java class (which appears outside of any method).
Instanceof	An `Instanceof` is an immutable representation of the use of the `instanceof` operator.
IntLit	An `IntLit` represents a literal in Java of an integer type.
JLang	`JLang` contains methods implemented by an AST node that are specific to the Java language.
JLDel	Deprecated
Labeled	Am immutable representation of a Java statement with a label.
Lang	`Lang` contains methods implemented by an AST node.
Lit	`Lit` represents any Java literal.
Local	A local variable expression.
LocalAssign	A `LocalAssign` represents a Java assignment expression to an array element.
LocalClassDecl	A local class declaration statement.
LocalDecl	A `LocalDecl` is an immutable representation of a local variable declaration statement: a type, a name and an optional initializer.
Loop	An immutable representation of a loop statement.
LoopOps	This interface allows extensions both to override and reuse functionality in Loop_c.
MethodDecl	A method declaration.
NamedVariable	An interface representing a variable.
New	A `New` is an immutable representation of the use of the `new` operator to create a new instance of a class.
NewArray	A `NewArray` represents a new array expression such as `new File[8][] { null }`.
NewOps
Node	A `Node` represents an AST node.
NodeFactory	A `NodeFactory` constructs AST nodes.
NodeOps	A `Node` represents an AST node.
NullLit	The Java literal `null`.
NumLit	An integer literal: longs, ints, shorts, bytes, and chars.
PackageNode	A `PackageNode` is the syntactic representation of a Java package within the abstract syntax tree.
Prefix	A `Prefix` represents any node that can be used as the prefix of a `Receiver`.
ProcedureCall	A `ProcedureCall` is an interface representing a method or constructor call.
ProcedureCallOps
ProcedureDecl	A procedure declaration.
ProcedureDeclOps	This interface allows extension delegates both to override and reuse functionality in `ConstructorDecl_c` and `MethodDecl_c`.
QualifierNode	A `QualifierNode` represents any node that can be used as a type qualifier (`polyglot.types.Qualifier`).
Receiver	A `Receiver` represents any node that can be used as the receiver of a method or of a field access.
Return	A `Return` represents a `return` statement in Java.
SourceCollection	A `SourceCollection` represents a collection of source files.
SourceFile	A `SourceFile` is an immutable representations of a Java language source file.
Special	A `Special` is an immutable representation of a reference to `this` or `super` in Java.
Stmt	A `Stmt` represents any Java statement.
StringLit	A `StringLit` represents an immutable instance of a `String` which corresponds to a literal string in Java code.
Switch	A `Switch` is an immutable representation of a Java `switch` statement.
SwitchBlock	A `SwitchBlock` is a list of statements within a switch.
SwitchElement	A `SwitchElement` is statement inside a switch.
Synchronized	An immutable representation of a Java language `synchronized` block.
Term	A `Term` represents any Java expression or statement on which dataflow can be performed.
TermOps	This interface allows extensions both to override and reuse functionality in Term_c.
Throw	A `Throw` is an immutable representation of a `throw` statement.
TopLevelDecl	A top-level declaration.
Try	An immutable representation of a `try` block, one or more `catch` blocks, and an optional `finally` block.
TryOps	This interface allows extensions both to override and reuse functionality in Try_c.
Typed	`Typed` represents any node that has a type associated with it.
TypeNode	A `TypeNode` is the syntactic representation of a `Type` within the abstract syntax tree.
Unary	A `Unary` represents a Java unary expression, an immutable pair of an expression and an an operator.
VarDecl	A `VarDecl` represents a local variable declaration, of either a formal or a local variable.
Variable	An interface representing a variable.
VarInit	`VarInit` should be implemented by any node that could declare and initialize a variable or field.
While	An immutable representation of a Java language `while` statement.

Class Summary
Class	Description
AbstractBlock_c	A `Block` represents a Java block statement -- an immutable sequence of statements.
AbstractDelFactory_c	Deprecated
AbstractExtFactory_c	This abstract implementation of `ExtFactory` provides a way of chaining together ExtFactories, and default implementations of factory methods for each node.
AbstractNodeFactory_c	This is a node factory that creates no nodes.
AmbAssign_c	A `AmbAssign` represents a Java assignment expression to an ambiguous expression.
AmbExpr_c	An `AmbExpr` is an ambiguous AST node composed of a single identifier that must resolve to an expression.
AmbPrefix_c	An `AmbPrefix` is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a prefix.
AmbQualifierNode_c	An `AmbQualifierNode` is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a type qualifier.
AmbReceiver_c	An `AmbReceiver` is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a receiver.
AmbTypeNode_c	An `AmbTypeNode` is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a type.
ArrayAccess_c	An `ArrayAccess` is an immutable representation of an access of an array member.
ArrayAccessAssign_c	A `ArrayAccessAssign_c` represents a Java assignment expression to an array element.
ArrayInit_c	An `ArrayInit` is an immutable representation of an array initializer, such as { 3, 1, { 4, 1, 5 } }.
ArrayTypeNode_c	An `ArrayTypeNode` is a type node for a non-canonical array type.
Assert_c	An `Assert` is an immutable representation of an `assert` statement.
Assign_c	An `Assign` represents a Java assignment expression.
Assign.Operator	Assignment operator.
Binary_c	A `Binary` represents a Java binary expression, an immutable pair of expressions combined with an operator.
Binary.Operator	Binary expression operator.
Block_c	A `Block` represents a Java block statement -- an immutable sequence of statements.
BooleanLit_c	A `BooleanLit` represents a boolean literal expression.
Branch_c	A `Branch` is an immutable representation of a branch statment in Java (a break or continue).
Branch.Kind	Branch kind: either break or continue.
Call_c	A `Call` is an immutable representation of a Java method call.
CanonicalTypeNode_c	A `CanonicalTypeNode` is a type node for a canonical type.
Case_c	A `Case` is a representation of a Java `case` statement.
Cast_c	A `Cast` is an immutable representation of a casting operation.
Catch_c	A `Catch` represents one half of a `try-catch` statement.
CharLit_c	A `CharLit` represents a literal in java of `char` type.
ClassBody_c	A `ClassBody` represents the body of a class or interface declaration or the body of an anonymous class.
ClassDecl_c	A `ClassDecl` is the definition of a class, abstract class, or interface.
ClassLit_c	A `ClassLit` represents a class literal expression.
Conditional_c	A `Conditional` is a representation of a Java ternary expression.
ConstructorCall_c	A `ConstructorCall` represents a direct call to a constructor.
ConstructorCall.Kind	Constructor call kind: either "super" or "this".
ConstructorDecl_c	A `ConstructorDecl` is an immutable representation of a constructor declaration as part of a class body.
Disamb_c	Utility class which is used to disambiguate ambiguous AST nodes (Expr, Type, Receiver, Qualifier, Prefix).
Do_c	A immutable representation of a Java language `do` statement.
Empty_c	`Empty` is the class for a empty statement `(;)`.
Eval_c	An `Eval` wraps an expression in the context of a statement.
Expr_c	An `Expr` represents any Java expression.
Ext_c	`Ext` is the super type of all node extension objects.
Field_c	A `Field` is an immutable representation of a Java field access.
FieldAssign_c	A `FieldAssign` represents a Java assignment expression to a field.
FieldDecl_c	A `FieldDecl` is an immutable representation of the declaration of a field of a class.
FieldDecl_c.AddDependenciesVisitor
FloatLit_c	A `FloatLit` represents a literal in java of type `float` or `double`.
FloatLit.Kind	Integer literal kinds: float (e.g., 0.0F) or double (e.g., 0.0).
For_c	An immutable representation of a Java language `for` statement.
Formal_c	A `Formal` represents a formal parameter for a procedure or catch block.
Id_c	An `Id` represents a simple identifier in the AST.
If_c	An immutable representation of a Java language `if` statement.
Import_c	An `Import` is an immutable representation of a Java `import` statement.
Import.Kind	Import kinds: class (e.g., import java.util.Set) or package (e.g., import java.util.*).
Initializer_c	An `Initializer` is an immutable representation of an initializer block in a Java class (which appears outside of any method).
Instanceof_c	An `Instanceof` is an immutable representation of the use of the `instanceof` operator.
IntLit_c	An `IntLit` represents a literal in Java of an integer type.
IntLit.Kind	Integer literal kinds: int (e.g., 0) or long (e.g., 0L).
JLang_c	`JLang_c` defines the dispatching mechanism to methods which implement Java compiler operations.
JLangToJLDel	`JLangToDel_c` is a bridge class that provides backward compatibility with the Polyglot's old architecture that uses delegate objects.
JLDel_c	Deprecated
Labeled_c	Am immutable representation of a Java statement with a label.
Lit_c	`Lit` represents any Java literal.
Local_c	A local variable expression.
LocalAssign_c	A `LocalAssign` represents a Java assignment expression to a local variable.
LocalClassDecl_c	A local class declaration statement.
LocalDecl_c	A `LocalDecl` is an immutable representation of a local variable declaration statement: a type, a name and an optional initializer.
LocalDecl_c.AddDependenciesVisitor
Loop_c	An immutable representation of a loop statement.
Loop.Instance
MethodDecl_c	A method declaration.
New_c	A `New` is an immutable representation of the use of the `new` operator to create a new instance of a class.
NewArray_c	A `NewArray` represents a new array expression such as `new File[8][] { null }`.
Node_c	A `Node` represents an AST node.
NodeFactory_c	A `NodeFactory` constructs AST nodes.
NullLit_c	The Java literal `null`.
NumLit_c	An integer literal: longs, ints, shorts, bytes, and chars.
PackageNode_c	A `PackageNode` is the syntactic representation of a Java package within the abstract syntax tree.
Precedence	Constants defining the precedence of an expression.
ProcedureDecl_c	A `ProcedureDecl` is an immutable representation of a constructor or method declaration as part of a class body.
Return_c	A `Return` represents a `return` statement in Java.
SourceCollection_c	A `SourceCollection` represents a collection of source files.
SourceFile_c	A `SourceFile` is an immutable representations of a Java language source file.
Special_c	A `Special` is an immutable representation of a reference to `this` or `super` in Java.
Special.Kind	Special expression kind: either "super" or "this".
Stmt_c	A `Stmt` represents any Java statement.
StringLit_c	A `StringLit` represents an immutable instance of a `String` which corresponds to a literal string in Java code.
Switch_c	A `Switch` is an immutable representation of a Java `switch` statement.
SwitchBlock_c	A `SwitchBlock` is a list of statements within a switch.
Synchronized_c	An immutable representation of a Java language `synchronized` block.
Term_c	A `Term` represents any Java expression or statement on which dataflow can be performed.
Term.Instance
Throw_c	A `Throw` is an immutable representation of a `throw` statement.
Try_c	An immutable representation of a `try` block, one or more `catch` blocks, and an optional `finally` block.
TypeNode_c	A `TypeNode` is the syntactic representation of a `Type` within the abstract syntax tree.
TypeNode.Instance
Unary_c	A `Unary` represents a Java unary expression, an immutable pair of an expression and an operator.
Unary.Operator	Unary expression operator.
While_c	An immutable representation of a Java language `while` statement.

Package polyglot.ast Description

Contains the AST node interfaces.

The nodes all extend the interface Node. Each node has accessor methods and methods to implement passes over the node. The setter methods are non-destructive: they create a copy of the node and return the copy. The traversal interface is defined in NodeVisitor. Nodes are constructed using a NodeFactory.

See Also:: Node, NodeVisitor,