Examples of wyil.lang.WyilFile

wyil.lang.WyilFile

Provides an in-memory representation of a binary WyIL file. This is an Intermediate Representation of Whiley (and potentially other) files, where all aspects of name resolution and type checking are already resolved. Furthermore, the Whiley Intermediate Language (WyIL) is a low-level, register-based bytecode format where control-flow constructs are flattened into unstructured control flow using conditional and unconditional branching.

The purpose of the WyIL file format is to simply the construction of back-ends for the Whiley compiler, as well as simplifying the process of name and type resolution in libraries. The format achieves a similar goal to that Java ClassFile format, except that it is geared towards Whiley rather than Java.
@author David J. Pearce

              }
            }
          }
        }
      } else {
        WyilFile m = builder.getModule(candidateID.module());
        WyilFile.FunctionOrMethodDeclaration d = m.functionOrMethod(
            candidateID.name(), candidateType.raw());
        if (!d.hasModifier(Modifier.PUBLIC)
            && !d.hasModifier(Modifier.PROTECTED)) {
          String msg = candidateID.module() + "." + name
              + parameterString(parameters) + " is not visible";

View Full Code Here

          candidates.add(new Pair<NameID, Nominal.FunctionOrMethod>(
              nid, ft));
        }
      }
    } else {
      WyilFile m = builder.getModule(mid);
      for (WyilFile.FunctionOrMethodDeclaration mm : m.functionOrMethods()) {
        if ((mm.isFunction() || mm.isMethod())
            && mm.name().equals(nid.name())
            && (nparams == -1 || mm.type().params().size() == nparams)) {
          // FIXME: loss of nominal information

View Full Code Here

    // check whether this type is external or not
    WhileyFile wf = builder.getSourceFile(key.module());
    if (wf == null) {
      // indicates a non-local key which we can resolve immediately


      WyilFile mi = builder.getModule(key.module());
      WyilFile.TypeDeclaration td = mi.type(key.name());
      return append(td.type(), states);
    }


    WhileyFile.Type td = wf.typeDecl(key.name());
    if (td == null) {

View Full Code Here

        result = cd.resolvedValue;
      } else {
        throw new ResolveError("unable to find constant " + key);
      }
    } else {
      WyilFile module = builder.getModule(key.module());
      WyilFile.ConstantDeclaration cd = module.constant(key.name());
      if (cd != null) {
        result = cd.constant();
      } else {
        throw new ResolveError("unable to find constant " + key);
      }

View Full Code Here

      // file directly.


      // we have to do the following basically because we don't load
      // modifiers properly out of jvm class files (at the moment).
      // return false;
      WyilFile w = builder.getModule(mid);
      List<WyilFile.Block> blocks = w.blocks();
      for (int i = 0; i != blocks.size(); ++i) {
        WyilFile.Block d = blocks.get(i);
        if (d instanceof WyilFile.Declaration) {
          WyilFile.Declaration nd = (WyilFile.Declaration) d;
          return nd != null && nd.hasModifier(modifier);

View Full Code Here

          WhileyFile.Type td = (WhileyFile.Type) decl;
          r = resolveAsType(td.pattern.toSyntacticType(), td)
              .nominal();
        }
      } else {
        WyilFile m = builder.getModule(mid);
        WyilFile.TypeDeclaration td = m.type(nid.name());
        if (td != null) {
          r = td.type();
        }
      }
      if (r == null) {

View Full Code Here

  }


  public static void main(String[] args) {
    boolean verbose = true;
    try {
      WyilFile wf = new WyilFileReader(args[0]).read();
      new WyilFilePrinter(System.out).apply(wf);
    } catch (InternalFailure e) {
      e.outputSourceError(System.err);
      if(verbose) {
        e.printStackTrace(errout);

View Full Code Here

TOP

Related Classes of wyil.lang.WyilFile

wyc.builder.FlowTypeChecker

wyil.Main

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.