Package org.rascalmpl.interpreter

Examples of org.rascalmpl.interpreter.TypeReifier

63
64
65
66
67
68
69
70
  public final Type Exception_StaticError = tf.constructor(store, Exception, "StaticError", tf.stringType(), "messages", tf.sourceLocationType(), "location");
     
  public Eval(IValueFactory values){
    super();
    this.values = values;
    this.tr = new TypeReifier(values);
    duration = values.integer(1000*100); // default duration for eval
  }
View Full Code Here
60
61
62
63
64
65
66
67
  private Environment old = null;
  private ModuleEnvironment env = null;

  public HTMLGenerator(IValueFactory vf) {
    this.values = vf;
    this.tr = new TypeReifier(values);
    this.eval = new org.rascalmpl.library.util.Eval(values);
  }
View Full Code Here
50
51
52
53
54
55
56
57
    this(ValueFactoryFactory.getValueFactory());
  }
 
  public Manager(IValueFactory vf) {
    this.vf = vf;
    this.typeReifier = new TypeReifier(vf);
    this.registry = PDBValueTaskRegistry.getRegistry();
  }
View Full Code Here
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
2240
      if (!declarations.getType().isSubtypeOf(defType)) {
        throw new UnexpectedType(defType, declarations.getType(), getSymbol());
      }
     
      java.util.Map<Type,Type> bindings = new HashMap<Type,Type>();
      bindings.put(Factory.TypeParam, new TypeReifier(VF).symbolToType((IConstructor) symbol.getValue(), (IMap) declarations.getValue()));
     
      IValue val = VF.constructor(Factory.Type_Reified.instantiate(bindings), symbol.getValue(), declarations.getValue());
     
      bindings.put(Factory.TypeParam, TF.valueType());
      Type typ = Factory.Type.instantiate(bindings);
View Full Code Here
2261
2262
2263
2264
2265
2266
2267
    public Result<IValue> interpret(IEvaluator<Result<IValue>> eval) {
      eval.setCurrentAST(this);
      eval.notifyAboutSuspension(this);     

      Type t = getType().typeOf(eval.getCurrentEnvt(), false, eval);
      return new TypeReifier(eval.__getVf()).typeToValue(t, eval);
    }
View Full Code Here
127
128
129
130
131
132
133
134
  public Prelude(IValueFactory values){
    super();
   
    this.values = values;
    this.types = TypeFactory.getInstance();
    this.tr = new TypeReifier(values);
    random = new Random();
  }
View Full Code Here
55
56
57
58
59
60
61
  private static final TypeFactory tf = TypeFactory.getInstance();
 
  public RascalYAML(IValueFactory values) {
    super();
    this.values = values;
    this.reifier = new TypeReifier(values);
  }
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
49
 
  public IValue typeToValue(Type t, RascalExecutionContext rex) {
   
    TypeStore store = new TypeStore();
    IMap definitions = rex.getSymbolDefinitions();
    TypeReifier tr = new TypeReifier(vf);
    tr.declareAbstractDataTypes(definitions, store);
   
    IConstructor symbol = typeToSymbol(t, store);
   
    Map<Type,Type> bindings = new HashMap<Type,Type>();
    bindings.put(Factory.TypeParam, t);
View Full Code Here
51
52
53
54
55
56
57
58
59
60
  public IOCompiled(IValueFactory values){
    super(values);
   
    this.values = values;
    this.types2 = new Types(values);
    this.tr = new TypeReifier(values);
    separator = ',';
    header = true;
    this.pdbReader = new StandardTextReader();
  }
View Full Code Here
59
60
61
62
63
64
65
66
67
68
69
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), null, null);
    }
  }
  public IValue fromJSON(IValue type, IString src, IEvaluatorContext ctx) {
    TypeStore store = ctx.getCurrentEnvt().getStore();
    Type start = new TypeReifier(ctx.getValueFactory()).valueToType((IConstructor) type, store);
    Gson gson = new GsonBuilder()
    .enableComplexMapKeySerialization()
    .setDateFormat(DateFormat.LONG)
    .setFieldNamingPolicy(FieldNamingPolicy.UPPER_CAMEL_CASE)
    .setVersion(1.0)
View Full Code Here
TOP

Related Classes of org.rascalmpl.interpreter.TypeReifier

  • org.eclipse.imp.pdb.facts.IConstructor
  • org.eclipse.imp.pdb.facts.IList
  • org.eclipse.imp.pdb.facts.IListWriter
  • org.eclipse.imp.pdb.facts.IMap
  • org.eclipse.imp.pdb.facts.IMapWriter
  • org.eclipse.imp.pdb.facts.ISetWriter
  • org.eclipse.imp.pdb.facts.IValue
  • org.eclipse.imp.pdb.facts.type.Type
  • org.eclipse.imp.pdb.facts.type.TypeStore
  • org.rascalmpl.interpreter.asserts.ImplementationError
    • 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.