Class HDTHeader


  • class HDTHeader
    extends HDTPart
    HDT Header Part.

    This part starts with $HDT, followed by a byte indicating the type of the part, the NULL-terminated string for the format, and optionally one or more key=value; properties.

    Then a NULL byte, followed by the 16-bit CRC ($HDT and NULL included).

    Structure:

     +------+------+--------+------+------------+------+-------+
     | $HDT | type | format | NULL | key=value; | NULL | CRC16 |
     +------+------+--------+------+------------+------+-------+
     
    • Field Detail

      • HEADER_FORMAT

        protected static final byte[] HEADER_FORMAT
      • headerData

        private byte[] headerData
    • Constructor Detail

      • HDTHeader

        HDTHeader()
    • Method Detail

      • parse

        protected void parse​(java.io.InputStream is)
                      throws java.io.IOException
        Description copied from class: HDTPart
        Parse from input stream
        Specified by:
        parse in class HDTPart
        Throws:
        java.io.IOException
      • getHeaderData

        protected byte[] getHeaderData()
        Get raw header data (byte array data stored as NTriples)
        Returns:
        byte array
      • parseHeaderData

        private byte[] parseHeaderData​(java.io.InputStream is,
                                       int len)
                                throws java.io.IOException
        Parse header data with metadata in NTriples format.
        Parameters:
        is -
        len -
        Throws:
        java.io.IOException