de.uka.ilkd.key.symbolic_execution.object_model

Interface ISymbolicObject

All Superinterfaces:

ISymbolicAssociationValueContainer, ISymbolicElement

All Known Implementing Classes:

SymbolicLayoutReader.KeYlessObject, SymbolicObject

public interface ISymbolicObject
extends ISymbolicAssociationValueContainer

Represents a symbolic object in an ISymbolicLayout.

The default implementation is SymbolicObject.

Author:

Martin Hentschel

See Also:

SymbolicObject

Method Summary

Modifier and Type	Method and Description
Term	getName() Returns the name of this object.
java.lang.String	getNameString() Returns the name of this object as human readable String.
Sort	getType() Returns the type of this object.
java.lang.String	getTypeString() Returns the type of this object as human readable string.

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

getAssociation, getAssociations, getValue, getValues

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

getSettings

Method Detail

getName

Term getName()

Returns the name of this object.

Returns:

The name of this object.

getNameString

java.lang.String getNameString()

Returns the name of this object as human readable String.

Returns:

The name of this object as human readable String.

getType

Sort getType()

Returns the type of this object.

Returns:

The type of this object.

getTypeString

java.lang.String getTypeString()

Returns the type of this object as human readable string.

Returns:

The type of this object as human readable string.