Package hydra.util

Class FileExtension

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

    public class FileExtension
    extends java.lang.Object
    implements java.io.Serializable, java.lang.Comparable<FileExtension>
    A file extension (without the dot), e.g. "json" or "py"
    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static Name TYPE_
      Name of the hydra.util.FileExtension type.
      java.lang.String value  
      static Name VALUE
      Name of the hydra.util.FileExtension.value field.
    • Constructor Summary

      Constructors 
      Constructor Description
      FileExtension​(java.lang.String value)
      Constructs an immutable FileExtension.
    • Field Detail

      • TYPE_

        public static final Name TYPE_
        Name of the hydra.util.FileExtension type.
      • VALUE

        public static final Name VALUE
        Name of the hydra.util.FileExtension.value field.
      • value

        public final java.lang.String value
    • Constructor Detail

      • FileExtension

        public FileExtension​(java.lang.String value)
        Constructs an immutable FileExtension.
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object other)
        Overrides:
        equals in class java.lang.Object
      • hashCode

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

        public int compareTo​(FileExtension other)
        Specified by:
        compareTo in interface java.lang.Comparable<FileExtension>