cgp.runtime
Class ConceptType
java.lang.Object
|
+--cgp.runtime.Type
|
+--cgp.runtime.ConceptType
- public class ConceptType
- extends Type
Methods inherited from class cgp.runtime.Type |
addOp,
andOp,
divideOp,
geOp,
getAttr,
getKBStack,
getNthOp,
getScopeStack,
getType,
gtOp,
invokeMemberFunc,
isOp,
leOp,
ltOp,
modulusOp,
multiplyOp,
negateOp,
notOp,
operationError,
orOp,
setAttr,
setKBStack,
setNthOp,
setScopeStack,
setType,
subtractOp |
Methods inherited from class java.lang.Object |
,
clone,
finalize,
getClass,
hashCode,
notify,
notifyAll,
registerNatives,
wait,
wait,
wait |
COPYING_SCHEME
public static notio.CopyingScheme COPYING_SCHEME
COPYING_SCHEME_NO_COMMENTS
public static notio.CopyingScheme COPYING_SCHEME_NO_COMMENTS
value
private notio.Concept value
kbase
private KBase kbase
ConceptType
public ConceptType(notio.Concept c)
ConceptType
public ConceptType(java.lang.String s)
getValue
public notio.Concept getValue()
getKBase
public KBase getKBase()
equals
public boolean equals(java.lang.Object other)
- Overrides:
- equals in class java.lang.Object
eqOp
public Type eqOp(Type other)
- Overrides:
- eqOp in class Type
neOp
public Type neOp(Type other)
- Overrides:
- neOp in class Type
toString
public java.lang.String toString()
- Overrides:
- toString in class java.lang.Object
parseConcept
private notio.Concept parseConcept(java.lang.String s)
hasDesignator
public boolean hasDesignator()
hasVarDesignator
public boolean hasVarDesignator()
hasBoundDesignator
public boolean hasBoundDesignator()
getDesignatorValue
public Type getDesignatorValue()
- Convert a Java designator value into one consumable by pCG.
TBD: examine carefully how each kind is being used, both here and
in setDesignatorValue(), e.g. markers.
setDesignatorValue
public void setDesignatorValue(Type newRef)
- Convert a pCG designator value into one consumable by Java.
restriction
public boolean restriction(ConceptType otherCT)
- Attempt to restrict this concept by type and/or referent
according to the supplied concept. A boolean result indicates
whether the restriction was successful. Type restriction may
only occur if the supplied concept's type is a proper subtype
of this concept's type. No attempt is made to restrict by
quantifier, only marker/literal designator and descriptor.
getLabel
public StringType getLabel()
- Getter and setter methods for attributes.
getDesignator
public Type getDesignator()
setDesignator
public void setDesignator(Type x)
getDescriptor
public Type getDescriptor()
setDescriptor
public void setDescriptor(GraphType desc)
getQuantifier
public Type getQuantifier()
restrict
public BooleanType restrict(ConceptType otherCT)
- Attempt to restrict this concept by type and/or referent
according to the supplied concept.
copy
public ConceptType copy()
- Make a copy of this concept.
nocomments
public ConceptType nocomments()
- Make a copy of this concept without comments.
isGeneric
public BooleanType isGeneric()
isContext
public BooleanType isContext()