Plasma GitLab Archive
Projects Blog Knowledge

sig
  exception Out_of_range
  exception Parse_error of int
  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 *
            string * int * int
        | Tag of Netasn1.Value.tag_class * int * Netasn1.Value.pc *
            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
      val get_int_str : 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 get_real_str : 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 : Netasn1.Value.bitstring_value -> bool array
      val get_time_str : Netasn1.Value.time_value -> string
      val get_time : Netasn1.Value.time_value -> Netdate.t
      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_contents :
    ?pos:int ->
    ?len:int ->
    ?indefinite:bool ->
    string ->
    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_header :
    ?pos:int ->
    ?len:int ->
    ?skip_length_check:bool ->
    string ->
    int * Netasn1.Value.tag_class * Netasn1.Value.pc * int * int option
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml