Modifier and Type | Field and Description |
---|---|
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() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isProofRelevant, removeIrrelevantLabels, removeIrrelevantLabels
public static final Name NAME
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
Copyright © 2003-2019 The KeY-Project.