Class SymbolicName.F

  • Enclosing class:
    SymbolicName

    public static class SymbolicName.F
    extends SymbolicName
    Subclass of SymbolicName used for function names (including the arity)
    • Field Detail

      • arity

        int arity
    • Constructor Detail

      • F

        public F​(StructuredQName name,
                 int arity)
        Create a symbolic name for a function.
        Parameters:
        name - the QName that is the "name" of the component
        arity - the number of arguments
    • Method Detail

      • getArity

        public int getArity()
        Get the arity, in the case of function components
        Returns:
        in the case of a function, the arity, otherwise -1.
      • hashCode

        public int hashCode()
        Returns a hash code value for the object.
        Overrides:
        hashCode in class SymbolicName
      • equals

        public boolean equals​(Object obj)
        Indicates whether some other object is "equal to" this one.
        Overrides:
        equals in class SymbolicName
      • toString

        public String toString()
        Get the name as a string.
        Overrides:
        toString in class SymbolicName
        Returns:
        a string typically in the form "template p:my-template" or "function f:my-function#2"