public interface MultiCatch extends Catch
Term.Instance
Modifier and Type | Method and Description |
---|---|
java.util.List<TypeNode> |
alternatives() |
MultiCatch |
alternatives(java.util.List<TypeNode> alternatives) |
exceptions, exceptions, reachable, reachable
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
java.util.List<TypeNode> alternatives()
MultiCatch alternatives(java.util.List<TypeNode> alternatives)