jif.types

## Interface Path

- All Known Subinterfaces:
    ExceptionPath
  All Known Implementing Classes:
    ExceptionPath_c, GotoPath_c, Path.FixedPath

      public interface Path

  A control flow path.

- - ### Nested Class Summary

    Nested Classes
    Modifier and Type | Interface and Description
    --- | ---
    `static class` | `Path.FixedPath`

  - ### Field Summary

    Fields
    Modifier and Type | Field and Description
    --- | ---
    `static Path` | `N` Normal termination
    `static Path` | `NV` Normal value label
    `static Path` | `R` Return termination

- - ### Field Detail

    - #### N

          static final Path N

      Normal termination

    - #### R

          static final Path R

      Return termination

    - #### NV

          static final Path NV

      Normal value label