CastExpr

AST
node type CastExpr

General Info

Production

CastExpr : Expr ::= TypeAccess:Access Expr;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.CastExpr

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Iterable<ASTNode>

Description

Source: Declared in Java1.4Frontend/java.ast at line 144

Constructors

public CastExpr()

public CastExpr(Access p0,
                Expr p1)

Attributes

syn Constant constant()

Overrides:constant in class Expr

Source: Declared in Java7Frontend/ConstantExpression.jrag at line 91
Aspect: ConstantExpression

syn boolean isConstant()

Overrides:isConstant in class Expr

Source: Declared in Java7Frontend/ConstantExpression.jrag at line 336
Aspect: ConstantExpression

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 235
Aspect: DA

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Expr

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 694
Aspect: DU

syn boolean isSuperAccess()

Overrides:isSuperAccess in class Expr

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 25
Aspect: AccessTypes

syn boolean isThisAccess()

Overrides:isThisAccess in class Expr

Source: Declared in Java1.4Frontend/ResolveAmbiguousNames.jrag at line 31
Aspect: AccessTypes

syn TypeDecl type()

Specified by:type in class Expr

Source: Declared in Java1.4Frontend/TypeAnalysis.jrag at line 320
Aspect: TypeAnalysis

syn boolean staticContextQualifier()

Overrides:staticContextQualifier in class Expr

Source: Declared in Java1.4Frontend/TypeHierarchyCheck.jrag at line 150
Aspect: TypeHierarchyCheck

inh boolean withinSuppressWarnings(java.lang.String s)

Source: Declared in Java7Frontend/SuppressWarnings.jrag at line 16
Aspect: SuppressWarnings

Methods

public void flushCache()

Overrides:flushCache in class Expr

public void flushCollectionCache()

Overrides:flushCollectionCache in class Expr

public CastExpr clone()
               throws java.lang.CloneNotSupportedException

Overrides:clone in class Expr

Throws:: java.lang.CloneNotSupportedException

public CastExpr copy()

Overrides:copy in class ASTNode<ASTNode>

public CastExpr fullCopy()

Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Overrides:fullCopy in class ASTNode<ASTNode>

Returns:: dangling copy of the subtree at this node

public void toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/PrettyPrint.jadd at line 385
Aspect: PrettyPrint

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/TypeCheck.jrag at line 252
Aspect: TypeCheck

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 840
Aspect: CreateBCode

public void checkWarnings()

Description copied from class: ASTNodeChecking of the SafeVarargs annotation is only needed for method declarations.

Overrides:checkWarnings in class ASTNode<ASTNode>

Source: Declared in Java7Frontend/UncheckedConversion.jrag at line 35
Aspect: UncheckedConversion

public void init$Children()

Initializes the child array to the correct size. Initializes List and Opt nta children.

Overrides:init$Children in class Expr

protected int numChildren()

Overrides:numChildren in class Expr

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Expr

public void setTypeAccess(Access node)

Replaces the TypeAccess child.

Parameters:: node - The new node to replace the TypeAccess child.

public Access getTypeAccess()

Retrieves the TypeAccess child.

Returns:: The current node used as the TypeAccess child.

public Access getTypeAccessNoTransform()

Retrieves the TypeAccess child.

This method does not invoke AST transformations.

Returns:: The current node used as the TypeAccess child.

public void setExpr(Expr node)

Replaces the Expr child.

Parameters:: node - The new node to replace the Expr child.

public Expr getExpr()

Retrieves the Expr child.

Returns:: The current node used as the Expr child.

public Expr getExprNoTransform()

Retrieves the Expr child.

This method does not invoke AST transformations.

Returns:: The current node used as the Expr child.

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:Define_NameType_nameType in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/SyntacticClassification.jrag at line 88

public ASTNode rewriteTo()

Overrides:rewriteTo in class Expr

Fields

protected boolean type_computed

protected TypeDecl type_value

Inherited Members

Methods inherited from class beaver.Symbol

getColumn

getEnd

getId

getLine

getStart

makePosition

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

wait

Fields inherited from AST.Expr

Fields inherited from AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

PRIMITIVE_PACKAGE_NAME

state

Fields inherited from beaver.Symbol

end

start

value

AST node type CastExpr