Modifier and Type | Field and Description |
---|---|
private String |
exceptionVariableName
The name of the exception variable to distinguish normal from exceptional termination.
|
static Name |
NAME
The unique name of this label.
|
Constructor and Description |
---|
BlockContractValidityTermLabel(String exceptionVariableName)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
Object |
getChild(int i)
Retrieves the i-th parameter object of this term label.
|
int |
getChildCount()
Gets the number of parameters of this term label.
|
String |
getExceptionVariableName()
Returns the name of the exception variable to distinguish normal from exceptional termination.
|
Name |
name()
returns the name of this element
|
String |
toString() |
public static final Name NAME
private final String exceptionVariableName
public BlockContractValidityTermLabel(String exceptionVariableName)
exceptionVariableName
- The name of the exception variable to distinguish normal from exceptional termination.public Object getChild(int i)
A term label may have structure, i.e. can be parameterized.
public int getChildCount()
getChildCount
in interface TermLabel
public String getExceptionVariableName()