Class Node_URI

  • All Implemented Interfaces:
    java.io.Serializable

    public class Node_URI
    extends Node_Concrete
    RDF nodes with a global identity given by a URI.
    See Also:
    Serialized Form
    • Method Detail

      • getURI

        public java.lang.String getURI()
        Description copied from class: Node
        get the URI of this node if it has one, else die horribly
        Overrides:
        getURI in class Node
      • visitWith

        public java.lang.Object visitWith​(NodeVisitor v)
        Description copied from class: Node
        Visit a Node and dispatch on it to the appropriate method from the NodeVisitor v.
        Specified by:
        visitWith in class Node
        Parameters:
        v - the visitor to apply to the node
        Returns:
        the value returned by the applied method
      • isURI

        public boolean isURI()
        Description copied from class: Node
        Answer true iff this node is a URI node [subclasses override]
        Overrides:
        isURI in class Node
      • toString

        public java.lang.String toString​(PrefixMapping pm,
                                         boolean quoting)
        Answer a String representing the node, taking into account the PrefixMapping. The horrible test against null is a stopgap to avoid a circularity issue. TODO fix the circularity issue
        Overrides:
        toString in class Node
      • equals

        public boolean equals​(java.lang.Object other)
        Description copied from class: Node
        Nodes only equal other Nodes that have equal labels.
        Specified by:
        equals in class Node
      • getNameSpace

        public java.lang.String getNameSpace()
        Description copied from class: Node
        get the namespace part of this node if it's a URI node, else die horribly
        Overrides:
        getNameSpace in class Node
      • getLocalName

        public java.lang.String getLocalName()
        Description copied from class: Node
        get the localname part of this node if it's a URI node, else die horribly
        Overrides:
        getLocalName in class Node
      • hasURI

        public boolean hasURI​(java.lang.String uri)
        Description copied from class: Node
        answer true iff this node is a URI node with the given URI
        Overrides:
        hasURI in class Node