Package org.verapdf

Class ReleaseDetails

java.lang.Object
org.verapdf.ReleaseDetails

public final class ReleaseDetails extends Object
Class that encapsulates the release details of the veraPDF validation library. The class controls instance creation so that only a single, static and immutable instance is available.
Author:
Carl Wilson
  • Field Details

  • Method Details

    • getId

      public String getId()
      Returns:
      the id of the release artifact
    • getVersion

      public String getVersion()
      Returns:
      the veraPDF library version number
    • getBuildDate

      public Date getBuildDate()
      Returns:
      the veraPDF library build date
    • hashCode

      public int hashCode()
      { @inheritDoc }
      Overrides:
      hashCode in class Object
    • equals

      public boolean equals(Object obj)
      { @inheritDoc }
      Overrides:
      equals in class Object
    • toString

      public String toString()
      { @inheritDoc }
      Overrides:
      toString in class Object
    • defaultInstance

      public static ReleaseDetails defaultInstance()
    • rightsStatement

      public static String rightsStatement()
      Returns:
      the rights statement for the veraPDF software
    • getInstance

      public static ReleaseDetails getInstance()
      Returns:
      the static immutable ReleaseDetails instance
    • getIds

      public static Set<String> getIds()
      Returns:
      the Set of ReleaseDetails ids as Strings
    • byId

      public static ReleaseDetails byId(String id)
      Retrieve ReleaseDetails by id
      Parameters:
      id - the id to lookup
      Returns:
      the
    • getDetails

      public static Collection<ReleaseDetails> getDetails()
    • addDetailsFromResource

      public static ReleaseDetails addDetailsFromResource(String resourceName)
      Will load a ReleaseDetails instance from the resource found with resourceName. This should be a properties file with the appropriate release details properties.
      Parameters:
      resourceName - the name of the resource to load