ref: d0ab3a0dd8f6355b3603d0fb04043a9ae867639b
dir: /module/asn1.m/
ASN1: module { PATH: con "/dis/lib/asn1.dis"; # Tag classes Universal : con 0; Application : con 16r40; Context : con 16r80; Private : con 16rC0; # Universal tags BOOLEAN : con 1; INTEGER : con 2; BIT_STRING : con 3; OCTET_STRING : con 4; NULL : con 5; OBJECT_ID: con 6; ObjectDescriptor : con 7; EXTERNAL : con 8; REAL : con 9; ENUMERATED : con 10; EMBEDDED_PDV : con 11; SEQUENCE : con 16; # also SEQUENCE OF SET : con 17; # also SET OF NumericString : con 18; PrintableString : con 19; TeletexString : con 20; VideotexString : con 21; IA5String : con 22; UTCTime : con 23; GeneralizedTime : con 24; GraphicString : con 25; VisibleString : con 26; GeneralString : con 27; UniversalString : con 28; BMPString : con 30; Elem: adt { tag: Tag; val: ref Value; is_seq: fn(e: self ref Elem) : (int, list of ref Elem); is_set: fn(e: self ref Elem) : (int, list of ref Elem); is_int: fn(e: self ref Elem) : (int, int); is_bigint: fn(e: self ref Elem) : (int, array of byte); is_bitstring: fn(e: self ref Elem) : (int, int, array of byte); is_octetstring: fn(e: self ref Elem) : (int, array of byte); is_oid: fn(e: self ref Elem) : (int, ref Oid); is_string: fn(e: self ref Elem) : (int, string); is_time: fn(e: self ref Elem) : (int, string); tostring: fn(e: self ref Elem) : string; }; Tag: adt { class: int; num: int; constr: int; # ignored by encode() tostring: fn(t: self Tag) : string; }; Value: adt { pick { Bool or Int => v: int; Octets or BigInt or Real or Other => # BigInt: integer too big for limbo int # Real: we don't care to decode these # since they are hardly ever used bytes: array of byte; BitString => # pack into bytes, with perhaps some # unused bits in last byte unusedbits: int; bits: array of byte; Null or EOC => dummy: int; ObjId => id: ref Oid; String => s: string; Seq or Set => l: list of ref Elem; } tostring : fn(v: self ref Value) : string; }; Oid: adt { nums: array of int; tostring: fn(o: self ref Oid) : string; }; init: fn(); decode: fn(a: array of byte) : (string, ref Elem); decode_seq: fn(a: array of byte) : (string, list of ref Elem); decode_value: fn(a: array of byte, kind, constr: int) : (string, ref Value); encode: fn(e: ref Elem) : (string, array of byte); oid_lookup: fn(o: ref Oid, tab: array of Oid) : int; print_elem: fn(e: ref Elem); };