Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD