public static class SymbolicLayoutReader.KeYlessAssociation extends SymbolicLayoutReader.AbstractKeYlessElement implements ISymbolicAssociation
ISymbolicAssociation
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private String |
arrayIndexString
The array index.
|
private String |
conditionString
The optional condition under which this association is valid.
|
private boolean |
isArrayIndex
The is array index flag.
|
private String |
name
The name.
|
private String |
programVariableString
The program variable.
|
private ISymbolicObject |
target
The target.
|
Constructor and Description |
---|
SymbolicLayoutReader.KeYlessAssociation(String name,
String programVariableString,
boolean isArrayIndex,
String arrayIndexString,
ISymbolicObject target,
String conditionString)
Constructor.
|
SymbolicLayoutReader.KeYlessAssociation(String name,
String programVariableString,
boolean isArrayIndex,
String arrayIndexString,
String conditionString)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Term |
getArrayIndex()
Returns the represented array index or
null if a program variable is represented.. |
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 association is valid.
|
String |
getConditionString()
Returns the optional condition under which this association is valid as human readable
String . |
String |
getName()
Returns a human readable name.
|
IProgramVariable |
getProgramVariable()
Returns the represented
IProgramVariable . |
String |
getProgramVariableString()
Returns the represented
IProgramVariable as human readable String . |
ISymbolicObject |
getTarget()
Returns the target
ISymbolicObject . |
boolean |
isArrayIndex()
Checks if an array index or a program variable is represented.
|
void |
setTarget(ISymbolicObject target)
Sets the target.
|
getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSettings
private String programVariableString
private ISymbolicObject target
private String name
private boolean isArrayIndex
private String arrayIndexString
private String conditionString
public SymbolicLayoutReader.KeYlessAssociation(String name, String programVariableString, boolean isArrayIndex, String arrayIndexString, String conditionString)
name
- The name.programVariableString
- The program variable.isArrayIndex
- The is array index flag.arrayIndexString
- The array index.conditionString
- The optional condition under which this association is valid.public SymbolicLayoutReader.KeYlessAssociation(String name, String programVariableString, boolean isArrayIndex, String arrayIndexString, ISymbolicObject target, String conditionString)
name
- The name.programVariableString
- The program variable.isArrayIndex
- The is array index flag.arrayIndexString
- The array index.target
- The target.conditionString
- The optional condition under which this association is valid.public IProgramVariable getProgramVariable()
IProgramVariable
.getProgramVariable
in interface ISymbolicAssociation
IProgramVariable
.public String getProgramVariableString()
IProgramVariable
as human readable String
.getProgramVariableString
in interface ISymbolicAssociation
IProgramVariable
as human readable String
.public void setTarget(ISymbolicObject target)
target
- The target to set.public ISymbolicObject getTarget()
ISymbolicObject
.getTarget
in interface ISymbolicAssociation
ISymbolicObject
.public String getName()
getName
in interface ISymbolicAssociation
public boolean isArrayIndex()
isArrayIndex
in interface ISymbolicAssociation
true
array index, false
program variable.public Term getArrayIndex()
null
if a program variable is represented..getArrayIndex
in interface ISymbolicAssociation
null
if a program variable is represented..public String getArrayIndexString()
null
if a program variable is represented..getArrayIndexString
in interface ISymbolicAssociation
null
if a program variable is represented..public Term getCondition()
Returns the optional condition under which this association 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 ISymbolicAssociation
public String getConditionString()
Returns the optional condition under which this association 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 ISymbolicAssociation
String
.