Package org.spoofax.interpreter.terms

Examples of org.spoofax.interpreter.terms.IStrategoTerm

467
468
469
470
471
472
473
474
475
476
477
   *             and Stratego statements.
   * @param sdf result file
   * @throws InvalidParseTableException
   */
  public static IStrategoTerm extractSDF(IStrategoTerm term) throws IOException, InvalidParseTableException {
    IStrategoTerm result = null;
    Context extractContext = SugarJContexts.extractionContext();
    try {
      result = extract_sdf_0_0.instance.invoke(extractContext, term);
    }
    catch (StrategoExit e) {
View Full Code Here
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
    this.environment = environment;
  }

  @Override
  public boolean call(IContext context, Strategy[] svars, IStrategoTerm[] tvars) throws InterpreterException {
    IStrategoTerm generatedModel = context.current();
   
    String modelPath = ATermCommands.getString(tvars[0]);
    RelativePath modelRelativePath = new RelativePath(modelPath);
   
    IStrategoTerm transformationsTerm = tvars[1];
    RelativePath transformationPath = new RelativePath(ATermCommands.getString(transformationsTerm));
   
    RelativePath source = ImportCommands.getTransformedModelSourceFilePath(modelRelativePath, transformationPath, environment);
   
    try {
View Full Code Here
23
24
25
26
27
28
29
30
31
    List<IStrategoTerm> sugaredImportDecls = null; // XXX

    if (sugaredImportDecls == null)
      return false;
   
    IStrategoTerm imports = ATermCommands.makeList("JavaImportDec*", sugaredImportDecls);
    context.setCurrent(imports);
    return true;
  }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
  }

  @Override
  public boolean call(IContext context, Strategy[] svars, IStrategoTerm[] tvars) throws InterpreterException {
    try {
      IStrategoTerm generatedModel = context.current();
     
      if (!ATermCommands.isString(tvars[0]) || !ATermCommands.isString(tvars[1]))
        return false;
     
      String modelPath = ATermCommands.getString(tvars[0]);
      RelativePath modelRelativePath = new RelativePath(modelPath);
     
      IStrategoTerm transformationsTerm = tvars[1];
      RelativePath transformationPath = new RelativePath(ATermCommands.getString(transformationsTerm));
     
      RelativePath source = ImportCommands.getTransformedModelSourceFilePath(modelRelativePath, transformationPath, environment);
     
      try {
View Full Code Here
34
35
36
37
38
39
40
41
42
43
44
45
46
   
    for (Renaming r : renamings) {
      List<IStrategoTerm> qualTerms = new LinkedList<IStrategoTerm>();
      for (String qual : r.pkgs)
        qualTerms.add(ATermCommands.makeString(qual));
      IStrategoTerm quals = ATermCommands.makeList("Qualifiers", qualTerms);
      IStrategoTerm from = ATermCommands.makeString(r.from);
      IStrategoTerm to = ATermCommands.makeString(r.to);
     
      if (!map.containsKey(from))
        map.put(from, to);
      if (!map.containsKey(ATermCommands.makeTuple(quals, from)))
      map.put(ATermCommands.makeTuple(quals, from), to);
View Full Code Here
19
20
21
22
23
24
25
26
27
28
    super("SUGARJ_aterm_to_string", 0, 0);
  }

  @Override
  public boolean call(IContext context, Strategy[] svars, IStrategoTerm[] tvars) throws InterpreterException {
    IStrategoTerm term = context.current();
    String s = term.toString();
    context.setCurrent(ATermCommands.makeString(s));
    return true;
  }
View Full Code Here
28
29
30
31
32
33
34
35
36
    String name = driver.getBaseLanguage().getNamespace();
   
    if (name == null)
      return false;

    IStrategoTerm nameTerm = ATermCommands.makeString(name);
    context.setCurrent(nameTerm);
    return true;
  }
View Full Code Here
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
        // PARSE the next top-level declaration
        lastSugaredToplevelDecl = declProvider.getNextToplevelDecl(true, false);
       
        stepped();
       
        IStrategoTerm analyzed = currentAnalyze(lastSugaredToplevelDecl);
        analyzed = ATermCommands.copyTokens(lastSugaredToplevelDecl, analyzed);
        lastSugaredToplevelDecl = analyzed;
       
        stepped();
       
        // DESUGAR the parsed top-level declaration
        IStrategoTerm desugared = currentDesugar(analyzed);
       
        stepped();
       
        // RENAME the desugared top-level declaration
        IStrategoTerm renamed = currentRename(desugared);
       
        stepped();
       
        // PROCESS the assimilated top-level declaration
        processToplevelDeclaration(renamed);
View Full Code Here
552
553
554
555
556
557
558
559
560
561
562
563
        sugaredBodyDecls.add(lastSugaredToplevelDecl);
      if (!desugaredBodyDecls.contains(toplevelDecl))
        desugaredBodyDecls.add(toplevelDecl);


      IStrategoTerm head = getApplicationSubterm(toplevelDecl, "PlainDec", 0);
      IStrategoTerm body= getApplicationSubterm(toplevelDecl, "PlainDec", 1);
     
      String extName = ATermCommands.getString(getApplicationSubterm(head, "PlainDecHead", 1));
      checkModuleName(extName, toplevelDecl);

      String extension = null;
View Full Code Here
667
668
669
670
671
672
673
674
675
676
677
  public IStrategoTerm currentRename(IStrategoTerm term) throws IOException, InvalidParseTableException, TokenExpectedException, SGLRException {
    try {
      if (currentTransProg == null)
        return term;
     
      IStrategoTerm result = STRCommands.assimilate("apply-renamings", currentTransProg, term, baseProcessor.getInterpreter());
      return result == null ? term : result;
    } catch (StrategoException e) {
      String msg = e.getClass().getName() + " " + e.getLocalizedMessage() != null ? e.getLocalizedMessage() : e.toString();

      log.logErr(msg, Log.DETAIL);
View Full Code Here
TOP

Related Classes of org.spoofax.interpreter.terms.IStrategoTerm

  • org.sugarj.common.ATermCommands
  • org.sugarj.driver.cli.DriverCLI
  • org.sugarj.driver.declprovider.SourceToplevelDeclarationProvider
  • org.sugarj.driver.declprovider.TermToplevelDeclarationProvider
  • org.sugarj.driver.Driver
  • org.sugarj.driver.ImportCommands
  • org.sugarj.driver.SDFCommands
  • org.sugarj.driver.STRCommands
  • org.sugarj.driver.transformations.primitive.ATermToString
  • org.sugarj.driver.transformations.primitive.CompileTransformed
    • 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.