public static class SymbolicLayoutReader.KeYlessValue extends SymbolicLayoutReader.AbstractKeYlessElement implements ISymbolicValue
ISymbolicValue
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private java.lang.String |
arrayIndexString
The array index.
|
private java.lang.String |
conditionString
The optional condition under which this value is valid.
|
private boolean |
isArrayIndex
The is array index flag.
|
private java.lang.String |
name
The name.
|
private java.lang.String |
programVariableString
The program variable.
|
private java.lang.String |
typeString
The type.
|
private java.lang.String |
valueString
The value.
|
Constructor and Description |
---|
KeYlessValue(java.lang.String name,
java.lang.String programVariableString,
boolean isArrayIndex,
java.lang.String arrayIndexString,
java.lang.String valueString,
java.lang.String typeString,
java.lang.String conditionString)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
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 |
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 or a program variable is represented.
|
getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSettings
private java.lang.String programVariableString
private java.lang.String valueString
private java.lang.String typeString
private java.lang.String name
private boolean isArrayIndex
private java.lang.String arrayIndexString
private java.lang.String conditionString
public KeYlessValue(java.lang.String name, java.lang.String programVariableString, boolean isArrayIndex, java.lang.String arrayIndexString, java.lang.String valueString, java.lang.String typeString, java.lang.String conditionString)
name
- The name.programVariableString
- The program variable.isArrayIndex
- The is array index flag.arrayIndexString
- The array index.valueString
- The value.typeString
- The type.conditionString
- The optional condition under which this value is valid.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 getName()
getName
in interface ISymbolicValue
public boolean isArrayIndex()
isArrayIndex
in interface ISymbolicValue
true
array index, false
program variable.public Term getArrayIndex()
null
if a program variable is represented..getArrayIndex
in interface ISymbolicValue
null
if a program variable is represented..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 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
.