LogNotExpr

org.extendj.ast
node type LogNotExpr

General Info

Production

LogNotExpr : Unary;

Type Hierarchy:

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

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 139

Constructors

public LogNotExpr()

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

public LogNotExpr(Expr p0)

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 isTrue()

Overrides:isTrue in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isFalse()

Overrides:isFalse in class Expr

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

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.Constant constant()

Overrides:constant in class Expr

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

@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 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 isDAafter(org.extendj.ast.Variable v)

Overrides:isDAafter in class Unary

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

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

Overrides:isDUafterTrue in class Expr

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

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

Overrides:isDUafterFalse in class Expr

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

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

Overrides:isDUafter in class Unary

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

@ASTNodeAnnotation.Attribute
syn java.lang.String printPreOp()

Overrides:printPreOp in class Unary

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

@ASTNodeAnnotation.Attribute
syn TypeDecl type()

Overrides:type in class Unary

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

@ASTNodeAnnotation.Attribute
syn boolean canBeTrue()

Overrides:canBeTrue in class Expr

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1022
Aspect: CreateBCode

@ASTNodeAnnotation.Attribute
syn boolean canBeFalse()

Overrides:canBeFalse in class Expr

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1034
Aspect: CreateBCode

Methods

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

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

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

Overrides:createBCode in class Unary

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1047
Aspect: CreateBCode

public void branchTrue(org.extendj.ast.CodeGeneration gen,
                       int target)

Description copied from class: ExprGenerate unboxing code for conditions 14.9 If, 14.12 While, 14.13 Do, 14.14 For branchTrue is used to emit the condition from these constructs refine behavior to include unboxing of the value when needed

Overrides:branchTrue in class Expr

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1135
Aspect: CreateBCode

public void branchFalse(org.extendj.ast.CodeGeneration gen,
                        int target)

Overrides:branchFalse in class Expr

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

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

protected int numChildren()

Overrides:numChildren in class Unary

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

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Unary

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

public void flushAttrCache()

Overrides:flushAttrCache in class Unary

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

public void flushCollectionCache()

Overrides:flushCollectionCache in class Unary

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

public void flushRewriteCache()

Overrides:flushRewriteCache in class Unary

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

public LogNotExpr clone()
                 throws java.lang.CloneNotSupportedException

Overrides:clone in class Unary

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

public LogNotExpr copy()

Overrides:copy in class ASTNode<ASTNode>

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

@Deprecated
public LogNotExpr 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 Unary

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

public LogNotExpr 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 Unary

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

public LogNotExpr 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.

Specified by:treeCopy in class Unary

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

protected boolean is$Equal(ASTNode node)

Overrides:is$Equal in class ASTNode<ASTNode>

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

public void setOperand(Expr node)

Replaces the Operand child.

Overrides:setOperand in class Unary

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

@ASTNodeAnnotation.Child(name="Operand")
public Expr getOperand()

Retrieves the Operand child.

Overrides:getOperand in class Unary

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

public Expr getOperandNoTransform()

Retrieves the Operand child.

This method does not invoke AST transformations.

Overrides:getOperandNoTransform in class Unary

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

public boolean Define_isDAbefore(ASTNode caller,
                                 ASTNode child,
                                 org.extendj.ast.Variable v)

Overrides:Define_isDAbefore in class ASTNode<ASTNode>

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

protected boolean canDefine_isDAbefore(ASTNode caller,
                                       ASTNode child,
                                       org.extendj.ast.Variable v)

public boolean Define_isDUbefore(ASTNode caller,
                                 ASTNode child,
                                 org.extendj.ast.Variable v)

Overrides:Define_isDUbefore in class ASTNode<ASTNode>

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

protected boolean canDefine_isDUbefore(ASTNode caller,
                                       ASTNode child,
                                       org.extendj.ast.Variable v)