de.uka.ilkd.key.symbolic_execution

Class SymbolicLayoutReader.KeYlessLayout

java.lang.Object

de.uka.ilkd.key.symbolic_execution.SymbolicLayoutReader.AbstractKeYlessElement

de.uka.ilkd.key.symbolic_execution.SymbolicLayoutReader.KeYlessLayout

All Implemented Interfaces:

ISymbolicElement, ISymbolicLayout

Enclosing class:

SymbolicLayoutReader

public static class SymbolicLayoutReader.KeYlessLayout
extends SymbolicLayoutReader.AbstractKeYlessElement
implements ISymbolicLayout

An implementation of ISymbolicLayout which is independent from KeY and provides such only children and default attributes.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<ISymbolicEquivalenceClass>	equivalenceClasses The symbolic equivalence classes.
private ImmutableList<ISymbolicObject>	objects The objects.
private ISymbolicState	state The state.

Constructor Summary

Constructors

Constructor and Description
KeYlessLayout()

Method Summary

Modifier and Type	Method and Description
void	addEquivalenceClass(ISymbolicEquivalenceClass ec) Add a new child ISymbolicEquivalenceClass.
void	addObject(ISymbolicObject object) Add a new child ISymbolicObject.
ImmutableList<ISymbolicEquivalenceClass>	getEquivalenceClasses() Returns the equivalence classes.
ImmutableList<ISymbolicObject>	getObjects() Returns all available symbolic objects.
ISymbolicState	getState() Returns the symbolic state.
void	setState(ISymbolicState state) Sets the state.

Methods inherited from class de.uka.ilkd.key.symbolic_execution.SymbolicLayoutReader.AbstractKeYlessElement

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

getSettings

Field Detail

state

private ISymbolicState state

The state.

objects

private ImmutableList<ISymbolicObject> objects

The objects.

equivalenceClasses

private ImmutableList<ISymbolicEquivalenceClass> equivalenceClasses

The symbolic equivalence classes.

Constructor Detail

KeYlessLayout

public KeYlessLayout()

Method Detail

getState

public ISymbolicState getState()

Returns the symbolic state.

Specified by:

getState in interface ISymbolicLayout

Returns:

the symbolic state.

setState

public void setState(ISymbolicState state)

Sets the state.

Parameters:

state - The state to set.

getObjects

public ImmutableList<ISymbolicObject> getObjects()

Returns all available symbolic objects.

Specified by:

getObjects in interface ISymbolicLayout

Returns:

The available symbolic objects.

addObject

public void addObject(ISymbolicObject object)

Add a new child ISymbolicObject.

Parameters:

object - The ISymbolicObject to add.

getEquivalenceClasses

public ImmutableList<ISymbolicEquivalenceClass> getEquivalenceClasses()

Returns the equivalence classes.

Specified by:

getEquivalenceClasses in interface ISymbolicLayout

Returns:

The equivalence classes.

addEquivalenceClass

public void addEquivalenceClass(ISymbolicEquivalenceClass ec)

Add a new child ISymbolicEquivalenceClass.

Parameters:

object - The ISymbolicEquivalenceClass to add.