|
|||||||||
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.
Constructor Summary | |
Referent(Designator newDesignator)
Constructs a new referent with no quantifier and a single designator. |
|
Referent(Designator[] newDesignators)
Constructs a new referent with no quantifier and an array of designators. |
|
Referent(Macro newQuantifier)
Constructs a new referent with the specified quantifier and no designator. |
|
Referent(Macro newQuantifier,
Designator newDesignator)
Constructs a new referent with the specified quantifier and single designator. |
|
Referent(Macro newQuantifier,
Designator[] newDesignators)
Constructs a new referent with the specified quantifier and array of designators. |
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. |
Designator[] |
getDesignators()
Returns this concept's designators (null indicates generic concept). |
Concept |
getEnclosingConcept()
Returns the concept that encloses this referent. |
Macro |
getQuantifier()
Returns this referent's quantifier (null indicates existential quantifier). |
boolean |
isContext()
Returns true if this referent forms a context (has a descriptor designator). |
static MatchResult |
matchReferents(Referent first,
Referent second,
MatchingScheme matchingScheme)
Compares two referents to decide if they match. |
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[] newDesignators)
newQuantifier
- the quantifier for this referent.newDesignators
- an array of designators for this referent.public Referent(Macro newQuantifier, Designator newDesignator)
newQuantifier
- the quantifier for this referent.newDesignator
- a single designator for this referent.public Referent(Macro newQuantifier)
newQuantifier
- the quantifier for this referent.public Referent(Designator[] newDesignators)
newDesignators
- an array of designators for this referent.public Referent(Designator newDesignator)
newDesignator
- a single designator for this referent.Method Detail |
public Macro getQuantifier()
public Designator[] getDesignators()
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 |