public class SymbolicAssociation extends AbstractElement implements ISymbolicAssociation
ISymbolicAssociation
.Constructor and Description |
---|
SymbolicAssociation(Services services,
IProgramVariable programVariable,
ISymbolicObject target,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicAssociation(Services services,
Term arrayIndex,
ISymbolicObject target,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicAssociation(Services services,
Term arrayIndex,
Term arrayStartIndex,
Term arrayEndIndex,
ISymbolicObject target,
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 association is valid.
|
java.lang.String |
getConditionString()
Returns the optional condition under which this association is valid as human readable
String . |
java.lang.String |
getName()
Returns a human readable name.
|
IProgramVariable |
getProgramVariable()
Returns the represented
IProgramVariable . |
java.lang.String |
getProgramVariableString()
Returns the represented
IProgramVariable as human readable String . |
ISymbolicObject |
getTarget()
Returns the target
ISymbolicObject . |
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
public SymbolicAssociation(Services services, Term arrayIndex, ISymbolicObject target, Term condition, IModelSettings settings)
services
- The Services
to use.arrayIndex
- The array index.target
- The target ISymbolicObject
.condition
- The optional condition under which this association is valid.settings
- The IModelSettings
to use.public SymbolicAssociation(Services services, Term arrayIndex, Term arrayStartIndex, Term arrayEndIndex, ISymbolicObject target, 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.target
- The target ISymbolicObject
.condition
- The optional condition under which this association is valid.settings
- The IModelSettings
to use.public SymbolicAssociation(Services services, IProgramVariable programVariable, ISymbolicObject target, Term condition, IModelSettings settings)
services
- The Services
to use.programVariable
- The IProgramVariable
.target
- The target ISymbolicObject
.condition
- The optional condition under which this association is valid.settings
- The IModelSettings
to use.public java.lang.String getName()
getName
in interface ISymbolicAssociation
public boolean isArrayIndex()
isArrayIndex
in interface ISymbolicAssociation
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 ISymbolicAssociation
null
if a program variable is represented..public IProgramVariable getProgramVariable()
IProgramVariable
.getProgramVariable
in interface ISymbolicAssociation
IProgramVariable
.public java.lang.String getProgramVariableString()
IProgramVariable
as human readable String
.getProgramVariableString
in interface ISymbolicAssociation
IProgramVariable
as human readable String
.public ISymbolicObject getTarget()
ISymbolicObject
.getTarget
in interface ISymbolicAssociation
ISymbolicObject
.public java.lang.String toString()
toString
in class java.lang.Object
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 java.lang.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
.public java.lang.String getArrayIndexString()
null
if a program variable is represented..getArrayIndexString
in interface ISymbolicAssociation
null
if a program variable is represented..public Term getArrayStartIndex()
public java.lang.String getArrayStartIndexString()
public Term getArrayEndIndex()
public java.lang.String getArrayEndIndexString()
Copyright © 2003-2019 The KeY-Project.