%% %% %CopyrightBegin% %% %% Copyright Ericsson AB 1997-2011. 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% %% %% %%%---------------------------------------------------------------------- %%% Purpose : Test suite for the IDL compiler %%%---------------------------------------------------------------------- -module(ic_SUITE). -include_lib("test_server/include/test_server.hrl"). -export([all/0, suite/0,groups/0,init_per_suite/1, end_per_suite/1, init_per_group/2,end_per_group/2]). -include_lib("orber/src/orber_ifr.hrl"). -include_lib("orber/src/ifr_objects.hrl"). -include_lib("orber/include/ifr_types.hrl"). %% The type cases -export([ type_norm/1]). %% The syntax case -export([]). -export([syntax1/1, syntax2/1, syntax3/1, syntax4/1, syntax5/1, syntax6/1]). %% The constant cases -export([]). -export([const_norm/1, const_bad_tk/1, const_bad_type/1]). -export([const_bad_comb/1]). %% The union cases -export([]). -export([union_norm/1, union_type/1, union_mult_err/1, union_case_mult/1]). -export([union_default/1]). %% The enum cases -export([]). -export([enum_norm/1]). %% The struct cases -export([]). -export([struct_norm/1]). %% The oneway cases -export([]). -export([oneway_norm/1, oneway_raises/1, oneway_out/1, oneway_void/1, oneway_followed/1]). %% The attributes cases -export([]). -export([attr_norm/1]). %% The raises registration case -export([raises_reg/1]). %% The typeID case %% general stuff -export([]). -export([typeid/1, undef_id/1, dir/1, nasty_names/1, coss/1, mult_ids/1]). -export([forward/1, include/1, app_test/1]). %% inheritance stuff -export([ inherit_norm/1, inherit_warn/1, inherit_err/1]). %% Standard options to the ic compiler, NOTE unholy use of OutDir -define(OUT(X), filename:join([?config(priv_dir, Config), gen, to_list(X)])). %% Top of cases suite() -> [{ct_hooks,[ts_install_cth]}]. all() -> [app_test, {group, const}, {group, union}, {group, enum}, {group, attr}, {group, type}, {group, struct}, {group, general}, {group, inherit}, {group, oneway}, {group, syntax}, raises_reg]. groups() -> [{const, [], [const_norm, const_bad_tk, const_bad_type, const_bad_comb]}, {union, [], [union_norm, union_type, union_mult_err, union_case_mult, union_default]}, {enum, [], [enum_norm]}, {struct, [], [struct_norm]}, {general, [], [typeid, undef_id, mult_ids, forward, include, nasty_names]}, {inherit, [], [inherit_norm, inherit_warn, inherit_err]}, {oneway, [], [oneway_norm, oneway_out, oneway_raises, oneway_void, oneway_followed]}, {attr, [], [attr_norm]}, {type, [], [type_norm]}, {syntax, [], [syntax1, syntax2, syntax3, syntax4, syntax5, syntax6]}]. init_per_suite(Config) -> Config. end_per_suite(_Config) -> ok. init_per_group(_GroupName, Config) -> Config. end_per_group(_GroupName, Config) -> Config. app_test(doc) -> []; app_test(suite) -> []; app_test(_Config) -> ok=test_server:app_test(ic), ok. %%--------------------------------------------------------------------- %% %% Test of constant expressions. %% const_norm(doc) -> ["Checks normal constant types and values"]; const_norm(suite) -> []; const_norm(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(const_norm), File = filename:join(DataDir, c_norm), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, const_norm_files()), ok. const_bad_tk(doc) -> ["Checks when the constant value doesn't match the declared type"]; const_bad_tk(suite) -> []; const_bad_tk(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, c_err1), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(18, bad_tk_match, R), ok. const_bad_type(doc) -> ["Checks operands of ops are of correct type"]; const_bad_type(suite) -> []; const_bad_type(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, c_err2), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(4, bad_type, R), ok. const_bad_comb(doc) -> ["Checks operands of ops are of conflicting types"]; const_bad_comb(suite) -> []; const_bad_comb(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, c_err3), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(3, bad_type_combination, R), ok. union_norm(doc) -> ["Checks that normal union declarations works."]; union_norm(suite) -> []; union_norm(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(union_norm), File = filename:join(DataDir, u_norm), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, union_norm_files()), ok. %% Checks OTP-2007 union_default(doc) -> ["Checks that default cases are correct in type code."]; union_default(suite) -> []; union_default(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(union_default), File = filename:join(DataDir, u_default), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, union_default_files(), [load]), TkList = i1:oe_get_interface(), check_label("op0", 0, TkList), check_label("op1", 1, TkList), check_label("op2", 2, TkList), check_label("op3", -1, TkList), ok. check_label(Id, N, List) -> case lists:keysearch(Id, 1, List) of {value, {_, {{_, _, _, _, D, L}, _, _}}} -> if D /= N -> test_server:fail({bad_default_num, D, N}); D /= -1 -> case lists:nth(D+1, L) of T when element(1, T) == default -> ok; _Que -> test_server:fail({bad_default_list, D, L}) end; true -> %% D = N = -1, just check that there is no default label case lists:keysearch(default, 1, L) of false -> ok; _ -> test_server:fail({bad_default_label, D, L}) end end; _ -> test_server:fail({'no_such_op!', Id, List}) end. union_type(doc) -> ["Checks that errors are detected. Check that mismatch between case ", "value and declared discriminator type is detected."]; union_type(suite) -> []; union_type(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, u_type), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(28, bad_case_type, R), ok. union_mult_err(doc) -> ["Check that multiple declared declarators are caught.", "Also check that if the discriminator is an enum, then the enum name", "must not be used as a declarator in the union switch (declarator", "as opposed to label)."]; union_mult_err(suite) -> []; union_mult_err(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, u_mult), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(8, multiply_defined, R), ok. %% Checking mult cases. Now check that other errors are found in the %% correct order XXXX union_case_mult(doc) -> ["Check that multiply defined case labels are found and reported."]; union_case_mult(suite) -> []; union_case_mult(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, u_case_mult), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(7, multiple_cases, R), ok. %%-------------------------------------------------------------------- %% %% Enum cases %% enum_norm(doc) -> ["Checks that normal enum declarations works."]; enum_norm(suite) -> []; enum_norm(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(enum_norm), File = filename:join(DataDir, enum), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, enum_norm_files()), ok. %%-------------------------------------------------------------------- %% %% Struct cases %% struct_norm(doc) -> ["Checks that normal struct declarations works."]; struct_norm(suite) -> []; struct_norm(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(struct_norm), File = filename:join(DataDir, struct), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, struct_norm_files()), Mod = ridiculous_name_to_avoid_clash_svenne, TestFile = filename:join(OutDir, Mod), ?line ok = gen_struct_file(TestFile, Mod), ?line ok = compile(OutDir, [Mod], [load]), %% ?line {ok, Mod, []} = compile:file(TestFile, %% [{i, OutDir}, {outdir, OutDir}, %% return, load]), ?line ok = Mod:test(), ok. %%-------------------------------------------------------------------- %% %% General cases %% %% coss (add sometimes, takes 440 seconds!) typeid(doc) -> ["Check that type id's are generated correctly"]; typeid(suite) -> []; typeid(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(typeid), File = filename:join(DataDir, typeid), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, typeid_files(), [load]), ?line "IDL:I1:1.0" = 'I1':'typeID'(), ?line "IDL:M1/I1:1.0" = 'M1_I1':'typeID'(), ?line "IDL:M2/M1/I1:1.0" = 'M2_M1_I1':'typeID'(), ?line "IDL:M3/M2/M1/I1:1.0" = 'M3_M2_M1_I1':'typeID'(), ok. %%% This test case is removed because there's no way to test this from %%% an automated test suite. dir(doc) -> ["Check that relative directories work, absolute is used in", "all other cases in the suite."]; %%% xxxxxx dir(suite) -> []; dir(Config) when is_list(Config) -> ok; dir(Config) -> DataDir = ?config(data_dir, Config), %% Needs a unique directory (any better way?) OutDir = mk_unique("oe_the_dir"), %% More unique names File = filename:join(DataDir, mk_unique("oe_the_file")), Const = mk_unique("oe_the_constant"), Mod = list_to_atom(File), Func = list_to_atom(Const), %% Generate a unique IDL file with a single constant gen_file(File, Const), ?line ok = ic:gen(File, stdopts(OutDir)), ?line ok = compile(OutDir, [load]), ?line 19955 = Mod:Func(), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, [load]), ?line 19955 = Mod:Func(), ?line ok = ic:gen(File), %%% ?line ok = compile(".", [load]), ok. undef_id(doc) -> ["Check that various undefied id's are detected correctly"]; undef_id(suite) -> []; undef_id(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, undef_id), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(16, tk_not_found, R), ok. mult_ids(doc) -> ["Check that multiply defined ids are caught."]; mult_ids(suite) -> []; mult_ids(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, mult_ids), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(22, multiply_defined, R), ok. nasty_names(doc) -> ["Check that various nasty names can be generated.", "Try to provoke name clashes and name conflicts with", "Erlang and IDL"]; nasty_names(suite) -> []; nasty_names(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(nasty_names), File = filename:join(DataDir, nasty), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, nasty_names_files(), [load]), ok. coss(doc) -> ["Check that the Coss standard specification works."]; coss(suite) -> []; coss(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(coss), File = filename:join(DataDir, 'Coss'), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, [_W1]} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, []), ok. forward(doc) -> ["Check that forward declaratios work."]; forward(suite) -> []; forward(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(forward), File = filename:join(DataDir, forward), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, forward_files(), [load]), ok. include(doc) -> ["Check that various undefied id's are detected correctly"]; include(suite) -> []; include(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, include), ?line error = ic:gen(File, stdopts(OutDir)++[{preproc_flags,"-I" ++ DataDir}]), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[{preproc_flags,"-I" ++ DataDir},silent2]), case lists:map(fun(D) -> filename:rootname(filename:basename(element(3, D))) end, lists:sort(R)) of ["include", "include2", "include2", "include3"] -> ok; RRR -> test_server:fail({bad_include_file, RRR}) end, ok. %%-------------------------------------------------------------------- %% %% Inhertit cases %% inherit_norm(doc) -> ["Checks that normal inheritance works."]; inherit_norm(suite) -> []; inherit_norm(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(inherit_norm), File = filename:join(DataDir, inherit), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, _Ws} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, inherit_norm_files(), [load]), %% Now check constant values: ?line 9 = m1_I1:c1(), ?line 9 = m1_I2:c1(), ?line 14 = m1_I2:c2(), ?line 27 = m1_I2:c3(), ?line 50 = m1_I3:c1(), ?line 14 = m1_I3:c2(), ?line 27 = m1_I3:c3(), ?line 91 = m1_I3:c4(), ?line 100 = m1_I3:c5(), ok. inherit_warn(doc) -> ["Check that various inheritance shadowing is detected"]; inherit_warn(suite) -> []; inherit_warn(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, inherit_warn), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(7, inherit_name_shadow, R), ok. inherit_err(doc) -> ["Check that various inheritance errors is detected"]; inherit_err(suite) -> []; inherit_err(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, inherit_err), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, _Ws, R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(21, inherit_name_collision, R), ok. oneway_norm(doc) -> ["Checks that normal oneway operations works."]; oneway_norm(suite) -> []; oneway_norm(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(oneway_norm), File = filename:join(DataDir, one), ?line ok = ic:gen(File, stdopts(OutDir)), ?line ok = compile(OutDir, oneway_norm_files(), [load]), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, oneway_norm_files(), [load]), ok. oneway_void(doc) -> ["Check that non-void oneways are detected."]; oneway_void(suite) -> []; oneway_void(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, one_void), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(2, bad_oneway_type, R), ok. oneway_raises(doc) -> ["Check that oneways cannot raise exceptions."]; oneway_raises(suite) -> []; oneway_raises(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, one_raises), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(3, oneway_raises, R), ok. oneway_out(doc) -> ["Check that illegal out parameters are detected"]; oneway_out(suite) -> []; oneway_out(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, one_out), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(2, oneway_outparams, R), ok. oneway_followed(doc) -> ["Checks that normal oneways, followed by other operations."]; oneway_followed(suite) -> []; oneway_followed(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(oneway_followed), File = filename:join(DataDir, one_followed), ?line ok = ic:gen(File, stdopts(OutDir)), ?line ok = compile(OutDir, oneway_followed_files(), [load]), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, oneway_followed_files(), [load]), ok. attr_norm(doc) -> ["Checks that normal attr operations works."]; attr_norm(suite) -> []; attr_norm(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(attr_norm), File = filename:join(DataDir, attr), ?line ok = ic:gen(File, stdopts(OutDir)), ?line ok = compile(OutDir, attr_norm_files(), [load]), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, attr_norm_files(), [load]), ok. type_norm(doc) -> ["Checks all types are handled."]; type_norm(suite) -> []; type_norm(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(type_norm), File = filename:join(DataDir, type), ?line ok = ic:gen(File, stdopts(OutDir)), ?line ok = compile(OutDir, type_norm_files(), [load]), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, type_norm_files(), [load]), ok. syntax1(suite) -> []; syntax1(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, syntax1), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(1, parse_error, R), ok. syntax2(suite) -> []; syntax2(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, syntax2), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(1, parse_error, R), ok. syntax3(suite) -> []; syntax3(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, syntax3), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(1, parse_error, R), ok. syntax4(suite) -> []; syntax4(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, syntax4), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(1, parse_error, R), ok. syntax5(suite) -> []; syntax5(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, syntax5), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(1, parse_error, R), ok. syntax6(suite) -> []; syntax6(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(slask), File = filename:join(DataDir, syntax6), ?line error = ic:gen(File, stdopts(OutDir)), ?line {error, [], R} = ic:gen(File, stdopts(OutDir)++[silent2]), check_errors(1, parse_error, R), ok. %%-------------------------------------------------------------------- %% %% Checks RAISES to be registered under IFR operation registration %% ( OTP-2102 ) %% raises_reg(doc) -> ["Check that exceptions are really registered to operations."]; raises_reg(suite) -> []; raises_reg(Config) when is_list(Config) -> DataDir = ?config(data_dir, Config), OutDir = ?OUT(raises_reg_check), File = filename:join(DataDir, raises_reg), ?line ok = ic:gen(File, stdopts(OutDir)), ?line {ok, []} = ic:gen(File, stdopts(OutDir)++[silent2]), ?line ok = compile(OutDir, raises_reg_files(), [load]), set_up('oe_raises_reg'), io:format("~n##### Starting the test case #####~n"), io:format("Checking for existance of exception : ~s~n",["IDL:Raises_RegModule/Exception_1:1.0"]), raises_register_check("IDL:Raises_RegModule/R_R/op:1.0","IDL:Raises_RegModule/Exception_1:1.0"), io:format("Checking for existance of exception : ~s~n",["IDL:Raises_RegModule/Exception_2:1.0"]), raises_register_check("IDL:Raises_RegModule/R_R/op:1.0","IDL:Raises_RegModule/Exception_2:1.0"), io:format("Checking for existance of exception : ~s~n",["IDL:Raises_RegModule/XXXXXXXX:1.0"]), raises_register_check("IDL:Raises_RegModule/R_R/op:1.0","IDL:RaisesModule/XXXXXXXX:1.0"), set_down('oe_raises_reg'), ok. set_up(Register) -> io:format("Setting up.....~n"), mnesia:stop(), mnesia:delete_schema([node()]), mnesia:create_schema([node()]), mnesia:start(), orber:install([node()]), orber:start(), io:format("Running OE_register()~n"), Register:'oe_register'(). set_down(Register) -> io:format("Running OE_unregister()~n"), Register:'oe_unregister'(), io:format("Setting down.....~n"), orber:stop(), orber:uninstall(), mnesia:stop(), mnesia:delete_schema([node()]). raises_register_check(OpId,ExcId) -> case is_valid_exc(OpId,ExcId) of true -> ok; % Because right exception where found, % the test succeeds for normal cases. false -> ok; % Because the exception tested, is not % registered for that operation. FailReason -> test_server:fail({FailReason, OpId, ExcId}) % Because the test descovered errors in a previous % stage, or no exceptions where registered att all. % ( This testcase assumes that operations to be % checked allways raise excption(s) ) end. is_valid_exc(OpId,ExcId) -> OE_IFR = orber_ifr:find_repository(), OpDef = orber_ifr:'Repository_lookup_id'(OE_IFR,OpId), ExcDefList = orber_ifr:get_exceptions(OpDef), case ExcDefList of [] -> no_exceptions_registered; _ -> ExcDef=orber_ifr:lookup_id(OE_IFR,ExcId), lists:member(ExcDef,ExcDefList) end. %%-------------------------------------------------------------------- %% %% Utilities stdopts(OutDir) -> [{outdir, OutDir},{maxerrs, infinity}]. mk_unique(Prefix) -> {A,B,C} = now(), Prefix++"_"++integer_to_list(A)++"_"++integer_to_list(B)++"_"++ integer_to_list(C). gen_file(File, Const) -> {ok, Fd} = file:open(File++".idl", [write]), io:format(Fd, "interface ~s {~n", [File]), io:format(Fd, " const long ~s = 19955;~n", [Const]), io:format(Fd, "};~n", []), file:close(Fd). %% Compile all files in Dir. Used for checking that valid Erlang has %% been generated. %%compile(Dir) -> %% compile(Dir, []). %%compile(Dir, Opts) -> %% {ok, Cwd} = file:get_cwd(), %% catch do_compile(Dir, Opts), %% file:set_cwd(Cwd). %%do_compile(Dir, Opts) -> %% ok = file:set_cwd(Dir), %% up_to_date = ts_make_erl:all(Opts), %% ok. compile(Dir, Files) -> compile(Dir, Files, []). compile(Dir, Files, Opts) -> {ok, Cwd} = file:get_cwd(), file:set_cwd(Dir), io:format("Changing to ~p~n", [Dir]), case catch do_compile(Files, Opts) of ok -> file:set_cwd(Cwd); Err -> file:set_cwd(Cwd), test_server:fail(Err) end. do_compile([], _Opts) -> ok; do_compile([F | Fs], Opts) -> io:format("Compiling ~p", [F]), case compile:file(F, Opts) of ok -> io:format(" ok~n", []), do_load(F, Opts), do_compile(Fs, Opts); {ok, _} -> io:format(" ok~n", []), do_load(F, Opts), do_compile(Fs, Opts); {ok, _, _} -> io:format(" ok~n", []), do_load(F, Opts), do_compile(Fs, Opts); Err -> io:format(" error: ~p~n", [Err]), Err end. do_load(File, Opts) -> case lists:member(load, Opts) of true -> io:format("Loading file ~p", [File]), code:purge(File), R = code:load_abs(File), io:format("Loaded: ~p", [R]); false -> ok end. %% Check that ErrList consists of exactly Num errors of type ErrType check_errors(Num, ErrType, ErrList) -> Num = length(ErrList), lists:foreach(fun(T) -> case catch element(1, element(4, T)) of ErrType -> ok; Else -> test_server:fail({bad, ErrType, Else}) end end, ErrList). to_list(X) when is_atom(X) -> atom_to_list(X); to_list(X) -> X. %% File must be an atom gen_struct_file(File, Mod) -> ?line {ok, Fd} = file:open(to_list(File)++".erl", [write]), io:format(Fd, "~n", []), io:format(Fd, "-module(~p).~n", [Mod]), io:format(Fd, "-export([test/0]).~n", []), io:format(Fd, "-include(\"oe_struct.hrl\").~n", []), io:format(Fd, "test() ->~n", []), io:format(Fd, " A = #'S1'{a=99, b=$a, s=\"123456789\"},~n", []), io:format(Fd, " B = #'S2'{a=9, b=#'S2_S3'{a=1, b=9, b1=5, c=$2},~n", []), io:format(Fd, " c=[#'S1'{a=1}, #'S1'{a=2}],~n", []), io:format(Fd, " c2=[#'S1'{a=2}, #'S1'{a=3}, #'S1'{a=2}, #'S1'{a=3}]},~n", []), io:format(Fd, " C = #'S2_S3'{a=11, b=999, b1=19},~n", []), io:format(Fd, " D = #s4{a=7},~n", []), io:format(Fd, " E = {1, #'U1_S5'{a=3}},~n", []), io:format(Fd, " F = {2, {$b, #'U1_U2_s6'{a=6, b=false}}},~n", []), io:format(Fd, " ok.~n", []), file:close(Fd). union_norm_files() -> ['oe_u_norm']. union_default_files() -> ['oe_u_default', i1]. typeid_files() -> ['oe_typeid', 'M3_M2_M1_I1', 'M2_M1_I1', 'M1_I1', 'I1']. struct_norm_files() -> ['oe_struct']. oneway_norm_files() -> ['oe_one', 'I1']. oneway_followed_files() -> ['oe_one_followed', 'I1']. nasty_names_files() -> ['oe_nasty', 'I2', 'I1']. inherit_norm_files() -> [m1_I3, m1_I2, m1_I1, 'oe_inherit', 'I4', 'I3', 'I2', 'I1']. forward_files() -> [i1, 'oe_forward']. enum_norm_files() -> ['oe_enum']. const_norm_files() -> ['oe_c_norm']. attr_norm_files() -> ['oe_attr', 'I1', 'I2']. type_norm_files() -> ['oe_type']. raises_reg_files() -> ['oe_raises_reg'].