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

Class SymbolicState

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.SymbolicState

All Implemented Interfaces:

ISymbolicAssociationValueContainer, ISymbolicElement, ISymbolicState

public class SymbolicState
extends AbstractSymbolicAssociationValueContainer
implements ISymbolicState

Default implementation of ISymbolicState.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private String	name The name of this state.

Constructor Summary

Constructors

Constructor and Description
SymbolicState(String name, IModelSettings settings) Constructor.

Method Summary

Modifier and Type	Method and Description
String	getName() Returns the name of this state.

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, toString, 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

name

private final String name

The name of this state.

Constructor Detail

SymbolicState

public SymbolicState(String name,
                     IModelSettings settings)

Constructor.

Parameters:

name - The name of this state.

settings - The IModelSettings to use.

Method Detail

getName

public String getName()

Returns the name of this state.

Specified by:

getName in interface ISymbolicState

Returns:

The name of this state.