AST
node type InstanceOfExpr

General Info

Production
InstanceOfExpr : Expr ::= Expr TypeAccess:Access;
Type Hierarchy:
java.lang.Object
  extended by beaver.Symbol
      extended by AST.ASTNode<ASTNode>
          extended by AST.Expr
              extended by AST.InstanceOfExpr
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Iterable<ASTNode>

Description

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

Member Filters

API level:

Aspect:

Constructors

 
public InstanceOfExpr(Expr p0,
                      Access p1)
 

Attributes

syn boolean isConstant()
Overrides:isConstant in class Expr
Source
Declared in Java7Frontend/ConstantExpression.jrag at line 336
Aspect
ConstantExpression
syn boolean isDAafterFalse(Variable v)
Overrides:isDAafterFalse in class Expr
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 333
Aspect
DA
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 TypeDecl type()
Specified by:type in class Expr
Source
Declared in Java1.4Frontend/TypeAnalysis.jrag at line 361
Aspect
TypeAnalysis

Methods

public void flushCache()
Overrides:flushCache in class Expr
public void flushCollectionCache()
Overrides:flushCollectionCache in class Expr
public InstanceOfExpr clone()
                     throws java.lang.CloneNotSupportedException
Overrides:clone in class Expr
Throws:
java.lang.CloneNotSupportedException
Overrides:copy in class ASTNode<ASTNode>
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 421
Aspect
PrettyPrint
public void typeCheck()
Overrides:typeCheck in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/TypeCheck.jrag at line 235
Aspect
TypeCheck
public void createBCode(CodeGeneration gen)
Overrides:createBCode in class ASTNode<ASTNode>
Source
Declared in Java1.4Backend/CreateBCode.jrag at line 1169
Aspect
CreateBCode
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 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.
Retrieves the Expr child.

This method does not invoke AST transformations.

Returns:
The current node used as the Expr child.
public void setTypeAccess(Access node)
Replaces the TypeAccess child.
Parameters:
node - The new node to replace the TypeAccess child.
Retrieves the TypeAccess child.
Returns:
The current node used as the TypeAccess child.
Retrieves the TypeAccess child.

This method does not invoke AST transformations.

Returns:
The current node used as the TypeAccess child.
public boolean isDAafterTrue(Variable v)
Overrides:Define_NameType_nameType in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/SyntacticClassification.jrag at line 89
Overrides:rewriteTo in class Expr

Fields

protected boolean type_computed

Inherited Members

Attributes inherited from AST.Expr

Attributes inherited from AST.ASTNode

Methods inherited from class AST.Expr

Methods inherited from class AST.ASTNode

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

Fields inherited from AST.Expr

Fields inherited from AST.ASTNode

Fields inherited from beaver.Symbol

end
id
start
value