public class BinaryConstraintExpression extends ConstraintExpression
Modifier and Type | Field and Description |
---|---|
ConstraintExpression |
left
(¬ø) The left hand side of the binary expression.
|
Operator |
operation
(¬ø) The binary operation.
|
ConstraintExpression |
right
(¬ø) The right hand side of the binary expression.
|
parenthesized
byteOffset, line, nodeID, symbolTable
Constructor and Description |
---|
BinaryConstraintExpression(Operator op,
ConstraintExpression l,
ConstraintExpression r)
Initializing constructor.
|
Modifier and Type | Method and Description |
---|---|
Object |
clone()
Creates a new object with the same primitive data, and recursively creates new member data
objects as well.
|
ASTNodeIterator |
iterator()
Returns an iterator used to successively access the children of this node.
|
void |
runPass(Pass pass)
Ensures that the correct
run() method is called for this type of node. |
void |
write(StringBuffer buffer)
Writes a string representation of this
ASTNode to the specified buffer. |
containsQuantifiedVariable, getVariableTypes
public Operator operation
public ConstraintExpression left
public ConstraintExpression right
public BinaryConstraintExpression(Operator op, ConstraintExpression l, ConstraintExpression r)
op
- Reference to the operator's representation.l
- Reference to the left hand side's representation.r
- Reference to the right hand side's representation.public ASTNodeIterator iterator()
public Object clone()
public void runPass(Pass pass)
run()
method is called for this type of node.public void write(StringBuffer buffer)
ASTNode
to the specified buffer. The
representation written is parsable by the LBJava compiler, but not very readable.Copyright © 2016. All rights reserved.