Java/jdk/internal/classfile/impl/verifier/VerificationWrapper_static.fz
# Fuzion interface to static members of Java class 'jdk.internal.classfile.impl.verifier.VerificationWrapper'
#
# !!!!!! 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.jdk.internal.classfile.impl.verifier.VerificationWrapper_static is
# call Java constructor 'public jdk.internal.classfile.impl.verifier.VerificationWrapper(jdk.internal.classfile.ClassModel)':
#
public new_Ljdk_7_internal_7_classfile_7_ClassModel_s_(arg0 Java.jdk.internal.classfile.ClassModel) Java.jdk.internal.classfile.impl.verifier.VerificationWrapper =>
fuzion.java.call_constructor (Java.jdk.internal.classfile.impl.verifier.VerificationWrapper) "jdk.internal.classfile.impl.verifier.VerificationWrapper" "(Ljdk/internal/classfile/ClassModel;)V" [(Java.jdk.internal.classfile.impl.verifier.VerificationWrapper_static.new_Ljdk_7_internal_7_classfile_7_ClassModel_s_.this.arg0)]
# short-hand to call Java constructor 'public jdk.internal.classfile.impl.verifier.VerificationWrapper(jdk.internal.classfile.ClassModel)':
#
public new(arg0 Java.jdk.internal.classfile.ClassModel) (Java.jdk.internal.classfile.impl.verifier.VerificationWrapper) =>
new_Ljdk_7_internal_7_classfile_7_ClassModel_s_ Java.jdk.internal.classfile.impl.verifier.VerificationWrapper_static.new.this.arg0