jif.types
Interface ExceptionPath

All Superinterfaces:

Path

All Known Implementing Classes:

ExceptionPath_c

public interface ExceptionPath
extends Path

The control flow path introduced by throwing a exception.

Nested Class Summary

Nested classes/interfaces inherited from interface jif.types.Path

Path.FixedPath

Field Summary

Fields inherited from interface jif.types.Path

N, NV, R

Method Summary

polyglot.types.Type

exception()

Method Detail

exception

polyglot.types.Type exception()