Plasma GitLab Archive
Projects Blog Knowledge

sig
  exception Out_of_range
  exception Parse_error of int
  exception Header_too_short
  module Type_name :
    sig
      type type_name =
          Bool
        | Integer
        | Enum
        | Real
        | Bitstring
        | Octetstring
        | Null
        | Seq
        | Set
        | OID
        | ROID
        | ObjectDescriptor
        | External
        | Embedded_PDV
        | NumericString
        | PrintableString
        | TeletexString
        | VideotexString
        | VisibleString
        | IA5String
        | GraphicString
        | GeneralString
        | UniversalString
        | BMPString
        | UTF8String
        | CharString
        | UTCTime
        | GeneralizedTime
    end
  module Value :
    sig
      type pc = Primitive | Constructed
      type value =
          Bool of bool
        | Integer of Netasn1.Value.int_value
        | Enum of Netasn1.Value.int_value
        | Real of Netasn1.Value.real_value
        | Bitstring of Netasn1.Value.bitstring_value
        | Octetstring of string
        | Null
        | Seq of Netasn1.Value.value list
        | Set of Netasn1.Value.value list
        | Tagptr of Netasn1.Value.tag_class * int * Netasn1.Value.pc *
            Netstring_tstring.tstring_polybox * int * int
        | Tag of Netasn1.Value.tag_class * int * Netasn1.Value.pc *
            Netasn1.Value.value
        | ITag of Netasn1.Value.tag_class * int * Netasn1.Value.value
        | OID of int array
        | ROID of int array
        | ObjectDescriptor of string
        | External of Netasn1.Value.value list
        | Embedded_PDV of Netasn1.Value.value list
        | NumericString of string
        | PrintableString of string
        | TeletexString of string
        | VideotexString of string
        | VisibleString of string
        | IA5String of string
        | GraphicString of string
        | GeneralString of string
        | UniversalString of string
        | BMPString of string
        | UTF8String of string
        | CharString of string
        | UTCTime of Netasn1.Value.time_value
        | GeneralizedTime of Netasn1.Value.time_value
      and tag_class = Universal | Application | Context | Private
      and int_value
      and real_value
      and bitstring_value
      and time_value
      type time_subtype = [ `G | `U ]
      val type_of_value :
        Netasn1.Value.value -> Netasn1.Type_name.type_name option
      val get_int_repr : Netasn1.Value.int_value -> string
      val get_int_b256 : Netasn1.Value.int_value -> int array
      val get_int : Netasn1.Value.int_value -> int
      val get_int32 : Netasn1.Value.int_value -> int32
      val get_int64 : Netasn1.Value.int_value -> int64
      val int : int -> Netasn1.Value.int_value
      val int32 : int32 -> Netasn1.Value.int_value
      val int64 : int64 -> Netasn1.Value.int_value
      val int_b256 : int array -> Netasn1.Value.int_value
      val get_real_repr : Netasn1.Value.real_value -> string
      val get_bitstring_size : Netasn1.Value.bitstring_value -> int
      val get_bitstring_data : Netasn1.Value.bitstring_value -> string
      val get_bitstring_bits :
        ?size:int -> Netasn1.Value.bitstring_value -> bool array
      val get_bitstring_repr : Netasn1.Value.bitstring_value -> string
      val bitstring_of_bits : bool array -> Netasn1.Value.bitstring_value
      val bitstring_of_string :
        string -> int -> Netasn1.Value.bitstring_value
      val truncate_trailing_zero_bits :
        Netasn1.Value.bitstring_value -> Netasn1.Value.bitstring_value
      val get_time_subtype :
        Netasn1.Value.time_value -> Netasn1.Value.time_subtype
      val get_time_repr : Netasn1.Value.time_value -> string
      val get_time : Netasn1.Value.time_value -> Netdate.t
      val utctime : Netdate.t -> Netasn1.Value.time_value
      val gentime : digits:int -> Netdate.t -> Netasn1.Value.time_value
      val equal : Netasn1.Value.value -> Netasn1.Value.value -> bool
    end
  val decode_ber :
    ?pos:int -> ?len:int -> string -> int * Netasn1.Value.value
  val decode_ber_tstring :
    ?pos:int -> ?len:int -> Netsys_types.tstring -> int * Netasn1.Value.value
  val decode_ber_poly :
    ?pos:int ->
    ?len:int ->
    'Netstring_tstring.tstring_ops -> '-> int * Netasn1.Value.value
  val decode_ber_contents :
    ?pos:int ->
    ?len:int ->
    ?indefinite:bool ->
    string ->
    Netasn1.Value.pc ->
    Netasn1.Type_name.type_name -> int * Netasn1.Value.value
  val decode_ber_contents_tstring :
    ?pos:int ->
    ?len:int ->
    ?indefinite:bool ->
    Netsys_types.tstring ->
    Netasn1.Value.pc ->
    Netasn1.Type_name.type_name -> int * Netasn1.Value.value
  val decode_ber_contents_poly :
    ?pos:int ->
    ?len:int ->
    ?indefinite:bool ->
    'Netstring_tstring.tstring_ops ->
    '->
    Netasn1.Value.pc ->
    Netasn1.Type_name.type_name -> int * Netasn1.Value.value
  val decode_ber_length : ?pos:int -> ?len:int -> string -> int
  val decode_ber_length_tstring :
    ?pos:int -> ?len:int -> Netsys_types.tstring -> int
  val decode_ber_length_poly :
    ?pos:int -> ?len:int -> 'Netstring_tstring.tstring_ops -> '-> int
  val decode_ber_header :
    ?pos:int ->
    ?len:int ->
    ?skip_length_check:bool ->
    string ->
    int * Netasn1.Value.tag_class * Netasn1.Value.pc * int * int option
  val decode_ber_header_tstring :
    ?pos:int ->
    ?len:int ->
    ?skip_length_check:bool ->
    Netsys_types.tstring ->
    int * Netasn1.Value.tag_class * Netasn1.Value.pc * int * int option
  val decode_ber_header_poly :
    ?pos:int ->
    ?len:int ->
    ?skip_length_check:bool ->
    'Netstring_tstring.tstring_ops ->
    '-> int * Netasn1.Value.tag_class * Netasn1.Value.pc * int * int option
  val streamline_seq :
    (Netasn1.Value.tag_class * int * Netasn1.Type_name.type_name) list ->
    Netasn1.Value.value list -> Netasn1.Value.value option list
  val streamline_set :
    (Netasn1.Value.tag_class * int * Netasn1.Type_name.type_name) list ->
    Netasn1.Value.value list -> Netasn1.Value.value list
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml