Datatype.
| Modifier and Type | Field and Description |
|---|---|
| public final Datatype | dt
Datatype object that is used to test the equality. |
| public final StringPair | name
name of this datatype. |
| private static final long | |
| public final Object | value
This expression matches this value only. |
| Access | Constructor and Description |
|---|---|
| protected |
| Modifier and Type | Method and Description |
|---|---|
| protected boolean | calcEpsilonReducibility()
Implements abstract com. |
| protected final int | calcHashCode()
Implements abstract com. |
| public boolean | equals(Object
the reference object with which to compare. o)Implements abstract com. |
| public StringPair | |
| public Datatype | |
| public Object | |
| public Expression | |
| public boolean | |
| public void |
| dt | back to summary |
|---|---|
| public final Datatype dt Datatype object that is used to test the equality. | |
| name | back to summary |
|---|---|
| public final StringPair name name of this datatype. The value of this field is not considered as significant. When two TypedStringExps share the same Datatype object, then they are unified even if they have different names. | |
| serialVersionUID | back to summary |
|---|---|
| private static final long serialVersionUID | |
| value | back to summary |
|---|---|
| public final Object value This expression matches this value only. | |
| ValueExp | back to summary |
|---|---|
| protected ValueExp(Datatype dt, StringPair typeName, Object value) | |
| calcEpsilonReducibility | back to summary |
|---|---|
| protected boolean calcEpsilonReducibility() Implements abstract com. Doc from com. computes epsilon reducibility | |
| calcHashCode | back to summary |
|---|---|
| protected final int calcHashCode() Implements abstract com. Doc from com. Computes the hashCode again. This 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. | |
| equals | back to summary |
|---|---|
| public boolean equals(Object o) Implements abstract com. Doc from java. Indicates whether some other object is "equal to" this one.
The
An equivalence relation partitions the elements it operates on into equivalence classes; all the members of an equivalence class are equal to each other. Members of an equivalence class are substitutable for each other, at least for some purposes.
| |
| getName | back to summary |
|---|---|
| public StringPair getName() Implements com. | |
| getType | back to summary |
|---|---|
| public Datatype getType() Implements com. | |
| visit | back to summary |
|---|---|
| public Object visit(ExpressionVisitor visitor) Implements abstract com. | |
| visit | back to summary |
|---|---|
| public Expression visit(ExpressionVisitorExpression visitor) Implements abstract com. | |
| visit | back to summary |
|---|---|
| public boolean visit(ExpressionVisitorBoolean visitor) Implements abstract com. | |
| visit | back to summary |
|---|---|
| public void visit(ExpressionVisitorVoid visitor) Implements abstract com. | |