%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 1999-2016. All Rights Reserved.
%%
%% Licensed under the Apache License, Version 2.0 (the "License");
%% you may not use this file except in compliance with the License.
%% You may obtain a copy of the License at
%%
%% http://www.apache.org/licenses/LICENSE-2.0
%%
%% Unless required by applicable law or agreed to in writing, software
%% distributed under the License is distributed on an "AS IS" BASIS,
%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
%% See the License for the specific language governing permissions and
%% limitations under the License.
%%
%% %CopyrightEnd%
%%
%%
-module(ic_struct_java).
-include("icforms.hrl").
-include("ic.hrl").
-include("ic_debug.hrl").
%%-----------------------------------------------------------------
%% External exports
%%-----------------------------------------------------------------
-export([gen/3]).
%%-----------------------------------------------------------------
%% Internal exports
%%-----------------------------------------------------------------
-export([]).
%%-----------------------------------------------------------------
%% External functions
%%-----------------------------------------------------------------
gen(G, N, X) when is_record(X, struct) ->
StructName = ic_forms:get_java_id(X),
WireStructName = ic_forms:get_id2(X),
emit_struct_class(G, N, X, StructName),
emit_holder_class(G, N, X, StructName),
emit_helper_class(G, N, X, StructName, WireStructName),
N2 = [StructName ++ "Package" |N],
ic_jbe:gen(G, N2, ic_forms:get_body(X));
gen(_G, _N, _X) ->
ok.
%%-----------------------------------------------------------------
%% Internal functions
%%-----------------------------------------------------------------
%%-----------------------------------------------------------------
%% Func: emit_struct_class/4
%%-----------------------------------------------------------------
emit_struct_class(G, N, X, StructName) ->
{Fd, _}= ic_file:open_java_file(G, N, StructName),
MList = struct_member_list(G, N, X),
ArgList = gen_parameter_list(G, [ StructName ++ "Package" |N], X, MList),
ic_codegen:emit(Fd, ["final public class ",StructName," {\n"
" // instance variables\n"]),
emit_struct_members_declarations(G, [StructName ++ "Package" |N],
X, Fd, MList),
ic_codegen:emit(Fd, ["\n // constructors\n"
" public ",StructName,"() {}\n\n"
" public ",StructName,"(",ArgList,") {\n"]),
emit_struct_members_initialisation(G, N, X, Fd, MList),
ic_codegen:emit(Fd, [" }\n\n"
"}\n\n"]),
file:close(Fd).
%%-----------------------------------------------------------------
%% Func: emit_holder_class/4
%%-----------------------------------------------------------------
emit_holder_class(G, N, _X, StructName) ->
SName = string:concat(StructName, "Holder"),
{Fd, _}= ic_file:open_java_file(G, N, SName),
ic_codegen:emit(Fd, ["final public class ",StructName,"Holder {\n"
" // instance variables\n"
" public ",StructName," value;\n\n"
" // constructors\n"
" public ",StructName,"Holder() {}\n\n"
" public ",StructName,"Holder(",StructName," initial) {\n"
" value = initial;\n"
" }\n\n"
" // methods\n"]),
ic_codegen:emit(Fd, [" public void _marshal(",?ERLANGPACKAGE,"OtpOutputStream out) throws java.lang.Exception {\n"
" ",StructName,"Helper.marshal(out, value);\n"
" }\n\n"
" public void _unmarshal(",?ERLANGPACKAGE,"OtpInputStream in) throws java.lang.Exception {\n"
" value = ",StructName,"Helper.unmarshal(in);\n"
" }\n"
"}\n\n"]),
file:close(Fd).
%%-----------------------------------------------------------------
%% Func: emit_helper_class/5
%%-----------------------------------------------------------------
emit_helper_class(G, N, X, StructName, WireStructName) ->
SName = string:concat(StructName, "Helper"),
{Fd, _}= ic_file:open_java_file(G, N, SName),
ic_codegen:emit(Fd, ["public class ",StructName,"Helper {\n"
" // constructors\n"
" private ",StructName,"Helper() {}\n\n"
" // methods\n"]),
MList = struct_member_list(G, N, X),
ic_codegen:emit(Fd, [" public static void marshal(",?ERLANGPACKAGE,"OtpOutputStream _out, ",StructName," _value)\n"
" throws java.lang.Exception {\n\n"]),
emit_struct_marshal_function(G, N, X, Fd, StructName, WireStructName, MList),
ic_codegen:emit(Fd, [" }\n\n"
" public static ",StructName," unmarshal(",?ERLANGPACKAGE,"OtpInputStream _in)\n"
" throws java.lang.Exception {\n\n"]),
emit_struct_unmarshal_function(G, N, X, Fd, StructName, WireStructName, MList),
ic_codegen:emit(Fd, [" }\n\n"
" public static String id() {\n"
" return \"",ictk:get_IR_ID(G, N, X),"\";\n"
" }\n\n"
" public static String name() {\n"
" return \"",StructName,"\";\n"
" }\n\n"]),
ic_jbe:emit_type_function(G, N, X, Fd),
ic_codegen:emit(Fd, [" public static void insert(",?ICPACKAGE,"Any _any, ",StructName," _this)\n"
" throws java.lang.Exception {\n\n"
" ",?ERLANGPACKAGE,"OtpOutputStream _os = \n"
" new ",?ERLANGPACKAGE,"OtpOutputStream();\n\n"
" _any.type(type());\n"
" marshal(_os, _this);\n"
" _any.insert_Streamable(_os);\n"
" }\n\n"
" public static ",StructName," extract(",?ICPACKAGE,"Any _any)\n"
" throws java.lang.Exception {\n\n"
" return unmarshal(_any.extract_Streamable());\n"
" }\n\n"
%% In corba mapping there is also a _type function here.
"}\n"]),
file:close(Fd).
%%-----------------------------------------------------------------
%% Func: emit_struct_members_declarations/
%%-----------------------------------------------------------------
emit_struct_members_declarations(_, _, _, _, []) ->
ok;
emit_struct_members_declarations(G, N, X, Fd, [{Member, _Type, Id} | MList]) ->
ic_codegen:emit(Fd, [" public ",ic_java_type:getType(G, N, Member)," ",Id,";\n"]),
emit_struct_members_declarations(G, N, X, Fd, MList).
%%-----------------------------------------------------------------
%% Func: emit_struct_members_initialisation/5
%%-----------------------------------------------------------------
emit_struct_members_initialisation(_, _, _, _, []) ->
ok;
emit_struct_members_initialisation(G, N, X, Fd, [{_Member, _Type, Id} | MList]) ->
ic_codegen:emit(Fd, [" ",Id," = _",Id,";\n"]),
emit_struct_members_initialisation(G, N, X, Fd, MList).
%%-----------------------------------------------------------------
%% Func: emit_struct_marshal_function/7
%%-----------------------------------------------------------------
emit_struct_marshal_function(G, N, X, Fd, StructName, WireStructName, MList) ->
ic_codegen:emit(Fd, [" _out.write_tuple_head(",integer_to_list(length(MList) + 1),");\n"
" _out.write_atom(\"",ic_util:to_undersc([WireStructName|N]),"\");\n\n"]),
emit_struct_marshal_function_loop(G, [StructName ++ "Package" |N],
X, Fd, MList, 1).
%%-----------------------------------------------------------------
%% Func: emit_struct_marshal_function_loop/6
%%-----------------------------------------------------------------
emit_struct_marshal_function_loop(_, _, _, Fd, [], _) ->
ic_codegen:nl(Fd);
emit_struct_marshal_function_loop(G, N, X, Fd, [{Member, Type, Id} |MList], Num) ->
case ic_java_type:isBasicType(G, N, Member) of
true ->
ic_codegen:emit(Fd, [" _out",ic_java_type:marshalFun(G, N, Member, Type),"(_value.",Id,");\n"]);
_ ->
if (element(1,hd(element(3,Member))) == array) ->
ic_codegen:emit(Fd,
[" ",
ic_util:to_dot(G,[ic_forms:get_id2(Member)|N]),
"Helper.marshal(_out, _value.",Id,");\n"]);
true ->
ic_codegen:emit(Fd, [" ",
ic_java_type:marshalFun(G, N, Member, Type),
"(_out, _value.",Id,");\n"])
end
end,
emit_struct_marshal_function_loop(G, N, X, Fd, MList, Num+1).
%%-----------------------------------------------------------------
%% Func: emit_struct_unmarshal_function/7
%%-----------------------------------------------------------------
emit_struct_unmarshal_function(G, N, X, Fd, StructName, WireStructName, MList) ->
ic_codegen:emit(Fd, [" _in.read_tuple_head();\n\n"
" if ((_in.read_atom()).compareTo(\"",
ic_util:to_undersc([WireStructName|N]),
"\") != 0)\n"
" throw new java.lang.Exception(\"\");\n\n"
" ",StructName," _value = new ",StructName,"();\n"]),
emit_struct_unmarshal_function_loop(G, [StructName ++ "Package"|N],
X, Fd, MList, 1),
ic_codegen:emit(Fd, " return _value;\n").
%%-----------------------------------------------------------------
%% Func: emit_union_unmarshal_function_loop/6
%%-----------------------------------------------------------------
emit_struct_unmarshal_function_loop(_, _, _, Fd, [], _) ->
ic_codegen:nl(Fd);
emit_struct_unmarshal_function_loop(G, N, X, Fd, [{Member, Type, Id} |MList], Num) ->
case ic_java_type:isBasicType(G, N, Member) of
true ->
ic_codegen:emit(Fd, [" _value.",Id," = _in",ic_java_type:unMarshalFun(G, N, Member, Type),";\n"]);
_ ->
if (element(1,hd(element(3,Member))) == array) ->
ic_codegen:emit(Fd,
[" _value.",Id," = ",ic_util:to_dot(G,[ic_forms:get_id2(Member)|N]),"Helper.unmarshal(_in);\n"]);
true ->
ic_codegen:emit(Fd,
[" _value.",Id," = ",ic_java_type:getUnmarshalType(G, N, Member, Type),".unmarshal(_in);\n"])
end
end,
emit_struct_unmarshal_function_loop(G, N, X, Fd, MList, Num +1).
%%-----------------------------------------------------------------
%% Func: gen_parameter_list/4
%%-----------------------------------------------------------------
gen_parameter_list(G, N, _X, [{Member, _Type, Id}]) ->
ic_java_type:getType(G,N,Member) ++
" _" ++
ic_util:to_list(Id);
gen_parameter_list(G, N, X, [{Member, _Type, Id} | MList]) ->
ic_java_type:getType(G,N,Member) ++
" _" ++
ic_util:to_list(Id) ++
", " ++
gen_parameter_list(G, N, X, MList).
%%-----------------------------------------------------------------
%% Func: struct_member_list/3
%%-----------------------------------------------------------------
struct_member_list(_G, _N, X) ->
M = lists:map(
fun(Member) ->
lists:map(
fun(Id) ->
Type = ic_forms:get_type(Member),
{ Member, Type, ic_forms:get_java_id(Id)}
end,
ic_forms:get_idlist(Member))
end,
ic_forms:get_body(X)),
lists:flatten(M).
