    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