jif.lang
Class Closure_JIF_IMPL

java.lang.Object
  jif.lang.Closure_JIF_IMPL

public abstract class Closure_JIF_IMPL
extends java.lang.Object

Constructor Summary

Closure_JIF_IMPL()

Method Summary

static Closure	jif$cast$jif_lang_Closure(Principal jif$P, Label jif$L, java.lang.Object o)
static boolean	jif$Instanceof(Principal jif$P, Label jif$L, java.lang.Object o)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Closure_JIF_IMPL

public Closure_JIF_IMPL()

Method Detail

jif$Instanceof

public static boolean jif$Instanceof(Principal jif$P,
                                     Label jif$L,
                                     java.lang.Object o)

jif$cast$jif_lang_Closure

public static Closure jif$cast$jif_lang_Closure(Principal jif$P,
                                                Label jif$L,
                                                java.lang.Object o)