index 2d4312f28278c9c20e6386e2114638364ed3e6d2..121c89b7817147679feb41faa7330c970c3c16ba 100644 (file)
char *
jvm_get_field_full_name(oberon_object_t * x);
+char *
+jvm_get_field_full_name_safe(oberon_object_t * x);
+
char *
jvm_get_class_full_name(oberon_type_t * type);