Package wyrl.core

Examples of wyrl.core.SpecFile

86
87
88
89
90
91
92
          decls.add(parseRewriteDecl());
        }
      }
    }

    return new SpecFile(pkg, moduleName(), filename, decls);
  }
View Full Code Here
127
128
129
130
131
132
133
134
135
136
137
    if(!included.contains(incFile)) {
      try {
        SpecLexer lexer = new SpecLexer(incFile);
        SpecParser parser = new SpecParser(incFile, lexer.scan(), included);
        SpecFile sf = parser.parse();
        included.add(incFile);
        return new IncludeDecl(sf, sourceAttr(start,index-1));
      } catch(IOException e) {
        syntaxError(e.getMessage(),token);
      }
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
    }

    for (Decl d : spec.declarations) {
      if (d instanceof IncludeDecl) {
        IncludeDecl id = (IncludeDecl) d;
        SpecFile file = id.file;
        translate(file, root);
      } else if (d instanceof TermDecl) {
        translate((TermDecl) d);
      } else if (d instanceof RewriteDecl) {
        translate((RewriteDecl) d, root);
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
    }

    for (Decl d : spec.declarations) {
      if (d instanceof IncludeDecl) {
        IncludeDecl id = (IncludeDecl) d;
        SpecFile file = id.file;
        translate(file, root);
      } else if (d instanceof TermDecl) {
        translate((TermDecl) d);
      } else if (d instanceof RewriteDecl) {
        translate((RewriteDecl) d, root);
View Full Code Here
77
78
79
80
81
82
83
84
85
86
87
      File sfile = new File(srcdir, sourceFile);
      File ofile = new File(srcdir, outputFile);

      SpecLexer lexer = new SpecLexer(new FileReader(sfile));
      SpecParser parser = new SpecParser(sfile, lexer.scan());
      SpecFile sf = parser.parse();

      int delta = 0;
      for (File dfile : dependencies(sf)) {
        if (dfile.lastModified() > ofile.lastModified()) {
          delta++;
View Full Code Here
TOP

Related Classes of wyrl.core.SpecFile

  • wyrl.io.JavaFileWriter
  • wyrl.io.SpecParser
  • wyrl.util.WyrlAntTask
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.