de.uka.ilkd.key.symbolic_execution.object_model

Interface ISymbolicAssociation

All Superinterfaces:

ISymbolicElement

All Known Implementing Classes:

SymbolicAssociation, SymbolicLayoutReader.KeYlessAssociation

public interface ISymbolicAssociation
extends ISymbolicElement

Represents an association of an ISymbolicState or ISymbolicObject which is a reference to an ISymbolicObject.

The default implementation is SymbolicAssociation.

Author:

Martin Hentschel

See Also:

SymbolicAssociation

Method Summary

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 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 or a program variable is represented.

Methods inherited from interface de.uka.ilkd.key.symbolic_execution.object_model.ISymbolicElement

getSettings

Method Detail

getName

java.lang.String getName()

Returns a human readable name.

Returns:

A human readable name.

isArrayIndex

boolean isArrayIndex()

Checks if an array index or a program variable is represented.

Returns:

true array index, false program variable.

getArrayIndex

Term getArrayIndex()

Returns the represented array index or null if a program variable is represented..

Returns:

The represented array index or null if a program variable is represented..

getArrayIndexString

java.lang.String getArrayIndexString()

Returns the human readable array index or null if a program variable is represented..

Returns:

The human readable array index or null if a program variable is represented..

getProgramVariable

IProgramVariable getProgramVariable()

Returns the represented IProgramVariable.

Returns:

The represented IProgramVariable.

getProgramVariableString

java.lang.String getProgramVariableString()

Returns the represented IProgramVariable as human readable String.

Returns:

The represented IProgramVariable as human readable String.

getTarget

ISymbolicObject getTarget()

Returns the target ISymbolicObject.

Returns:

The target ISymbolicObject.

getCondition

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.

Returns:

The optional condition under which this association is valid.

getConditionString

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.

Returns:

The optional condition under which this association is valid as human readable String.