Add test suite for ic

1 files changed, 425 insertions, 0 deletions

diff --git a/lib/ic/test/ic_register_SUITE.erl b/lib/ic/test/ic_register_SUITE.erl
new file mode 100644
index 0000000000..ae7578199a
--- /dev/null
+++ b/lib/ic/test/ic_register_SUITE.erl
@@ -0,0 +1,425 @@
+%%
+%% %CopyrightBegin%
+%% 
+%% Copyright Ericsson AB 1998-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%
+%%
+%%
+%%-----------------------------------------------------------------
+%% File: ic_register_SUITE.erl
+%% 
+%% Description:
+%% Test suite for the IFR object registration
+%%
+%%-----------------------------------------------------------------
+-module(ic_register_SUITE).
+
+-include("test_server.hrl").
+-include_lib("orber/include/corba.hrl").
+%%-----------------------------------------------------------------
+%% External exports
+%%-----------------------------------------------------------------
+-export([all/1, init_all/1, finish_all/1, ifr_reg_unreg/1]).
+-export([ifr_inheritence_reg/1,ifr_reg_unreg_with_inheritence/1]).
+-export([ifr_reg_unreg_with_inheritence_bad_order/1]).
+
+%%-----------------------------------------------------------------
+%% Internal exports
+%%-----------------------------------------------------------------
+-export([]).
+
+%%-----------------------------------------------------------------
+%% Macros
+%%-----------------------------------------------------------------
+-define(REMAP_EXCEPT(F), case catch F of
+			     {'EXCEPTION', E} -> exit(E);
+			     R -> R
+			 end).
+%% Standard options to the ic compiler, NOTE unholy use of OutDir
+
+-define(OUT(X), filename:join([?config(priv_dir, Config), gen, to_list(X)])).
+
+
+%%-----------------------------------------------------------------
+%% Func: all/1
+%% Args: 
+%% Returns: 
+%%-----------------------------------------------------------------
+all(doc) -> ["Description", "more description"];
+all(suite) -> {req,
+               [mnesia],
+               {conf, init_all, cases(), finish_all}}.
+
+cases() ->
+    [ifr_reg_unreg,ifr_reg_unreg_with_inheritence,
+     ifr_reg_unreg_with_inheritence_bad_order,ifr_inheritence_reg].
+
+%%-----------------------------------------------------------------
+%% Init and cleanup functions.
+%%-----------------------------------------------------------------
+
+init_all(Config) ->
+    io:format("Setting up.....~n"),
+    mnesia:stop(),
+    mnesia:delete_schema([node()]),
+    mnesia:create_schema([node()]),
+    mnesia:start(),
+    orber:install([node()]),
+    orber:start(),
+    if
+	is_list(Config) ->
+	    Config;
+	true ->
+	    exit("Config not a list")
+    end.
+
+finish_all(Config) ->
+    io:format("Setting down.....~n"),
+    orber:stop(),
+    orber:uninstall(),
+    mnesia:stop(),
+    mnesia:delete_schema([node()]),
+    Config.
+
+
+
+%%-----------------------------------------------------------------
+%% Test Case: IFR type registration
+%%-----------------------------------------------------------------
+ifr_reg_unreg(doc) ->
+    ["Checks that the generated register/unregister "
+     "code for the IFR is correct."];
+ifr_reg_unreg(suite) -> [];
+ifr_reg_unreg(Config) when is_list(Config) ->
+    ?REMAP_EXCEPT(ifr_reg_unregt_run(Config)).
+
+ifr_reg_unregt_run(Config) ->
+    DataDir = ?config(data_dir, Config),
+    OutDir = ?OUT(ifr_reg_unreg),
+    File0 = filename:join(DataDir, reg_m8),
+    File1 = filename:join(DataDir, reg_m9),
+    File2 = filename:join(DataDir, reg_m10),
+    ?line ok = ic:gen(File0, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File0, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File1, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File1, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File2, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File2, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = compile(OutDir, ifr_reg_unreg_files()),
+    code:add_pathz(OutDir),
+    ?line ok = 'oe_reg_m8':'oe_register'(),
+    ?line ok = 'oe_reg_m9':'oe_register'(),
+    ?line ok = 'oe_reg_m10':'oe_register'(),
+    ?line ok = 'oe_reg_m10':'oe_unregister'(),
+    ?line ok = 'oe_reg_m9':'oe_unregister'(),
+    ?line ok = 'oe_reg_m8':'oe_unregister'(),
+    code:del_path(OutDir),
+    ok.
+
+ifr_reg_unreg_files() -> ['oe_reg_m8', 'oe_reg_m9', 'oe_reg_m10'].
+
+
+
+%%-----------------------------------------------------------------
+%% Test Case: IFR registration when object inheritence 
+%%            is applied and registered.
+%%-----------------------------------------------------------------
+ifr_reg_unreg_with_inheritence(doc) ->
+    ["Checks that the generated register/unregister "
+     "code for the IFR is correct, and works even when"
+     "the object inheritence is registered. This fixes"
+     "two bugs in ifr that caused crash when trying to"
+     "use OE_register/OE_unregister in a sequence of"
+     "compiled files that contained interfaces who"
+     "inherited others in sequence."];
+ifr_reg_unreg_with_inheritence(suite) -> [];
+ifr_reg_unreg_with_inheritence(Config) when is_list(Config) ->
+    ?REMAP_EXCEPT(ifr_reg_unreg_with_inheritence_run(Config)).
+
+ifr_reg_unreg_with_inheritence_run(Config) ->
+    DataDir = ?config(data_dir, Config),
+    OutDir = ?OUT(ifr_reg_unreg),
+    File0 = filename:join(DataDir, reg_m8),
+    File1 = filename:join(DataDir, reg_m9),
+    File2 = filename:join(DataDir, reg_m10),
+    File3 = filename:join(DataDir, reg_m11),
+    File4 = filename:join(DataDir, reg_m12),
+    ?line ok = ic:gen(File0, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File0, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File1, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File1, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File2, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File2, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File3, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File3, stdopts(OutDir)++[silent2, {preproc_flags,
+						"-I" ++ DataDir}]),
+    ?line ok = ic:gen(File4, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File4, stdopts(OutDir)++[silent2, {preproc_flags,
+						"-I" ++ DataDir}]),
+    ?line ok = compile(OutDir, ifr_reg_unreg_with_inheritence_files()),
+    code:add_pathz(OutDir),
+    ?line ok = 'oe_reg_m8':'oe_register'(),
+    ?line ok = 'oe_reg_m9':'oe_register'(),
+    ?line ok = 'oe_reg_m10':'oe_register'(),
+    ?line ok = 'oe_reg_m11':'oe_register'(),
+    ?line ok = 'oe_reg_m12':'oe_register'(),
+    ?line ok = 'oe_reg_m8':'oe_unregister'(),
+    ?line ok = 'oe_reg_m9':'oe_unregister'(),
+    ?line ok = 'oe_reg_m10':'oe_unregister'(),
+    ?line ok = 'oe_reg_m11':'oe_unregister'(),
+    ?line ok = 'oe_reg_m12':'oe_unregister'(),
+    code:del_path(OutDir),
+    ok.
+
+ifr_reg_unreg_with_inheritence_files() -> 
+    ['oe_reg_m8', 'oe_reg_m9', 'oe_reg_m10', 'oe_reg_m11', 'oe_reg_m12'].
+
+
+
+
+
+%%-----------------------------------------------------------------
+%% Test Case: IFR registration when object inheritence 
+%%            is applied and registered in a bad order.
+%%            Modules included and used from an ifr object
+%%            are not allready registered when the current 
+%%            object is getting registered.
+%%-----------------------------------------------------------------
+ifr_reg_unreg_with_inheritence_bad_order(doc) ->
+    ["This tests that ifr registration is done with
+      the right write order."
+     "Modules included and used from an ifr object"
+     "are tested if allready registered when the "
+     "current object is getting registered."];
+ifr_reg_unreg_with_inheritence_bad_order(suite) -> [];
+ifr_reg_unreg_with_inheritence_bad_order(Config) when is_list(Config) ->
+    ?REMAP_EXCEPT(ifr_reg_unreg_with_inheritence_bad_order_run(Config)).
+
+ifr_reg_unreg_with_inheritence_bad_order_run(Config) ->
+    DataDir = ?config(data_dir, Config),
+    OutDir = ?OUT(ifr_reg_unreg),
+    File1 = filename:join(DataDir, reg_m9),
+    File2 = filename:join(DataDir, reg_m10),
+    File4 = filename:join(DataDir, reg_m12),
+    ?line ok = ic:gen(File1, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File1, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File2, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File2, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File4, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File4, stdopts(OutDir)++[silent2, {preproc_flags,
+						"-I" ++ DataDir}]),
+    ?line ok = compile(OutDir, ifr_reg_unreg_with_inheritence_files()),
+    code:add_pathz(OutDir),
+    case catch 'oe_reg_m12':'oe_register'() of
+	{'EXIT',Reason1} ->
+	    io:format("IFR object missing detected : ~p~n",[Reason1]),
+	    true;
+	_ ->
+	    test_server:fail("Failed to detect object missing : IDL:M1:1.0~n")
+    end,
+    ?line ok = 'oe_reg_m9':'oe_register'(),
+    case catch 'oe_reg_m10':'oe_register'() of
+	{'EXIT',Reason2} ->
+	    io:format("IFR object missing detected : ~p~n",[Reason2]),
+	    true;
+	_ ->
+	    test_server:fail("Failed to detect object missing : IDL:M0:1.0~n")
+    end,
+    ?line ok = 'oe_reg_m9':'oe_unregister'(),
+    code:del_path(OutDir),
+    ok.
+
+
+
+%%-----------------------------------------------------------------
+%% Test Case: IFR registration with inheritence
+%%-----------------------------------------------------------------
+ifr_inheritence_reg(doc) ->
+    ["Checks that IFR object inheritence is correctly registered."];
+ifr_inheritence_reg(suite) -> [];
+ifr_inheritence_reg(Config) when is_list(Config) ->
+    ?REMAP_EXCEPT(ifr_inh_reg_run(Config)).
+
+ifr_inh_reg_run(Config) ->
+    DataDir = ?config(data_dir, Config),
+    OutDir = ?OUT(ifr_reg_unreg),
+    File0 = filename:join(DataDir, reg_m8),
+    File1 = filename:join(DataDir, reg_m9),
+    File2 = filename:join(DataDir, reg_m10),
+    File3 = filename:join(DataDir, reg_m11),
+    File4 = filename:join(DataDir, reg_m12),
+    ?line ok = ic:gen(File0, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File0, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File1, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File1, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File2, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File2, stdopts(OutDir)++[silent2, {preproc_flags,
+					       "-I" ++ DataDir}]),
+    ?line ok = ic:gen(File3, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File3, stdopts(OutDir)++[silent2, {preproc_flags,
+						"-I" ++ DataDir}]),
+    ?line ok = ic:gen(File4, stdopts(OutDir)++[{preproc_flags,
+						"-I" ++ DataDir}] ),
+    ?line {ok, []} = ic:gen(File4, stdopts(OutDir)++[silent2, {preproc_flags,
+						"-I" ++ DataDir}]),
+    ?line ok = compile(OutDir, ifr_reg_unreg_with_inheritence_files()),
+    code:add_pathz(OutDir),
+    %% OE_register for all files
+    ?line ok = 'oe_reg_m8':'oe_register'(),
+    ?line ok = 'oe_reg_m9':'oe_register'(),
+    ?line ok = 'oe_reg_m10':'oe_register'(),
+    ?line ok = 'oe_reg_m11':'oe_register'(),
+    ?line ok = 'oe_reg_m12':'oe_register'(),
+    
+    %% Inheritence registration test
+    OE_IFR = orber_ifr:find_repository(),
+    %% Interfaces that not inherit from other interfaces
+    ?line [] = get_inh(OE_IFR, "IDL:m0/i0:1.0"),
+    ?line [] = get_inh(OE_IFR, "IDL:m1/i1:1.0"),
+    ?line [] = get_inh(OE_IFR, "IDL:m3/i3:1.0"),
+    %% Interfaces that inherit from other interfaces
+    ?line ["IDL:m1/i1:1.0"] = get_inh(OE_IFR, "IDL:m2/i2:1.0"),
+    ?line ["IDL:m1/i1:1.0","IDL:m2/i2:1.0"] = get_inh(OE_IFR, "IDL:m4/i4:1.0"),
+    ?line ["IDL:m3/i3:1.0"] = get_inh(OE_IFR, "IDL:m4/i5:1.0"),
+    
+    %% OE_unregister for all files
+    ?line ok = 'oe_reg_m8':'oe_unregister'(),
+    ?line ok = 'oe_reg_m9':'oe_unregister'(),
+    ?line ok = 'oe_reg_m10':'oe_unregister'(),
+    ?line ok = 'oe_reg_m11':'oe_unregister'(),
+    ?line ok = 'oe_reg_m12':'oe_unregister'(),
+    code:del_path(OutDir),
+    ok.
+
+
+get_inh(OE_IFR,ID) ->
+    OE_CURRENT = orber_ifr:lookup_id(OE_IFR,ID),
+    INH_LIST = orber_ifr:get_base_interfaces(OE_CURRENT),
+    case INH_LIST of
+	[] ->
+	    io:format("~nInterface ~p inherits from nobody.~n",[ID]),
+	    [];
+	_ ->
+	    print_inh_list_ids(ID, INH_LIST, [])
+    end.
+
+print_inh_list_ids(_ID, [], Acc) ->
+    lists:reverse(Acc);
+print_inh_list_ids(ID, [H|T], Acc) ->
+    io:format("~n"),
+    Parent = orber_ifr:get_id(H),
+    io:format("Interface ~p inherits from ~p.~n", [ID, Parent]),
+    print_inh_list_ids(ID, T, [Parent|Acc]).
+
+
+
+
+stdopts(OutDir) ->
+    [{outdir, OutDir}, {maxerrs, infinity}].
+
+
+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.
+
+
+to_list(X) when is_atom(X) -> atom_to_list(X);
+to_list(X) -> X.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+