Class OutputProfile.Extension

  • Enclosing class:
    OutputProfile

    public static class OutputProfile.Extension
    extends java.lang.Object
    Describes an extension to the PDF specification, as recorded in the "Extensions" item of the PDF catalog. Developer extensions are used to indicate new functionality added to the PDF specification, much like version numbering did prior to PDF 2.0.
    Since:
    2.27.2
    See Also:
    OutputProfile.getExtensions()
    • Constructor Detail

      • Extension

        public Extension​(java.lang.String prefix,
                         java.lang.String baseVersion,
                         int level,
                         java.lang.String url,
                         java.lang.String revision)
        Create a new Extension
        Parameters:
        prefix - the prefix, which should be a four-letter value
        baseVersion - the base version, which must be "1.7" or "2.0"
        level - the level
        url - the URL (optional)
        revision - the revision (optional)
    • Method Detail

      • hashCode

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

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

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

        public java.lang.String getPrefix()
        Return the Extension Prefix
      • getBaseVersion

        public java.lang.String getBaseVersion()
        Return the Extension Base PDF Version, typicaly "1.7" or "2.0"
      • getURL

        public java.lang.String getURL()
        Return the Extension URL, or null if not specified
      • getRevision

        public java.lang.String getRevision()
        Return the Extension Revision, or null if not specified
      • getLevel

        public int getLevel()
        Return the Extension Level