Commit ab08debd authored by garciay's avatar garciay
Browse files

Add Oct0to3, Oct0to8, Oct0to12, Oct0to31 types

parent c4374c57
Loading
Loading
Loading
Loading
+4 −0
Original line number Diff line number Diff line
@@ -110,7 +110,11 @@
    type octetstring  Oct1280 length(1280) with {encode "length(1280)"};
    type octetstring  Oct1380 length(1380) with {encode "length(1380)"};

    type octetstring  Oct0to3  length(0..3) with {encode "length(0..3)"};
    type octetstring  Oct0to8  length(0..16) with {encode "length(0..8)"};
    type octetstring  Oct0to12  length(0..12) with {encode "length(0..12)"};
    type octetstring  Oct0to16  length(0..16) with {encode "length(0..16)"};
    type octetstring  Oct0to31  length(0..31) with {encode "length(0..31)"};
    type octetstring  Oct0to20  length(0..20) with {encode "length(0..20)"};
    type octetstring  Oct0to127   length(0..127) with {encode "length(0..127)"};
    type octetstring  Oct0to255   length(0..255) with {encode "length(0..255)"};