public class SymbolicValue extends AbstractElement implements ISymbolicValue
ISymbolicValue
.Modifier and Type | Field and Description |
---|---|
private Term |
arrayEndIndex
The array end index or
null if not used. |
private Term |
arrayIndex
The array index.
|
private Term |
arrayStartIndex
The array start index or
null if not used. |
private Term |
condition
The optional condition under which this value is valid.
|
private IProgramVariable |
programVariable
The
IProgramVariable . |
private Services |
services
The
Services to use. |
private Term |
value
The value
Term . |
Constructor and Description |
---|
SymbolicValue(Services services,
IProgramVariable programVariable,
Term value,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicValue(Services services,
Term arrayIndex,
Term value,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicValue(Services services,
Term arrayIndex,
Term arrayStartIndex,
Term arrayEndIndex,
Term value,
Term condition,
IModelSettings settings)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Term |
getArrayEndIndex()
Returns the array end index.
|
java.lang.String |
getArrayEndIndexString()
Returns the human readable array end index.
|
Term |
getArrayIndex()
Returns the represented array index or
null if a program variable is represented.. |
java.lang.String |
getArrayIndexString()
Returns the human readable array index or
null if a program variable is represented.. |
Term |
getArrayStartIndex()
Returns the array start index.
|
java.lang.String |
getArrayStartIndexString()
Returns the human readable array start index.
|
Term |
getCondition()
Returns the optional condition under which this value is valid.
|
java.lang.String |
getConditionString()
Returns the optional condition under which this value is valid as human readable
String . |
java.lang.String |
getName()
Returns a human readable name.
|
IProgramVariable |
getProgramVariable()
Returns the represented
IProgramVariable or null if an array index is represented. |
java.lang.String |
getProgramVariableString()
Returns the represented
IProgramVariable as human readable String or null if an array index is represented. |
Sort |
getType()
Returns the type of the value.
|
java.lang.String |
getTypeString()
Returns the type of the value as human readable string.
|
Term |
getValue()
Returns the value of the represented variable.
|
java.lang.String |
getValueString()
Returns the value of the represented variable as human readable
String . |
boolean |
isArrayIndex()
Checks if an array index is represented.
|
boolean |
isArrayRange()
Checks if an array range is represented.
|
java.lang.String |
toString() |
formatTerm, getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getSettings
private final Term arrayIndex
private final Term arrayStartIndex
null
if not used.private final Term arrayEndIndex
null
if not used.private final IProgramVariable programVariable
IProgramVariable
.private final Term condition
public SymbolicValue(Services services, Term arrayIndex, Term value, Term condition, IModelSettings settings)
services
- The Services
to use.arrayIndex
- The array index.value
- The value Term
.condition
- The optional condition under which this value is valid.settings
- The IModelSettings
to use.public SymbolicValue(Services services, Term arrayIndex, Term arrayStartIndex, Term arrayEndIndex, Term value, Term condition, IModelSettings settings)
services
- The Services
to use.arrayIndex
- The array index.arrayStartIndex
- The array start index or null
if not used.arrayEndIndex
- The array end index or null
if not used.value
- The value Term
.condition
- The optional condition under which this value is valid.settings
- The IModelSettings
to use.public SymbolicValue(Services services, IProgramVariable programVariable, Term value, Term condition, IModelSettings settings)
services
- The Services
to use.programVariable
- The IProgramVariable
.value
- The value Term
.condition
- The optional condition under which this value is valid.settings
- The IModelSettings
to use.public java.lang.String getName()
getName
in interface ISymbolicValue
public boolean isArrayIndex()
isArrayIndex
in interface ISymbolicValue
true
is array index, false
is something else.public boolean isArrayRange()
true
is array range, false
is something else.public Term getArrayIndex()
null
if a program variable is represented..getArrayIndex
in interface ISymbolicValue
null
if a program variable is represented..public IProgramVariable getProgramVariable()
IProgramVariable
or null
if an array index is represented.getProgramVariable
in interface ISymbolicValue
IProgramVariable
or null
if an array index is represented.public java.lang.String getProgramVariableString()
IProgramVariable
as human readable String
or null
if an array index is represented.getProgramVariableString
in interface ISymbolicValue
IProgramVariable
as human readable String
or null
if an array index is represented.public Term getValue()
getValue
in interface ISymbolicValue
public java.lang.String getValueString()
String
.getValueString
in interface ISymbolicValue
String
.public Sort getType()
getType
in interface ISymbolicValue
public java.lang.String getTypeString()
getTypeString
in interface ISymbolicValue
public java.lang.String toString()
toString
in class java.lang.Object
public Term getCondition()
Returns the optional condition under which this value is valid.
The condition should be null
by default. Only in rare cases,
e.g. path condition is not strong enough to describe the path completely,
is a condition is provided.
getCondition
in interface ISymbolicValue
public java.lang.String getConditionString()
Returns the optional condition under which this value is valid as human readable String
.
The condition should be null
by default. Only in rare cases,
e.g. path condition is not strong enough to describe the path completely,
is a condition is provided.
getConditionString
in interface ISymbolicValue
String
.public java.lang.String getArrayIndexString()
null
if a program variable is represented..getArrayIndexString
in interface ISymbolicValue
null
if a program variable is represented..public Term getArrayStartIndex()
public java.lang.String getArrayStartIndexString()
public Term getArrayEndIndex()
public java.lang.String getArrayEndIndexString()