InstanceOfExpr

org.extendj.ast
node type InstanceOfExpr

General Info

Production

InstanceOfExpr : Expr ::= Expr TypeAccess:Access;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      org.extendj.ast.ASTNode<ASTNode>
          org.extendj.ast.Expr
              org.extendj.ast.InstanceOfExpr

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Iterable<ASTNode>, org.jastadd.util.PrettyPrintable

Description

Source: Declared in /home/jesper/git/extendj/java4/grammar/Java.ast at line 182

Constructors

public InstanceOfExpr()

Source: Declared in /home/jesper/git/extendj/ASTNode at line 1

public InstanceOfExpr(Expr p0,
                      Access p1)

Source: Declared in /home/jesper/git/extendj/ASTNode at line 13

Attributes

@ASTNodeAnnotation.Attribute
syn boolean isConstant()

Overrides:isConstant in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/ConstantExpression.jrag at line 254
Aspect: ConstantExpression

@ASTNodeAnnotation.Attribute
syn boolean isDAafterFalse(org.extendj.ast.Variable v)

Overrides:isDAafterFalse in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 375
Aspect: DA

@ASTNodeAnnotation.Attribute
syn boolean isDAafterTrue(org.extendj.ast.Variable v)

Overrides:isDAafterTrue in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 374
Aspect: DA

@ASTNodeAnnotation.Attribute
syn boolean isDAafter(org.extendj.ast.Variable v)

Overrides:isDAafter in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 259
Aspect: DA

@ASTNodeAnnotation.Attribute
syn boolean isDUafter(org.extendj.ast.Variable v)

Overrides:isDUafter in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 783
Aspect: DU

@ASTNodeAnnotation.Attribute
syn TypeDecl type()

Specified by:type in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 302
Aspect: TypeAnalysis

@ASTNodeAnnotation.Attribute
syn boolean modifiedInScope(org.extendj.ast.Variable var)

Overrides:modifiedInScope in class Expr

Source: Declared in /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag at line 149
Aspect: PreciseRethrow

Methods

public void prettyPrint(org.jastadd.util.PrettyPrinter out)

Specified by:prettyPrint in interface org.jastadd.util.PrettyPrintableOverrides:prettyPrint in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/java4/frontend/PrettyPrint.jadd at line 211
Aspect: Java4PrettyPrint

public void refined_TypeCheck_InstanceOfExpr_typeCheck()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag at line 276
Aspect: TypeCheck

public void createBCode(org.extendj.ast.CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1354
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

Source: Declared in /home/jesper/git/extendj/ASTNode at line 10

protected int numChildren()

Overrides:numChildren in class Expr

Source: Declared in /home/jesper/git/extendj/ASTNode at line 20

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Expr

Source: Declared in /home/jesper/git/extendj/ASTNode at line 26

public void flushAttrCache()

Overrides:flushAttrCache in class Expr

Source: Declared in /home/jesper/git/extendj/ASTNode at line 32

public void flushCollectionCache()

Overrides:flushCollectionCache in class Expr

Source: Declared in /home/jesper/git/extendj/ASTNode at line 39

public void flushRewriteCache()

Overrides:flushRewriteCache in class Expr

Source: Declared in /home/jesper/git/extendj/ASTNode at line 45

public InstanceOfExpr clone()
                     throws java.lang.CloneNotSupportedException

Overrides:clone in class Expr

Throws:: java.lang.CloneNotSupportedException
Source: Declared in /home/jesper/git/extendj/ASTNode at line 51

public InstanceOfExpr copy()

Overrides:copy in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 58

@Deprecated
public InstanceOfExpr fullCopy()

Deprecated. Please use treeCopy or treeCopyNoTransform instead

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

Specified by:fullCopy in class Expr

Returns:: dangling copy of the subtree at this node
Source: Declared in /home/jesper/git/extendj/ASTNode at line 77

public InstanceOfExpr treeCopyNoTransform()

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

Specified by:treeCopyNoTransform in class Expr

Returns:: dangling copy of the subtree at this node
Source: Declared in /home/jesper/git/extendj/ASTNode at line 87

public InstanceOfExpr treeCopy()

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

org.extendj.ast node type InstanceOfExpr

General Info

Description

Member Filters

Constructors

Attributes

Methods

Fields

Inherited Members

Attributes inherited from org.extendj.ast.Expr

Attributes inherited from org.extendj.ast.ASTNode

Methods inherited from class org.extendj.ast.Expr

Methods inherited from class org.extendj.ast.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Fields inherited from org.extendj.ast.Expr

Fields inherited from org.extendj.ast.ASTNode

Fields inherited from beaver.Symbol

org.extendj.ast
node type InstanceOfExpr