Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
javafe.filespace.Resolve_Result

Packages that use Resolve_Result
javafe.filespace |

Uses of Resolve_Result in javafe.filespace

Methods in javafe.filespace that return Resolve_Result
`static Resolve_Result` | `Resolve.lookup(Tree filespace, java.lang.String[] identifier)` Lookup a multi-part identifier in a Java filespace in the same way that the Java compiler does so.
`static Resolve_Result` | `Resolve.lookupName(Tree filespace, java.lang.String identifier)` Do a lookup using the result of parseIdentifier extended to allow '$' as an additional separator.
`static Resolve_Result` | `Resolve.lookupName(java.lang.String identifier)` Convenience function: do a lookupName using the current namespace
`static Resolve_Result` | `Resolve.ensureUnit(Resolve_Result answer)` Check the result of a lookup to ensure that it refers to an (inner) reference type or a package.
`static Resolve_Result` | `Resolve.ensureType(Resolve_Result answer)` Check the result of a lookup to ensure that it refers to an (inner) reference type.

Methods in javafe.filespace with parameters of type Resolve_Result
`static Resolve_Result` | `Resolve.ensureUnit(Resolve_Result answer)` Check the result of a lookup to ensure that it refers to an (inner) reference type or a package.
`static Resolve_Result` | `Resolve.ensureType(Resolve_Result answer)` Check the result of a lookup to ensure that it refers to an (inner) reference type.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage