org.walkmod.javalang.ast.expr

Class BinaryExpr

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.expr.Expression

org.walkmod.javalang.ast.expr.BinaryExpr

All Implemented Interfaces:

Serializable, Cloneable, SymbolDataAware<SymbolData>, org.walkmod.modelchecker.ConstrainedElement

public final class BinaryExpr
extends Expression

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	BinaryExpr.Operator

Constructor Summary

Constructors

Constructor and Description
BinaryExpr()
BinaryExpr(Expression left, Expression right, BinaryExpr.Operator op)
BinaryExpr(int beginLine, int beginColumn, int endLine, int endColumn, Expression left, Expression right, BinaryExpr.Operator op)

Method Summary

Modifier and Type	Method and Description
<R,A> R	accept(GenericVisitor<R,A> v, A arg) Accept method for visitor support.
<A> void	accept(VoidVisitor<A> v, A arg) Accept method for visitor support.
BinaryExpr	clone()
List<Node>	getChildren()
Expression	getLeft()
BinaryExpr.Operator	getOperator()
Expression	getRight()
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setLeft(Expression left)
void	setOperator(BinaryExpr.Operator op)
void	setRight(Expression right)

Methods inherited from class org.walkmod.javalang.ast.expr.Expression

getSymbolData, setSymbolData

Methods inherited from class org.walkmod.javalang.ast.Node

check, clone, clone, contains, diableConstraints, enableConstraints, equals, getBeginColumn, getBeginLine, getCommonAncestor, getConstraints, getData, getEndColumn, getEndLine, getParentNode, getPrettySource, getPrettySource, hashCode, isAncestorOf, isInEqualLocation, isNewNode, isPreviousThan, remove, replaceChildNodeInList, setAsParentNodeOf, setAsParentNodeOf, setBeginColumn, setBeginLine, setConstraints, setData, setEndColumn, setEndLine, toString, updateReferences

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BinaryExpr

public BinaryExpr()

BinaryExpr

public BinaryExpr(Expression left,
                  Expression right,
                  BinaryExpr.Operator op)

BinaryExpr

public BinaryExpr(int beginLine,
                  int beginColumn,
                  int endLine,
                  int endColumn,
                  Expression left,
                  Expression right,
                  BinaryExpr.Operator op)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class Expression

accept

public <R,A> R accept(GenericVisitor<R,A> v,
                      A arg)

Description copied from class: Node

Accept method for visitor support.

Specified by:

accept in class Node

Type Parameters:

R - the type the return value of the visitor

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

Returns:

the result of the visit

accept

public <A> void accept(VoidVisitor<A> v,
                       A arg)

Description copied from class: Node

Accept method for visitor support.

Specified by:

accept in class Node

Type Parameters:

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

getLeft

public Expression getLeft()

getOperator

public BinaryExpr.Operator getOperator()

getRight

public Expression getRight()

setLeft

public void setLeft(Expression left)

setOperator

public void setOperator(BinaryExpr.Operator op)

setRight

public void setRight(Expression right)

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

clone

public BinaryExpr clone()
                 throws CloneNotSupportedException

Specified by:

clone in class Expression

Throws:

CloneNotSupportedException