notio
Class DescriptorDesignator

java.lang.Object
  |
  +--notio.Designator
        |
        +--notio.DescriptorDesignator

public class DescriptorDesignator
extends Designator
implements java.io.Serializable

Class for designators with a descriptor (Graph) designator.

See Also:
Serialized Form

Fields inherited from class notio.Designator
DESIGNATOR_DEFINED, DESIGNATOR_DESCRIPTOR, DESIGNATOR_LITERAL, DESIGNATOR_MARKER, DESIGNATOR_NAME, DESIGNATOR_SET
 
Constructor Summary
DescriptorDesignator(Graph newDescriptor, MarkerSet markerSet)
          Constructs a new DescriptorDesignator with the specified graph as a descriptor.
 
Method Summary
 Designator copy(CopyingScheme copyScheme, java.util.Hashtable substitutionTable)
          Performs a copy operation on this designator according to the the specified CopyingScheme.
 Graph getDescriptor()
          Returns the Graph descriptor.
 int getDesignatorKind()
          Returns a constant indicating which kind of designator this is.
 Marker getMarker()
          Returns the marker associated with this descriptor.
 
Methods inherited from class notio.Designator
getCaseSensitiveLabels, getEnclosingReferent, matchDesignators, setCaseSensitiveLabels
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DescriptorDesignator

public DescriptorDesignator(Graph newDescriptor,
                            MarkerSet markerSet)
Constructs a new DescriptorDesignator with the specified graph as a descriptor.
Parameters:
newDescriptor - the descriptor graph.
markerSet - the marker set used in conjunction with this designator.
Method Detail

getDesignatorKind

public int getDesignatorKind()
Returns a constant indicating which kind of designator this is. In this case the constant will be: Designator.DESIGNATOR_DESCRIPTOR
Returns:
a constant indicating the kind of the designator.
Overrides:
getDesignatorKind in class Designator

getDescriptor

public Graph getDescriptor()
Returns the Graph descriptor.
Returns:
the Graph descriptor.

getMarker

public Marker getMarker()
Returns the marker associated with this descriptor. Note that this is equivalent to a call to MarkerSet.getMarkerByIndividual() with the descriptor Graph as an argument. This means that the marker is associated with the actual Graph object. As such, the marker is probably not a good basis for comparison of descriptors. Some form of graph matching should be used instead.
Returns:
the marker associated with the describing graph.

copy

public Designator copy(CopyingScheme copyScheme,
                       java.util.Hashtable substitutionTable)
Performs a copy operation on this designator according to the the specified CopyingScheme. The result may be a new designator or simply a reference to this designator depending on the scheme.
Parameters:
copyScheme - the copying scheme used to control the copy operation.
substitutionTable - a hashtable containing copied objects available due to earlier copy operations.
Returns:
the result of the copy operation.
Overrides:
copy in class Designator


Copyright 1998-1999 Finnegan Southey