LogNotExpr

AST
node type LogNotExpr

General Info

Production

LogNotExpr : Unary;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.Unary
                  AST.LogNotExpr

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

Description

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

Constructors

public LogNotExpr()

public LogNotExpr(Expr p0)

Attributes

syn boolean isConstant()

Overrides:isConstant in class Expr

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

syn Constant constant()

Overrides:constant in class Expr

Source: Declared in Java7Frontend/ConstantExpression.jrag at line 91
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 Unary

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 235
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 Unary

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

syn java.lang.String printPreOp()

Overrides:printPreOp in class Unary

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

syn TypeDecl type()

Overrides:type in class Unary

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

syn boolean definesLabel()

Overrides:definesLabel in class ASTNode<ASTNode>

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

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

Methods

public void flushCache()

Overrides:flushCache in class Unary

public void flushCollectionCache()

Overrides:flushCollectionCache in class Unary

public LogNotExpr clone()
                 throws java.lang.CloneNotSupportedException

Overrides:clone in class Unary

Throws:: java.lang.CloneNotSupportedException

public LogNotExpr copy()

Overrides:copy in class ASTNode<ASTNode>

public LogNotExpr 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 typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

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

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class Unary

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

public void emitEvalBranch(CodeGeneration gen)

Overrides:emitEvalBranch in class Expr

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

protected int numChildren()

Overrides:numChildren in class Unary

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Unary

public void setOperand(Expr node)

Replaces the Operand child.

Overrides:setOperand in class Unary

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

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

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

Overrides:Define_boolean_isDAbefore in class ASTNode<ASTNode>

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

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

Overrides:Define_boolean_isDUbefore in class ASTNode<ASTNode>

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

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 982

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 983

public ASTNode rewriteTo()

Overrides:rewriteTo in class Unary

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 LogNotExpr

General Info

Description

Member Filters

Constructors

Attributes

Methods

Fields

Inherited Members

Attributes inherited from AST.Unary

Attributes inherited from AST.Expr

Attributes inherited from AST.ASTNode

Methods inherited from class AST.Unary

Methods inherited from class AST.Expr