jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

java main void return handling

Browse source
This commit is contained in:
Léonard Gérard 2011-11-25 18:11:50 +01:00
parent 05750352f8
commit 5be7a6acc2
1 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
compiler/obc/java/java_main.ml
View file

@ -100,16 +100,21 @@ let program p =
mk_block [Aassgn(pat_step, Evar id_step_dnb)]); mk_block [Aassgn(pat_step, Evar id_step_dnb)]);
in in
let ty_ret = Obc2java.ty NamesEnv.empty ty_main in let ty_ret = Obc2java.ty NamesEnv.empty ty_main in
let vd_ret, pat_ret, exp_ret = mk_var ty_ret false "ret" in let vd_ret, _, exp_ret = mk_var ty_ret false "ret" in
let call_main = match ty_ret with let call_main = match ty_ret with
| Tunit -> Aexp(Emethod_call(e_main, "step", [])) | Tunit -> Aexp(Emethod_call(e_main, "step", []))
| _ -> Anewvar (vd_ret, Emethod_call(e_main, "step", [])) | _ -> Anewvar (vd_ret, Emethod_call(e_main, "step", []))
in in
let print_ret = Emethod_call(java_pervasives, "genToString", [exp_ret]) in let print_ret i = match ty_ret with
let main_for_loop i = | Tunit -> Aexp (Emethod_call(out, "printf", [Sstring "%d => \\n"; Evar i]))
[call_main; Aexp (Emethod_call(out, "printf", | _ ->
[Sstring "%d => %s\\n"; Evar i; print_ret]))] Aexp (
Emethod_call(out, "printf",
[Sstring "%d => %s\\n";
Evar i;
Emethod_call(java_pervasives, "genToString", [exp_ret])]))
in in
let main_for_loop i = [call_main; print_ret i] in
let vd_t1, e_t1 = let vd_t1, e_t1 =
let id = Idents.gen_var "java_main" "t" in let id = Idents.gen_var "java_main" "t" in
mk_var_dec id false Tlong, Evar id mk_var_dec id false Tlong, Evar id