Class FunctionDefinition

  • All Implemented Interfaces:
    java.lang.Comparable<FunctionDefinition>

    public class FunctionDefinition
    extends java.lang.Object
    implements java.lang.Comparable<FunctionDefinition>
    Describes a ‘known’' function. Functions take a single unit as argument.

    There are no syntax variations, beyond the set of functions which are recommended.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int compareTo​(FunctionDefinition o)
      Provides a sorting order for definitions.
      java.lang.String description()
      A human-readable description of the function.
      boolean equals​(java.lang.Object o)  
      java.lang.String fallbackName()
      A fallback name for the function.
      int hashCode()  
      java.lang.String latexForm()
      A LaTeX form of the function name.
      java.lang.String name()
      The name of this function, or null.
      java.lang.String toString()
      Produces a representation of this function as a string.
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Method Detail

      • description

        public java.lang.String description()
        A human-readable description of the function.
        Returns:
        a string description
      • latexForm

        public java.lang.String latexForm()
        A LaTeX form of the function name.
        Returns:
        a LaTeX representation of the function
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Produces a representation of this function as a string. This should not generally be used for formatting expressions: for that, use UnitExpr.toString().
        Overrides:
        toString in class java.lang.Object
        Returns:
        a string representation of the function
      • name

        public java.lang.String name()
        The name of this function, or null. The response will be null if the function definition doesn't have enough syntax information to know what the function is called in a given syntax. The syntax in question is that associated with the function when it was parsed, which may not, of course, be the syntax associated with it when it is written.
        Returns:
        a null string
      • fallbackName

        public java.lang.String fallbackName()
        A fallback name for the function.

        In fact, this is (a) only necessary for debugging purposes, because usually the overridden name() function will work, and (b) it is always (?) the same as the string eventually returned from name(), because (at present) all of the functions have the same short names in those syntaxes which know about them. This may be unnecessary generality (YAGNI, and all that), but it's essentially here for symmetry with the UnitDefinition lookup process, here and in ParseFunctions.java

        Returns:
        a purely text representation of the function
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • compareTo

        public int compareTo​(FunctionDefinition o)
        Provides a sorting order for definitions. The order is well-defined but is not specified here.
        Specified by:
        compareTo in interface java.lang.Comparable<FunctionDefinition>