Examples of wycc.util.ResolveError

wycc.util.ResolveError
A resolve error is thrown by the ModuleLoader, when it was unable to resolve a given class or package. This generally indicates some kind of compile time error (e.g. trying to import from module that doesn't exist). However, it could also indicate that the WHILEYPATH is not configured correctly. @author David J. Pearce

        importCache.put(key, matches);
      }


      return matches;
    } catch (Exception e) {
      throw new ResolveError(e.getMessage(), e);
    }
  }

View Full Code Here

0 1

TOP

Related Classes of wycc.util.ResolveError

wyc.builder.CodeGenerator

wyc.builder.FlowTypeChecker

wyc.builder.WhileyBuilder

wycs.builders.Wyal2WycsBuilder

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.