de.uka.ilkd.key.symbolic_execution

Class SymbolicLayoutReader.AbstractKeYlessElement

java.lang.Object

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

All Implemented Interfaces:

ISymbolicElement

Direct Known Subclasses:

SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer, SymbolicLayoutReader.KeYlessAssociation, SymbolicLayoutReader.KeYlessEquivalenceClass, SymbolicLayoutReader.KeYlessLayout, SymbolicLayoutReader.KeYlessValue

Enclosing class:

SymbolicLayoutReader

public abstract static class SymbolicLayoutReader.AbstractKeYlessElement
extends java.lang.Object
implements ISymbolicElement

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

Author:

Martin Hentschel

Constructor Summary

Constructors

Constructor and Description
AbstractKeYlessElement()

Method Summary

Modifier and Type	Method and Description
IModelSettings	getSettings() Returns the IModelSettings to use.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractKeYlessElement

public AbstractKeYlessElement()

Method Detail

getSettings

public IModelSettings getSettings()

Returns the IModelSettings to use.

Specified by:

getSettings in interface ISymbolicElement

Returns:

The IModelSettings to use.