public final class Capability
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
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) |
public Closure getClosure()
public java.lang.Object invoke()
public static boolean jif$Instanceof(Principal jif$P, Label jif$L, java.lang.Object o)
public static Capability jif$cast$jif_lang_Capability(Principal jif$P, Label jif$L, java.lang.Object o)