de.uka.ilkd.key.symbolic_execution.object_model.impl

Class SymbolicObject

java.lang.Object

de.uka.ilkd.key.symbolic_execution.object_model.impl.AbstractElement

de.uka.ilkd.key.symbolic_execution.object_model.impl.AbstractSymbolicAssociationValueContainer

de.uka.ilkd.key.symbolic_execution.object_model.impl.SymbolicObject

All Implemented Interfaces:

ISymbolicAssociationValueContainer, ISymbolicElement, ISymbolicObject

public class SymbolicObject
extends AbstractSymbolicAssociationValueContainer
implements ISymbolicObject

Default implementation of ISymbolicObject.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private Term	name The name.
private Services	services The Services to use.

Constructor Summary

Constructors

Constructor and Description
SymbolicObject(Services services, Term name, IModelSettings settings) Constructor.

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.
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.symbolic_execution.object_model.impl.AbstractSymbolicAssociationValueContainer

addAssociation, addValue, getAssociation, getAssociations, getValue, getValues

Methods inherited from class de.uka.ilkd.key.symbolic_execution.object_model.impl.AbstractElement

formatTerm, getSettings

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

Field Detail

services

private final Services services

The Services to use.

name

private final Term name

The name.

Constructor Detail

SymbolicObject

public SymbolicObject(Services services,
                      Term name,
                      IModelSettings settings)

Constructor.

Parameters:

services - The Services to use.

name - The name.

settings - The IModelSettings to use.

Method Detail

getName

public Term getName()

Returns the name of this object.

Specified by:

getName in interface ISymbolicObject

Returns:

The name of this object.

getNameString

public java.lang.String getNameString()

Returns the name of this object as human readable String.

Specified by:

getNameString in interface ISymbolicObject

Returns:

The name of this object as human readable String.

getType

public Sort getType()

Returns the type of this object.

Specified by:

getType in interface ISymbolicObject

Returns:

The type of this object.

getTypeString

public java.lang.String getTypeString()

Returns the type of this object as human readable string.

Specified by:

getTypeString in interface ISymbolicObject

Returns:

The type of this object as human readable string.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object