%% %% %CopyrightBegin% %% %% Copyright Ericsson AB 1997-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). %% Compile Time functions for ASN.1 (e.g ASN.1 compiler). %%-compile(export_all). %% Public exports -export([compile/1, compile/2]). -export([start/0, start/1, stop/0]). -export([encode/2, encode/3, decode/3]). -export([test/1, test/2, test/3, value/2]). %% Application internal exports -export([compile_asn/3,compile_asn1/3,compile_py/3,compile/3, value/1,vsn/0, create_ets_table/2,get_name_of_def/1,get_pos_of_def/1]). -export([read_config_data/1,get_gen_state_field/1,get_gen_state/0, partial_inc_dec_toptype/1,save_gen_state/1,update_gen_state/2, get_tobe_refed_func/1,reset_gen_state/0,is_function_generated/1, generated_refed_func/1,next_refed_func/0,pop_namelist/0, next_namelist_el/0,update_namelist/1,step_in_constructed/0, add_tobe_refed_func/1,add_generated_refed_func/1, maybe_rename_function/3,latest_sindex/0,current_sindex/0, set_current_sindex/1,next_sindex/0,maybe_saved_sindex/2, parse_and_save/2]). -include("asn1_records.hrl"). -include_lib("stdlib/include/erl_compile.hrl"). -include_lib("kernel/include/file.hrl"). -import(asn1ct_gen_ber_bin_v2,[encode_tag_val/3,decode_class/1]). -define(unique_names,0). -define(dupl_uniquedefs,1). -define(dupl_equaldefs,2). -define(dupl_eqdefs_uniquedefs,?dupl_equaldefs bor ?dupl_uniquedefs). -define(CONSTRUCTED, 2#00100000). %% macros used for partial decode commands -define(CHOOSEN,choosen). -define(SKIP,skip). -define(SKIP_OPTIONAL,skip_optional). %% macros used for partial incomplete decode commands -define(MANDATORY,mandatory). -define(DEFAULT,default). -define(OPTIONAL,opt). -define(OPTIONAL_UNDECODED,opt_undec). -define(PARTS,parts). -define(UNDECODED,undec). -define(ALTERNATIVE,alt). -define(ALTERNATIVE_UNDECODED,alt_undec). -define(ALTERNATIVE_PARTS,alt_parts). %-define(BINARY,bin). %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% This is the interface to the compiler %% %% compile(File) -> compile(File,[]). compile(File,Options) when is_list(Options) -> Options1 = optimize_ber_bin(Options), Options2 = includes(File,Options1), Includes=[I||{i,I}<-Options2], case (catch input_file_type(File,Includes)) of {single_file,SuffixedFile} -> %% "e.g. "/tmp/File.asn" (catch compile1(SuffixedFile,Options2)); {multiple_files_file,SetBase,FileName} -> FileList = get_file_list(FileName,Includes), %% io:format("FileList: ~p~n",[FileList]), case FileList of L when is_list(L) -> (catch compile_set(SetBase,FileList,Options2)); Err -> Err end; Err = {input_file_error,_Reason} -> {error,Err}; Err2 -> Err2 end. compile1(File,Options) when is_list(Options) -> io:format("Erlang ASN.1 version ~p compiling ~p ~n",[?vsn,File]), io:format("Compiler Options: ~p~n",[Options]), Ext = filename:extension(File), Base = filename:basename(File,Ext), OutFile = outfile(Base,"",Options), DbFile = outfile(Base,"asn1db",Options), Includes = [I || {i,I} <- Options], EncodingRule = get_rule(Options), create_ets_table(asn1_functab,[named_table]), Continue1 = scan(File,Options), Continue2 = parse(Continue1,File,Options), Continue3 = check(Continue2,File,OutFile,Includes,EncodingRule, DbFile,Options,[]), Continue4 = generate(Continue3,OutFile,EncodingRule,Options), delete_tables([asn1_functab]), Ret = compile_erl(Continue4,OutFile,Options), case inline(is_inline(Options), inline_output(Options,filename:rootname(File)), lists:concat([OutFile,".erl"]),Options) of false -> Ret; InlineRet -> InlineRet end. %%****************************************************************************%% %% functions dealing with compiling of several input files to one output file %% %%****************************************************************************%% %%% %% inline/4 %% merges the resulting erlang modules with %% the appropriate run-time modules so the resulting module contains all %% run-time asn1 functionality. Then compiles the resulting file to beam code. %% The merging is done by the igor module. If this function is used in older %% versions than R10B the igor module, part of user contribution syntax_tools, %% must be provided. It is possible to pass options for the ASN1 compiler %% Types: %% Name -> atom() %% Modules -> [filename()] %% Options -> [term()] %% filename() -> file:filename() inline(true,Name,Module,Options) -> RTmodule = get_runtime_mod(Options), IgorOptions = igorify_options(remove_asn_flags(Options)), IgorName = filename:rootname(filename:basename(Name)), % io:format("*****~nName: ~p~nModules: ~p~nIgorOptions: ~p~n*****~n", % [IgorName,Modules++RTmodule,IgorOptions]), io:format("Inlining modules: ~p in ~p~n",[[Module]++RTmodule,IgorName]), case catch igor:merge(IgorName,[Module]++RTmodule,[{preprocess,true},{stubs,false},{backups,false}]++IgorOptions) of {'EXIT',{undef,Reason}} -> %% module igor first in R10B io:format("Module igor in syntax_tools must be available:~n~p~n", [Reason]), {error,'no_compilation'}; {'EXIT',Reason} -> io:format("Merge by igor module failed due to ~p~n",[Reason]), {error,'no_compilation'}; _ -> %% io:format("compiling output module: ~p~n",[generated_file(Name,IgorOptions)]), erl_compile(generated_file(Name,IgorOptions),Options) end; inline(_,_,_,_) -> false. %% compile_set/3 merges and compiles a number of asn1 modules %% specified in a .set.asn file to one .erl file. compile_set(SetBase,Files,Options) when is_list(hd(Files)),is_list(Options) -> %% case when there are several input files in a list io:format("Erlang ASN.1 version ~p compiling ~p ~n",[?vsn,Files]), io:format("Compiler Options: ~p~n",[Options]), OutFile = outfile(SetBase,"",Options), DbFile = outfile(SetBase,"asn1db",Options), Includes = [I || {i,I} <- Options], EncodingRule = get_rule(Options), create_ets_table(asn1_functab,[named_table]), ScanRes = scan_set(Files,Options), ParseRes = parse_set(ScanRes,Options), Result = case [X||X <- ParseRes,element(1,X)==true] of [] -> %% all were false, time to quit lists:map(fun(X)->element(2,X) end,ParseRes); ParseRes -> %% all were true, continue with check InputModules = lists:map( fun(F)-> E = filename:extension(F), B = filename:basename(F,E), if is_list(B) -> list_to_atom(B); true -> B end end, Files), check_set(ParseRes,SetBase,OutFile,Includes, EncodingRule,DbFile,Options,InputModules); Other -> {error,{'unexpected error in scan/parse phase', lists:map(fun(X)->element(3,X) end,Other)}} end, delete_tables([asn1_functab]), Result. check_set(ParseRes,SetBase,OutFile,Includes,EncRule,DbFile, Options,InputModules) -> MergedModule = merge_modules(ParseRes,SetBase), SetM = MergedModule#module{name=SetBase}, Continue1 = check({true,SetM},SetBase,OutFile,Includes,EncRule,DbFile, Options,InputModules), Continue2 = generate(Continue1,OutFile,EncRule,Options), delete_tables([renamed_defs,original_imports,automatic_tags]), Ret = compile_erl(Continue2,OutFile,Options), case inline(is_inline(Options), inline_output(Options,filename:rootname(OutFile)), lists:concat([OutFile,".erl"]),Options) of false -> Ret; InlineRet -> InlineRet end. %% merge_modules/2 -> returns a module record where the typeorval lists are merged, %% the exports lists are merged, the imports lists are merged when the %% elements come from other modules than the merge set, the tagdefault %% field gets the shared value if all modules have same tagging scheme, %% otherwise a tagging_error exception is thrown, %% the extensiondefault ...(not handled yet). merge_modules(ParseRes,CommonName) -> ModuleList = lists:map(fun(X)->element(2,X) end,ParseRes), NewModuleList = remove_name_collisions(ModuleList), case ets:info(renamed_defs,size) of 0 -> ets:delete(renamed_defs); _ -> ok end, save_imports(NewModuleList), % io:format("~p~n~p~n~p~n~n",[ets:lookup(original_imports,'M1'),ets:lookup(original_imports,'M2'),ets:tab2list(original_imports)]), TypeOrVal = lists:append(lists:map(fun(X)->X#module.typeorval end, NewModuleList)), InputMNameList = lists:map(fun(X)->X#module.name end, NewModuleList), CExports = common_exports(NewModuleList), ImportsModuleNameList = lists:map(fun(X)-> {X#module.imports, X#module.name} end, NewModuleList), %% ImportsModuleNameList: [{Imports,ModuleName},...] %% Imports is a tuple {imports,[#'SymbolsFromModule'{},...]} CImports = common_imports(ImportsModuleNameList,InputMNameList), TagDefault = check_tagdefault(NewModuleList), #module{name=CommonName,tagdefault=TagDefault,exports=CExports, imports=CImports,typeorval=TypeOrVal}. %% causes an exit if duplicate definition names exist in a module remove_name_collisions(Modules) -> create_ets_table(renamed_defs,[named_table]), %% Name duplicates in the same module is not allowed. lists:foreach(fun exit_if_nameduplicate/1,Modules), %% Then remove duplicates in different modules and return the %% new list of modules. remove_name_collisions2(Modules,[]). %% For each definition in the first module in module list, find %% all definitons with same name and rename both definitions in %% the first module and in rest of modules remove_name_collisions2([M|Ms],Acc) -> TypeOrVal = M#module.typeorval, MName = M#module.name, %% Test each name in TypeOrVal on all modules in Ms {NewM,NewMs} = remove_name_collisions2(MName,TypeOrVal,Ms,[]), remove_name_collisions2(NewMs,[M#module{typeorval=NewM}|Acc]); remove_name_collisions2([],Acc) -> finished_warn_prints(), Acc. %% For each definition in list of defs find definitions in (rest of) %% modules that have same name. If duplicate was found rename def. %% Test each name in [T|Ts] on all modules in Ms remove_name_collisions2(ModName,[T|Ts],Ms,Acc) -> Name = get_name_of_def(T), case discover_dupl_in_mods(Name,T,Ms,[],?unique_names) of {_,?unique_names} -> % there was no name collision remove_name_collisions2(ModName,Ts,Ms,[T|Acc]); {NewMs,?dupl_uniquedefs} -> % renamed defs in NewMs %% rename T NewT = set_name_of_def(ModName,Name,T), %rename def warn_renamed_def(ModName,get_name_of_def(NewT),Name), ets:insert(renamed_defs,{get_name_of_def(NewT),Name,ModName}), remove_name_collisions2(ModName,Ts,NewMs,[NewT|Acc]); {NewMs,?dupl_equaldefs} -> % name duplicates, but identical defs %% keep name of T warn_kept_def(ModName,Name), remove_name_collisions2(ModName,Ts,NewMs,[T|Acc]); {NewMs,?dupl_eqdefs_uniquedefs} -> %% keep name of T, renamed defs in NewMs warn_kept_def(ModName,Name), remove_name_collisions2(ModName,Ts,NewMs,[T|Acc]) end; remove_name_collisions2(_,[],Ms,Acc) -> {Acc,Ms}. %% Name is the name of a definition. If a definition with the same name %% is found in the modules Ms the definition will be renamed and returned. discover_dupl_in_mods(Name,Def,[M=#module{name=N,typeorval=TorV}|Ms], Acc,AnyRenamed) -> Fun = fun(T,RenamedOrDupl)-> case {get_name_of_def(T),compare_defs(Def,T)} of {Name,not_equal} -> %% rename def NewT=set_name_of_def(N,Name,T), warn_renamed_def(N,get_name_of_def(NewT),Name), ets:insert(renamed_defs,{get_name_of_def(NewT), Name,N}), {NewT,?dupl_uniquedefs bor RenamedOrDupl}; {Name,equal} -> %% delete def warn_deleted_def(N,Name), {[],?dupl_equaldefs bor RenamedOrDupl}; _ -> {T,RenamedOrDupl} end end, {NewTorV,NewAnyRenamed} = lists:mapfoldl(Fun,AnyRenamed,TorV), %% have to flatten the NewTorV to remove any empty list elements discover_dupl_in_mods(Name,Def,Ms, [M#module{typeorval=lists:flatten(NewTorV)}|Acc], NewAnyRenamed); discover_dupl_in_mods(_,_,[],Acc,AnyRenamed) -> {Acc,AnyRenamed}. warn_renamed_def(ModName,NewName,OldName) -> maybe_first_warn_print(), io:format("NOTICE: The ASN.1 definition in module ~p with name ~p has been renamed in generated module. New name is ~p.~n",[ModName,OldName,NewName]). warn_deleted_def(ModName,DefName) -> maybe_first_warn_print(), io:format("NOTICE: The ASN.1 definition in module ~p with name ~p has been deleted in generated module.~n",[ModName,DefName]). warn_kept_def(ModName,DefName) -> maybe_first_warn_print(), io:format("NOTICE: The ASN.1 definition in module ~p with name ~p has kept its name due to equal definition as duplicate.~n",[ModName,DefName]). maybe_first_warn_print() -> case get(warn_duplicate_defs) of undefined -> put(warn_duplicate_defs,true), io:format("~nDue to multiple occurrences of a definition name in " "multi-file compiled files:~n"); _ -> ok end. finished_warn_prints() -> put(warn_duplicate_defs,undefined). exit_if_nameduplicate(#module{typeorval=TorV}) -> exit_if_nameduplicate(TorV); exit_if_nameduplicate([]) -> ok; exit_if_nameduplicate([Def|Rest]) -> Name=get_name_of_def(Def), exit_if_nameduplicate2(Name,Rest), exit_if_nameduplicate(Rest). exit_if_nameduplicate2(Name,Rest) -> Pred=fun(Def)-> case get_name_of_def(Def) of Name -> true; _ -> false end end, case lists:any(Pred,Rest) of true -> throw({error,{"more than one definition with same name",Name}}); _ -> ok end. compare_defs(D1,D2) -> compare_defs2(unset_pos_mod(D1),unset_pos_mod(D2)). compare_defs2(D,D) -> equal; compare_defs2(_,_) -> not_equal. unset_pos_mod(Def) when is_record(Def,typedef) -> Def#typedef{pos=undefined}; unset_pos_mod(Def) when is_record(Def,classdef) -> Def#classdef{pos=undefined}; unset_pos_mod(Def) when is_record(Def,valuedef) -> Def#valuedef{pos=undefined,module=undefined}; unset_pos_mod(Def) when is_record(Def,ptypedef) -> Def#ptypedef{pos=undefined}; unset_pos_mod(Def) when is_record(Def,pvaluedef) -> Def#pvaluedef{pos=undefined}; unset_pos_mod(Def) when is_record(Def,pvaluesetdef) -> Def#pvaluesetdef{pos=undefined}; unset_pos_mod(Def) when is_record(Def,pobjectdef) -> Def#pobjectdef{pos=undefined}; unset_pos_mod(Def) when is_record(Def,pobjectsetdef) -> Def#pobjectsetdef{pos=undefined}. get_pos_of_def(#typedef{pos=Pos}) -> Pos; get_pos_of_def(#classdef{pos=Pos}) -> Pos; get_pos_of_def(#valuedef{pos=Pos}) -> Pos; get_pos_of_def(#ptypedef{pos=Pos}) -> Pos; get_pos_of_def(#pvaluedef{pos=Pos}) -> Pos; get_pos_of_def(#pvaluesetdef{pos=Pos}) -> Pos; get_pos_of_def(#pobjectdef{pos=Pos}) -> Pos; get_pos_of_def(#pobjectsetdef{pos=Pos}) -> Pos; get_pos_of_def(_) -> undefined. get_name_of_def(#typedef{name=Name}) -> Name; get_name_of_def(#classdef{name=Name}) -> Name; get_name_of_def(#valuedef{name=Name}) -> Name; get_name_of_def(#ptypedef{name=Name}) -> Name; get_name_of_def(#pvaluedef{name=Name}) -> Name; get_name_of_def(#pvaluesetdef{name=Name}) -> Name; get_name_of_def(#pobjectdef{name=Name}) -> Name; get_name_of_def(#pobjectsetdef{name=Name}) -> Name; get_name_of_def(_) -> undefined. set_name_of_def(ModName,Name,OldDef) -> NewName = list_to_atom(lists:concat([Name,ModName])), case OldDef of #typedef{} -> OldDef#typedef{name=NewName}; #classdef{} -> OldDef#classdef{name=NewName}; #valuedef{} -> OldDef#valuedef{name=NewName}; #ptypedef{} -> OldDef#ptypedef{name=NewName}; #pvaluedef{} -> OldDef#pvaluedef{name=NewName}; #pvaluesetdef{} -> OldDef#pvaluesetdef{name=NewName}; #pobjectdef{} -> OldDef#pobjectdef{name=NewName}; #pobjectsetdef{} -> OldDef#pobjectsetdef{name=NewName} end. save_imports(ModuleList)-> Fun = fun(M) -> case M#module.imports of {_,[]} -> []; {_,I} -> {M#module.name,I} end end, ImportsList = lists:map(Fun,ModuleList), case lists:flatten(ImportsList) of [] -> ok; ImportsList2 -> create_ets_table(original_imports,[named_table]), lists:foreach(fun(X) -> ets:insert(original_imports,X) end,ImportsList2) end. common_exports(ModuleList) -> %% if all modules exports 'all' then export 'all', %% otherwise export each typeorval name case lists:filter(fun(X)-> element(2,X#module.exports) /= all end, ModuleList) of []-> {exports,all}; ModsWithExpList -> CExports1 = lists:append(lists:map(fun(X)->element(2,X#module.exports) end, ModsWithExpList)), CExports2 = export_all(lists:subtract(ModuleList,ModsWithExpList)), {exports,CExports1++CExports2} end. export_all([])->[]; export_all(ModuleList) -> ExpList = lists:map( fun(M)-> TorVL=M#module.typeorval, MName = M#module.name, lists:map( fun(Def)-> case Def of T when is_record(T,typedef)-> #'Externaltypereference'{pos=0, module=MName, type=T#typedef.name}; V when is_record(V,valuedef) -> #'Externalvaluereference'{pos=0, module=MName, value=V#valuedef.name}; C when is_record(C,classdef) -> #'Externaltypereference'{pos=0, module=MName, type=C#classdef.name}; P when is_record(P,ptypedef) -> #'Externaltypereference'{pos=0, module=MName, type=P#ptypedef.name}; PV when is_record(PV,pvaluesetdef) -> #'Externaltypereference'{pos=0, module=MName, type=PV#pvaluesetdef.name}; PO when is_record(PO,pobjectdef) -> #'Externalvaluereference'{pos=0, module=MName, value=PO#pobjectdef.name} end end, TorVL) end, ModuleList), lists:append(ExpList). %% common_imports/2 %% IList is a list of tuples, {Imports,MName}, where Imports is the imports of %% the module with name MName. %% InputMNameL holds the names of all merged modules. %% Returns an import tuple with a list of imports that are external the merged %% set of modules. common_imports(IList,InputMNameL) -> SetExternalImportsList = remove_in_set_imports(IList,InputMNameL,[]), {imports,remove_import_doubles(SetExternalImportsList)}. check_tagdefault(ModList) -> case have_same_tagdefault(ModList) of {true,TagDefault} -> TagDefault; {false,TagDefault} -> create_ets_table(automatic_tags,[named_table]), save_automatic_tagged_types(ModList), TagDefault end. have_same_tagdefault([#module{tagdefault=T}|Ms]) -> have_same_tagdefault(Ms,{true,T}). have_same_tagdefault([],TagDefault) -> TagDefault; have_same_tagdefault([#module{tagdefault=T}|Ms],TDefault={_,T}) -> have_same_tagdefault(Ms,TDefault); have_same_tagdefault([#module{tagdefault=T1}|Ms],{_,T2}) -> have_same_tagdefault(Ms,{false,rank_tagdef([T1,T2])}). rank_tagdef(L) -> case lists:member('EXPLICIT',L) of true -> 'EXPLICIT'; _ -> 'IMPLICIT' end. save_automatic_tagged_types([])-> done; save_automatic_tagged_types([#module{tagdefault='AUTOMATIC', typeorval=TorV}|Ms]) -> Fun = fun(T) -> ets:insert(automatic_tags,{get_name_of_def(T)}) end, lists:foreach(Fun,TorV), save_automatic_tagged_types(Ms); save_automatic_tagged_types([_M|Ms]) -> save_automatic_tagged_types(Ms). %% remove_in_set_imports/3 : %% input: list with tuples of each module's imports and module name %% respectively. %% output: one list with same format but each occured import from a %% module in the input set (IMNameL) is removed. remove_in_set_imports([{{imports,ImpL},_ModName}|Rest],InputMNameL,Acc) -> NewImpL = remove_in_set_imports1(ImpL,InputMNameL,[]), remove_in_set_imports(Rest,InputMNameL,NewImpL++Acc); remove_in_set_imports([],_,Acc) -> lists:reverse(Acc). remove_in_set_imports1([I|Is],InputMNameL,Acc) -> case I#'SymbolsFromModule'.module of #'Externaltypereference'{type=MName} -> case lists:member(MName,InputMNameL) of true -> remove_in_set_imports1(Is,InputMNameL,Acc); false -> remove_in_set_imports1(Is,InputMNameL,[I|Acc]) end; _ -> remove_in_set_imports1(Is,InputMNameL,[I|Acc]) end; remove_in_set_imports1([],_,Acc) -> lists:reverse(Acc). remove_import_doubles([]) -> []; %% If several modules in the merge set imports symbols from %% the same external module it might be doubled. %% ImportList has #'SymbolsFromModule' elements remove_import_doubles(ImportList) -> MergedImportList = merge_symbols_from_module(ImportList,[]), %% io:format("MergedImportList: ~p~n",[MergedImportList]), delete_double_of_symbol(MergedImportList,[]). merge_symbols_from_module([Imp|Imps],Acc) -> #'Externaltypereference'{type=ModName} = Imp#'SymbolsFromModule'.module, IfromModName = lists:filter( fun(I)-> case I#'SymbolsFromModule'.module of #'Externaltypereference'{type=ModName} -> true; #'Externalvaluereference'{value=ModName} -> true; _ -> false end end, Imps), NewImps = lists:subtract(Imps,IfromModName), %% io:format("Imp: ~p~nIfromModName: ~p~n",[Imp,IfromModName]), NewImp = Imp#'SymbolsFromModule'{ symbols = lists:append( lists:map(fun(SL)-> SL#'SymbolsFromModule'.symbols end,[Imp|IfromModName]))}, merge_symbols_from_module(NewImps,[NewImp|Acc]); merge_symbols_from_module([],Acc) -> lists:reverse(Acc). delete_double_of_symbol([I|Is],Acc) -> SymL=I#'SymbolsFromModule'.symbols, NewSymL = delete_double_of_symbol1(SymL,[]), delete_double_of_symbol(Is,[I#'SymbolsFromModule'{symbols=NewSymL}|Acc]); delete_double_of_symbol([],Acc) -> Acc. delete_double_of_symbol1([TRef=#'Externaltypereference'{type=TrefName}|Rest],Acc)-> NewRest = lists:filter(fun(S)-> case S of #'Externaltypereference'{type=TrefName}-> false; _ -> true end end, Rest), delete_double_of_symbol1(NewRest,[TRef|Acc]); delete_double_of_symbol1([VRef=#'Externalvaluereference'{value=VName}|Rest],Acc) -> NewRest = lists:filter(fun(S)-> case S of #'Externalvaluereference'{value=VName}-> false; _ -> true end end, Rest), delete_double_of_symbol1(NewRest,[VRef|Acc]); delete_double_of_symbol1([TRef={#'Externaltypereference'{type=MRef}, #'Externaltypereference'{type=TRef}}|Rest], Acc)-> NewRest = lists:filter( fun(S)-> case S of {#'Externaltypereference'{type=MRef}, #'Externaltypereference'{type=TRef}}-> false; _ -> true end end, Rest), delete_double_of_symbol1(NewRest,[TRef|Acc]); delete_double_of_symbol1([],Acc) -> Acc. scan_set(Files,Options) -> %% The files in Files already have their relative path and extension lists:map( fun(F)-> case scan(F,Options) of {false,{error,Reason}} -> throw({error,{'scan error in file:',F,Reason}}); {TrueOrFalse,Res} -> {TrueOrFalse,Res,F} end end, Files). parse_set(ScanRes,Options) -> lists:map( fun({TorF,Toks,F})-> case parse({TorF,Toks},F,Options) of {false,{error,Reason}} -> throw({error,{'parse error in file:',F,Reason}}); {TrueOrFalse,Res} -> {TrueOrFalse,Res,F} end end, ScanRes). %%*********************************** scan(File,Options) -> case asn1ct_tok:file(File) of {error,Reason} -> io:format("~p~n",[Reason]), {false,{error,Reason}}; Tokens -> case lists:member(ss,Options) of true -> % we terminate after scan {false,Tokens}; false -> % continue with next pass {true,Tokens} end end. parse({true,Tokens},File,Options) -> %Presult = asn1ct_parser2:parse(Tokens), %%case lists:member(p1,Options) of %% true -> %% asn1ct_parser:parse(Tokens); %% _ -> %% asn1ct_parser2:parse(Tokens) %% end, case catch asn1ct_parser2:parse(Tokens) of {error,{{Line,_Mod,Message},_TokTup}} -> if is_integer(Line) -> BaseName = filename:basename(File), io:format("syntax error at line ~p in module ~s:~n", [Line,BaseName]); true -> io:format("syntax error in module ~p:~n",[File]) end, print_error_message(Message), {false,{error,Message}}; {error,{Line,_Mod,[Message,Token]}} -> io:format("syntax error: ~p ~p at line ~p~n", [Message,Token,Line]), {false,{error,{Line,[Message,Token]}}}; {ok,M} -> case lists:member(sp,Options) of true -> % terminate after parse {false,M}; false -> % continue with next pass {true,M} end; OtherError -> io:format("~p~n",[OtherError]) end; parse({false,Tokens},_,_) -> {false,Tokens}. check({true,M},File,OutFile,Includes,EncodingRule,DbFile,Options,InputMods) -> start(Includes), case asn1ct_check:storeindb(#state{erule=EncodingRule},M) of ok -> Module = asn1_db:dbget(M#module.name,'MODULE'), State = #state{mname=Module#module.name, module=Module#module{typeorval=[]}, erule=EncodingRule, inputmodules=InputMods, options=Options, sourcedir=filename:dirname(File)}, Check = asn1ct_check:check(State,Module#module.typeorval), case {Check,lists:member(abs,Options)} of {{error,Reason},_} -> {false,{error,Reason}}; {{ok,NewTypeOrVal,_},true} -> NewM = Module#module{typeorval=NewTypeOrVal}, asn1_db:dbput(NewM#module.name,'MODULE',NewM), pretty2(M#module.name,lists:concat([OutFile,".abs"])), {false,ok}; {{ok,NewTypeOrVal,GenTypeOrVal},_} -> NewM = Module#module{typeorval=NewTypeOrVal}, asn1_db:dbput(NewM#module.name,'MODULE',NewM), asn1_db:dbsave(DbFile,M#module.name), io:format("--~p--~n",[{generated,DbFile}]), {true,{M,NewM,GenTypeOrVal}} end end; check({false,M},_,_,_,_,_,_,_) -> {false,M}. generate({true,{M,_Module,GenTOrV}},OutFile,EncodingRule,Options) -> debug_on(Options), case lists:member(compact_bit_string,Options) of true -> put(compact_bit_string,true); _ -> ok end, put(encoding_options,Options), create_ets_table(check_functions,[named_table]), %% create decoding function names and taglists for partial decode %% For the time being leave errors unnoticed !!!!!!!!! % io:format("Options: ~p~n",[Options]), case catch specialized_decode_prepare(EncodingRule,M,GenTOrV,Options) of {error, enoent} -> ok; {error, Reason} -> io:format("WARNING: Error in configuration" "file: ~n~p~n",[Reason]); {'EXIT',Reason} -> io:format("WARNING: Internal error when " "analyzing configuration" "file: ~n~p~n",[Reason]); _ -> ok end, Result = case (catch asn1ct_gen:pgen(OutFile,EncodingRule, M#module.name,GenTOrV)) of {'EXIT',Reason2} -> io:format("ERROR: ~p~n",[Reason2]), {error,Reason2}; _ -> ok end, debug_off(Options), put(compact_bit_string,false), erase(encoding_options), erase(tlv_format), % used in ber_bin, optimize erase(class_default_type),% used in ber_bin, optimize ets:delete(check_functions), case Result of {error,_} -> {false,Result}; ok -> case lists:member(sg,Options) of true -> % terminate here , with .erl file generated {false,true}; false -> {true,true} end end; generate({false,M},_,_,_) -> {false,M}. %% parse_and_save parses an asn1 spec and saves the unchecked parse %% tree in a data base file. %% Does not support multifile compilation files parse_and_save(Module,S) -> Options = S#state.options, SourceDir = S#state.sourcedir, Includes = [I || {i,I} <-Options], Options1 = optimize_ber_bin(Options), case get_input_file(Module,[SourceDir|Includes]) of %% search for asn1 source {file,SuffixedASN1source} -> case dbfile_uptodate(SuffixedASN1source,Options1) of false -> parse_and_save1(S,SuffixedASN1source,Options1,Includes); _ -> ok end; Err -> io:format("Warning: could not do a consistency check of the ~p file: no asn1 source file was found.~n",[lists:concat([Module,".asn1db"])]), {error,{asn1,input_file_error,Err}} end. parse_and_save1(S,File,Options,Includes) -> Ext = filename:extension(File), Base = filename:basename(File,Ext), DbFile = outfile(Base,"asn1db",Options), Continue1 = scan(File,Options), M = case parse(Continue1,File,Options) of {true,Mod} -> Mod; _ -> %% io:format("~p~nnow I die!!!!!!!!!!!~n",[File]), exit({error,{asn1,File,"no such file"}}) end, % start(["."|Includes]), start(Includes), case asn1ct_check:storeindb(S,M) of ok -> asn1_db:dbsave(DbFile,M#module.name) end. get_input_file(Module,[]) -> Module; get_input_file(Module,[I|Includes]) -> case (catch input_file_type(filename:join([I,Module]))) of {single_file,FileName} -> %% case file:read_file_info(FileName) of %% {ok,_} -> {file,FileName}; %% _ -> get_input_file(Module,Includes) %% end; _ -> get_input_file(Module,Includes) end. dbfile_uptodate(File,Options) -> EncodingRule = get_rule(Options), Ext = filename:extension(File), Base = filename:basename(File,Ext), DbFile = outfile(Base,"asn1db",Options), case file:read_file_info(DbFile) of {error,enoent} -> false; {ok,FileInfoDb} -> %% file exists, check date and finally encodingrule {ok,FileInfoAsn} = file:read_file_info(File), case FileInfoDb#file_info.mtime < FileInfoAsn#file_info.mtime of true -> %% date of asn1 spec newer than db file false; _ -> %% date ok,check that same erule was used Obase = case lists:keysearch(outdir, 1, Options) of {value, {outdir, Odir}} -> Odir; _NotFound -> "" end, BeamFileName = outfile(Base,"beam",Options), case file:read_file_info(BeamFileName) of {ok,_} -> code:add_path(Obase), BeamFile = list_to_atom(Base), BeamInfo = (catch BeamFile:info()), case catch lists:keysearch(options,1,BeamInfo) of {value,{options,OldOptions}} -> case get_rule(OldOptions) of EncodingRule -> true; _ -> false end; _ -> false end; _ -> false end end end. compile_erl({true,_},OutFile,Options) -> erl_compile(OutFile,Options); compile_erl({false,true},_,_) -> ok; compile_erl({false,Result},_,_) -> Result. input_file_type(Name,I) -> case input_file_type(Name) of {error,_} -> input_file_type2(filename:basename(Name),I); Err={input_file_error,_} -> Err; Res -> Res end. input_file_type2(Name,[I|Is]) -> case input_file_type(filename:join([I,Name])) of {error,_} -> input_file_type2(Name,Is); Err={input_file_error,_} -> Err; Res -> Res end; input_file_type2(Name,[]) -> input_file_type(Name). input_file_type([]) -> {empty_name,[]}; input_file_type(File) -> case filename:extension(File) of [] -> case file:read_file_info(lists:concat([File,".asn1"])) of {ok,_FileInfo} -> {single_file, lists:concat([File,".asn1"])}; _Error -> case file:read_file_info(lists:concat([File,".asn"])) of {ok,_FileInfo} -> {single_file, lists:concat([File,".asn"])}; _Error -> case file:read_file_info(lists:concat([File,".py"])) of {ok,_FileInfo} -> {single_file, lists:concat([File,".py"])}; Error -> Error end end end; ".asn1config" -> case read_config_file(File,asn1_module) of {ok,Asn1Module} -> % put(asn1_config_file,File), input_file_type(Asn1Module); Error -> Error end; Asn1SFix -> Base = filename:basename(File,Asn1SFix), Ret = case filename:extension(Base) of [] -> {single_file,File}; SetSFix when (SetSFix == ".set") -> {multiple_files_file, list_to_atom(filename:basename(Base,SetSFix)), File}; _Error -> throw({input_file_error,{'Bad input file',File}}) end, %% check that the file exists case file:read_file_info(File) of {ok,_} -> Ret; Err -> Err end end. get_file_list(File,Includes) -> case file:open(File,[read]) of {error,Reason} -> {error,{File,file:format_error(Reason)}}; {ok,Stream} -> get_file_list1(Stream,filename:dirname(File),Includes,[]) end. get_file_list1(Stream,Dir,Includes,Acc) -> Ret = io:get_line(Stream,''), case Ret of eof -> file:close(Stream), lists:reverse(Acc); FileName -> SuffixedNameList = case (catch input_file_type(filename:join([Dir,lists:delete($\n,FileName)]),Includes)) of {empty_name,[]} -> []; {single_file,Name} -> [Name]; {multiple_files_file,_,Name} -> get_file_list(Name,Includes); _Err -> [] end, get_file_list1(Stream,Dir,Includes,SuffixedNameList++Acc) end. get_rule(Options) -> case [Rule ||Rule <-[per,ber,ber_bin,ber_bin_v2,per_bin,uper_bin], Opt <- Options, Rule==Opt] of [Rule] -> Rule; [Rule|_] -> Rule; [] -> ber end. get_runtime_mod(Options) -> RtMod1= case get_rule(Options) of per -> ["asn1rt_per_bin.erl"]; ber -> ["asn1rt_ber_bin.erl"]; per_bin -> case lists:member(optimize,Options) of true -> ["asn1rt_per_bin_rt2ct.erl"]; _ -> ["asn1rt_per_bin.erl"] end; ber_bin -> ["asn1rt_ber_bin.erl"]; ber_bin_v2 -> ["asn1rt_ber_bin_v2.erl"]; uper_bin -> ["asn1rt_uper_bin.erl"] end, RtMod1++["asn1rt_check.erl","asn1rt_driver_handler.erl","asn1rt.erl"]. erl_compile(OutFile,Options) -> % io:format("Options:~n~p~n",[Options]), case lists:member(noobj,Options) of true -> ok; _ -> ErlOptions = remove_asn_flags(Options), %% io:format("~n~nc:c(~p,~p)~n~n",[OutFile,ErlOptions]), case c:c(OutFile,ErlOptions) of {ok,_Module} -> ok; _ -> {error,'no_compilation'} end end. remove_asn_flags(Options) -> [X || X <- Options, X /= get_rule(Options), X /= optimize, X /= compact_bit_string, X /= debug, X /= keyed_list, X /= asn1config, X /= record_name_prefix]. debug_on(Options) -> case lists:member(debug,Options) of true -> put(asndebug,true); _ -> true end, case lists:member(keyed_list,Options) of true -> put(asn_keyed_list,true); _ -> true end. igorify_options(Options) -> case lists:keysearch(outdir,1,Options) of {value,{_,Dir}} -> Options1 = lists:keydelete(outdir,1,Options), [{dir,Dir}|Options1]; _ -> Options end. generated_file(Name,Options) -> case lists:keysearch(dir,1,Options) of {value,{_,Dir}} -> filename:join([Dir,filename:basename(Name)]); _ -> Name end. debug_off(_Options) -> erase(asndebug), erase(asn_keyed_list). outfile(Base, Ext, Opts) -> % io:format("Opts. ~p~n",[Opts]), Obase = case lists:keysearch(outdir, 1, Opts) of {value, {outdir, Odir}} -> filename:join(Odir, Base); _NotFound -> Base % Not found or bad format end, case Ext of [] -> Obase; _ -> lists:concat([Obase,".",Ext]) end. optimize_ber_bin(Options) -> case {lists:member(optimize,Options),lists:member(ber_bin,Options)} of {true,true} -> [ber_bin_v2|Options--[ber_bin]]; _ -> Options end. includes(File,Options) -> Dir = filename:dirname(File), Options2 = case lists:member({i,"."},Options) of false -> Options ++ [{i,"."}]; _ -> Options end, case lists:member({i,Dir}, Options2) of false -> Options2 ++ [{i,Dir}]; _ -> Options2 end. is_inline(Options) -> case lists:member(inline,Options) of true -> true; _ -> lists:keymember(inline,1,Options) end. inline_output(Options,Default) -> case [X||{inline,X}<-Options] of [OutputName] -> OutputName; _ -> Default end. %% compile(AbsFileName, Options) %% Compile entry point for erl_compile. compile_asn(File,OutFile,Options) -> compile(lists:concat([File,".asn"]),OutFile,Options). compile_asn1(File,OutFile,Options) -> compile(lists:concat([File,".asn1"]),OutFile,Options). compile_py(File,OutFile,Options) -> compile(lists:concat([File,".py"]),OutFile,Options). compile(File, _OutFile, Options) -> case catch compile(File, make_erl_options(Options)) of Exit = {'EXIT',_Reason} -> io:format("~p~n~s~n",[Exit,"error"]), error; {error,_Reason} -> %% case occurs due to error in asn1ct_parser2,asn1ct_check %% io:format("~p~n",[_Reason]), %% io:format("~p~n~s~n",[_Reason,"error"]), error; ok -> io:format("ok~n"), ok; ParseRes when is_tuple(ParseRes) -> io:format("~p~n",[ParseRes]), ok; ScanRes when is_list(ScanRes) -> io:format("~p~n",[ScanRes]), ok; Unknown -> io:format("~p~n~s~n",[Unknown,"error"]), error end. %% Converts generic compiler options to specific options. make_erl_options(Opts) -> %% This way of extracting will work even if the record passed %% has more fields than known during compilation. Includes = Opts#options.includes, Defines = Opts#options.defines, Outdir = Opts#options.outdir, %% Warning = Opts#options.warning, Verbose = Opts#options.verbose, Specific = Opts#options.specific, Optimize = Opts#options.optimize, OutputType = Opts#options.output_type, Cwd = Opts#options.cwd, Options = case Verbose of true -> [verbose]; false -> [] end ++ %%% case Warning of %%% 0 -> []; %%% _ -> [report_warnings] %%% end ++ [] ++ case Optimize of 1 -> [optimize]; 999 -> []; _ -> [{optimize,Optimize}] end ++ lists:map( fun ({Name, Value}) -> {d, Name, Value}; (Name) -> {d, Name} end, Defines) ++ case OutputType of undefined -> [ber]; % temporary default (ber when it's ready) ber -> [ber]; ber_bin -> [ber_bin]; ber_bin_v2 -> [ber_bin_v2]; per -> [per]; per_bin -> [per_bin]; uper_bin -> [uper_bin] end, Options++[report_errors, {cwd, Cwd}, {outdir, Outdir}| lists:map(fun(Dir) -> {i, Dir} end, Includes)]++Specific. pretty2(Module,AbsFile) -> start(), {ok,F} = file:open(AbsFile,[write]), M = asn1_db:dbget(Module,'MODULE'), io:format(F,"%%%%%%%%%%%%%%%%%%% ~p %%%%%%%%%%%%%%%%%%%~n",[Module]), io:format(F,"~s\n",[asn1ct_pretty_format:term(M#module.defid)]), io:format(F,"~s\n",[asn1ct_pretty_format:term(M#module.tagdefault)]), io:format(F,"~s\n",[asn1ct_pretty_format:term(M#module.exports)]), io:format(F,"~s\n",[asn1ct_pretty_format:term(M#module.imports)]), io:format(F,"~s\n\n",[asn1ct_pretty_format:term(M#module.extensiondefault)]), {Types,Values,ParameterizedTypes,Classes,Objects,ObjectSets} = M#module.typeorval, io:format(F,"%%%%%%%%%%%%%%%%%%% TYPES in ~p %%%%%%%%%%%%%%%%%%%~n",[Module]), lists:foreach(fun(T)-> io:format(F,"~s\n", [asn1ct_pretty_format:term(asn1_db:dbget(Module,T))]) end,Types), io:format(F,"%%%%%%%%%%%%%%%%%%% VALUES in ~p %%%%%%%%%%%%%%%%%%%~n",[Module]), lists:foreach(fun(T)-> io:format(F,"~s\n", [asn1ct_pretty_format:term(asn1_db:dbget(Module,T))]) end,Values), io:format(F,"%%%%%%%%%%%%%%%%%%% Parameterized Types in ~p %%%%%%%%%%%%%%%%%%%~n",[Module]), lists:foreach(fun(T)-> io:format(F,"~s\n", [asn1ct_pretty_format:term(asn1_db:dbget(Module,T))]) end,ParameterizedTypes), io:format(F,"%%%%%%%%%%%%%%%%%%% Classes in ~p %%%%%%%%%%%%%%%%%%%~n",[Module]), lists:foreach(fun(T)-> io:format(F,"~s\n", [asn1ct_pretty_format:term(asn1_db:dbget(Module,T))]) end,Classes), io:format(F,"%%%%%%%%%%%%%%%%%%% Objects in ~p %%%%%%%%%%%%%%%%%%%~n",[Module]), lists:foreach(fun(T)-> io:format(F,"~s\n", [asn1ct_pretty_format:term(asn1_db:dbget(Module,T))]) end,Objects), io:format(F,"%%%%%%%%%%%%%%%%%%% Object Sets in ~p %%%%%%%%%%%%%%%%%%%~n",[Module]), lists:foreach(fun(T)-> io:format(F,"~s\n", [asn1ct_pretty_format:term(asn1_db:dbget(Module,T))]) end,ObjectSets). start() -> Includes = ["."], start(Includes). start(Includes) when is_list(Includes) -> asn1_db:dbstart(Includes). stop() -> save(), asn1_db:stop_server(ns), asn1_db:stop_server(rand), stopped. save() -> asn1_db:dbstop(). %%clear() -> %% asn1_db:dbclear(). encode(Module,Term) -> asn1rt:encode(Module,Term). encode(Module,Type,Term) when is_list(Module) -> asn1rt:encode(list_to_atom(Module),Type,Term); encode(Module,Type,Term) -> asn1rt:encode(Module,Type,Term). decode(Module,Type,Bytes) when is_list(Module) -> asn1rt:decode(list_to_atom(Module),Type,Bytes); decode(Module,Type,Bytes) -> asn1rt:decode(Module,Type,Bytes). test(Module) -> start(), M = asn1_db:dbget(Module,'MODULE'), {Types,_Values,_Ptypes,_Classes,_Objects,_ObjectSets} = M#module.typeorval, test_each(Module,Types). test_each(Module,[Type | Rest]) -> case test(Module,Type) of {ok,_Result} -> test_each(Module,Rest); Error -> Error end; test_each(_,[]) -> ok. test(Module,Type) -> io:format("~p:~p~n",[Module,Type]), case (catch value(Module,Type)) of {ok,Val} -> %% io:format("asn1ct:test/2: ~w~n",[Val]), test(Module,Type,Val); {'EXIT',Reason} -> {error,{asn1,{value,Reason}}} end. test(Module,Type,Value) -> case catch encode(Module,Type,Value) of {ok,Bytes} -> %% io:format("test 1: ~p~n",[{Bytes}]), M = if is_list(Module) -> list_to_atom(Module); true -> Module end, NewBytes = case M:encoding_rule() of ber -> lists:flatten(Bytes); ber_bin when is_binary(Bytes) -> Bytes; ber_bin -> list_to_binary(Bytes); ber_bin_v2 when is_binary(Bytes) -> Bytes; ber_bin_v2 -> list_to_binary(Bytes); per -> lists:flatten(Bytes); per_bin when is_binary(Bytes) -> Bytes; per_bin -> list_to_binary(Bytes); uper_bin -> Bytes end, case decode(Module,Type,NewBytes) of {ok,Value} -> {ok,{Module,Type,Value}}; {ok,Res} -> {error,{asn1,{encode_decode_mismatch, {{Module,Type,Value},Res}}}}; Error -> {error,{asn1,{{decode, {Module,Type,Value},Error}}}} end; Error -> {error,{asn1,{encode,{{Module,Type,Value},Error}}}} end. value(Module) -> start(), M = asn1_db:dbget(Module,'MODULE'), {Types,_Values,_Ptypes,_Classes,_Objects,_ObjectSets} = M#module.typeorval, lists:map(fun(A) ->value(Module,A) end,Types). value(Module,Type) -> start(), case catch asn1ct_value:get_type(Module,Type,no) of {error,Reason} -> {error,Reason}; {'EXIT',Reason} -> {error,Reason}; Result -> {ok,Result} end. vsn() -> ?vsn. print_error_message([got,H|T]) when is_list(H) -> io:format(" got:"), print_listing(H,"and"), print_error_message(T); print_error_message([expected,H|T]) when is_list(H) -> io:format(" expected one of:"), print_listing(H,"or"), print_error_message(T); print_error_message([H|T]) -> io:format(" ~p",[H]), print_error_message(T); print_error_message([]) -> io:format("~n"). print_listing([H1,H2|[]],AndOr) -> io:format(" ~p ~s ~p",[H1,AndOr,H2]); print_listing([H1,H2|T],AndOr) -> io:format(" ~p,",[H1]), print_listing([H2|T],AndOr); print_listing([H],_AndOr) -> io:format(" ~p",[H]); print_listing([],_) -> ok. %% functions to administer ets tables %% Always creates a new table create_ets_table(Name,Options) when is_atom(Name) -> case ets:info(Name) of undefined -> ets:new(Name,Options); _ -> ets:delete(Name), ets:new(Name,Options) end. %% Creates a new ets table only if no table exists create_if_no_table(Name,Options) -> case ets:info(Name) of undefined -> %% create a new table create_ets_table(Name,Options); _ -> ok end. delete_tables([Table|Ts]) -> case ets:info(Table) of undefined -> ok; _ -> ets:delete(Table) end, delete_tables(Ts); delete_tables([]) -> ok. specialized_decode_prepare(Erule,M,TsAndVs,Options) -> case lists:member(asn1config,Options) of true -> partial_decode_prepare(Erule,M,TsAndVs,Options); _ -> ok end. %% Reads the configuration file if it exists and stores information %% about partial decode and incomplete decode partial_decode_prepare(ber_bin_v2,M,TsAndVs,Options) when is_tuple(TsAndVs) -> %% read configure file ModName = case lists:keysearch(asn1config,1,Options) of {value,{_,MName}} -> MName; _ -> M#module.name end, %% io:format("ModName: ~p~nM#module.name: ~p~n~n",[ModName,M#module.name]), CfgList = read_config_file(ModName), SelectedDecode = get_config_info(CfgList,selective_decode), ExclusiveDecode = get_config_info(CfgList,exclusive_decode), CommandList = create_partial_decode_gen_info(M#module.name,SelectedDecode), %% To convert CommandList to a proper list for the driver change %% the list:[[choosen,Tag1],skip,[skip_optional,Tag2]] to L = %% [5,2,Tag1,0,1,Tag2] where 5 is the length, and call %% port_control(asn1_driver_port,3,[L| Bin]) save_config(partial_decode,CommandList), save_gen_state(selective_decode,SelectedDecode), % io:format("selective_decode: CommandList:~n~p~nSelectedDecode:~n~p~n", % [CommandList,SelectedDecode]), CommandList2 = create_partial_inc_decode_gen_info(M#module.name,ExclusiveDecode), % io:format("partial_incomplete_decode = ~p~n",[CommandList2]), Part_inc_tlv_tags = tlv_tags(CommandList2), % io:format("partial_incomplete_decode: tlv_tags = ~p~n",[Part_inc_tlv_tags]), save_config(partial_incomplete_decode,Part_inc_tlv_tags), save_gen_state(exclusive_decode,ExclusiveDecode,Part_inc_tlv_tags); partial_decode_prepare(_,_,_,_) -> ok. %% create_partial_inc_decode_gen_info/2 %% %% Creats a list of tags out of the information in TypeNameList that %% tells which value will be incomplete decoded, i.e. each end %% component/type in TypeNameList. The significant types/components in %% the path from the toptype must be specified in the %% TypeNameList. Significant elements are all constructed types that %% branches the path to the leaf and the leaf it selfs. %% %% Returns a list of elements, where an element may be one of %% mandatory|[opt,Tag]|[bin,Tag]. mandatory correspond to a mandatory %% element that shall be decoded as usual. [opt,Tag] matches an %% OPTIONAL or DEFAULT element that shall be decoded as %% usual. [bin,Tag] corresponds to an element, mandatory, OPTIONAL or %% DEFAULT, that shall be left encoded (incomplete decoded). create_partial_inc_decode_gen_info(ModName,{Mod,[{Name,L}|Ls]}) when is_list(L) -> TopTypeName = partial_inc_dec_toptype(L), [{Name,TopTypeName, create_partial_inc_decode_gen_info1(ModName,TopTypeName,{Mod,L})}| create_partial_inc_decode_gen_info(ModName,{Mod,Ls})]; create_partial_inc_decode_gen_info(_,{_,[]}) -> []; create_partial_inc_decode_gen_info(_,[]) -> []. create_partial_inc_decode_gen_info1(ModName,TopTypeName,{ModName, [_TopType|Rest]}) -> case asn1_db:dbget(ModName,TopTypeName) of #typedef{typespec=TS} -> TagCommand = get_tag_command(TS,?MANDATORY,mandatory), create_pdec_inc_command(ModName,get_components(TS#type.def), Rest,[TagCommand]); _ -> throw({error,{"wrong type list in asn1 config file", TopTypeName}}) end; create_partial_inc_decode_gen_info1(M1,_,{M2,_}) when M1 /= M2 -> throw({error,{"wrong module name in asn1 config file", M2}}); create_partial_inc_decode_gen_info1(_,_,TNL) -> throw({error,{"wrong type list in asn1 config file", TNL}}). %% %% Only when there is a 'ComponentType' the config data C1 may be a %% list, where the incomplete decode is branched. So, C1 may be a %% list, a "binary tuple", a "parts tuple" or an atom. The second %% element of a binary tuple and a parts tuple is an atom. create_pdec_inc_command(_ModName,_,[],Acc) -> lists:reverse(Acc); create_pdec_inc_command(ModName,{Comps1,Comps2},TNL,Acc) when is_list(Comps1),is_list(Comps2) -> create_pdec_inc_command(ModName,Comps1 ++ Comps2,TNL,Acc); %% The following two functionclauses matches on the type after the top type. This one if the top type had no tag, i.e. a CHOICE create_pdec_inc_command(ModN,Clist,[CL|_Rest],[[]]) when is_list(CL) -> create_pdec_inc_command(ModN,Clist,CL,[]); create_pdec_inc_command(ModN,Clist,[CL|_Rest],Acc) when is_list(CL) -> InnerDirectives=create_pdec_inc_command(ModN,Clist,CL,[]), lists:reverse([InnerDirectives|Acc]); create_pdec_inc_command(ModName, CList=[#'ComponentType'{name=Name,typespec=TS, prop=Prop}|Comps], TNL=[C1|Cs],Acc) -> case C1 of % Name -> % %% In this case C1 is an atom % TagCommand = get_tag_command(TS,?MANDATORY,Prop), % create_pdec_inc_command(ModName,get_components(TS#type.def),Cs,[TagCommand|Acc]); {Name,undecoded} -> TagCommand = get_tag_command(TS,?UNDECODED,Prop), create_pdec_inc_command(ModName,Comps,Cs,concat_sequential(TagCommand,Acc)); {Name,parts} -> TagCommand = get_tag_command(TS,?PARTS,Prop), create_pdec_inc_command(ModName,Comps,Cs,concat_sequential(TagCommand,Acc)); L when is_list(L) -> % I guess this never happens due to previous function clause %% This case is only possible as the first element after %% the top type element, when top type is SEGUENCE or SET. %% Follow each element in L. Must note every tag on the %% way until the last command is reached, but it ought to %% be enough to have a "complete" or "complete optional" %% command for each component that is not specified in the %% config file. Then in the TLV decode the components with %% a "complete" command will be decoded by an ordinary TLV %% decode. create_pdec_inc_command(ModName,CList,L,Acc); {Name,RestPartsList} when is_list(RestPartsList) -> %% Same as previous, but this may occur at any place in %% the structure. The previous is only possible as the %% second element. case get_tag_command(TS,?MANDATORY,Prop) of ?MANDATORY -> InnerDirectives= create_pdec_inc_command(ModName,TS#type.def, RestPartsList,[]), create_pdec_inc_command(ModName,Comps,Cs, [[?MANDATORY,InnerDirectives]|Acc]); % create_pdec_inc_command(ModName,Comps,Cs, % [InnerDirectives,?MANDATORY|Acc]); [Opt,EncTag] -> InnerDirectives = create_pdec_inc_command(ModName,TS#type.def, RestPartsList,[]), create_pdec_inc_command(ModName,Comps,Cs, [[Opt,EncTag,InnerDirectives]|Acc]) end; % create_pdec_inc_command(ModName,CList,RestPartsList,Acc); %% create_pdec_inc_command(ModName,TS#type.def,RestPartsList,Acc); _ -> %% this component may not be in the config list TagCommand = get_tag_command(TS,?MANDATORY,Prop), create_pdec_inc_command(ModName,Comps,TNL,concat_sequential(TagCommand,Acc)) end; create_pdec_inc_command(ModName, {'CHOICE',[#'ComponentType'{name=C1, typespec=TS, prop=Prop}|Comps]}, [{C1,Directive}|Rest],Acc) -> case Directive of List when is_list(List) -> % [Command,Tag] = get_tag_command(TS,?ALTERNATIVE,Prop), TagCommand = get_tag_command(TS,?ALTERNATIVE,Prop), CompAcc = create_pdec_inc_command(ModName, get_components(TS#type.def),List,[]), NewAcc = case TagCommand of [Command,Tag] when is_atom(Command) -> [[Command,Tag,CompAcc]|Acc]; [L1,_L2|Rest] when is_list(L1) -> % [LastComm|Comms] = lists:reverse(TagCommand), % [concat_sequential(lists:reverse(Comms), % [LastComm,CompAcc])|Acc] case lists:reverse(TagCommand) of [Atom|Comms]�when is_atom(Atom) -> [concat_sequential(lists:reverse(Comms), [Atom,CompAcc])|Acc]; [[Command2,Tag2]|Comms] -> [concat_sequential(lists:reverse(Comms), [[Command2,Tag2,CompAcc]])|Acc] end % [concat_sequential(lists:reverse(Comms), % InnerCommand)|Acc] end, create_pdec_inc_command(ModName,{'CHOICE',Comps},Rest, % [[Command,Tag,CompAcc]|Acc]); NewAcc); undecoded -> TagCommand = get_tag_command(TS,?ALTERNATIVE_UNDECODED,Prop), create_pdec_inc_command(ModName,{'CHOICE',Comps},Rest, concat_sequential(TagCommand,Acc)); parts -> TagCommand = get_tag_command(TS,?ALTERNATIVE_PARTS,Prop), create_pdec_inc_command(ModName,{'CHOICE',Comps},Rest, concat_sequential(TagCommand,Acc)) end; create_pdec_inc_command(ModName, {'CHOICE',[#'ComponentType'{typespec=TS, prop=Prop}|Comps]}, TNL,Acc) -> TagCommand = get_tag_command(TS,?ALTERNATIVE,Prop), create_pdec_inc_command(ModName,{'CHOICE',Comps},TNL, concat_sequential(TagCommand,Acc)); create_pdec_inc_command(M,{'CHOICE',{Cs1,Cs2}},TNL,Acc) when is_list(Cs1),is_list(Cs2) -> create_pdec_inc_command(M,{'CHOICE',Cs1 ++ Cs2},TNL,Acc); create_pdec_inc_command(ModName,#'Externaltypereference'{module=M,type=Name}, TNL,Acc) -> #type{def=Def} = get_referenced_type(M,Name), create_pdec_inc_command(ModName,get_components(Def),TNL,Acc); create_pdec_inc_command(_,_,TNL,_) -> throw({error,{"unexpected error when creating partial " "decode command",TNL}}). partial_inc_dec_toptype([T|_]) when is_atom(T) -> T; partial_inc_dec_toptype([{T,_}|_]) when is_atom(T) -> T; partial_inc_dec_toptype([L|_]) when is_list(L) -> partial_inc_dec_toptype(L); partial_inc_dec_toptype(_) -> throw({error,{"no top type found for partial incomplete decode"}}). %% Creats a list of tags out of the information in TypeList and Types %% that tells which value will be decoded. Each constructed type that %% is in the TypeList will get a "choosen" command. Only the last %% type/component in the TypeList may be a primitive type. Components %% "on the way" to the final element may get the "skip" or the %% "skip_optional" command. %% CommandList = [Elements] %% Elements = {choosen,Tag}|{skip_optional,Tag}|skip %% Tag is a binary with the tag BER encoded. create_partial_decode_gen_info(ModName,{ModName,TypeLists}) -> [create_partial_decode_gen_info1(ModName,TL) || TL <- TypeLists]; create_partial_decode_gen_info(_,[]) -> []; create_partial_decode_gen_info(_M1,{M2,_}) -> throw({error,{"wrong module name in asn1 config file", M2}}). %create_partial_decode_gen_info1(ModName,{ModName,TypeList}) -> create_partial_decode_gen_info1(ModName,{FuncName,TypeList}) -> case TypeList of [TopType|Rest] -> case asn1_db:dbget(ModName,TopType) of #typedef{typespec=TS} -> TagCommand = get_tag_command(TS,?CHOOSEN), Ret=create_pdec_command(ModName, get_components(TS#type.def), Rest,concat_tags(TagCommand,[])), {FuncName,Ret}; _ -> throw({error,{"wrong type list in asn1 config file", TypeList}}) end; _ -> [] end; create_partial_decode_gen_info1(_,_) -> ok. % create_partial_decode_gen_info1(_,[]) -> % []; % create_partial_decode_gen_info1(_M1,{M2,_}) -> % throw({error,{"wrong module name in asn1 config file", % M2}}). %% create_pdec_command/4 for each name (type or component) in the %% third argument, TypeNameList, a command is created. The command has %% information whether the component/type shall be skipped, looked %% into or returned. The list of commands is returned. create_pdec_command(_ModName,_,[],Acc) -> Remove_empty_lists = fun([[]|L],Res,Fun) -> Fun(L,Res,Fun); ([],Res,_) -> Res; ([H|L],Res,Fun) -> Fun(L,[H|Res],Fun) end, Remove_empty_lists(Acc,[],Remove_empty_lists); % lists:reverse(Acc); create_pdec_command(ModName,[#'ComponentType'{name=C1,typespec=TS}|_Comps], [C1|Cs],Acc) -> %% this component is a constructed type or the last in the %% TypeNameList otherwise the config spec is wrong TagCommand = get_tag_command(TS,?CHOOSEN), create_pdec_command(ModName,get_components(TS#type.def), Cs,concat_tags(TagCommand,Acc)); create_pdec_command(ModName,[#'ComponentType'{typespec=TS, prop=Prop}|Comps], [C2|Cs],Acc) -> TagCommand = case Prop of mandatory -> get_tag_command(TS,?SKIP); _ -> get_tag_command(TS,?SKIP_OPTIONAL) end, create_pdec_command(ModName,Comps,[C2|Cs],concat_tags(TagCommand,Acc)); create_pdec_command(ModName,{'CHOICE',[Comp=#'ComponentType'{name=C1}|_]},TNL=[C1|_Cs],Acc) -> create_pdec_command(ModName,[Comp],TNL,Acc); create_pdec_command(ModName,{'CHOICE',[#'ComponentType'{}|Comps]},TNL,Acc) -> create_pdec_command(ModName,{'CHOICE',Comps},TNL,Acc); create_pdec_command(ModName,#'Externaltypereference'{module=M,type=C1}, TypeNameList,Acc) -> #type{def=Def} = get_referenced_type(M,C1), create_pdec_command(ModName,get_components(Def),TypeNameList, Acc); create_pdec_command(ModName,TS=#type{def=Def},[C1|Cs],Acc) -> %% This case when we got the "components" of a SEQUENCE/SET OF case C1 of [1] -> %% A list with an integer is the only valid option in a 'S %% OF', the other valid option would be an empty %% TypeNameList saying that the entire 'S OF' will be %% decoded. TagCommand = get_tag_command(TS,?CHOOSEN), create_pdec_command(ModName,Def,Cs,concat_tags(TagCommand,Acc)); [N] when is_integer(N) -> TagCommand = get_tag_command(TS,?SKIP), create_pdec_command(ModName,Def,[[N-1]|Cs], concat_tags(TagCommand,Acc)); Err -> throw({error,{"unexpected error when creating partial " "decode command",Err}}) end; create_pdec_command(_,_,TNL,_) -> throw({error,{"unexpected error when creating partial " "decode command",TNL}}). % get_components({'CHOICE',Components}) -> % Components; get_components(#'SEQUENCE'{components={C1,C2}}) when is_list(C1),is_list(C2) -> C1++C2; get_components(#'SEQUENCE'{components=Components}) -> Components; get_components(#'SET'{components={C1,C2}}) when is_list(C1),is_list(C2) -> C1++C2; get_components(#'SET'{components=Components}) -> Components; get_components({'SEQUENCE OF',Components}) -> Components; get_components({'SET OF',Components}) -> Components; get_components(Def) -> Def. concat_sequential(L=[A,B],Acc) when is_atom(A),is_binary(B) -> [L|Acc]; concat_sequential(L,Acc) when is_list(L) -> concat_sequential1(lists:reverse(L),Acc); concat_sequential(A,Acc) -> [A|Acc]. concat_sequential1([],Acc) -> Acc; concat_sequential1([[]],Acc) -> Acc; concat_sequential1([El|RestEl],Acc) when is_list(El) -> concat_sequential1(RestEl,[El|Acc]); concat_sequential1([mandatory|RestEl],Acc) -> concat_sequential1(RestEl,[mandatory|Acc]); concat_sequential1(L,Acc) -> [L|Acc]. many_tags([?SKIP])-> false; many_tags([?SKIP_OPTIONAL,_]) -> false; many_tags([?CHOOSEN,_]) -> false; many_tags(_) -> true. concat_tags(Ts,Acc) -> case many_tags(Ts) of true when is_list(Ts) -> lists:reverse(Ts)++Acc; true -> [Ts|Acc]; false -> [Ts|Acc] end. %% get_tag_command(Type,Command) %% Type is the type that has information about the tag Command tells %% what to do with the encoded value with the tag of Type when %% decoding. get_tag_command(#type{tag=[]},_) -> []; %% SKIP and SKIP_OPTIONAL shall return only one tag command regardless get_tag_command(#type{},?SKIP) -> ?SKIP; get_tag_command(#type{tag=Tags},?SKIP_OPTIONAL) -> Tag=hd(Tags), [?SKIP_OPTIONAL,encode_tag_val(decode_class(Tag#tag.class), Tag#tag.form,Tag#tag.number)]; get_tag_command(#type{tag=[Tag]},Command) -> %% encode the tag according to BER [Command,encode_tag_val(decode_class(Tag#tag.class),Tag#tag.form, Tag#tag.number)]; get_tag_command(T=#type{tag=[Tag|Tags]},Command) -> % [get_tag_command(T#type{tag=[Tag]},Command)| % [get_tag_command(T#type{tag=Tags},Command)]]. TC = get_tag_command(T#type{tag=[Tag]},Command), TCs = get_tag_command(T#type{tag=Tags},Command), case many_tags(TCs) of true when is_list(TCs) -> [TC|TCs]; _ -> [TC|[TCs]] end. %% get_tag_command/3 used by create_pdec_inc_command get_tag_command(#type{tag=[]},_,_) -> []; get_tag_command(#type{tag=[Tag]},?MANDATORY,Prop) -> case Prop of mandatory -> ?MANDATORY; {'DEFAULT',_} -> [?DEFAULT,encode_tag_val(decode_class(Tag#tag.class), Tag#tag.form,Tag#tag.number)]; _ -> [?OPTIONAL,encode_tag_val(decode_class(Tag#tag.class), Tag#tag.form,Tag#tag.number)] end; get_tag_command(#type{tag=[Tag]},Command,Prop) -> [anonymous_dec_command(Command,Prop),encode_tag_val(decode_class(Tag#tag.class),Tag#tag.form, Tag#tag.number)]; get_tag_command(#type{tag=Tag},Command,Prop) when is_record(Tag,tag) -> get_tag_command(#type{tag=[Tag]},Command,Prop); get_tag_command(T=#type{tag=[Tag|Tags]},Command,Prop) -> [get_tag_command(T#type{tag=[Tag]},Command,Prop)|[ % get_tag_command(T#type{tag=Tags},?MANDATORY,Prop)]]. get_tag_command(T#type{tag=Tags},Command,Prop)]]. anonymous_dec_command(?UNDECODED,'OPTIONAL') -> ?OPTIONAL_UNDECODED; anonymous_dec_command(Command,_) -> Command. get_referenced_type(M,Name) -> case asn1_db:dbget(M,Name) of #typedef{typespec=TS} -> case TS of #type{def=#'Externaltypereference'{module=M2,type=Name2}} -> %% The tags have already been taken care of in the %% first reference where they were gathered in a %% list of tags. get_referenced_type(M2,Name2); #type{} -> TS; _ -> throw({error,{"unexpected element when" " fetching referenced type",TS}}) end; T -> throw({error,{"unexpected element when fetching " "referenced type",T}}) end. tlv_tags([]) -> []; tlv_tags([mandatory|Rest]) -> [mandatory|tlv_tags(Rest)]; tlv_tags([[Command,Tag]|Rest]) when is_atom(Command),is_binary(Tag) -> [[Command,tlv_tag(Tag)]|tlv_tags(Rest)]; tlv_tags([[Command,Directives]|Rest]) when is_atom(Command),is_list(Directives) -> [[Command,tlv_tags(Directives)]|tlv_tags(Rest)]; %% remove all empty lists tlv_tags([[]|Rest]) -> tlv_tags(Rest); tlv_tags([{Name,TopType,L1}|Rest]) when is_list(L1),is_atom(TopType) -> [{Name,TopType,tlv_tags(L1)}|tlv_tags(Rest)]; tlv_tags([[Command,Tag,L1]|Rest]) when is_list(L1),is_binary(Tag) -> [[Command,tlv_tag(Tag),tlv_tags(L1)]|tlv_tags(Rest)]; tlv_tags([[mandatory|Rest]]) -> [[mandatory|tlv_tags(Rest)]]; tlv_tags([L=[L1|_]|Rest]) when is_list(L1) -> [tlv_tags(L)|tlv_tags(Rest)]. tlv_tag(<<Cl:2,_:1,TagNo:5>>) when TagNo < 31 -> (Cl bsl 16) + TagNo; tlv_tag(<<Cl:2,_:1,31:5,0:1,TagNo:7>>) -> (Cl bsl 16) + TagNo; tlv_tag(<<Cl:2,_:1,31:5,Buffer/binary>>) -> TagNo = tlv_tag1(Buffer,0), (Cl bsl 16) + TagNo. tlv_tag1(<<0:1,PartialTag:7>>,Acc) -> (Acc bsl 7) bor PartialTag; tlv_tag1(<<1:1,PartialTag:7,Buffer/binary>>,Acc) -> tlv_tag1(Buffer,(Acc bsl 7) bor PartialTag). %% reads the content from the configuration file and returns the %% selected part choosen by InfoType. Assumes that the config file %% content is an Erlang term. read_config_file(ModuleName,InfoType) when is_atom(InfoType) -> CfgList = read_config_file(ModuleName), get_config_info(CfgList,InfoType). read_config_file(ModuleName) -> case file:consult(lists:concat([ModuleName,'.asn1config'])) of {ok,CfgList} -> CfgList; {error,enoent} -> Options = get(encoding_options), Includes = [I || {i,I} <- Options], read_config_file1(ModuleName,Includes); {error,Reason} -> file:format_error(Reason), throw({error,{"error reading asn1 config file",Reason}}) end. read_config_file1(ModuleName,[]) -> case filename:extension(ModuleName) of ".asn1config" -> throw({error,enoent}); _ -> read_config_file(lists:concat([ModuleName,".asn1config"])) end; read_config_file1(ModuleName,[H|T]) -> % File = filename:join([H,lists:concat([ModuleName,'.asn1config'])]), File = filename:join([H,ModuleName]), case file:consult(File) of {ok,CfgList} -> CfgList; {error,enoent} -> read_config_file1(ModuleName,T); {error,Reason} -> file:format_error(Reason), throw({error,{"error reading asn1 config file",Reason}}) end. get_config_info(CfgList,InfoType) -> case lists:keysearch(InfoType,1,CfgList) of {value,{InfoType,Value}} -> Value; false -> [] end. %% save_config/2 saves the Info with the key Key %% Before saving anything check if a table exists %% The record gen_state is saved with the key {asn1_config,gen_state} save_config(Key,Info) -> create_if_no_table(asn1_general,[named_table]), ets:insert(asn1_general,{{asn1_config,Key},Info}). read_config_data(Key) -> case ets:info(asn1_general) of undefined -> undefined; _ -> case ets:lookup(asn1_general,{asn1_config,Key}) of [{_,Data}] -> Data; Err -> % Err is [] when nothing was saved in the ets table %% io:format("strange data from config file ~w~n",[Err]), Err end end. %% %% Functions to manipulate the gen_state record saved in the %% asn1_general ets table. %% %% saves input data in a new gen_state record save_gen_state(exclusive_decode,{_,ConfList},PartIncTlvTagList) -> %ConfList=[{FunctionName,PatternList}|Rest] State = case get_gen_state() of S when is_record(S,gen_state) -> S; _ -> #gen_state{} end, StateRec = State#gen_state{inc_tag_pattern=PartIncTlvTagList, inc_type_pattern=ConfList}, save_config(gen_state,StateRec); save_gen_state(_,_,_) -> %% ok. case get_gen_state() of S when is_record(S,gen_state) -> ok; _ -> save_config(gen_state,#gen_state{}) end. save_gen_state(selective_decode,{_,Type_component_name_list}) -> %% io:format("Selective_decode: ~p~n",[Type_component_name_list]), State = case get_gen_state() of S when is_record(S,gen_state) -> S; _ -> #gen_state{} end, StateRec = State#gen_state{type_pattern=Type_component_name_list}, save_config(gen_state,StateRec); save_gen_state(selective_decode,_) -> ok. save_gen_state(GenState) when is_record(GenState,gen_state) -> save_config(gen_state,GenState). %% get_gen_state_field returns undefined if no gen_state exists or if %% Field is undefined or the data at the field. get_gen_state_field(Field) -> case read_config_data(gen_state) of undefined -> undefined; GenState when is_record(GenState,gen_state) -> get_gen_state_field(GenState,Field); Err -> exit({error,{asn1,{"false configuration file info",Err}}}) end. get_gen_state_field(#gen_state{active=Active},active) -> Active; get_gen_state_field(_,active) -> false; get_gen_state_field(GS,prefix) -> GS#gen_state.prefix; get_gen_state_field(GS,inc_tag_pattern) -> GS#gen_state.inc_tag_pattern; get_gen_state_field(GS,tag_pattern) -> GS#gen_state.tag_pattern; get_gen_state_field(GS,inc_type_pattern) -> GS#gen_state.inc_type_pattern; get_gen_state_field(GS,type_pattern) -> GS#gen_state.type_pattern; get_gen_state_field(GS,func_name) -> GS#gen_state.func_name; get_gen_state_field(GS,namelist) -> GS#gen_state.namelist; get_gen_state_field(GS,tobe_refed_funcs) -> GS#gen_state.tobe_refed_funcs; get_gen_state_field(GS,gen_refed_funcs) -> GS#gen_state.gen_refed_funcs; get_gen_state_field(GS,generated_functions) -> GS#gen_state.generated_functions; get_gen_state_field(GS,suffix_index) -> GS#gen_state.suffix_index; get_gen_state_field(GS,current_suffix_index) -> GS#gen_state.current_suffix_index. get_gen_state() -> read_config_data(gen_state). update_gen_state(Field,Data) -> case get_gen_state() of State when is_record(State,gen_state) -> update_gen_state(Field,State,Data); _ -> exit({error,{asn1,{internal, "tried to update nonexistent gen_state",Field,Data}}}) end. update_gen_state(active,State,Data) -> save_gen_state(State#gen_state{active=Data}); update_gen_state(prefix,State,Data) -> save_gen_state(State#gen_state{prefix=Data}); update_gen_state(inc_tag_pattern,State,Data) -> save_gen_state(State#gen_state{inc_tag_pattern=Data}); update_gen_state(tag_pattern,State,Data) -> save_gen_state(State#gen_state{tag_pattern=Data}); update_gen_state(inc_type_pattern,State,Data) -> save_gen_state(State#gen_state{inc_type_pattern=Data}); update_gen_state(type_pattern,State,Data) -> save_gen_state(State#gen_state{type_pattern=Data}); update_gen_state(func_name,State,Data) -> save_gen_state(State#gen_state{func_name=Data}); update_gen_state(namelist,State,Data) -> % SData = % case Data of % [D] when is_list(D) -> D; % _ -> Data % end, save_gen_state(State#gen_state{namelist=Data}); update_gen_state(tobe_refed_funcs,State,Data) -> save_gen_state(State#gen_state{tobe_refed_funcs=Data}); update_gen_state(gen_refed_funcs,State,Data) -> save_gen_state(State#gen_state{gen_refed_funcs=Data}); update_gen_state(generated_functions,State,Data) -> save_gen_state(State#gen_state{generated_functions=Data}); update_gen_state(suffix_index,State,Data) -> save_gen_state(State#gen_state{suffix_index=Data}); update_gen_state(current_suffix_index,State,Data) -> save_gen_state(State#gen_state{current_suffix_index=Data}). update_namelist(Name) -> case get_gen_state_field(namelist) of [Name,Rest] -> update_gen_state(namelist,Rest); [Name|Rest] -> update_gen_state(namelist,Rest); [{Name,List}] when is_list(List) -> update_gen_state(namelist,List); [{Name,Atom}|Rest] when is_atom(Atom) -> update_gen_state(namelist,Rest); Other -> Other end. pop_namelist() -> DeepTail = %% removes next element in order fun([[{_,A}]|T],_Fun) when is_atom(A) -> T; ([{_N,L}|T],_Fun) when is_list(L) -> [L|T]; ([[]|T],Fun) -> Fun(T,Fun); ([L1|L2],Fun) when is_list(L1) -> case lists:flatten(L1) of [] -> Fun([L2],Fun); _ -> [Fun(L1,Fun)|L2] end; ([_H|T],_Fun) -> T end, {Pop,NewNL} = case get_gen_state_field(namelist) of [] -> {[],[]}; L -> {next_namelist_el(L), DeepTail(L,DeepTail)} end, update_gen_state(namelist,NewNL), Pop. %% next_namelist_el fetches the next type/component name in turn in %% the namelist, without changing the namelist. next_namelist_el() -> case get_gen_state_field(namelist) of undefined -> undefined; L when is_list(L) -> next_namelist_el(L) end. next_namelist_el([]) -> []; next_namelist_el([L]) when is_list(L) -> next_namelist_el(L); next_namelist_el([H|_]) when is_atom(H) -> H; next_namelist_el([L|T]) when is_list(L) -> case next_namelist_el(L) of [] -> next_namelist_el([T]); R -> R end; next_namelist_el([H={_,A}|_]) when is_atom(A) -> H. %% removes a bracket from the namelist step_in_constructed() -> case get_gen_state_field(namelist) of [L] when is_list(L) -> update_gen_state(namelist,L); _ -> ok end. is_function_generated(Name) -> case get_gen_state_field(gen_refed_funcs) of L when is_list(L) -> lists:member(Name,L); _ -> false end. get_tobe_refed_func(Name) -> case get_gen_state_field(tobe_refed_funcs) of L when is_list(L) -> case lists:keysearch(Name,1,L) of {_,Element} -> Element; _ -> undefined end; _ -> undefined end. %% add_tobe_refed_func saves Data that is a three or four element %% tuple. Do not save if it exists in generated_functions, because %% then it will be or already is generated. add_tobe_refed_func(Data) -> %% {Name,SI,Pattern} = fun({N,Si,P,_}) -> {N,Si,P}; (D) -> D end (Data), NewData = case SI of I when is_integer(I) -> fun(D) -> D end(Data); % fun({N,Ix,P}) -> {N,Ix+1,P}; % ({N,Ix,P,T}) -> {N,Ix+1,P,T} end (Data); _ -> fun({N,_,P}) -> {N,0,P}; ({N,_,P,T}) -> {N,0,P,T} end (Data) end, L = get_gen_state_field(generated_functions), case generated_functions_member(get(currmod),Name,L,Pattern) of true -> % it exists in generated_functions, it has already % been generated or saved in tobe_refed_func ok; _ -> add_once_tobe_refed_func(NewData), %%only to get it saved in generated_functions maybe_rename_function(tobe_refed,Name,Pattern) end. %% Adds only one element with same Name and Index where Data = %% {Name,Index,Pattern}. add_once_tobe_refed_func(Data) -> TRFL = get_gen_state_field(tobe_refed_funcs), {Name,Index} = {element(1,Data),element(2,Data)}, case lists:filter(fun({N,I,_}) when N==Name,I==Index ->true; ({N,I,_,_}) when N==Name,I==Index -> true; (_) -> false end,TRFL) of [] -> %% case lists:keysearch(element(1,Data),1,TRFL) of %% false -> update_gen_state(tobe_refed_funcs,[Data|TRFL]); _ -> ok end. %% moves Name from the to be list to the generated list. generated_refed_func(Name) -> L = get_gen_state_field(tobe_refed_funcs), NewL = lists:keydelete(Name,1,L), update_gen_state(tobe_refed_funcs,NewL), L2 = get_gen_state_field(gen_refed_funcs), update_gen_state(gen_refed_funcs,[Name|L2]). %% adds Data to gen_refed_funcs field in gen_state. add_generated_refed_func(Data) -> case is_function_generated(Data) of true -> ok; _ -> L = get_gen_state_field(gen_refed_funcs), update_gen_state(gen_refed_funcs,[Data|L]) end. next_refed_func() -> case get_gen_state_field(tobe_refed_funcs) of [] -> []; [H|T] -> update_gen_state(tobe_refed_funcs,T), H end. reset_gen_state() -> save_gen_state(#gen_state{}). %% adds Data to generated_functions field in gen_state. add_generated_function(Data) -> L = get_gen_state_field(generated_functions), update_gen_state(generated_functions,[Data|L]). %% Each type has its own index starting from 0. If index is 0 there is %% no renaming. maybe_rename_function(Mode,Name,Pattern) -> case get_gen_state_field(generated_functions) of [] when Mode==inc_disp -> add_generated_function({Name,0,Pattern}), Name; [] -> exit({error,{asn1,internal_error_exclusive_decode}}); L -> case {Mode,generated_functions_member(get(currmod),Name,L)} of {_,true} -> L2 = generated_functions_filter(get(currmod),Name,L), case lists:keysearch(Pattern,3,L2) of false -> %name existed, but not pattern NextIndex = length(L2), %%rename function Suffix = lists:concat(["_",NextIndex]), NewName = maybe_rename_function2(type_check(Name),Name, Suffix), add_generated_function({Name,NextIndex,Pattern}), NewName; Value -> % name and pattern existed %% do not save any new index Suffix = make_suffix(Value), Name2 = case Name of #'Externaltypereference'{type=T} -> T; _ -> Name end, lists:concat([Name2,Suffix]) end; {inc_disp,_} -> %% this is when %% decode_partial_inc_disp/2 is %% generated add_generated_function({Name,0,Pattern}), Name; _ -> % this if call from add_tobe_refed_func add_generated_function({Name,0,Pattern}), Name end end. maybe_rename_function2(record,#'Externaltypereference'{type=Name},Suffix) -> lists:concat([Name,Suffix]); maybe_rename_function2(list,List,Suffix) -> lists:concat([asn1ct_gen:list2name(List),Suffix]); maybe_rename_function2(Thing,Name,Suffix) when Thing==atom;Thing==integer;Thing==string -> lists:concat([Name,Suffix]). %% generated_functions_member/4 checks on both Name and Pattern if %% the element exists in L generated_functions_member(M,Name,L,Pattern) -> case generated_functions_member(M,Name,L) of true -> L2 = generated_functions_filter(M,Name,L), case lists:keysearch(Pattern,3,L2) of {value,_} -> true; _ -> false end; _ -> false end. generated_functions_member(_M,Name,[{Name,_,_}|_]) -> true; generated_functions_member(M,#'Externaltypereference'{module=M,type=T}, [{#'Externaltypereference'{module=M,type=T} ,_,_}|_]) -> true; generated_functions_member(M,#'Externaltypereference'{module=M,type=Name}, [{Name,_,_}|_]) -> true; generated_functions_member(M,Name,[_|T]) -> generated_functions_member(M,Name,T); generated_functions_member(_,_,[]) -> false. % generated_functions_member(M,Name,L) -> % case lists:keymember(Name,1,L) of % true -> % true; % _ -> % generated_functions_member1(M,Name,L) % end. % generated_functions_member1(M,#'Externaltypereference'{module=M,type=Name},L) -> % lists:keymember(Name,1,L); % generated_functions_member1(_,_,_) -> false. generated_functions_filter(_,Name,L) when is_atom(Name);is_list(Name) -> lists:filter(fun({N,_,_}) when N==Name -> true; (_) -> false end, L); generated_functions_filter(M,#'Externaltypereference'{module=M,type=Name},L)-> % remove toptypename from patterns RemoveTType = fun({N,I,[N,P]}) when N == Name -> {N,I,P}; ({#'Externaltypereference'{module=M1,type=N},I,P}) when M1==M -> {N,I,P}; (P) -> P end, L2 = lists:map(RemoveTType,L), generated_functions_filter(M,Name,L2). maybe_saved_sindex(Name,Pattern) -> case get_gen_state_field(generated_functions) of [] -> false; L -> case generated_functions_member(get(currmod),Name,L) of true -> L2 = generated_functions_filter(get(currmod),Name,L), case lists:keysearch(Pattern,3,L2) of {value,{_,I,_}} -> I; _ -> length(L2) % this should be length(L2)! end; _ -> false end end. next_sindex() -> SI = get_gen_state_field(suffix_index), update_gen_state(suffix_index,SI+1), SI+1. latest_sindex() -> get_gen_state_field(suffix_index). current_sindex() -> get_gen_state_field(current_suffix_index). set_current_sindex(Index) -> update_gen_state(current_suffix_index,Index). type_check(A) when is_atom(A) -> atom; %% type_check(I) when is_integer(I) -> %% integer; type_check(L) when is_list(L) -> Pred = fun(X) when X=<255 -> false; (_) -> true end, case lists:filter(Pred,L) of [] -> string; _ -> list end; type_check(#'Externaltypereference'{}) -> record. make_suffix({_,{_,0,_}}) -> ""; make_suffix({_,{_,I,_}}) -> lists:concat(["_",I]); make_suffix(_) -> "".