jif.lang

## Class Capability

- java.lang.Object
- - jif.lang.Capability

-     public final class Capability
      extends java.lang.Object

- - ### Method Summary

    All Methods Static Methods Instance Methods Concrete Methods
    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)`

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