Examples of wyil.lang.WyilFile$Block

wyil.lang.WyilFile
A block is an chunk of information within a WyIL file. For example, it might be a declaration for a type, constant, function or method. However, other kinds of block are possible, such as for storing documentation, debug information, etc. @author David J. Pearce

    // 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

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of wyil.lang.WyilFile$Block

com.khorn.terraincontrol.bukkit.BukkitEngine

com.sun.jarsigner.ContentSignerParameters

com.tapestry5book.tlog.core.services.impl.SidebarBlockSourceImpl

fr.neatmonster.nocheatplus.compat.cb2512.MCAccessCB2512

fr.neatmonster.nocheatplus.compat.cb2545.MCAccessCB2545

fr.neatmonster.nocheatplus.compat.cb2602.MCAccessCB2602

fr.neatmonster.nocheatplus.compat.cb2645.MCAccessCB2645

fr.neatmonster.nocheatplus.compat.cb2691.MCAccessCB2691

fr.neatmonster.nocheatplus.compat.cb2763.MCAccessCB2763

fr.neatmonster.nocheatplus.compat.cb2794.MCAccessCB2794

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.