|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--notio.Referent
A class for storing the referent of a concept. A referent consists of a quantifier, a designator, and a descriptor (nested graph). A null quantifier indicates that the enclosing concept is existentially quantified. A null designator indicates that the enclosing concept is unspecified. A null descriptor indicates that the enclosing concept is undescribed. A combination of a null quantifier, null designator, and null descriptor indicates that the enclosing concept is a generic concept. A concept that has no referent at all (null) is also considered to be a generic concept.
Constructor Summary | |
Referent()
Constructs a new referent with no quantifier, designator or descriptor. |
|
Referent(Designator newDesignator)
Constructs a new referent with the specified designator. |
|
Referent(Designator newDesignator,
Graph newDescriptor)
Constructs a new referent with the specified designator and descriptor. |
|
Referent(Graph newDescriptor)
Constructs a new referent with the specified descriptor. |
|
Referent(Macro newQuantifier)
Constructs a new referent with the specified quantifier. |
|
Referent(Macro newQuantifier,
Designator newDesignator)
Constructs a new referent with the specified quantifier and designator. |
|
Referent(Macro newQuantifier,
Designator newDesignator,
Graph newDescriptor)
Constructs a new referent with the specified quantifier, designator, and descriptor. |
|
Referent(Macro newQuantifier,
Graph newDescriptor)
Constructs a new referent with the specified quantifier and descriptor. |
Method Summary | |
Referent |
copy(CopyingScheme copyScheme)
Performs a copy operation on this referent according to the the specified CopyingScheme. |
Referent |
copy(CopyingScheme copyScheme,
java.util.Hashtable substitutionTable)
Performs a copy operation on this referent according to the the specified CopyingScheme. |
Graph |
getDescriptor()
Returns this referent's descriptor. |
Designator |
getDesignator()
Returns this referent's designator. |
Concept |
getEnclosingConcept()
Returns the concept that encloses this referent. |
Macro |
getQuantifier()
Returns this referent's quantifier. |
boolean |
isContext()
Returns true if this referent forms a context. |
static MatchResult |
matchReferents(Referent first,
Referent second,
MatchingScheme matchingScheme)
Compares two referents to decide if they match. |
void |
setDescriptor(Graph newDescriptor)
Sets this referent's descriptor. |
void |
setDesignator(Designator newDesignator)
Sets this concept's designator. |
void |
setQuantifier(Macro newQuantifier)
Sets this referent's quantifier. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Referent(Macro newQuantifier, Designator newDesignator, Graph newDescriptor)
newQuantifier
- the quantifier for this referent.newDesignator
- the designator for this referent.newDescriptor
- the descriptor for this referent.public Referent(Macro newQuantifier, Designator newDesignator)
newQuantifier
- the quantifier for this referent.newDesignator
- the designator for this referent.public Referent(Macro newQuantifier, Graph newDescriptor)
newQuantifier
- the quantifier for this referent.newDescriptor
- the descriptor for this referent.public Referent(Designator newDesignator, Graph newDescriptor)
newDesignator
- the designator for this referent.newDescriptor
- the descriptor for this referent.public Referent(Macro newQuantifier)
newQuantifier
- the quantifier for this referent.public Referent(Designator newDesignator)
newDesignator
- a single designator for this referent.public Referent(Graph newDescriptor)
newDescriptor
- the descriptor for this referent.public Referent()
Method Detail |
public void setQuantifier(Macro newQuantifier)
newQuantifier
- this referent's new quantifier.public void setDesignator(Designator newDesignator)
newDesignator
- this referent's new designator or null.public void setDescriptor(Graph newDescriptor)
newDescriptor
- this referent's new descriptor.public Macro getQuantifier()
public Designator getDesignator()
public Graph getDescriptor()
public boolean isContext()
public Concept getEnclosingConcept()
public Referent copy(CopyingScheme copyScheme)
copyScheme
- the copying scheme used to control the copy operation.public Referent copy(CopyingScheme copyScheme, java.util.Hashtable substitutionTable)
copyScheme
- the copying scheme used to control the copy operation.substitutionTable
- a hashtable containing copied objects available due to
earlier copy operations.public static MatchResult matchReferents(Referent first, Referent second, MatchingScheme matchingScheme)
first
- the first referent being matched.second
- the second referent being matched.matchingScheme
- the matching scheme that determines how the match is performed.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |