public class SymbolicObject extends AbstractSymbolicAssociationValueContainer implements ISymbolicObject
ISymbolicObject
.Constructor and Description |
---|
SymbolicObject(Services services,
Term name,
IModelSettings settings)
Constructor.
|
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() |
addAssociation, addValue, getAssociation, getAssociations, getValue, getValues
formatTerm, getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getAssociation, getAssociations, getValue, getValues
getSettings
public SymbolicObject(Services services, Term name, IModelSettings settings)
services
- The Services
to use.name
- The name.settings
- The IModelSettings
to use.public Term getName()
getName
in interface ISymbolicObject
public java.lang.String getNameString()
String
.getNameString
in interface ISymbolicObject
String
.public Sort getType()
getType
in interface ISymbolicObject
public java.lang.String getTypeString()
getTypeString
in interface ISymbolicObject
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.