Class Url

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.Comparator<Url> SURFACE_COMPARATOR  
    • Constructor Summary

      Constructors 
      Constructor Description
      Url​(java.lang.String url, java.lang.String tooltip)  
      Url​(java.lang.String url, java.lang.String tooltip, java.lang.String label)  
    • Field Detail

      • SURFACE_COMPARATOR

        public static final java.util.Comparator<Url> SURFACE_COMPARATOR
    • Constructor Detail

      • Url

        public Url​(java.lang.String url,
                   java.lang.String tooltip)
      • Url

        public Url​(java.lang.String url,
                   java.lang.String tooltip,
                   java.lang.String label)
    • Method Detail

      • isLatex

        public static boolean isLatex​(java.lang.String pendingUrl)
      • isLatex

        public boolean isLatex()
      • getUrl

        public final java.lang.String getUrl()
      • getTooltip

        public final java.lang.String getTooltip()
      • getLabel

        public java.lang.String getLabel()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • getCoords

        public java.lang.String getCoords​(double scale)
      • setMember

        public void setMember​(boolean member)
      • isMember

        public final boolean isMember()
      • hasData

        public boolean hasData()