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

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.
 


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

The ESC/Java2 Project Homepage