%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 1997-2010. 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_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() -> [{suite_callbacks,[ts_install_scb]}].
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_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'].
