public abstract static class SymbolicLayoutReader.AbstractKeYlessElement extends java.lang.Object implements ISymbolicElement
ISymbolicElement
which is independent
from KeY and provides such only children and default attributes.Constructor and Description |
---|
AbstractKeYlessElement() |
Modifier and Type | Method and Description |
---|---|
IModelSettings |
getSettings()
Returns the
IModelSettings to use. |
public IModelSettings getSettings()
IModelSettings
to use.getSettings
in interface ISymbolicElement
IModelSettings
to use.