Java/java/io/ObjectStreamClass.fz
# Fuzion interface to instance members of Java instance class 'java.io.ObjectStreamClass'
#
# !!!!!! DO NOT EDIT, GENERATED CODE !!!!!!
#
# This code was generated automatically using the fzjava tool V0.087 called
# as follows:
#
# ./build/bin/fzjava java.base -to=build/modules/java.base -verbose=0
#
public Java.java.io.ObjectStreamClass(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public java.lang.Class java.io.ObjectStreamClass.forClass()':
#
public forClass Java.java.lang.Class =>
fuzion.java.call_virtual (Java.java.lang.Class) "java.io.ObjectStreamClass" "forClass" "()Ljava/lang/Class;" ObjectStreamClass.this []
# call Java instance method 'public java.io.ObjectStreamField java.io.ObjectStreamClass.getField(java.lang.String)':
#
public getField_Ljava_7_lang_7_String_s_(arg0 String) Java.java.io.ObjectStreamField =>
fuzion.java.call_virtual (Java.java.io.ObjectStreamField) "java.io.ObjectStreamClass" "getField" "(Ljava/lang/String;)Ljava/io/ObjectStreamField;" ObjectStreamClass.this [(fuzion.java.string_to_java_object Java.java.io.ObjectStreamClass.getField_Ljava_7_lang_7_String_s_.this.arg0)]
# call Java instance method 'public java.io.ObjectStreamField[] java.io.ObjectStreamClass.getFields()':
#
public getFields fuzion.java.Array (Java.java.io.ObjectStreamField) =>
fuzion.java.call_virtual (fuzion.java.Array (Java.java.io.ObjectStreamField)) "java.io.ObjectStreamClass" "getFields" "()[Ljava/io/ObjectStreamField;" ObjectStreamClass.this []
# call Java instance method 'public java.lang.String java.io.ObjectStreamClass.getName()':
#
public getName Java.java.lang.__jString =>
fuzion.java.call_virtual (Java.java.lang.__jString) "java.io.ObjectStreamClass" "getName" "()Ljava/lang/String;" ObjectStreamClass.this []
# call Java instance method 'public long java.io.ObjectStreamClass.getSerialVersionUID()':
#
public getSerialVersionUID i64 =>
fuzion.java.call_virtual (i64) "java.io.ObjectStreamClass" "getSerialVersionUID" "()J" ObjectStreamClass.this []
# short-hand to call Java method 'public java.io.ObjectStreamField java.io.ObjectStreamClass.getField(java.lang.String)':
#
public getField(arg0 String) (Java.java.io.ObjectStreamField) =>
getField_Ljava_7_lang_7_String_s_ Java.java.io.ObjectStreamClass.getField.this.arg0