Java/sun/security/util/ECUtil_static.fz

# Fuzion interface to static members of Java class 'sun.security.util.ECUtil'
#
# !!!!!!  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.sun.security.util.ECUtil_static is

  # call Java static method 'public static java.security.interfaces.ECPrivateKey sun.security.util.ECUtil.checkPrivateKey(java.security.interfaces.ECPrivateKey) throws java.security.InvalidKeyException':
  #
  public checkPrivateKey_Ljava_7_security_7_interfaces_7_ECPrivateKey_s_(arg0 Java.java.security.interfaces.ECPrivateKey) outcome (Java.java.security.interfaces.ECPrivateKey) =>
    fuzion.java.call_static (outcome (Java.java.security.interfaces.ECPrivateKey)) "sun.security.util.ECUtil" "checkPrivateKey" "(Ljava/security/interfaces/ECPrivateKey;)Ljava/security/interfaces/ECPrivateKey;" [(Java.sun.security.util.ECUtil_static.checkPrivateKey_Ljava_7_security_7_interfaces_7_ECPrivateKey_s_.this.arg0)]

  # call Java static method 'public static java.security.interfaces.ECPrivateKey sun.security.util.ECUtil.decodePKCS8ECPrivateKey(byte[]) throws java.security.spec.InvalidKeySpecException':
  #
  public decodePKCS8ECPrivateKey__u00005b_B(arg0 Sequence (i8)) outcome (Java.java.security.interfaces.ECPrivateKey) =>
    fuzion.java.call_static (outcome (Java.java.security.interfaces.ECPrivateKey)) "sun.security.util.ECUtil" "decodePKCS8ECPrivateKey" "([B)Ljava/security/interfaces/ECPrivateKey;" [(fuzion.java.array_to_java_object (i8) Java.sun.security.util.ECUtil_static.decodePKCS8ECPrivateKey__u00005b_B.this.arg0)]

  # call Java static method 'public static java.security.spec.ECPoint sun.security.util.ECUtil.decodePoint(byte[],java.security.spec.EllipticCurve) throws java.io.IOException':
  #
  public decodePoint__u00005b_BLjava_7_security_7_spec_7_EllipticCurve_s_(arg0 Sequence (i8), arg1 Java.java.security.spec.EllipticCurve) outcome (Java.java.security.spec.ECPoint) =>
    fuzion.java.call_static (outcome (Java.java.security.spec.ECPoint)) "sun.security.util.ECUtil" "decodePoint" "([BLjava/security/spec/EllipticCurve;)Ljava/security/spec/ECPoint;" [(fuzion.java.array_to_java_object (i8) Java.sun.security.util.ECUtil_static.decodePoint__u00005b_BLjava_7_security_7_spec_7_EllipticCurve_s_.this.arg0); (Java.sun.security.util.ECUtil_static.decodePoint__u00005b_BLjava_7_security_7_spec_7_EllipticCurve_s_.this.arg1)]

  # call Java static method 'public static byte[] sun.security.util.ECUtil.decodeSignature(byte[]) throws java.security.SignatureException':
  #
  public decodeSignature__u00005b_B(arg0 Sequence (i8)) outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_static (outcome (fuzion.java.Array (i8))) "sun.security.util.ECUtil" "decodeSignature" "([B)[B" [(fuzion.java.array_to_java_object (i8) Java.sun.security.util.ECUtil_static.decodeSignature__u00005b_B.this.arg0)]

  # call Java static method 'public static java.security.interfaces.ECPublicKey sun.security.util.ECUtil.decodeX509ECPublicKey(byte[]) throws java.security.spec.InvalidKeySpecException':
  #
  public decodeX509ECPublicKey__u00005b_B(arg0 Sequence (i8)) outcome (Java.java.security.interfaces.ECPublicKey) =>
    fuzion.java.call_static (outcome (Java.java.security.interfaces.ECPublicKey)) "sun.security.util.ECUtil" "decodeX509ECPublicKey" "([B)Ljava/security/interfaces/ECPublicKey;" [(fuzion.java.array_to_java_object (i8) Java.sun.security.util.ECUtil_static.decodeX509ECPublicKey__u00005b_B.this.arg0)]

  # call Java static method 'public static byte[] sun.security.util.ECUtil.encodeECParameterSpec(java.security.Provider,java.security.spec.ECParameterSpec)':
  #
  public encodeECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_(arg0 Java.java.security.Provider, arg1 Java.java.security.spec.ECParameterSpec) fuzion.java.Array (i8) =>
    fuzion.java.call_static (fuzion.java.Array (i8)) "sun.security.util.ECUtil" "encodeECParameterSpec" "(Ljava/security/Provider;Ljava/security/spec/ECParameterSpec;)[B" [(Java.sun.security.util.ECUtil_static.encodeECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg0); (Java.sun.security.util.ECUtil_static.encodeECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg1)]

  # call Java static method 'public static byte[] sun.security.util.ECUtil.encodePoint(java.security.spec.ECPoint,java.security.spec.EllipticCurve)':
  #
  public encodePoint_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_EllipticCurve_s_(arg0 Java.java.security.spec.ECPoint, arg1 Java.java.security.spec.EllipticCurve) fuzion.java.Array (i8) =>
    fuzion.java.call_static (fuzion.java.Array (i8)) "sun.security.util.ECUtil" "encodePoint" "(Ljava/security/spec/ECPoint;Ljava/security/spec/EllipticCurve;)[B" [(Java.sun.security.util.ECUtil_static.encodePoint_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_EllipticCurve_s_.this.arg0); (Java.sun.security.util.ECUtil_static.encodePoint_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_EllipticCurve_s_.this.arg1)]

  # call Java static method 'public static byte[] sun.security.util.ECUtil.encodeSignature(byte[]) throws java.security.SignatureException':
  #
  public encodeSignature__u00005b_B(arg0 Sequence (i8)) outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_static (outcome (fuzion.java.Array (i8))) "sun.security.util.ECUtil" "encodeSignature" "([B)[B" [(fuzion.java.array_to_java_object (i8) Java.sun.security.util.ECUtil_static.encodeSignature__u00005b_B.this.arg0)]

  # call Java static method 'public static boolean sun.security.util.ECUtil.equals(java.security.spec.ECParameterSpec,java.security.spec.ECParameterSpec)':
  #
  public equals_Ljava_7_security_7_spec_7_ECParameterSpec_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_(arg0 Java.java.security.spec.ECParameterSpec, arg1 Java.java.security.spec.ECParameterSpec) bool =>
    fuzion.java.call_static (bool) "sun.security.util.ECUtil" "equals" "(Ljava/security/spec/ECParameterSpec;Ljava/security/spec/ECParameterSpec;)Z" [(Java.sun.security.util.ECUtil_static.equals_Ljava_7_security_7_spec_7_ECParameterSpec_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg0); (Java.sun.security.util.ECUtil_static.equals_Ljava_7_security_7_spec_7_ECParameterSpec_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg1)]

  # call Java static method 'public static java.security.interfaces.ECPrivateKey sun.security.util.ECUtil.generateECPrivateKey(java.math.BigInteger,java.security.spec.ECParameterSpec) throws java.security.spec.InvalidKeySpecException':
  #
  public generateECPrivateKey_Ljava_7_math_7_BigInteger_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_(arg0 Java.java.math.BigInteger, arg1 Java.java.security.spec.ECParameterSpec) outcome (Java.java.security.interfaces.ECPrivateKey) =>
    fuzion.java.call_static (outcome (Java.java.security.interfaces.ECPrivateKey)) "sun.security.util.ECUtil" "generateECPrivateKey" "(Ljava/math/BigInteger;Ljava/security/spec/ECParameterSpec;)Ljava/security/interfaces/ECPrivateKey;" [(Java.sun.security.util.ECUtil_static.generateECPrivateKey_Ljava_7_math_7_BigInteger_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg0); (Java.sun.security.util.ECUtil_static.generateECPrivateKey_Ljava_7_math_7_BigInteger_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg1)]

  # call Java static method 'public static java.lang.String sun.security.util.ECUtil.getCurveName(java.security.Provider,java.security.spec.ECParameterSpec)':
  #
  public getCurveName_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_(arg0 Java.java.security.Provider, arg1 Java.java.security.spec.ECParameterSpec) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "sun.security.util.ECUtil" "getCurveName" "(Ljava/security/Provider;Ljava/security/spec/ECParameterSpec;)Ljava/lang/String;" [(Java.sun.security.util.ECUtil_static.getCurveName_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg0); (Java.sun.security.util.ECUtil_static.getCurveName_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg1)]

  # call Java static method 'public static java.security.spec.ECParameterSpec sun.security.util.ECUtil.getECParameterSpec(java.security.Provider,int)':
  #
  public getECParameterSpec_Ljava_7_security_7_Provider_s_I(arg0 Java.java.security.Provider, arg1 i32) Java.java.security.spec.ECParameterSpec =>
    fuzion.java.call_static (Java.java.security.spec.ECParameterSpec) "sun.security.util.ECUtil" "getECParameterSpec" "(Ljava/security/Provider;I)Ljava/security/spec/ECParameterSpec;" [(Java.sun.security.util.ECUtil_static.getECParameterSpec_Ljava_7_security_7_Provider_s_I.this.arg0); (fuzion.java.i32_to_java_object Java.sun.security.util.ECUtil_static.getECParameterSpec_Ljava_7_security_7_Provider_s_I.this.arg1)]

  # call Java static method 'public static java.security.spec.ECParameterSpec sun.security.util.ECUtil.getECParameterSpec(java.security.Provider,java.lang.String)':
  #
  public getECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_lang_7_String_s_(arg0 Java.java.security.Provider, arg1 String) Java.java.security.spec.ECParameterSpec =>
    fuzion.java.call_static (Java.java.security.spec.ECParameterSpec) "sun.security.util.ECUtil" "getECParameterSpec" "(Ljava/security/Provider;Ljava/lang/String;)Ljava/security/spec/ECParameterSpec;" [(Java.sun.security.util.ECUtil_static.getECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.sun.security.util.ECUtil_static.getECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java static method 'public static java.security.spec.ECParameterSpec sun.security.util.ECUtil.getECParameterSpec(java.security.Provider,java.security.spec.ECParameterSpec)':
  #
  public getECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_(arg0 Java.java.security.Provider, arg1 Java.java.security.spec.ECParameterSpec) Java.java.security.spec.ECParameterSpec =>
    fuzion.java.call_static (Java.java.security.spec.ECParameterSpec) "sun.security.util.ECUtil" "getECParameterSpec" "(Ljava/security/Provider;Ljava/security/spec/ECParameterSpec;)Ljava/security/spec/ECParameterSpec;" [(Java.sun.security.util.ECUtil_static.getECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg0); (Java.sun.security.util.ECUtil_static.getECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg1)]

  # call Java static method 'public static java.security.spec.ECParameterSpec sun.security.util.ECUtil.getECParameterSpec(java.security.Provider,byte[]) throws java.io.IOException':
  #
  public getECParameterSpec_Ljava_7_security_7_Provider_s__u00005b_B(arg0 Java.java.security.Provider, arg1 Sequence (i8)) outcome (Java.java.security.spec.ECParameterSpec) =>
    fuzion.java.call_static (outcome (Java.java.security.spec.ECParameterSpec)) "sun.security.util.ECUtil" "getECParameterSpec" "(Ljava/security/Provider;[B)Ljava/security/spec/ECParameterSpec;" [(Java.sun.security.util.ECUtil_static.getECParameterSpec_Ljava_7_security_7_Provider_s__u00005b_B.this.arg0); (fuzion.java.array_to_java_object (i8) Java.sun.security.util.ECUtil_static.getECParameterSpec_Ljava_7_security_7_Provider_s__u00005b_B.this.arg1)]

  # call Java static method 'public static java.security.AlgorithmParameters sun.security.util.ECUtil.getECParameters(java.security.Provider)':
  #
  public getECParameters_Ljava_7_security_7_Provider_s_(arg0 Java.java.security.Provider) Java.java.security.AlgorithmParameters =>
    fuzion.java.call_static (Java.java.security.AlgorithmParameters) "sun.security.util.ECUtil" "getECParameters" "(Ljava/security/Provider;)Ljava/security/AlgorithmParameters;" [(Java.sun.security.util.ECUtil_static.getECParameters_Ljava_7_security_7_Provider_s_.this.arg0)]

  # call Java static method 'public static byte[] sun.security.util.ECUtil.sArray(java.math.BigInteger,java.security.spec.ECParameterSpec)':
  #
  public sArray_Ljava_7_math_7_BigInteger_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_(arg0 Java.java.math.BigInteger, arg1 Java.java.security.spec.ECParameterSpec) fuzion.java.Array (i8) =>
    fuzion.java.call_static (fuzion.java.Array (i8)) "sun.security.util.ECUtil" "sArray" "(Ljava/math/BigInteger;Ljava/security/spec/ECParameterSpec;)[B" [(Java.sun.security.util.ECUtil_static.sArray_Ljava_7_math_7_BigInteger_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg0); (Java.sun.security.util.ECUtil_static.sArray_Ljava_7_math_7_BigInteger_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg1)]

  # call Java static method 'public static byte[] sun.security.util.ECUtil.trimZeroes(byte[])':
  #
  public trimZeroes__u00005b_B(arg0 Sequence (i8)) fuzion.java.Array (i8) =>
    fuzion.java.call_static (fuzion.java.Array (i8)) "sun.security.util.ECUtil" "trimZeroes" "([B)[B" [(fuzion.java.array_to_java_object (i8) Java.sun.security.util.ECUtil_static.trimZeroes__u00005b_B.this.arg0)]

  # call Java static method 'public static void sun.security.util.ECUtil.validatePublicKey(java.security.spec.ECPoint,java.security.spec.ECParameterSpec) throws java.security.InvalidKeyException':
  #
  public validatePublicKey_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_(arg0 Java.java.security.spec.ECPoint, arg1 Java.java.security.spec.ECParameterSpec) outcome (unit) =>
    fuzion.java.call_static (outcome (unit)) "sun.security.util.ECUtil" "validatePublicKey" "(Ljava/security/spec/ECPoint;Ljava/security/spec/ECParameterSpec;)V" [(Java.sun.security.util.ECUtil_static.validatePublicKey_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg0); (Java.sun.security.util.ECUtil_static.validatePublicKey_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg1)]

  # call Java static method 'public static byte[] sun.security.util.ECUtil.x509EncodeECPublicKey(java.security.spec.ECPoint,java.security.spec.ECParameterSpec) throws java.security.spec.InvalidKeySpecException':
  #
  public x509EncodeECPublicKey_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_(arg0 Java.java.security.spec.ECPoint, arg1 Java.java.security.spec.ECParameterSpec) outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_static (outcome (fuzion.java.Array (i8))) "sun.security.util.ECUtil" "x509EncodeECPublicKey" "(Ljava/security/spec/ECPoint;Ljava/security/spec/ECParameterSpec;)[B" [(Java.sun.security.util.ECUtil_static.x509EncodeECPublicKey_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg0); (Java.sun.security.util.ECUtil_static.x509EncodeECPublicKey_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_.this.arg1)]

  # short-hand to call Java method 'public static java.security.interfaces.ECPrivateKey sun.security.util.ECUtil.checkPrivateKey(java.security.interfaces.ECPrivateKey) throws java.security.InvalidKeyException':
  #
  public checkPrivateKey(arg0 Java.java.security.interfaces.ECPrivateKey) (outcome (Java.java.security.interfaces.ECPrivateKey)) =>
    checkPrivateKey_Ljava_7_security_7_interfaces_7_ECPrivateKey_s_ Java.sun.security.util.ECUtil_static.checkPrivateKey.this.arg0

  # short-hand to call Java method 'public static java.security.interfaces.ECPrivateKey sun.security.util.ECUtil.decodePKCS8ECPrivateKey(byte[]) throws java.security.spec.InvalidKeySpecException':
  #
  public decodePKCS8ECPrivateKey(arg0 Sequence (i8)) (outcome (Java.java.security.interfaces.ECPrivateKey)) =>
    decodePKCS8ECPrivateKey__u00005b_B Java.sun.security.util.ECUtil_static.decodePKCS8ECPrivateKey.this.arg0

  # short-hand to call Java method 'public static java.security.spec.ECPoint sun.security.util.ECUtil.decodePoint(byte[],java.security.spec.EllipticCurve) throws java.io.IOException':
  #
  public decodePoint(arg0 Sequence (i8), arg1 Java.java.security.spec.EllipticCurve) (outcome (Java.java.security.spec.ECPoint)) =>
    decodePoint__u00005b_BLjava_7_security_7_spec_7_EllipticCurve_s_ Java.sun.security.util.ECUtil_static.decodePoint.this.arg0 Java.sun.security.util.ECUtil_static.decodePoint.this.arg1

  # short-hand to call Java method 'public static byte[] sun.security.util.ECUtil.decodeSignature(byte[]) throws java.security.SignatureException':
  #
  public decodeSignature(arg0 Sequence (i8)) (outcome (fuzion.java.Array (i8))) =>
    decodeSignature__u00005b_B Java.sun.security.util.ECUtil_static.decodeSignature.this.arg0

  # short-hand to call Java method 'public static java.security.interfaces.ECPublicKey sun.security.util.ECUtil.decodeX509ECPublicKey(byte[]) throws java.security.spec.InvalidKeySpecException':
  #
  public decodeX509ECPublicKey(arg0 Sequence (i8)) (outcome (Java.java.security.interfaces.ECPublicKey)) =>
    decodeX509ECPublicKey__u00005b_B Java.sun.security.util.ECUtil_static.decodeX509ECPublicKey.this.arg0

  # short-hand to call Java method 'public static byte[] sun.security.util.ECUtil.encodeECParameterSpec(java.security.Provider,java.security.spec.ECParameterSpec)':
  #
  public encodeECParameterSpec(arg0 Java.java.security.Provider, arg1 Java.java.security.spec.ECParameterSpec) (fuzion.java.Array (i8)) =>
    encodeECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_ Java.sun.security.util.ECUtil_static.encodeECParameterSpec.this.arg0 Java.sun.security.util.ECUtil_static.encodeECParameterSpec.this.arg1

  # short-hand to call Java method 'public static byte[] sun.security.util.ECUtil.encodePoint(java.security.spec.ECPoint,java.security.spec.EllipticCurve)':
  #
  public encodePoint(arg0 Java.java.security.spec.ECPoint, arg1 Java.java.security.spec.EllipticCurve) (fuzion.java.Array (i8)) =>
    encodePoint_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_EllipticCurve_s_ Java.sun.security.util.ECUtil_static.encodePoint.this.arg0 Java.sun.security.util.ECUtil_static.encodePoint.this.arg1

  # short-hand to call Java method 'public static byte[] sun.security.util.ECUtil.encodeSignature(byte[]) throws java.security.SignatureException':
  #
  public encodeSignature(arg0 Sequence (i8)) (outcome (fuzion.java.Array (i8))) =>
    encodeSignature__u00005b_B Java.sun.security.util.ECUtil_static.encodeSignature.this.arg0

  # short-hand to call Java method 'public static boolean sun.security.util.ECUtil.equals(java.security.spec.ECParameterSpec,java.security.spec.ECParameterSpec)':
  #
  public equals(arg0 Java.java.security.spec.ECParameterSpec, arg1 Java.java.security.spec.ECParameterSpec) (bool) =>
    equals_Ljava_7_security_7_spec_7_ECParameterSpec_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_ Java.sun.security.util.ECUtil_static.equals.this.arg0 Java.sun.security.util.ECUtil_static.equals.this.arg1

  # short-hand to call Java method 'public static java.security.interfaces.ECPrivateKey sun.security.util.ECUtil.generateECPrivateKey(java.math.BigInteger,java.security.spec.ECParameterSpec) throws java.security.spec.InvalidKeySpecException':
  #
  public generateECPrivateKey(arg0 Java.java.math.BigInteger, arg1 Java.java.security.spec.ECParameterSpec) (outcome (Java.java.security.interfaces.ECPrivateKey)) =>
    generateECPrivateKey_Ljava_7_math_7_BigInteger_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_ Java.sun.security.util.ECUtil_static.generateECPrivateKey.this.arg0 Java.sun.security.util.ECUtil_static.generateECPrivateKey.this.arg1

  # short-hand to call Java method 'public static java.lang.String sun.security.util.ECUtil.getCurveName(java.security.Provider,java.security.spec.ECParameterSpec)':
  #
  public getCurveName(arg0 Java.java.security.Provider, arg1 Java.java.security.spec.ECParameterSpec) (Java.java.lang.__jString) =>
    getCurveName_Ljava_7_security_7_Provider_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_ Java.sun.security.util.ECUtil_static.getCurveName.this.arg0 Java.sun.security.util.ECUtil_static.getCurveName.this.arg1

  # short-hand to call Java method 'public static java.security.spec.ECParameterSpec sun.security.util.ECUtil.getECParameterSpec(java.security.Provider,java.lang.String)':
  #
  public getECParameterSpec(arg0 Java.java.security.Provider, arg1 String) (Java.java.security.spec.ECParameterSpec) =>
    getECParameterSpec_Ljava_7_security_7_Provider_s_Ljava_7_lang_7_String_s_ Java.sun.security.util.ECUtil_static.getECParameterSpec.this.arg0 Java.sun.security.util.ECUtil_static.getECParameterSpec.this.arg1

  # short-hand to call Java method 'public static java.security.AlgorithmParameters sun.security.util.ECUtil.getECParameters(java.security.Provider)':
  #
  public getECParameters(arg0 Java.java.security.Provider) (Java.java.security.AlgorithmParameters) =>
    getECParameters_Ljava_7_security_7_Provider_s_ Java.sun.security.util.ECUtil_static.getECParameters.this.arg0

  # short-hand to call Java method 'public static byte[] sun.security.util.ECUtil.sArray(java.math.BigInteger,java.security.spec.ECParameterSpec)':
  #
  public sArray(arg0 Java.java.math.BigInteger, arg1 Java.java.security.spec.ECParameterSpec) (fuzion.java.Array (i8)) =>
    sArray_Ljava_7_math_7_BigInteger_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_ Java.sun.security.util.ECUtil_static.sArray.this.arg0 Java.sun.security.util.ECUtil_static.sArray.this.arg1

  # short-hand to call Java method 'public static byte[] sun.security.util.ECUtil.trimZeroes(byte[])':
  #
  public trimZeroes(arg0 Sequence (i8)) (fuzion.java.Array (i8)) =>
    trimZeroes__u00005b_B Java.sun.security.util.ECUtil_static.trimZeroes.this.arg0

  # short-hand to call Java method 'public static void sun.security.util.ECUtil.validatePublicKey(java.security.spec.ECPoint,java.security.spec.ECParameterSpec) throws java.security.InvalidKeyException':
  #
  public validatePublicKey(arg0 Java.java.security.spec.ECPoint, arg1 Java.java.security.spec.ECParameterSpec) (outcome (unit)) =>
    validatePublicKey_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_ Java.sun.security.util.ECUtil_static.validatePublicKey.this.arg0 Java.sun.security.util.ECUtil_static.validatePublicKey.this.arg1

  # short-hand to call Java method 'public static byte[] sun.security.util.ECUtil.x509EncodeECPublicKey(java.security.spec.ECPoint,java.security.spec.ECParameterSpec) throws java.security.spec.InvalidKeySpecException':
  #
  public x509EncodeECPublicKey(arg0 Java.java.security.spec.ECPoint, arg1 Java.java.security.spec.ECParameterSpec) (outcome (fuzion.java.Array (i8))) =>
    x509EncodeECPublicKey_Ljava_7_security_7_spec_7_ECPoint_s_Ljava_7_security_7_spec_7_ECParameterSpec_s_ Java.sun.security.util.ECUtil_static.x509EncodeECPublicKey.this.arg0 Java.sun.security.util.ECUtil_static.x509EncodeECPublicKey.this.arg1