Enum PragmaKey

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<PragmaKey>

    public enum PragmaKey
    extends java.lang.Enum<PragmaKey>
    • Enum Constant Detail

      • SVGNEWDATA

        public static final PragmaKey SVGNEWDATA
      • ASPECT

        public static final PragmaKey ASPECT
      • COMPACT

        public static final PragmaKey COMPACT
      • DEFAULT_LABEL_ANGLE

        public static final PragmaKey DEFAULT_LABEL_ANGLE
      • DEFAULT_LABEL_DISTANCE

        public static final PragmaKey DEFAULT_LABEL_DISTANCE
      • GRAPH_ATTRIBUTES

        public static final PragmaKey GRAPH_ATTRIBUTES
      • HORIZONTAL_LINE_BETWEEN_DIFFERENT_PACKAGE_ALLOWED

        public static final PragmaKey HORIZONTAL_LINE_BETWEEN_DIFFERENT_PACKAGE_ALLOWED
      • KERMOR

        public static final PragmaKey KERMOR
      • LABEL_ANGLE

        public static final PragmaKey LABEL_ANGLE
      • LABEL_DISTANCE

        public static final PragmaKey LABEL_DISTANCE
      • SHOW_DEPRECATION

        public static final PragmaKey SHOW_DEPRECATION
      • SVG_FONT

        public static final PragmaKey SVG_FONT
      • SVG_INTERACTIVE

        public static final PragmaKey SVG_INTERACTIVE
      • SVEK_TRACE

        public static final PragmaKey SVEK_TRACE
      • TEX_SYSTEM

        public static final PragmaKey TEX_SYSTEM
      • TEX_PREAMBLE

        public static final PragmaKey TEX_PREAMBLE
      • USE_INTERMEDIATE_PACKAGES

        public static final PragmaKey USE_INTERMEDIATE_PACKAGES
      • USE_VERTICAL_IF

        public static final PragmaKey USE_VERTICAL_IF
    • Method Detail

      • values

        public static PragmaKey[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (PragmaKey c : PragmaKey.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static PragmaKey valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null
      • lazyFrom

        public static PragmaKey lazyFrom​(java.lang.String s)