Add any declarations to the context that should be in scope when visiting later sibling nodes. @param c The context to which to add declarations.

Add a pc to line number entry to the line table. @param Label to the location in the class file @param line Corresponding line number in the source fi

Add the given class to the list of interfaces which are directly implemented by this class.

Adds the given object at the end of the Chain.

Adds a control flow edge from this statement to the given. @param s the target statement of the edge.

Add a variable to the current scope.

Access to all non-terminals.

Returns a reference variable representing the array element of this variable. Now it does not look at the array index.

only lets binary expression through. @param val the Value to test for. @return <code>val</code> if it is a binary expression. otherwise <code>null</c

@return True if this is a boundary case: the literal can only appear as the operand of a unary minus.

Signatures - we know the signatures of all methods and fields requires at least Hierarchy for all referred to types in these signatures.

---------------------------------------------*/

---------------------------------------------*/

Returns true iff the type t can be coerced to a String in the given Context. If a type can be coerced to a String then it can be concatenated with Str

When reordering bytecode, check if it is safe to move aUnitToMove past aUnitToGoOver. @return true if aUnitToMove can be moved past aUnitToGoOver.

Return true if this method can override <code>mi</code>. This method should not be called except by <code>TypeSystem</code> and by subclasses. If quie

A utility method for confirming that an edge which is in a {@link TrapUnitGraph} or {@link ClassicCompleteUnitGraph} but not the corresponding {@link

Any type of new statement (NewStmt, NewArrayStmt, NewMultiArrayStmt)

List of catch blocks. @return A list of {@link polyglot.ast.Catch Catch}.

Return a copy of this <code>this</code> with the <code>interface</code> flag clear.

Returns a clone of this Value.