|
@@ -2517,11 +2517,13 @@ let generate con =
|
|
|
|
|
|
let basic = con.basic in
|
|
|
(* make the basic functions in java *)
|
|
|
+ let cl_cl = get_cl (get_type gen (["java";"lang"],"Class")) in
|
|
|
let basic_fns =
|
|
|
[
|
|
|
mk_class_field "equals" (TFun(["obj",false,t_dynamic], basic.tbool)) true Ast.null_pos (Method MethNormal) [];
|
|
|
mk_class_field "toString" (TFun([], basic.tstring)) true Ast.null_pos (Method MethNormal) [];
|
|
|
mk_class_field "hashCode" (TFun([], basic.tint)) true Ast.null_pos (Method MethNormal) [];
|
|
|
+ mk_class_field "getClass" (TFun([], (TInst(cl_cl,[t_dynamic])))) true Ast.null_pos (Method MethNormal) [];
|
|
|
mk_class_field "wait" (TFun([], basic.tvoid)) true Ast.null_pos (Method MethNormal) [];
|
|
|
mk_class_field "notify" (TFun([], basic.tvoid)) true Ast.null_pos (Method MethNormal) [];
|
|
|
mk_class_field "notifyAll" (TFun([], basic.tvoid)) true Ast.null_pos (Method MethNormal) [];
|