Package edu.udel.cis.vsl.sarl.IF.object

Interface StringObject

All Superinterfaces:

Comparable<StringObject>, SymbolicObject

All Known Implementing Classes:

CommonStringObject

public interface StringObject
extends SymbolicObject, Comparable<StringObject>

A symbolic object wrapping a single String.

Nested Class Summary

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Method Summary

Modifier and Type	Method	Description
String	getString()	Gets the string.

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Method Details

getString

String getString()

Gets the string.

Returns:

the string