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

Interface CharObject

All Superinterfaces:

Comparable<CharObject>, SymbolicObject

All Known Implementing Classes:

CommonCharObject

public interface CharObject
extends SymbolicObject, Comparable<CharObject>

A symbolic object wrapping a single char value.

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
char	getChar()

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

getChar

char getChar()

Returns:

The value (char) or the object