public abstract class BinaryExp extends Expression
| Modifier and Type | Field and Description |
|---|---|
Expression |
exp1 |
Expression |
exp2 |
anyString, epsilon, nullSet, verifierTag| Constructor and Description |
|---|
BinaryExp(Expression left,
Expression right) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
calcHashCode()
Computes the hashCode again.
|
Iterator |
children()
iterates all child expressions.
|
boolean |
equals(Object o) |
Expression[] |
getChildren()
returns all child expressions in one array.
|
calcEpsilonReducibility, getExpandedExp, hashCode, hashCode, hashCode, isEpsilonReducible, peelOccurence, readResolve, visit, visit, visit, visit, visit, visit, visit, visitpublic final Expression exp1
public final Expression exp2
public BinaryExp(Expression left, Expression right)
protected final int calcHashCode()
ExpressionThis method and the parameter to the constructor has to be the same. This method is used when the object is being read from the stream.
calcHashCode in class Expressionpublic boolean equals(Object o)
equals in class Expressionpublic Expression[] getChildren()
public Iterator children()
This method returns an iterator that iterates all children (A,B, and C in this example)
Copyright © 2016 Oracle Corporation. All Rights Reserved.