Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.IConstructor

461
462
463
464
465
466
467
468
469
470
471
472
473
474
     return (IConstructor) module.accept(new IdentityTreeVisitor<ImplementationError>() {
       final IValueFactory vf = eval.getValueFactory();
      
       @Override
       public IConstructor visitTreeAppl(IConstructor tree)  {
         IConstructor pattern = getConcretePattern(tree);
        
         if (pattern != null) {
           IConstructor parsedFragment = parseFragment(eval, env, (IConstructor) TreeAdapter.getArgs(tree).get(0), location);
           return TreeAdapter.setArgs(tree, vf.list(parsedFragment));
         }
         else {
           IListWriter w = vf.listWriter();
           IList args = TreeAdapter.getArgs(tree);
View Full Code Here
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
      throw new ImplementationError(e.getMessage(), e);
    }
  }
 
  private static IConstructor parseFragment(IEvaluator<Result<IValue>> eval, ModuleEnvironment env, IConstructor tree, URI uri) {
    IConstructor symTree = TreeAdapter.getArg(tree, "symbol");
    IConstructor lit = TreeAdapter.getArg(tree, "parts");
    Map<String, IConstructor> antiquotes = new HashMap<String,IConstructor>();
   
    IGTD<IConstructor, IConstructor, ISourceLocation> parser = env.getBootstrap() ? new RascalParser() : getParser(eval, env, TreeAdapter.getLocation(tree).getURI(), false);
   
    try {
      String parserMethodName = eval.getParserGenerator().getParserMethodName(symTree);
      DefaultNodeFlattener<IConstructor, IConstructor, ISourceLocation> converter = new DefaultNodeFlattener<IConstructor, IConstructor, ISourceLocation>();
      UPTRNodeFactory nodeFactory = new UPTRNodeFactory();
   
      char[] input = replaceAntiQuotesByHoles(eval, lit, antiquotes);
     
      IConstructor fragment = (IConstructor) parser.parse(parserMethodName, uri, input, converter, nodeFactory);
      fragment = replaceHolesByAntiQuotes(eval, fragment, antiquotes);

      IConstructor prod = TreeAdapter.getProduction(tree);
      IConstructor sym = ProductionAdapter.getDefined(prod);
      sym = SymbolAdapter.delabel(sym);
      IValueFactory vf = eval.getValueFactory();
      prod = ProductionAdapter.setDefined(prod, vf.constructor(Factory.Symbol_Label, vf.string("$parsed"), sym));
      return TreeAdapter.setProduction(TreeAdapter.setArg(tree, "parts", fragment), prod);
    }
View Full Code Here
593
594
595
596
597
598
599
600
601
602
603
  private static char[] replaceAntiQuotesByHoles(IEvaluator<Result<IValue>> eval, IConstructor lit, Map<String, IConstructor> antiquotes) {
    IList parts = TreeAdapter.getArgs(lit);
    StringBuilder b = new StringBuilder();
   
    for (IValue elem : parts) {
      IConstructor part = (IConstructor) elem;
      String cons = TreeAdapter.getConstructorName(part);
     
      if (cons.equals("text")) {
        b.append(TreeAdapter.yield(part));
      }
View Full Code Here
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
            args = w.done();
           
            return TreeAdapter.setArgs(tree, args);
          }
         
          IConstructor type = retrieveHoleType(tree);
          return antiquotes.get(TreeAdapter.yield(tree)).asAnnotatable().setAnnotation("holeType", type);
        }
       
        private IConstructor retrieveHoleType(IConstructor tree) {
          IConstructor prod = TreeAdapter.getProduction(tree);
          ISet attrs = ProductionAdapter.getAttributes(prod);

          for (IValue attr : attrs) {
            if (((IConstructor) attr).getConstructorType() == Factory.Attr_Tag) {
              IValue arg = ((IConstructor) attr).get(0);
View Full Code Here
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
    }
    return new Document(nodeToElement(node));
  }

  private Element nodeToElement(IConstructor elt) {
    IConstructor ns = (IConstructor) elt.get(0);
    IString name = (IString) elt.get(1);
    IList kids = (IList) elt.get(2);
    Element e = new Element(name.getValue(), namespaceToNamespace(ns));
    for (IValue k: kids) {
      IConstructor n = (IConstructor) k;
      if (n.getConstructorType() == Factory.Node_attribute) {
        e.setAttribute(nodeToAttribute(n));
      }
      else {
        e.addContent(nodeToContent(n));
      }
View Full Code Here
156
157
158
159
160
161
162
163
164
165
    wellformednessError();
    return null;
  }

  private Attribute nodeToAttribute(IConstructor n) {
    IConstructor ns = (IConstructor) n.get(0);
    IString name = (IString) n.get(1);
    IString data = (IString) n.get(2);
    return new Attribute(name.getValue(), data.getValue(), namespaceToNamespace(ns));
  }
View Full Code Here
177
178
179
180
181
182
183
184
    throw new RuntimeException("Nonwellformed XML node (TODO: make Rascal runtime exception)");
  }

 
  private IConstructor convertDocument(Document doc, boolean trim) {
    IConstructor root = convertElement(doc.getRootElement(), trim);
    return vf.constructor(Factory.Node_document, root);
  }
View Full Code Here
211
212
213
214
215
216
217
218
    if (ns == Namespace.NO_NAMESPACE) {
      return vf.constructor(Factory.Namespace_none);
    }
    IString prefix = vf.string(ns.getPrefix());
    IString uri = vf.string(ns.getURI());
    IConstructor nscon = vf.constructor(Factory.Namespace_namespace, prefix, uri);
    return nscon;
  }
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
      String filename = ((IString) loc.get("filename")).getValue();
      return factory.sourceLocation(filename, 0, 0,
          0, 0, 0, 0);
    } else if (type == Location_Area) {
      String filename = "/";
      IConstructor area = (IConstructor) loc.get("area");
      if (area.getConstructorType() == Area_Area) {
        int offset = ((IInteger) area.get("offset")).intValue();
        int startLine = ((IInteger) area.get("beginLine")).intValue();
        int endLine = ((IInteger) area.get("endLine")).intValue();
        int startCol = ((IInteger) area.get("beginColumn")).intValue();
        int endCol = ((IInteger) area.get("endColumn")).intValue();
        int length = ((IInteger) area.get("length")).intValue();

        return factory.sourceLocation(filename,
            offset, length, startLine, endLine, startCol, endCol);
      }
      throw new UnexpectedConstructorTypeException(Area, area.getType());
    } else if (type == Location_AreaInFile) {
      String filename = ((IString) loc.get("filename")).getValue();
      IConstructor area = (IConstructor) loc.get("area");
      if (area.getConstructorType() == Area_Area) {
        int offset = ((IInteger) area.get("offset")).intValue();
        int startLine = ((IInteger) area.get("beginLine")).intValue();
        int endLine = ((IInteger) area.get("endLine")).intValue();
        int startCol = ((IInteger) area.get("beginColumn")).intValue();
        int endCol = ((IInteger) area.get("endColumn")).intValue();
        int length = ((IInteger) area.get("length")).intValue();

        return factory.sourceLocation(filename,
            offset, length, startLine, endLine, startCol, endCol);
      }

      throw new UnexpectedConstructorTypeException(Area, area.getType());

    }

    throw new UnexpectedConstructorTypeException(Location, type);
  }
View Full Code Here
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
    if (isConditional(symbol)) {
      ISet conditions = getConditions(symbol);
      StringBuilder b = new StringBuilder();
      // first prefix conditions
      for (IValue elem : conditions) {
        IConstructor cond = (IConstructor) elem;
        switch (cond.getConstructorType().getName()) {
        case "precede":
          b.append(toString((IConstructor) cond.get("symbol"), withLayout));
          b.append(" << ");
          break;
        case "not-precede":
          b.append(toString((IConstructor) cond.get("symbol"), withLayout));
          b.append(" !<< ");
          break;
        case "begin-of-line":
          b.append("^ ");
          break;
        }
      }
      // then the symbol
      b.append(toString(getSymbol(symbol), withLayout));
     
      // then the postfix conditions
      for (IValue elem : conditions) {
        IConstructor cond = (IConstructor) elem;
        switch (cond.getConstructorType().getName()) {
        case "follow":
          b.append(" >> ");
          b.append(toString((IConstructor) cond.get("symbol"), withLayout));
          break;
        case "not-follow":
          b.append(" !>> ");
          b.append(toString((IConstructor) cond.get("symbol"), withLayout));
          break;
        case "delete":
          b.append(" \\ ");
          b.append(toString((IConstructor) cond.get("symbol"), withLayout));
          break;
        case "except":
          b.append("!");
          b.append(((IString) cond.get("label")).getValue());
        case "end-of-line":
          b.append(" $");
          break;
        }
      }
View Full Code Here
TOP

Related Classes of org.eclipse.imp.pdb.facts.IConstructor

  • org.rascalmpl.interpreter.BoxADT
  • org.rascalmpl.interpreter.debug.DebugUpdater$PushDownTreeVisitor
  • org.rascalmpl.interpreter.Evaluator
  • org.rascalmpl.interpreter.matching.ConcreteApplicationPattern$TreeAsTuple
  • org.rascalmpl.interpreter.matching.ConcreteListPattern
  • org.rascalmpl.interpreter.matching.ConcreteListVariablePattern
  • org.rascalmpl.interpreter.matching.IteratorFactory
  • org.rascalmpl.interpreter.result.ConcreteConstructorFunction
  • org.rascalmpl.interpreter.result.ConcreteSyntaxResult
  • org.rascalmpl.interpreter.TypeReifier
    • 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.