Java/java/util/Stack.fz
# Fuzion interface to instance members of Java instance class 'java.util.Stack'
#
# !!!!!! 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.Stack(redef forbidden void) ref : Java.java.util.Vector(forbidden), fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public boolean java.util.Stack.empty()':
#
public empty bool =>
fuzion.java.call_virtual (bool) "java.util.Stack" "empty" "()Z" Stack.this []
# call Java instance method 'public synchronized java.lang.Object java.util.Stack.peek()':
#
public peek Java.java.lang.Object =>
fuzion.java.call_virtual (Java.java.lang.Object) "java.util.Stack" "peek" "()Ljava/lang/Object;" Stack.this []
# call Java instance method 'public synchronized java.lang.Object java.util.Stack.pop()':
#
public pop Java.java.lang.Object =>
fuzion.java.call_virtual (Java.java.lang.Object) "java.util.Stack" "pop" "()Ljava/lang/Object;" Stack.this []
# call Java instance method 'public java.lang.Object java.util.Stack.push(java.lang.Object)':
#
public push_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.Stack" "push" "(Ljava/lang/Object;)Ljava/lang/Object;" Stack.this [(Java.java.util.Stack.push_Ljava_7_lang_7_Object_s_.this.arg0)]
# call Java instance method 'public synchronized int java.util.Stack.search(java.lang.Object)':
#
public search_Ljava_7_lang_7_Object_s_(arg0 Java.java.lang.Object) i32 =>
fuzion.java.call_virtual (i32) "java.util.Stack" "search" "(Ljava/lang/Object;)I" Stack.this [(Java.java.util.Stack.search_Ljava_7_lang_7_Object_s_.this.arg0)]
# short-hand to call Java method 'public java.lang.Object java.util.Stack.push(java.lang.Object)':
#
public push(arg0 Java.java.lang.Object) (Java.java.lang.Object) =>
push_Ljava_7_lang_7_Object_s_ Java.java.util.Stack.push.this.arg0
# short-hand to call Java method 'public synchronized int java.util.Stack.search(java.lang.Object)':
#
public search(arg0 Java.java.lang.Object) (i32) =>
search_Ljava_7_lang_7_Object_s_ Java.java.util.Stack.search.this.arg0