Modifier and Type | Field and Description |
---|---|
private ProgramVariable |
exceptionVariable
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(ProgramVariable exceptionVariable)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
ProgramVariable |
getChild(int i)
Retrieves the i-th parameter object of this term label.
|
int |
getChildCount()
Gets the number of parameters of this term label.
|
ProgramVariable |
getExceptionVariable()
retrieves the original exception variable as found in the local variable declaration statement
|
Name |
name()
returns the name of this element
|
java.lang.String |
toString() |
public static final Name NAME
private final ProgramVariable exceptionVariable
public BlockContractValidityTermLabel(ProgramVariable exceptionVariable)
exceptionVariable
- the exception variable to distinguish normal from exceptional termination.public java.lang.String toString()
toString
in class java.lang.Object
public ProgramVariable getExceptionVariable()
public ProgramVariable getChild(int i)
A term label may have structure, i.e. can be parameterized.
public int getChildCount()
getChildCount
in interface TermLabel