Java/java/util/Dictionary.fz

# Fuzion interface to instance members of Java instance class 'java.util.Dictionary'
#
# !!!!!!  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.util.Dictionary(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public abstract java.util.Enumeration java.util.Dictionary.elements()':
  #
  public elements Java.java.util.Enumeration =>
    fuzion.java.call_virtual (Java.java.util.Enumeration) "java.util.Dictionary" "elements" "()Ljava/util/Enumeration;" Dictionary.this []

  # call Java instance method 'public abstract java.lang.Object java.util.Dictionary.get(java.lang.Object)':
  #
  public get_Ljava_7_lang_7_Object_s_(arg0 Java.java.lang.Object) Java.java.lang.Object =>
    fuzion.java.call_virtual (Java.java.lang.Object) "java.util.Dictionary" "get" "(Ljava/lang/Object;)Ljava/lang/Object;" Dictionary.this [(Java.java.util.Dictionary.get_Ljava_7_lang_7_Object_s_.this.arg0)]

  # call Java instance method 'public abstract boolean java.util.Dictionary.isEmpty()':
  #
  public isEmpty bool =>
    fuzion.java.call_virtual (bool) "java.util.Dictionary" "isEmpty" "()Z" Dictionary.this []

  # call Java instance method 'public abstract java.util.Enumeration java.util.Dictionary.keys()':
  #
  public keys Java.java.util.Enumeration =>
    fuzion.java.call_virtual (Java.java.util.Enumeration) "java.util.Dictionary" "keys" "()Ljava/util/Enumeration;" Dictionary.this []

  # call Java instance method 'public abstract java.lang.Object java.util.Dictionary.put(java.lang.Object,java.lang.Object)':
  #
  public put_Ljava_7_lang_7_Object_s_Ljava_7_lang_7_Object_s_(arg0 Java.java.lang.Object, arg1 Java.java.lang.Object) Java.java.lang.Object =>
    fuzion.java.call_virtual (Java.java.lang.Object) "java.util.Dictionary" "put" "(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;" Dictionary.this [(Java.java.util.Dictionary.put_Ljava_7_lang_7_Object_s_Ljava_7_lang_7_Object_s_.this.arg0); (Java.java.util.Dictionary.put_Ljava_7_lang_7_Object_s_Ljava_7_lang_7_Object_s_.this.arg1)]

  # call Java instance method 'public abstract java.lang.Object java.util.Dictionary.remove(java.lang.Object)':
  #
  public remove_Ljava_7_lang_7_Object_s_(arg0 Java.java.lang.Object) Java.java.lang.Object =>
    fuzion.java.call_virtual (Java.java.lang.Object) "java.util.Dictionary" "remove" "(Ljava/lang/Object;)Ljava/lang/Object;" Dictionary.this [(Java.java.util.Dictionary.remove_Ljava_7_lang_7_Object_s_.this.arg0)]

  # call Java instance method 'public abstract int java.util.Dictionary.size()':
  #
  public size i32 =>
    fuzion.java.call_virtual (i32) "java.util.Dictionary" "size" "()I" Dictionary.this []

  # short-hand to call Java method 'public abstract java.lang.Object java.util.Dictionary.get(java.lang.Object)':
  #
  public get(arg0 Java.java.lang.Object) (Java.java.lang.Object) =>
    get_Ljava_7_lang_7_Object_s_ Java.java.util.Dictionary.get.this.arg0

  # short-hand to call Java method 'public abstract java.lang.Object java.util.Dictionary.put(java.lang.Object,java.lang.Object)':
  #
  public put(arg0 Java.java.lang.Object, arg1 Java.java.lang.Object) (Java.java.lang.Object) =>
    put_Ljava_7_lang_7_Object_s_Ljava_7_lang_7_Object_s_ Java.java.util.Dictionary.put.this.arg0 Java.java.util.Dictionary.put.this.arg1

  # short-hand to call Java method 'public abstract java.lang.Object java.util.Dictionary.remove(java.lang.Object)':
  #
  public remove(arg0 Java.java.lang.Object) (Java.java.lang.Object) =>
    remove_Ljava_7_lang_7_Object_s_ Java.java.util.Dictionary.remove.this.arg0