jif.lang
Class Capability

java.lang.Object
  jif.lang.Capability

public final class Capability
extends java.lang.Object

Method Summary

Closure	getClosure()
java.lang.Object	invoke()
static Capability	jif$cast$jif_lang_Capability(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

Method Detail

getClosure

public Closure getClosure()

invoke

public java.lang.Object invoke()

jif$Instanceof

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

jif$cast$jif_lang_Capability

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