public interface TryWithResources extends Try
Term.Instance
Modifier and Type | Method and Description |
---|---|
java.util.List<LocalDecl> |
resources() |
TryWithResources |
resources(java.util.List<LocalDecl> resources) |
catchBlocks, catchBlocks, finallyBlock, finallyBlock, tryBlock, tryBlock
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<LocalDecl> resources()
TryWithResources resources(java.util.List<LocalDecl> resources)