%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2002-2009. All Rights Reserved.
%%
%% The contents of this file are subject to the Erlang Public License,
%% Version 1.1, (the "License"); you may not use this file except in
%% compliance with the License. You should have received a copy of the
%% Erlang Public License along with this software. If not, it can be
%% retrieved online at http://www.erlang.org/.
%%
%% Software distributed under the License is distributed on an "AS IS"
%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
%% the License for the specific language governing rights and limitations
%% under the License.
%%
%% %CopyrightEnd%
%%
%%
-module(asn1ct_constructed_ber_bin_v2).
-export([gen_encode_sequence/3]).
-export([gen_decode_sequence/3]).
-export([gen_encode_set/3]).
-export([gen_decode_set/3]).
-export([gen_encode_sof/4]).
-export([gen_decode_sof/4]).
-export([gen_encode_choice/3]).
-export([gen_decode_choice/3]).
-include("asn1_records.hrl").
-import(asn1ct_gen, [emit/1,demit/1,get_record_name_prefix/0]).
-import(asn1ct_constructed_ber,[match_tag/2]).
-define(ASN1CT_GEN_BER,asn1ct_gen_ber_bin_v2).
% the encoding of class of tag bits 8 and 7
-define(UNIVERSAL, 0).
-define(APPLICATION, 16#40).
-define(CONTEXT, 16#80).
-define(PRIVATE, 16#C0).
% primitive or constructed encoding % bit 6
-define(PRIMITIVE, 0).
-define(CONSTRUCTED, 2#00100000).
%%===============================================================================
%%===============================================================================
%%===============================================================================
%% Encode/decode SEQUENCE (and SET)
%%===============================================================================
%%===============================================================================
%%===============================================================================
gen_encode_sequence(Erules,Typename,D) when is_record(D,type) ->
asn1ct_name:start(),
asn1ct_name:new(term),
asn1ct_name:new(bytes),
%% if EXTERNAL type the input value must be transformed to
%% ASN1 1990 format
ValName =
case Typename of
['EXTERNAL'] ->
emit([indent(4),
"NewVal = asn1rt_check:transform_to_EXTERNAL1990(Val),",
nl]),
"NewVal";
_ ->
"Val"
end,
{SeqOrSet,TableConsInfo,CompList} =
case D#type.def of
#'SEQUENCE'{tablecinf=TCI,components=CL} ->
{'SEQUENCE',TCI,CL};
#'SET'{tablecinf=TCI,components=CL} ->
{'SET',TCI,CL}
end,
Ext = extensible(CompList),
CompList1 = case CompList of
{Rl1,El,Rl2} -> Rl1 ++ El ++ Rl2;
{Rl,El} -> Rl ++ El;
_ -> CompList
end,
%% don't match recordname for now, because of compatibility reasons
%% emit(["{'",asn1ct_gen:list2rname(Typename),"'"]),
emit(["{_"]),
case length(CompList1) of
0 ->
true;
CompListLen ->
emit([","]),
mkcindexlist([Tc || Tc <- lists:seq(1,CompListLen)])
end,
emit(["} = ",ValName,",",nl]),
EncObj =
case TableConsInfo of
#simpletableattributes{usedclassfield=Used,
uniqueclassfield=Unique} when Used /= Unique ->
false;
%% ObjectSet, name of the object set in constraints
%%
#simpletableattributes{objectsetname=ObjectSetRef,
c_name=AttrN,
c_index=N,
usedclassfield=UniqueFieldName,
uniqueclassfield=UniqueFieldName,
valueindex=ValueIndex} -> %% N is index of attribute that determines constraint
OSDef =
case ObjectSetRef of
{Module,OSName} ->
asn1_db:dbget(Module,OSName);
OSName ->
asn1_db:dbget(get(currmod),OSName)
end,
% io:format("currmod: ~p~nOSName: ~p~nAttrN: ~p~nN: ~p~nUniqueFieldName: ~p~n",
% [get(currmod),OSName,AttrN,N,UniqueFieldName]),
case (OSDef#typedef.typespec)#'ObjectSet'.gen of
true ->
ObjectEncode =
asn1ct_gen:un_hyphen_var(lists:concat(['Obj',
AttrN])),
{ObjSetMod,ObjSetName} =
case ObjectSetRef of
{M,O} ->
{{asis,M},O};
_ ->
{"?MODULE",ObjectSetRef}
end,
emit([ObjectEncode," = ",nl]),
emit([" ",ObjSetMod,":'getenc_",ObjSetName,"'(",{asis,UniqueFieldName},
", ",nl]),
ValueMatch = value_match(ValueIndex,
lists:concat(["Cindex",N])),
emit([indent(35),ValueMatch,"),",nl]),
{AttrN,ObjectEncode};
_ ->
false
end;
_ ->
case D#type.tablecinf of
[{objfun,_}|_] ->
%% when the simpletableattributes was at an outer
%% level and the objfun has been passed through the
%% function call
{"got objfun through args","ObjFun"};
_ ->
false
end
end,
gen_enc_sequence_call(Erules,Typename,CompList1,1,Ext,EncObj),
emit([nl," BytesSoFar = "]),
case SeqOrSet of
'SET' when (D#type.def)#'SET'.sorted == dynamic ->
emit("asn1rt_check:dynamicsort_SET_components(["),
mkvlist(asn1ct_name:all(encBytes)),
emit(["]),",nl]);
_ ->
emit("["),
mkvlist(asn1ct_name:all(encBytes)),
emit(["],",nl])
end,
emit("LenSoFar = "),
case asn1ct_name:all(encLen) of
[] -> emit("0");
AllLengths ->
mkvplus(AllLengths)
end,
emit([",",nl]),
emit(["?RT_BER:encode_tags(TagIn, BytesSoFar, LenSoFar)."
,nl]).
gen_decode_sequence(Erules,Typename,D) when is_record(D,type) ->
asn1ct_name:start(),
asn1ct_name:clear(),
asn1ct_name:new(tag),
#'SEQUENCE'{tablecinf=TableConsInfo,components=CList} = D#type.def,
Ext = extensible(CList),
{CompList,CompList2} =
case CList of
{Rl1,El,Rl2} -> {Rl1 ++ El ++ Rl2, CList};
{Rl,El} -> {Rl ++ El, Rl ++ El};
_ -> {CList, CList}
end,
emit([" %%-------------------------------------------------",nl]),
emit([" %% decode tag and length ",nl]),
emit([" %%-------------------------------------------------",nl]),
asn1ct_name:new(tlv),
case CompList of
[] -> % empty sequence
true;
_ ->
emit([{curr,tlv}," = "])
end,
emit(["?RT_BER:match_tags(",{prev,tlv},",TagIn), ",nl]),
asn1ct_name:new(tlv),
asn1ct_name:new(v),
{DecObjInf,UniqueFName,ValueIndex} =
case TableConsInfo of
#simpletableattributes{objectsetname=ObjectSetRef,
c_name=AttrN,
usedclassfield=UniqueFieldName,
uniqueclassfield=UniqueFieldName,
valueindex=ValIndex} ->
% {ObjectSetRef,AttrN,_N,UniqueFieldName} ->%% N is index of attribute that determines constraint
F = fun(#'ComponentType'{typespec=CT})->
case {asn1ct_gen:get_constraint(CT#type.constraint,componentrelation),CT#type.tablecinf} of
{no,[{objfun,_}|_]} -> true;
_ -> false
end
end,
case lists:any(F,CompList) of
true -> % when component relation constraint establish
%% relation from a component to another components
%% subtype component
{{AttrN,{deep,ObjectSetRef,UniqueFieldName,ValIndex}},
UniqueFieldName,ValIndex};
false ->
{{AttrN,ObjectSetRef},UniqueFieldName,ValIndex}
end;
_ ->
{false,false,false}
end,
RecordName = lists:concat([get_record_name_prefix(),
asn1ct_gen:list2rname(Typename)]),
case gen_dec_sequence_call(Erules,Typename,CompList2,Ext,DecObjInf) of
no_terms -> % an empty sequence
emit([nl,nl]),
demit(["Result = "]), %dbg
%% return value as record
asn1ct_name:new(rb),
emit([" {'",RecordName,"'}.",nl,nl]);
{LeadingAttrTerm,PostponedDecArgs} ->
emit([com,nl,nl]),
case {LeadingAttrTerm,PostponedDecArgs} of
{[],[]} ->
ok;
{_,[]} ->
ok;
{[{ObjSetRef,LeadingAttr,Term}],PostponedDecArgs} ->
DecObj = asn1ct_gen:un_hyphen_var(lists:concat(['DecObj',LeadingAttr,Term])),
ValueMatch = value_match(ValueIndex,Term),
{ObjSetMod,ObjSetName} =
case ObjSetRef of
{M,O} ->
{{asis,M},O};
_ ->
{"?MODULE",ObjSetRef}
end,
emit([DecObj," =",nl,
" ",ObjSetMod,":'getdec_",ObjSetName,"'(",
{asis,UniqueFName},", ",ValueMatch,"),",nl]),
gen_dec_postponed_decs(DecObj,PostponedDecArgs)
end,
demit(["Result = "]), %dbg
%% return value as record
case Ext of
{ext,_,_} ->
emit(["case ",{prev,tlv}," of [] -> true; _ -> true end, % ... extra fields skipped",nl]);
_ -> % noext | extensible
emit(["case ",{prev,tlv}," of",nl,
"[] -> true;",
"_ -> exit({error,{asn1, {unexpected,",{prev,tlv},
"}}}) % extra fields not allowed",nl,
"end,",nl])
end,
asn1ct_name:new(rb),
case Typename of
['EXTERNAL'] ->
emit([" OldFormat={'",RecordName,
"', "]),
mkvlist(asn1ct_name:all(term)),
emit(["},",nl]),
emit([" asn1rt_check:transform_to_EXTERNAL1994",
"(OldFormat).",nl]);
_ ->
emit([" {'",RecordName,"', "]),
mkvlist(asn1ct_name:all(term)),
emit(["}.",nl,nl])
end
end.
gen_dec_postponed_decs(_,[]) ->
emit(nl);
gen_dec_postponed_decs(DecObj,[{_Cname,{FirstPFN,PFNList},Term,
TmpTerm,_Tag,OptOrMand}|Rest]) ->
asn1ct_name:new(tmpterm),
asn1ct_name:new(reason),
asn1ct_name:new(tmptlv),
emit([Term," = ",nl]),
N = case OptOrMand of
mandatory -> 0;
'OPTIONAL' ->
emit_opt_or_mand_check(asn1_NOVALUE,TmpTerm),
6;
{'DEFAULT',Val} ->
emit_opt_or_mand_check(Val,TmpTerm),
6
end,
emit([indent(N+3),"case (catch ",DecObj,"(",{asis,FirstPFN},
", ",TmpTerm,", ",{asis,PFNList},")) of",nl]),
emit([indent(N+6),"{'EXIT', ",{curr,reason},"} ->",nl]),
emit([indent(N+9),"exit({'Type not compatible with table constraint',",
{curr,reason},"});",nl]),
emit([indent(N+6),{curr,tmpterm}," ->",nl]),
emit([indent(N+9),{curr,tmpterm},nl]),
case OptOrMand of
mandatory -> emit([indent(N+3),"end,",nl]);
_ ->
emit([indent(N+3),"end",nl,
indent(3),"end,",nl])
end,
gen_dec_postponed_decs(DecObj,Rest).
emit_opt_or_mand_check(Value,TmpTerm) ->
emit([indent(3),"case ",TmpTerm," of",nl,
indent(6),{asis,Value}," ->",{asis,Value},";",nl,
indent(6),"_ ->",nl]).
%%============================================================================
%% Encode/decode SET
%%
%%============================================================================
gen_encode_set(Erules,Typename,D) when is_record(D,type) ->
gen_encode_sequence(Erules,Typename,D).
gen_decode_set(Erules,Typename,D) when is_record(D,type) ->
asn1ct_name:start(),
asn1ct_name:clear(),
%% asn1ct_name:new(term),
asn1ct_name:new(tag),
#'SET'{tablecinf=TableConsInfo,components=TCompList} = D#type.def,
Ext = extensible(TCompList),
ToOptional = fun(mandatory) ->
'OPTIONAL';
(X) -> X
end,
CompList = case TCompList of
{Rl1,El,Rl2} -> Rl1 ++ [X#'ComponentType'{prop=ToOptional(Y)}||X = #'ComponentType'{prop=Y}<-El] ++ Rl2;
{Rl,El} -> Rl ++ El;
_ -> TCompList
end,
%% asn1ct_name:clear(),
asn1ct_name:new(tlv),
case CompList of
[] -> % empty sequence
true;
_ ->
emit([{curr,tlv}," = "])
end,
emit(["?RT_BER:match_tags(",{prev,tlv},",TagIn), ",nl]),
asn1ct_name:new(v),
{DecObjInf,UniqueFName,ValueIndex} =
case TableConsInfo of
%% {ObjectSetRef,AttrN,_N,UniqueFieldName} ->%% N is index of attribute that determines constraint
#simpletableattributes{objectsetname=ObjectSetRef,
c_name=AttrN,
usedclassfield=UniqueFieldName,
uniqueclassfield=UniqueFieldName,
valueindex=ValIndex} ->
F = fun(#'ComponentType'{typespec=CT})->
case {asn1ct_gen:get_constraint(CT#type.constraint,
componentrelation),
CT#type.tablecinf} of
{no,[{objfun,_}|_]} -> true;
_ -> false
end
end,
case lists:any(F,CompList) of
true -> % when component relation constraint establish
%% relation from a component to another components
%% subtype component
{{AttrN,{deep,ObjectSetRef,UniqueFieldName,ValIndex}},
UniqueFieldName,ValIndex};
false ->
{{AttrN,ObjectSetRef},UniqueFieldName,ValIndex}
end;
_ ->
{false,false,false}
end,
case CompList of
[] -> % empty set
true;
_ ->
emit(["SetFun = fun(FunTlv) ->", nl]),
emit(["case FunTlv of ",nl]),
NextNum = gen_dec_set_cases(Erules,Typename,CompList,1),
emit([indent(6), {curr,else}," -> ",nl,
indent(9),"{",NextNum,", ",{curr,else},"}",nl]),
emit([indent(3),"end",nl]),
emit([indent(3),"end,",nl]),
emit(["PositionList = [SetFun(TempTlv)|| TempTlv <- ",{curr,tlv},"],",nl]),
asn1ct_name:new(tlv),
emit([{curr,tlv}," = [Stlv || {_,Stlv} <- lists:sort(PositionList)],",nl]),
asn1ct_name:new(tlv)
end,
RecordName = lists:concat([get_record_name_prefix(),
asn1ct_gen:list2rname(Typename)]),
case gen_dec_sequence_call(Erules,Typename,CompList,Ext,DecObjInf) of
no_terms -> % an empty sequence
emit([nl,nl]),
demit(["Result = "]), %dbg
%% return value as record
emit([" {'",RecordName,"'}.",nl]);
{LeadingAttrTerm,PostponedDecArgs} ->
emit([com,nl,nl]),
case {LeadingAttrTerm,PostponedDecArgs} of
{[],[]} ->
ok;
{_,[]} ->
ok;
{[{ObjSetRef,LeadingAttr,Term}],PostponedDecArgs} ->
DecObj = asn1ct_gen:un_hyphen_var(lists:concat(['DecObj',LeadingAttr,Term])),
ValueMatch = value_match(ValueIndex,Term),
{ObjSetMod,ObjSetName} =
case ObjSetRef of
{M,O} ->
{{asis,M},O};
_ ->
{"?MODULE",ObjSetRef}
end,
emit([DecObj," =",nl,
" ",ObjSetMod,":'getdec_",ObjSetName,"'(",
{asis,UniqueFName},", ",ValueMatch,"),",nl]),
gen_dec_postponed_decs(DecObj,PostponedDecArgs)
end,
demit(["Result = "]), %dbg
%% return value as record
case Ext of
Extnsn when Extnsn =/= noext ->
emit(["case ",{prev,tlv}," of [] -> true; _ -> true end, % ... extra fields skipped",nl]);
noext ->
emit(["case ",{prev,tlv}," of",nl,
"[] -> true;",
"_ -> exit({error,{asn1, {unexpected,",{prev,tlv},
"}}}) % extra fields not allowed",nl,
"end,",nl])
end,
emit([" {'",RecordName,"', "]),
mkvlist(asn1ct_name:all(term)),
emit(["}.",nl])
end.
%%===============================================================================
%%===============================================================================
%%===============================================================================
%% Encode/decode SEQUENCE OF and SET OF
%%===============================================================================
%%===============================================================================
%%===============================================================================
gen_encode_sof(Erules,Typename,_InnerTypename,D) when is_record(D,type) ->
asn1ct_name:start(),
{SeqOrSetOf, Cont} = D#type.def,
Objfun = case D#type.tablecinf of
[{objfun,_}|_R] ->
", ObjFun";
_ ->
""
end,
emit([" {EncBytes,EncLen} = 'enc_",asn1ct_gen:list2name(Typename),
"_components'(Val",Objfun,",[],0),",nl]),
emit([" ?RT_BER:encode_tags(TagIn, EncBytes, EncLen).",nl,nl]),
gen_encode_sof_components(Erules,Typename,SeqOrSetOf,Cont).
gen_decode_sof(Erules,TypeName,_InnerTypeName,D) when is_record(D,type) ->
asn1ct_name:start(),
asn1ct_name:clear(),
{SeqOrSetOf, _TypeTag, Cont} =
case D#type.def of
{'SET OF',_Cont} -> {'SET OF','SET',_Cont};
{'SEQUENCE OF',_Cont} -> {'SEQUENCE OF','SEQUENCE',_Cont}
end,
TypeNameSuffix = asn1ct_gen:constructed_suffix(SeqOrSetOf,Cont#type.def),
emit([" %%-------------------------------------------------",nl]),
emit([" %% decode tag and length ",nl]),
emit([" %%-------------------------------------------------",nl]),
asn1ct_name:new(tlv),
emit([{curr,tlv},
" = ?RT_BER:match_tags(",{prev,tlv},",TagIn), ",nl]),
asn1ct_name:new(v),
emit(["["]),
InnerType = asn1ct_gen:get_inner(Cont#type.def),
ContName = case asn1ct_gen:type(InnerType) of
Atom when is_atom(Atom) -> Atom;
_ -> TypeNameSuffix
end,
%% fix me
ObjFun =
case D#type.tablecinf of
[{objfun,_}|_R] ->
", ObjFun";
_ ->
[]
end,
gen_dec_line(Erules,TypeName,ContName,[],Cont,mandatory,ObjFun),
%% gen_dec_line_sof(Erules,Typename,ContName,Cont,ObjFun),
emit([" || ",{curr,v}," <- ",{curr,tlv},"].",nl,nl,nl]).
gen_encode_sof_components(Erules,Typename,SeqOrSetOf,Cont)
when is_record(Cont,type)->
{Objfun,Objfun_novar,EncObj} =
case Cont#type.tablecinf of
[{objfun,_}|_R] ->
{", ObjFun",", _",{no_attr,"ObjFun"}};
_ ->
{"","",false}
end,
emit(["'enc_",asn1ct_gen:list2name(Typename),
"_components'([]",Objfun_novar,", AccBytes, AccLen) -> ",nl]),
case catch lists:member(der,get(encoding_options)) of
true when SeqOrSetOf=='SET OF'->
emit([indent(3),
"{asn1rt_check:dynamicsort_SETOF(AccBytes),AccLen};",nl,nl]);
_ ->
emit([indent(3),"{lists:reverse(AccBytes),AccLen};",nl,nl])
end,
emit(["'enc_",asn1ct_gen:list2name(Typename),
"_components'([H|T]",Objfun,",AccBytes, AccLen) ->",nl]),
TypeNameSuffix = asn1ct_gen:constructed_suffix(SeqOrSetOf,Cont#type.def),
gen_enc_line(Erules,Typename,TypeNameSuffix,Cont,"H",3,
% mandatory,"{EncBytes,EncLen} = ",EncObj),
mandatory,EncObj),
emit([",",nl]),
emit([indent(3),"'enc_",asn1ct_gen:list2name(Typename),
"_components'(T",Objfun,","]),
emit(["[EncBytes|AccBytes], AccLen + EncLen).",nl,nl]).
%%============================================================================
%% Encode/decode CHOICE
%%
%%============================================================================
gen_encode_choice(Erules,Typename,D) when is_record(D,type) ->
ChoiceTag = D#type.tag,
{'CHOICE',CompList} = D#type.def,
Ext = extensible(CompList),
CompList1 = case CompList of
{Rl1,El,Rl2} -> Rl1 ++ El ++ Rl2;
{Rl,El} -> Rl ++ El;
_ -> CompList
end,
gen_enc_choice(Erules,Typename,ChoiceTag,CompList1,Ext),
emit([nl,nl]).
gen_decode_choice(Erules,Typename,D) when is_record(D,type) ->
asn1ct_name:start(),
asn1ct_name:new(bytes),
ChoiceTag = D#type.tag,
{'CHOICE',CompList} = D#type.def,
Ext = extensible(CompList),
CompList1 = case CompList of
{Rl1,El,Rl2} -> Rl1 ++ El ++ Rl2;
{Rl,El} -> Rl ++ El;
_ -> CompList
end,
gen_dec_choice(Erules,Typename,ChoiceTag,CompList1,Ext),
emit([".",nl]).
%%============================================================================
%% Encode SEQUENCE
%%
%%============================================================================
gen_enc_sequence_call(Erules,TopType,[#'ComponentType'{name=Cname,typespec=Type,prop=Prop,textual_order=Order}|Rest],Pos,Ext,EncObj) ->
asn1ct_name:new(encBytes),
asn1ct_name:new(encLen),
CindexPos =
case Order of
undefined ->
Pos;
_ -> Order % der
end,
Element =
case TopType of
['EXTERNAL'] ->
io_lib:format("Cindex~w",[CindexPos]);
_ ->
io_lib:format("Cindex~w",[CindexPos])
end,
InnerType = asn1ct_gen:get_inner(Type#type.def),
print_attribute_comment(InnerType,Pos,Cname,Prop),
gen_enc_line(Erules,TopType,Cname,Type,Element,3,Prop,EncObj),
emit([com,nl]),
gen_enc_sequence_call(Erules,TopType,Rest,Pos+1,Ext,EncObj);
gen_enc_sequence_call(_Erules,_TopType,[],_Num,_,_) ->
true.
%%============================================================================
%% Decode SEQUENCE
%%
%%============================================================================
gen_dec_sequence_call(Erules,TopType,CompList,Ext,DecObjInf)
when is_list(CompList) ->
gen_dec_sequence_call1(Erules,TopType, CompList, 1, Ext,DecObjInf,[],[]);
gen_dec_sequence_call(Erules,TopType,CompList,Ext,DecObjInf) ->
gen_dec_sequence_call2(Erules,TopType, CompList, Ext,DecObjInf).
gen_dec_sequence_call1(Erules,TopType,[#'ComponentType'{name=Cname,typespec=Type,prop=Prop,tags=Tags}|Rest],Num,Ext,DecObjInf,LeadingAttrAcc,ArgsAcc) ->
{LA,PostponedDec} =
gen_dec_component(Erules,TopType,Cname,Tags,Type,Num,Prop,
Ext,DecObjInf),
case Rest of
[] ->
{LA ++ LeadingAttrAcc,PostponedDec ++ ArgsAcc};
_ ->
emit([com,nl]),
asn1ct_name:new(bytes),
gen_dec_sequence_call1(Erules,TopType,Rest,Num+1,Ext,DecObjInf,
LA++LeadingAttrAcc,PostponedDec++ArgsAcc)
end;
gen_dec_sequence_call1(_Erules,_TopType,[],1,_,_,_,_) ->
no_terms.
gen_dec_sequence_call2(_Erules,_TopType, {[], [], []}, _Ext,_DecObjInf) ->
no_terms;
gen_dec_sequence_call2(Erules,TopType,{Root1,EList,Root2},_Ext,DecObjInf) ->
{LA,ArgsAcc} =
case gen_dec_sequence_call1(Erules,TopType,Root1++EList,1,
extensible({Root1,EList}),DecObjInf,[],[]) of
no_terms ->
{[],[]};
Res -> Res
end,
%% TagList is the tags of Root2 elements from the first up to and
%% including the first mandatory element.
TagList = get_root2_taglist(Root2,[]),
emit({com,nl}),
emit([{curr,tlv}," = ?RT_BER:skip_ExtensionAdditions(",
{prev,tlv},", ",{asis,TagList},"),",nl]),
asn1ct_name:new(tlv),
gen_dec_sequence_call1(Erules,TopType,Root2,
length(Root1)+length(EList),noext,
DecObjInf,LA,ArgsAcc).
%% returns a list of tags of the elements in the component (second
%% root) list up to and including the first mandatory tag. See 24.6 in
%% X.680 (7/2002)
get_root2_taglist([],Acc) ->
lists:reverse(Acc);
get_root2_taglist([#'ComponentType'{prop=Prop,typespec=Type}|Rest],Acc) ->
FirstTag = fun([])->[];
([H|_T])->(?ASN1CT_GEN_BER:decode_class(H#tag.class) bsl 10)
+ H#tag.number
end(Type#type.tag),
case Prop of
mandatory ->
%% match_tags/ may be used
%% this is the last tag of interest -> return
lists:reverse([FirstTag|Acc]);
_ ->
get_root2_taglist(Rest,[FirstTag|Acc])
end.
%%----------------------------
%%SEQUENCE mandatory
%%----------------------------
gen_dec_component(Erules,TopType,Cname,CTags,Type,Pos,Prop,Ext,DecObjInf) ->
InnerType =
case Type#type.def of
#'ObjectClassFieldType'{type=OCFTType} -> OCFTType;
_ -> asn1ct_gen:get_inner(Type#type.def)
end,
Prop1 = case {Prop,Ext} of
{mandatory,{ext,Epos,_}} when Pos >= Epos ->
'OPTIONAL';
_ ->
Prop
end,
print_attribute_comment(InnerType,Pos,Cname,Prop1),
asn1ct_name:new(term),
emit_term_tlv(Prop1,InnerType,DecObjInf),
asn1ct_name:new(rb),
PostponedDec =
gen_dec_line(Erules,TopType,Cname,CTags,Type,Prop1,DecObjInf),
asn1ct_name:new(v),
asn1ct_name:new(tlv),
asn1ct_name:new(form),
PostponedDec.
emit_term_tlv({'DEFAULT',_},InnerType,DecObjInf) ->
emit_term_tlv(opt_or_def,InnerType,DecObjInf);
emit_term_tlv('OPTIONAL',InnerType,DecObjInf) ->
emit_term_tlv(opt_or_def,InnerType,DecObjInf);
emit_term_tlv(Prop,{typefield,_},DecObjInf) ->
emit_term_tlv(Prop,type_or_object_field,DecObjInf);
emit_term_tlv(Prop,{objectfield,_,_},DecObjInf) ->
emit_term_tlv(Prop,type_or_object_field,DecObjInf);
emit_term_tlv(opt_or_def,type_or_object_field,NotFalse)
when NotFalse /= false ->
asn1ct_name:new(tmpterm),
emit(["{",{curr,tmpterm},",",{curr,tlv},"} = "]);
emit_term_tlv(opt_or_def,_,_) ->
emit(["{",{curr,term},",",{curr,tlv},"} = "]);
emit_term_tlv(_,type_or_object_field,false) ->
emit(["[",{curr,v},"|",{curr,tlv},"] = ",{prev,tlv},", ",nl,
{curr,term}," = "]);
emit_term_tlv(_,type_or_object_field,_) ->
asn1ct_name:new(tmpterm),
emit(["[",{curr,v},"|",{curr,tlv},"] = ",{prev,tlv},", ",nl]),
emit([nl," ",{curr,tmpterm}," = "]);
emit_term_tlv(mandatory,_,_) ->
emit(["[",{curr,v},"|",{curr,tlv},"] = ",{prev,tlv},", ",nl,
{curr,term}," = "]).
gen_dec_set_cases(_Erules,_TopType,[],Pos) ->
Pos;
gen_dec_set_cases(Erules,TopType,[Comp|RestComps],Pos) ->
Name = Comp#'ComponentType'.name,
Type = Comp#'ComponentType'.typespec,
CTags = Comp#'ComponentType'.tags,
emit([indent(6),"%",Name,nl]),
Tags = case Type#type.tag of
[] -> % this is a choice without explicit tag
[(?ASN1CT_GEN_BER:decode_class(T1class) bsl 10) + T1number||
{T1class,T1number} <- CTags];
[FirstTag|_] ->
[(?ASN1CT_GEN_BER:decode_class(FirstTag#tag.class) bsl 10) + FirstTag#tag.number]
end,
% emit([indent(6),"%Tags: ",Tags,nl]),
% emit([indent(6),"%Type#type.tag: ",Type#type.tag,nl]),
CaseFun = fun(TagList=[H|T],Fun,N) ->
Semicolon = case TagList of
[_Tag1,_|_] -> [";",nl];
_ -> ""
end,
emit(["TTlv = {",H,",_} ->",nl]),
emit([indent(4),"{",Pos,", TTlv}",Semicolon]),
Fun(T,Fun,N+1);
([],_,0) ->
true;
([],_,_) ->
emit([";",nl])
end,
CaseFun(Tags,CaseFun,0),
%% emit([";",nl]),
gen_dec_set_cases(Erules,TopType,RestComps,Pos+1).
%%---------------------------------------------
%% Encode CHOICE
%%---------------------------------------------
%% for BER we currently do care (a little) if the choice has an EXTENSIONMARKER
gen_enc_choice(Erules,TopType,Tag,CompList,_Ext) ->
gen_enc_choice1(Erules,TopType,Tag,CompList,_Ext).
gen_enc_choice1(Erules,TopType,_Tag,CompList,_Ext) ->
asn1ct_name:clear(),
emit([" {EncBytes,EncLen} = case element(1,Val) of",nl]),
gen_enc_choice2(Erules,TopType,CompList),
emit([nl," end,",nl,nl]),
emit(["?RT_BER:encode_tags(TagIn, EncBytes, EncLen).",nl]).
gen_enc_choice2(Erules,TopType,[H1|T]) when is_record(H1,'ComponentType') ->
Cname = H1#'ComponentType'.name,
Type = H1#'ComponentType'.typespec,
emit([" ",{asis,Cname}," ->",nl]),
{Encobj,Assign} =
case {Type#type.def,asn1ct_gen:get_constraint(Type#type.constraint,
componentrelation)} of
{#'ObjectClassFieldType'{},{componentrelation,_,_}} ->
asn1ct_name:new(tmpBytes),
asn1ct_name:new(encBytes),
asn1ct_name:new(encLen),
Emit = ["{",{curr,tmpBytes},", _} = "],
{{no_attr,"ObjFun"},Emit};
_ ->
case Type#type.tablecinf of
[{objfun,_}] -> {{no_attr,"ObjFun"},[]};
_ -> {false,[]}
end
end,
gen_enc_line(Erules,TopType,Cname,Type,"element(2,Val)",9,
mandatory,Assign,Encobj),
case {Type#type.def,Encobj} of
{#'ObjectClassFieldType'{},{no_attr,"ObjFun"}} ->
emit([",",nl,indent(9),"{",{curr,encBytes},", ",
{curr,encLen},"}"]);
_ -> ok
end,
emit([";",nl]),
case T of
[] ->
emit([indent(6), "Else -> ",nl,
indent(9),"exit({error,{asn1,{invalid_choice_type,Else}}})"]);
_ ->
true
end,
gen_enc_choice2(Erules,TopType,T);
gen_enc_choice2(_Erules,_TopType,[]) ->
true.
%%--------------------------------------------
%% Decode CHOICE
%%--------------------------------------------
gen_dec_choice(Erules,TopType, _ChTag, CompList, Ext) ->
asn1ct_name:clear(),
asn1ct_name:new(tlv),
emit([{curr,tlv},
" = ?RT_BER:match_tags(",{prev,tlv},",TagIn), ",nl]),
asn1ct_name:new(tlv),
asn1ct_name:new(v),
emit(["case (case ",{prev,tlv},
" of [Ctemp",{prev,tlv},"] -> Ctemp",{prev,tlv},
"; _ -> ",{prev,tlv}," end)"," of",nl]),
asn1ct_name:new(tagList),
asn1ct_name:new(choTags),
asn1ct_name:new(res),
gen_dec_choice_cases(Erules,TopType,CompList),
emit([indent(6), {curr,else}," -> ",nl]),
case Ext of
noext ->
emit([indent(9),"exit({error,{asn1,{invalid_choice_tag,",
{curr,else},"}}})",nl]);
_ ->
emit([indent(9),"{asn1_ExtAlt, ?RT_BER:encode(",{curr,else},")}",nl])
end,
emit([indent(3),"end",nl]),
asn1ct_name:new(tag),
asn1ct_name:new(else).
gen_dec_choice_cases(_Erules,_TopType, []) ->
ok;
gen_dec_choice_cases(Erules,TopType, [H|T]) ->
Cname = H#'ComponentType'.name,
Type = H#'ComponentType'.typespec,
Prop = H#'ComponentType'.prop,
Tags = Type#type.tag,
Fcases = fun([{T1class,T1number}|Tail],Fun) ->
emit([indent(4),{curr,v}," = {",
(?ASN1CT_GEN_BER:decode_class(T1class) bsl 10) +
T1number,",_} -> ",nl]),
emit([indent(8),"{",{asis,Cname},", "]),
gen_dec_line(Erules,TopType,Cname,[],Type,Prop,false),
emit(["};",nl,nl]),
Fun(Tail,Fun);
([],_) ->
ok
end,
emit([nl,"%% '",Cname,"'",nl]),
case {Tags,asn1ct:get_gen_state_field(namelist)} of
{[],_} -> % choice without explicit tags
Fcases(H#'ComponentType'.tags,Fcases);
{[FirstT|_RestT],[{Cname,undecoded}|Names]} ->
DecTag=(?ASN1CT_GEN_BER:decode_class(FirstT#tag.class) bsl 10) +
FirstT#tag.number,
asn1ct:add_generated_refed_func({[Cname|TopType],undecoded,
[DecTag],Type}),
asn1ct:update_gen_state(namelist,Names),
emit([indent(4),{curr,res}," = ",
match_tag(ber_bin,{FirstT#tag.class,FirstT#tag.number}),
" -> ",nl]),
emit([indent(8),"{",{asis,Cname},", {'",
asn1ct_gen:list2name([Cname|TopType]),"',",
{curr,res},"}};",nl,nl]);
{[FirstT|RestT],_} ->
emit([indent(4),"{",
(?ASN1CT_GEN_BER:decode_class(FirstT#tag.class) bsl 10) +
FirstT#tag.number,", ",{curr,v},"} -> ",nl]),
emit([indent(8),"{",{asis,Cname},", "]),
gen_dec_line(Erules,TopType,Cname,[],Type#type{tag=RestT},Prop,false),
emit(["};",nl,nl])
end,
gen_dec_choice_cases(Erules,TopType, T).
%%---------------------------------------
%% Generate the encode/decode code
%%---------------------------------------
gen_enc_line(Erules,TopType,Cname,
Type=#type{constraint=C,
def=#'ObjectClassFieldType'{type={typefield,_}}},
Element,Indent,OptOrMand=mandatory,EncObj)
when is_list(Element) ->
case asn1ct_gen:get_constraint(C,componentrelation) of
{componentrelation,_,_} ->
asn1ct_name:new(tmpBytes),
gen_enc_line(Erules,TopType,Cname,Type,Element,Indent,OptOrMand,
["{",{curr,tmpBytes},",_} = "],EncObj);
_ ->
gen_enc_line(Erules,TopType,Cname,Type,Element,Indent,OptOrMand,
["{",{curr,encBytes},",",{curr,encLen},"} = "],
EncObj)
end;
% gen_enc_line(Erules,TopType,Cname,
% Type=#type{constraint=[{componentrelation,_,_}],
% def=#'ObjectClassFieldType'{type={typefield,_}}},
% Element,Indent,OptOrMand=mandatory,EncObj)
% when is_list(Element) ->
% asn1ct_name:new(tmpBytes),
% gen_enc_line(Erules,TopType,Cname,Type,Element,Indent,OptOrMand,
% ["{",{curr,tmpBytes},",_} = "],EncObj);
gen_enc_line(Erules,TopType,Cname,Type,Element,Indent,OptOrMand,EncObj)
when is_list(Element) ->
gen_enc_line(Erules,TopType,Cname,Type,Element,Indent,OptOrMand,
["{",{curr,encBytes},",",{curr,encLen},"} = "],EncObj).
gen_enc_line(Erules,TopType,Cname,Type,Element,Indent,OptOrMand,Assign,EncObj)
when is_list(Element) ->
IndDeep = indent(Indent),
Tag = lists:reverse([?ASN1CT_GEN_BER:encode_tag_val(
?ASN1CT_GEN_BER:decode_class(X#tag.class),
X#tag.form,
X#tag.number)
|| X <- Type#type.tag]),
InnerType = asn1ct_gen:get_inner(Type#type.def),
WhatKind = asn1ct_gen:type(InnerType),
emit(IndDeep),
emit(Assign),
gen_optormand_case(OptOrMand,Erules,TopType,Cname,Type,InnerType,WhatKind,
Element),
case {Type,asn1ct_gen:get_constraint(Type#type.constraint,
componentrelation)} of
% #type{constraint=[{tableconstraint_info,RefedFieldName}],
% def={typefield,_}} ->
{#type{def=#'ObjectClassFieldType'{type={typefield,_},
fieldname=RefedFieldName}},
{componentrelation,_,_}} ->
{_LeadingAttrName,Fun} = EncObj,
case RefedFieldName of
%% {notype,T} ->
%% throw({error,{notype,type_from_object,T}});
{Name,RestFieldNames} when is_atom(Name), Name =/= notype ->
case OptOrMand of
mandatory -> ok;
_ ->
% emit(["{",{curr,tmpBytes},",",{curr,tmpLen},
emit(["{",{curr,tmpBytes},",_ } = "])
% "} = "])
end,
emit([Fun,"(",{asis,Name},", ",Element,", ",
{asis,RestFieldNames},"),",nl]),
emit(IndDeep),
case OptOrMand of
mandatory ->
emit(["{",{curr,encBytes},",",{curr,encLen},
"} = "]),
emit(["?RT_BER:encode_open_type(",{curr,tmpBytes},
",",{asis,Tag},")"]);
_ ->
% emit(["{",{next,tmpBytes},", _} = "]),
emit(["{",{next,tmpBytes},",",{curr,tmpLen},
"} = "]),
emit(["?RT_BER:encode_open_type(",{curr,tmpBytes},
",",{asis,Tag},"),",nl]),
emit(IndDeep),
emit(["{",{next,tmpBytes},", ",{curr,tmpLen},"}"])
end;
Err ->
throw({asn1,{'internal error',Err}})
end;
%% {{#'ObjectClassFieldType'{type={objectfield,PrimFieldName1,
%% PFNList}},_},
%% {componentrelation,_,_}} ->
%% %% this is when the dotted list in the FieldName has more
%% %% than one element
%% {_LeadingAttrName,Fun} = EncObj,
%% emit(["?RT_BER:encode_open_type(",Fun,"(",{asis,PrimFieldName1},
%% ", ",Element,", ",{asis,PFNList},"))"]);
_ ->
case WhatKind of
{primitive,bif} ->
EncType =
case Type#type.def of
#'ObjectClassFieldType'{type={fixedtypevaluefield,_,Btype}} ->
Btype;
_ ->
Type
end,
?ASN1CT_GEN_BER:gen_encode_prim(ber,EncType,{asis,Tag},
Element);
%% {notype,_} ->
%% emit(["'enc_",InnerType,"'(",Element,", ",{asis,Tag},")"]);
'ASN1_OPEN_TYPE' ->
case Type#type.def of
#'ObjectClassFieldType'{} -> %Open Type
?ASN1CT_GEN_BER:gen_encode_prim(ber,#type{def='ASN1_OPEN_TYPE'},{asis,Tag},Element);
_ ->
?ASN1CT_GEN_BER:gen_encode_prim(ber,Type,
{asis,Tag},
Element)
end;
_ ->
{EncFunName, _EncMod, _EncFun} =
mkfuncname(TopType,Cname,WhatKind,"enc_",""),
case {WhatKind,Type#type.tablecinf,EncObj} of
{{constructed,bif},[{objfun,_}|_R],{_,Fun}} ->
emit([EncFunName,"(",Element,", ",{asis,Tag},
", ",Fun,")"]);
_ ->
emit([EncFunName,"(",Element,", ",{asis,Tag},")"])
end
end
end,
case OptOrMand of
mandatory -> true;
_ ->
emit([nl,indent(7),"end"])
end.
gen_optormand_case(mandatory,_Erules,_TopType,_Cname,_Type,_InnerType,_WhatKind,
_Element) ->
ok;
gen_optormand_case('OPTIONAL',Erules,_TopType,_Cname,_Type,_InnerType,_WhatKind,
Element) ->
emit([" case ",Element," of",nl]),
emit([indent(9),"asn1_NOVALUE -> {",
empty_lb(Erules),",0};",nl]),
emit([indent(9),"_ ->",nl,indent(12)]);
gen_optormand_case({'DEFAULT',DefaultValue},Erules,TopType,Cname,Type,
InnerType,WhatKind,Element) ->
CurrMod = get(currmod),
case catch lists:member(der,get(encoding_options)) of
true ->
emit(" case catch "),
asn1ct_gen:gen_check_call(TopType,Cname,Type,InnerType,
WhatKind,{asis,DefaultValue},
Element),
emit([" of",nl]),
emit([indent(12),"true -> {[],0};",nl]);
_ ->
emit([" case ",Element," of",nl]),
emit([indent(9),"asn1_DEFAULT -> {",
empty_lb(Erules),
",0};",nl]),
case DefaultValue of
#'Externalvaluereference'{module=CurrMod,
value=V} ->
emit([indent(9),"?",{asis,V}," -> {",
empty_lb(Erules),",0};",nl]);
_ ->
emit([indent(9),{asis,
DefaultValue}," -> {",
empty_lb(Erules),",0};",nl])
end
end,
emit([indent(9),"_ ->",nl,indent(12)]).
gen_dec_line(Erules,TopType,Cname,CTags,Type,OptOrMand,DecObjInf) ->
BytesVar = asn1ct_gen:mk_var(asn1ct_name:curr(v)),
Tag =
[(?ASN1CT_GEN_BER:decode_class(X#tag.class) bsl 10) + X#tag.number ||
X <- Type#type.tag],
ChoiceTags =
[(?ASN1CT_GEN_BER:decode_class(Class) bsl 10) + Number||
{Class,Number} <- CTags],
InnerType =
case Type#type.def of
#'ObjectClassFieldType'{type=OCFTType} ->
OCFTType;
_ ->
asn1ct_gen:get_inner(Type#type.def)
end,
PostpDec =
case OptOrMand of
mandatory ->
gen_dec_call(InnerType,Erules,TopType,Cname,Type,
BytesVar,Tag,
mandatory,", mandatory, ",DecObjInf,OptOrMand);
_ -> %optional or default or a mandatory component after an extensionmark
{FirstTag,RestTag} =
case Tag of
[] ->
{ChoiceTags,[]};
[Ft|Rt] ->
{Ft,Rt}
end,
emit(["case ",{prev,tlv}," of",nl]),
PostponedDec =
case Tag of
[] when length(ChoiceTags) > 0 -> % a choice without explicit tag
Fcases =
fun(FirstTag1) ->
emit(["[",{curr,v}," = {",{asis,FirstTag1},
",_}|Temp",
{curr,tlv},
"] ->",nl]),
emit([indent(4),"{"]),
Pdec=
gen_dec_call(InnerType,Erules,
TopType,Cname,Type,
BytesVar,RestTag,
mandatory,
", mandatory, ",
DecObjInf,OptOrMand),
emit([", Temp",{curr,tlv},"}"]),
emit([";",nl]),
Pdec
end,
hd([Fcases(TmpTag)|| TmpTag <- FirstTag]);
[] -> % an open type without explicit tag
emit(["[",{curr,v},"|Temp",{curr,tlv},"] ->",nl]),
emit([indent(4),"{"]),
Pdec=
gen_dec_call(InnerType,Erules,TopType,Cname,
Type,BytesVar,RestTag,mandatory,
", mandatory, ",DecObjInf,
OptOrMand),
emit([", Temp",{curr,tlv},"}"]),
emit([";",nl]),
Pdec;
_ ->
emit(["[{",{asis,FirstTag},
",",{curr,v},"}|Temp",
{curr,tlv},
"] ->",nl]),
emit([indent(4),"{"]),
Pdec=
gen_dec_call(InnerType,Erules,TopType,Cname,
Type,BytesVar,RestTag,mandatory,
", mandatory, ",DecObjInf,
OptOrMand),
emit([", Temp",{curr,tlv},"}"]),
emit([";",nl]),
Pdec
end,
emit([indent(4),"_ ->",nl]),
case OptOrMand of
{'DEFAULT', Def} ->
emit([indent(8),"{",{asis,Def},",",{prev,tlv},"}",nl]);
'OPTIONAL' ->
emit([indent(8),"{ asn1_NOVALUE, ",{prev,tlv},"}",nl])
end,
emit(["end"]),
PostponedDec
end,
case DecObjInf of
{Cname,ObjSet} -> % this must be the component were an object is
%% choosen from the object set according to the table
%% constraint.
ObjSetName = case ObjSet of
{deep,OSName,_,_} ->
OSName;
_ -> ObjSet
end,
{[{ObjSetName,Cname,asn1ct_gen:mk_var(asn1ct_name:curr(term))}],
PostpDec};
_ -> {[],PostpDec}
end.
gen_dec_call({typefield,_},_,_,_Cname,Type,BytesVar,Tag,_,_,false,_) ->
%% this in case of a choice with typefield components
asn1ct_name:new(reason),
asn1ct_name:new(opendec),
asn1ct_name:new(tmpterm),
asn1ct_name:new(tmptlv),
{FirstPFName,RestPFName} =
% asn1ct_gen:get_constraint(Type#type.constraint,
% tableconstraint_info),
(Type#type.def)#'ObjectClassFieldType'.fieldname,
emit([nl,indent(6),"begin",nl]),
% emit([indent(9),{curr,opendec}," = ?RT_BER:decode_open_type(",
emit([indent(9),{curr,tmptlv}," = ?RT_BER:decode_open_type(",
BytesVar,",",{asis,Tag},"),",nl]),
% emit([indent(9),"{",{curr,tmptlv},",_} = ?RT_BER:decode(",
% {curr,opendec},"),",nl]),
emit([indent(9),"case (catch ObjFun(",{asis,FirstPFName},
", ",{curr,tmptlv},", ",{asis,RestPFName},
")) of", nl]),%% ??? What about Tag
emit([indent(12),"{'EXIT',",{curr,reason},"} ->",nl]),
emit([indent(15),"exit({'Type not ",
"compatible with table constraint', ",{curr,reason},"});",nl]),
emit([indent(12),{curr,tmpterm}," ->",nl]),
emit([indent(15),{curr,tmpterm},nl]),
emit([indent(9),"end",nl,indent(6),"end",nl]),
[];
gen_dec_call({typefield,_},_,_,Cname,Type,BytesVar,Tag,_,_,_DecObjInf,OptOrMandComp) ->
emit(["?RT_BER:decode_open_type(",BytesVar,",",{asis,Tag},")"]),
RefedFieldName =
% asn1ct_gen:get_constraint(Type#type.constraint,
% tableconstraint_info),
(Type#type.def)#'ObjectClassFieldType'.fieldname,
[{Cname,RefedFieldName,asn1ct_gen:mk_var(asn1ct_name:curr(term)),
asn1ct_gen:mk_var(asn1ct_name:curr(tmpterm)),Tag,OptOrMandComp}];
gen_dec_call({objectfield,PrimFieldName,PFNList},_,_,Cname,_,BytesVar,Tag,_,_,_,OptOrMandComp) ->
emit(["?RT_BER:decode_open_type(",BytesVar,",",{asis,Tag},")"]),
[{Cname,{PrimFieldName,PFNList},asn1ct_gen:mk_var(asn1ct_name:curr(term)),
asn1ct_gen:mk_var(asn1ct_name:curr(tmpterm)),Tag,OptOrMandComp}];
gen_dec_call(InnerType,Erules,TopType,Cname,Type,BytesVar,Tag,PrimOptOrMand,
OptOrMand,DecObjInf,_) ->
WhatKind = asn1ct_gen:type(InnerType),
gen_dec_call1(WhatKind,InnerType,Erules,TopType,Cname,Type,BytesVar,Tag,
PrimOptOrMand,OptOrMand),
case DecObjInf of
{Cname,{_,OSet,UniqueFName,ValIndex}} ->
Term = asn1ct_gen:mk_var(asn1ct_name:curr(term)),
ValueMatch = value_match(ValIndex,Term),
{ObjSetMod,ObjSetName} =
case OSet of
{M,O} ->
{{asis,M},O};
_ ->
{"?MODULE",OSet}
end,
emit([",",nl,"ObjFun = ",ObjSetMod,":'getdec_",ObjSetName,"'(",
{asis,UniqueFName},", ",ValueMatch,")"]);
_ ->
ok
end,
[].
gen_dec_call1({primitive,bif},InnerType,Erules,TopType,Cname,Type,BytesVar,
Tag,OptOrMand,_) ->
case {asn1ct:get_gen_state_field(namelist),InnerType} of
{[{Cname,undecoded}|Rest],_} ->
asn1ct:add_generated_refed_func({[Cname|TopType],undecoded,
Tag,Type}),
asn1ct:update_gen_state(namelist,Rest),
% emit(["?RT_BER:match_tags(",BytesVar,",",{asis,Tag},")"]);
emit(["{'",asn1ct_gen:list2name([Cname|TopType]),"',",
BytesVar,"}"]);
{_,{fixedtypevaluefield,_,Btype}} ->
?ASN1CT_GEN_BER:gen_dec_prim(Erules,Btype,BytesVar,Tag,[],
?PRIMITIVE,OptOrMand);
_ ->
?ASN1CT_GEN_BER:gen_dec_prim(Erules,Type,BytesVar,Tag,[],
?PRIMITIVE,OptOrMand)
end;
gen_dec_call1('ASN1_OPEN_TYPE',_InnerType,Erules,TopType,Cname,Type,BytesVar,
Tag,OptOrMand,_) ->
case {asn1ct:get_gen_state_field(namelist),Type#type.def} of
{[{Cname,undecoded}|Rest],_} ->
asn1ct:add_generated_refed_func({[Cname|TopType],undecoded,
Tag,Type}),
asn1ct:update_gen_state(namelist,Rest),
emit(["{'",asn1ct_gen:list2name([Cname|TopType]),"',",
BytesVar,"}"]);
% emit(["?RT_BER:match_tags(",BytesVar,",",{asis,Tag},")"]);
{_,#'ObjectClassFieldType'{type=OpenType}} ->
?ASN1CT_GEN_BER:gen_dec_prim(Erules,#type{def=OpenType},
BytesVar,Tag,[],
?PRIMITIVE,OptOrMand);
_ ->
?ASN1CT_GEN_BER:gen_dec_prim(Erules,Type,BytesVar,Tag,[],
?PRIMITIVE,OptOrMand)
end;
gen_dec_call1(WhatKind,_,_Erules,TopType,Cname,Type,BytesVar,
Tag,_,_OptOrMand) ->
case asn1ct:get_gen_state_field(namelist) of
[{Cname,undecoded}|Rest] ->
asn1ct:add_generated_refed_func({[Cname|TopType],undecoded,
Tag,Type}),
asn1ct:update_gen_state(namelist,Rest),
emit(["{'",asn1ct_gen:list2name([Cname|TopType]),"',",
BytesVar,"}"]);
_ ->
% {DecFunName, _DecMod, _DecFun} =
% case {asn1ct:get_gen_state_field(namelist),WhatKind} of
EmitDecFunCall =
fun(FuncName) ->
case {WhatKind,Type#type.tablecinf} of
{{constructed,bif},[{objfun,_}|_Rest]} ->
emit([FuncName,"(",BytesVar,", ",{asis,Tag},
", ObjFun)"]);
_ ->
emit([FuncName,"(",BytesVar,", ",{asis,Tag},")"])
end
end,
case asn1ct:get_gen_state_field(namelist) of
[{Cname,List}|Rest] when is_list(List) ->
Sindex =
case WhatKind of
#'Externaltypereference'{} ->
% asn1ct:maybe_rename_function(WhatKind,List),
SI = asn1ct:maybe_saved_sindex(WhatKind,List),
Saves = {WhatKind,SI,List},
asn1ct:add_tobe_refed_func(Saves),
SI;
_ ->
% asn1ct:maybe_rename_function([Cname|TopType],
% List),
SI = asn1ct:maybe_saved_sindex([Cname|TopType],List),
Saves = {[Cname|TopType],SI,List,Type},
asn1ct:add_tobe_refed_func(Saves),
SI
end,
asn1ct:update_gen_state(namelist,Rest),
Prefix=asn1ct:get_gen_state_field(prefix),
% Suffix =
% lists:concat(["_",asn1ct:latest_sindex()]),
Suffix =
case Sindex of
I when is_integer(I),I>0 -> lists:concat(["_",I]);
_ -> ""
end,
{DecFunName,_,_}=
mkfuncname(TopType,Cname,WhatKind,Prefix,Suffix),
% SuffixedName =
% lists:concat([DecFunName,asn1ct:latest_sindex()]),
EmitDecFunCall(DecFunName);
[{Cname,parts}|Rest] ->
asn1ct:update_gen_state(namelist,Rest),
asn1ct:get_gen_state_field(prefix),
%% This is to prepare SEQUENCE OF value in
%% partial incomplete decode for a later
%% part-decode, i.e. skip %% the tag.
asn1ct:add_generated_refed_func({[Cname|TopType],
parts,
[],Type}),
emit(["{'",asn1ct_gen:list2name([Cname|TopType]),"',"]),
EmitDecFunCall("?RT_BER:match_tags"),
emit("}");
_ ->
{DecFunName,_,_}=
mkfuncname(TopType,Cname,WhatKind,"dec_",""),
EmitDecFunCall(DecFunName)
end
% case {WhatKind,Type#type.tablecinf} of
% {{constructed,bif},[{objfun,_}|_Rest]} ->
% emit([DecFunName,"(",BytesVar,", ",{asis,Tag},
% ", ObjFun)"]);
% _ ->
% emit([DecFunName,"(",BytesVar,", ",{asis,Tag},")"])
% end
end.
%%------------------------------------------------------
%% General and special help functions (not exported)
%%------------------------------------------------------
indent(N) ->
lists:duplicate(N,32). % 32 = space
mkcindexlist([H,T1|T], Sep) -> % Sep is a string e.g ", " or "+ "
emit(["Cindex",H,Sep]),
mkcindexlist([T1|T], Sep);
mkcindexlist([H|T], Sep) ->
emit(["Cindex",H]),
mkcindexlist(T, Sep);
mkcindexlist([], _) ->
true.
mkcindexlist(L) ->
mkcindexlist(L,", ").
mkvlist([H,T1|T], Sep) -> % Sep is a string e.g ", " or "+ "
emit([{var,H},Sep]),
mkvlist([T1|T], Sep);
mkvlist([H|T], Sep) ->
emit([{var,H}]),
mkvlist(T, Sep);
mkvlist([], _) ->
true.
mkvlist(L) ->
mkvlist(L,", ").
mkvplus(L) ->
mkvlist(L," + ").
extensible(CompList) when is_list(CompList) ->
noext;
extensible({RootList,ExtList}) ->
{ext,length(RootList)+1,length(ExtList)};
extensible({_Rl1,_Ext,_Rl2}) ->
extensible.
print_attribute_comment(InnerType,Pos,Cname,Prop) ->
CommentLine = "%%-------------------------------------------------",
emit([nl,CommentLine]),
case InnerType of
{typereference,_,Name} ->
emit([nl,"%% attribute ",Cname,"(",Pos,") with type ",Name]);
{'Externaltypereference',_,XModule,Name} ->
emit([nl,"%% attribute ",Cname,"(",Pos,") External ",XModule,":",Name]);
_ ->
emit([nl,"%% attribute ",Cname,"(",Pos,") with type ",InnerType])
end,
case Prop of
mandatory ->
continue;
{'DEFAULT', Def} ->
emit([" DEFAULT = ",{asis,Def}]);
'OPTIONAL' ->
emit([" OPTIONAL"])
end,
emit([nl,CommentLine,nl]).
mkfuncname(TopType,Cname,WhatKind,Prefix,Suffix) ->
CurrMod = get(currmod),
case WhatKind of
#'Externaltypereference'{module=CurrMod,type=EType} ->
F = lists:concat(["'",Prefix,EType,Suffix,"'"]),
{F, "?MODULE", F};
#'Externaltypereference'{module=Mod,type=EType} ->
{lists:concat(["'",Mod,"':'",Prefix,EType,Suffix,"'"]),Mod,
lists:concat(["'",Prefix,EType,"'"])};
{constructed,bif} ->
F = lists:concat(["'",Prefix,
asn1ct_gen:list2name([Cname|TopType]),
Suffix,"'"]),
{F, "?MODULE", F}
end.
empty_lb(ber) ->
"[]";
empty_lb(ber_bin) ->
"<<>>";
empty_lb(ber_bin_v2) ->
"<<>>".
value_match(Index,Value) when is_atom(Value) ->
value_match(Index,atom_to_list(Value));
value_match([],Value) ->
Value;
value_match([{VI,_}|VIs],Value) ->
value_match1(Value,VIs,lists:concat(["element(",VI,","]),1).
value_match1(Value,[],Acc,Depth) ->
Acc ++ Value ++ lists:concat(lists:duplicate(Depth,")"));
value_match1(Value,[{VI,_}|VIs],Acc,Depth) ->
value_match1(Value,VIs,Acc++lists:concat(["element(",VI,","]),Depth+1).