All Packages Class Hierarchy This Package Previous Next Index
Proposition
and the latter
are represented in Java by the abstract class
PrimitiveLiteral
.
public abstract String telosName()
The string returned by this method indicates a unique identifier for the object within the context of a particular KB. Thus objects with the same name (and potentially different definitions) may exist in different KB's.
For non-primitive individuals, this name is simply the one that appears in the input file. For Telos String literals, it is the content of the string, within double quotation marks. For Telos Integer and Real literals, it is the string representation of the number (not surrounded by quotation marks).
For attributes and attribute classes, the name is composed of:
For instance, examine the following declarations:
SimpleClass MySimpleClass WITH myAttrCat1, myAttrCat2 myAttribute : MySimpleClass END
The attribute myAttribute
can be uniquely
identified in a KB by the string:
"MySimpleClass.myAttrCat1,myAttrCat2.myAttribute:MySimpleClass"
public abstract String toString()
All Packages Class Hierarchy This Package Previous Next Index