All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jtelos.PrimitiveType

java.lang.Object
   |
   +----jtelos.PrimitiveType

public abstract class PrimitiveType
extends Object
implements PropositionOrPrimitive

Java subclasses of this class include:

TelosString,
TelosInteger and
TelosReal.

These are the Java classes of which string, integer and floating point literals are Java instances. They are also, loosely speaking, Telos "instances" of the primtive types that are returned by the following methods in KB:

STRING_TYPE() (returing String in Telos),
INTEGER_TYPE() (returing Integer in Telos), and
REAL_TYPE() (returning TelosReal in Telos).

Individual primitive literals are not associated with KB's. So in order to answer questions such as, "what attributes take this primitive literal as their target", tokens must be used instead of literals so that their referencedBy() method can be invoked. This performs an inverse lookup is done to find the attributes taking the token as its target. Such tokens would need an attribute holding the primitive literal being represented:

Token Success (* CoopWARE design *)
     IN TerminationStatus
     WITH
         name : "Success"
 END

"declares" the string literal "Success" in the attribute with the label name. This declaration occurs within the input file CoopWARE.

See Also:: TelosInteger, TelosString, TelosReal, kb

telosName(): Returns the string that can be used as a target in a Telos attribute declaration.
toString(): Returns telosName();

telosName

 public abstract String telosName()

Returns the string that can be used as a target in a Telos attribute declaration.

toString

 public String toString()

Returns telosName();

Overrides:: toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index