cgp.runtime
Class ConceptType

java.lang.Object
  |
  +--cgp.runtime.Type
        |
        +--cgp.runtime.ConceptType

public class ConceptType
extends Type


Field Summary
static notio.CopyingScheme COPYING_SCHEME
           
static notio.CopyingScheme COPYING_SCHEME_NO_COMMENTS
           
private  KBase kbase
           
private  notio.Concept value
           
 
Fields inherited from class cgp.runtime.Type
kbStack, scopeStack, type
 
Constructor Summary
ConceptType(notio.Concept c)
           
ConceptType(java.lang.String s)
           
 
Method Summary
 ConceptType copy()
          Make a copy of this concept.
 Type eqOp(Type other)
           
 boolean equals(java.lang.Object other)
           
 Type getDescriptor()
           
 Type getDesignator()
           
 Type getDesignatorValue()
          Convert a Java designator value into one consumable by pCG.
 KBase getKBase()
           
 StringType getLabel()
          Getter and setter methods for attributes.
 Type getQuantifier()
           
 notio.Concept getValue()
           
 boolean hasBoundDesignator()
           
 boolean hasDesignator()
           
 boolean hasVarDesignator()
           
 BooleanType isContext()
           
 BooleanType isGeneric()
           
 Type neOp(Type other)
           
 ConceptType nocomments()
          Make a copy of this concept without comments.
private  notio.Concept parseConcept(java.lang.String s)
           
 BooleanType restrict(ConceptType otherCT)
          Attempt to restrict this concept by type and/or referent according to the supplied concept.
 boolean restriction(ConceptType otherCT)
          Attempt to restrict this concept by type and/or referent according to the supplied concept.
 void setDescriptor(GraphType desc)
           
 void setDesignator(Type x)
           
 void setDesignatorValue(Type newRef)
          Convert a pCG designator value into one consumable by Java.
 java.lang.String toString()
           
 
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
 

Field Detail

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
Constructor Detail

ConceptType

public ConceptType(notio.Concept c)

ConceptType

public ConceptType(java.lang.String s)
Method Detail

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