public class Variable
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
name |
private java.util.Set<Expression> |
occurences |
Constructor and Description |
---|
Variable(java.lang.String name)
Constructs a Variable
|
Modifier and Type | Method and Description |
---|---|
void |
addOccurence(Expression expr) |
java.lang.String |
name() |
java.lang.String |
plainText()
Returns the Id.
|
java.lang.String |
toString()
Returns a simple description of this object.
|
private java.lang.String name
private java.util.Set<Expression> occurences
public Variable(java.lang.String name)
name
- the name of the variablepublic java.lang.String name()
public void addOccurence(Expression expr)
public java.lang.String plainText()
public java.lang.String toString()
Returns a simple description of this object. The format of the returned String is undocumented and subject to change.
toString
in class java.lang.Object
(C) INRIA & friends, 2003-2020