Package org.eclipse.imp.pdb.facts

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

51
52
53
54
55
56
57
58
59
60
61
  public IValue fromJSON(IValue type, IString src, RascalExecutionContext rex) {
    TypeStore store = new TypeStore();
   
    IConstructor type_cons = ((IConstructor) type);
    IMap definitions = rex.getSymbolDefinitions();

    tr.declareAbstractDataTypes(definitions, store);
    Type start = tr.valueToType(type_cons, store);
   
    //TypeStore store = ctx.getCurrentEnvt().getStore();
View Full Code Here
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
            || subscript.getType().isSubtypeOf(keyType)) {
          IValue oldValue = ((IMap) rec.getValue()).get(subscript
              .getValue());
          __eval.__setValue(__eval.newResult(oldValue, __eval
              .__getValue()));
          IMap map = ((IMap) rec.getValue()).put(
              subscript.getValue(), __eval.__getValue()
                  .getValue());
          result = org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(rec.hasInferredType() ? rec.getType()
                  .lub(map.getType()) : rec.getType(), map,
                  __eval.__getEval());
        } else {
          throw new UnexpectedType(keyType, subscript.getType(),
              this.getSubscript());
        }
View Full Code Here
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
    switch (value.getName()) {
    case "null":
      out.nullValue();
      break;
    case "object":
      IMap props = (IMap) value.get(0);
      out.beginObject();
      for (IValue k: props) {
        out.name(((IString)k).getValue());
        writePlainJSON((IConstructor) props.get(k));
      }
      out.endObject();
      break;
    case "array":
      IList vals = (IList) value.get(0);
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
       * a type recursively.
       *
       * We also need to construct a TypeStore from the declarations, such that the
       * appropriate definitions for ADT's and aliases can be found.
       */
      IMap definitions = (IMap) typeValue.get("definitions");
      declareAbstractDataTypes(definitions, store);
      return symbolToType((IConstructor) typeValue.get("symbol"), store);
    }

    throw new IllegalArgumentException(typeValue + " is not a reified type");
View Full Code Here
614
615
616
617
618
619
620
621
622
623
624
625
626
        return vf.constructor(Factory.Symbol_ReifiedType, externalType.getTypeParameters().getFieldType(0).accept(this));
      }

      private IValue visitNonTerminalType(NonTerminalType externalType) {
        IConstructor gr = ctx.getEvaluator().getGrammar(ctx.getCurrentEnvt());
        IMap rules = (IMap) gr.get("rules");
        for (IValue sym : rules) {
          definitions.put((IConstructor) sym, (IConstructor) rules.get(sym));
        }
        return externalType.getSymbol();
      }

      @Override
View Full Code Here
2581
2582
2583
2584
2585
2586
2587
2588
2589
2590
2591
          aw.append(kid);
        }
      }
      args = aw.done();
      int length = args.length();
      IMap comments = cw.done();
     
//      // this could be optimized.
//      i = 0;
//      int length = args.length();
//      while (i < length) {
View Full Code Here
TOP

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

  • org.rascalmpl.interpreter.result.SourceLocationResult
  • org.rascalmpl.interpreter.TraversalEvaluator
  • org.rascalmpl.interpreter.TypeReifier
  • org.rascalmpl.library.experiments.Compiler.RVM.Interpreter.Execute
  • org.rascalmpl.library.experiments.Compiler.RVM.Interpreter.ParsingTools
  • org.rascalmpl.library.experiments.Compiler.RVM.Interpreter.Types
  • org.rascalmpl.library.lang.json.io.JSONWritingValueVisitor
  • org.rascalmpl.library.lang.json.IOCompiled
  • org.rascalmpl.library.Prelude
  • org.rascalmpl.library.util.JSonReader
    • 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.