AndLogicalExpr

AST
node type AndLogicalExpr

General Info

Production

AndLogicalExpr : LogicalExpr;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.Binary
                  AST.LogicalExpr
                      AST.AndLogicalExpr

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

Description

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

Constructors

public AndLogicalExpr()

public AndLogicalExpr(Expr 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 isDAafterTrue(Variable v)

Overrides:isDAafterTrue in class Binary

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

syn boolean isDAafterFalse(Variable v)

Overrides:isDAafterFalse in class Binary

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

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Binary

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

syn boolean isDUafterTrue(Variable v)

Overrides:isDUafterTrue in class Expr

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

syn boolean isDUafterFalse(Variable v)

Overrides:isDUafterFalse in class Expr

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

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Binary

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

syn java.lang.String printOp()

Specified by:printOp in class Binary

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

syn boolean canBeTrue()

Overrides:canBeTrue in class Expr

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

syn boolean canBeFalse()

Overrides:canBeFalse in class Expr

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

syn int next_test_label()

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

Methods

public void flushCache()

Overrides:flushCache in class LogicalExpr

public void flushCollectionCache()

Overrides:flushCollectionCache in class LogicalExpr

public AndLogicalExpr clone()
                     throws java.lang.CloneNotSupportedException

Overrides:clone in class LogicalExpr

Throws:: java.lang.CloneNotSupportedException

public AndLogicalExpr copy()

Overrides:copy in class ASTNode<ASTNode>

public AndLogicalExpr 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 emitEvalBranch(CodeGeneration gen)

Overrides:emitEvalBranch in class Expr

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1086
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 LogicalExpr

protected int numChildren()

Overrides:numChildren in class LogicalExpr

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class LogicalExpr

public void setLeftOperand(Expr node)

Replaces the LeftOperand child.

Overrides:setLeftOperand in class LogicalExpr

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

public Expr getLeftOperand()

Retrieves the LeftOperand child.

Overrides:getLeftOperand in class LogicalExpr

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

public Expr getLeftOperandNoTransform()

Retrieves the LeftOperand child.

This method does not invoke AST transformations.

Overrides:getLeftOperandNoTransform in class LogicalExpr

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

public void setRightOperand(Expr node)

Replaces the RightOperand child.

Overrides:setRightOperand in class LogicalExpr

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

public Expr getRightOperand()

Retrieves the RightOperand child.

Overrides:getRightOperand in class LogicalExpr

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

public Expr getRightOperandNoTransform()

Retrieves the RightOperand child.

This method does not invoke AST transformations.

Overrides:getRightOperandNoTransform in class LogicalExpr

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

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDAbefore in class Binary

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 368

public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDUbefore in class Binary

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 805

public int Define_int_condition_false_label(ASTNode caller,
                                            ASTNode child)

Overrides:Define_int_condition_false_label in class ASTNode<ASTNode>

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

public int Define_int_condition_true_label(ASTNode caller,
                                           ASTNode child)

Overrides:Define_int_condition_true_label in class ASTNode<ASTNode>

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

public ASTNode rewriteTo()

Overrides:rewriteTo in class LogicalExpr

Fields

protected java.util.Map isDAafterTrue_Variable_values

protected java.util.Map isDAafterFalse_Variable_values

protected java.util.Map isDAafter_Variable_values

protected java.util.Map isDUafter_Variable_values

protected boolean next_test_label_computed

protected int next_test_label_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.LogicalExpr

type_computed

type_value

Fields inherited from AST.Binary

isConstant_computed

isConstant_initialized

isConstant_value

isConstant_visited

isDUbefore_Variable_values

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 AndLogicalExpr

General Info

Description

Member Filters

Constructors

Attributes

Methods

Fields

Inherited Members

Attributes inherited from AST.LogicalExpr

Attributes inherited from AST.Binary

Attributes inherited from AST.Expr

Attributes inherited from AST.ASTNode

Methods inherited from class AST.LogicalExpr

Methods inherited from class AST.Binary

Methods inherited from class AST.Expr

Methods inherited from class AST.ASTNode