Package org.rascalmpl.interpreter

Examples of org.rascalmpl.interpreter.TypeReifier

44
45
46
47
48
49
50
  private TypeReifier tr;

  public IOCompiled(IValueFactory values) {
    super(values);
    this.values = values;
    this.tr = new TypeReifier(values);
  }
View Full Code Here
33
34
35
36
37
38
39
    this.vf = vf;
   
  }
 
  public IValue typeOf(IValue v, IEvaluatorContext ctx) {
    return ((IConstructor) new TypeReifier(vf).typeToValue(v.getType(), ctx).getValue()).get("symbol");
  }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
    return vf.bool(x.isEqual(y));
  }
 
  public IValue make(IValue type, IString name, IList args) {
    TypeStore store = new TypeStore();
    org.eclipse.imp.pdb.facts.type.Type t = new TypeReifier(vf).valueToType((IConstructor) type, store);
   
    IValue[] children = new IValue[args.length()];
    org.eclipse.imp.pdb.facts.type.Type[] argsTypes = new org.eclipse.imp.pdb.facts.type.Type[args.length()];

    for (int i = 0; i < args.length(); i++) {
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
    this.values = values;
  }
 
  public IValue readTextATermFile(IValue type, ISourceLocation loc, IEvaluatorContext ctx){
    TypeStore store = new TypeStore();
    Type start = new TypeReifier(ctx.getValueFactory()).valueToType((IConstructor) type, store);
   
    InputStream in = null;
    try{
      in = ctx.getResolverRegistry().getInputStream(loc.getURI());
      return new ATermReader().read(values, store, start, in);
View Full Code Here
39
40
41
42
43
44
45
 
  public RSFIO(IValueFactory values){
    super();
   
    this.values = values;
    this.tr = new TypeReifier(values);
  }
View Full Code Here
237
238
239
240
241
242
243
244
245
    IMapWriter mr = values.mapWriter();
   
    for (Map.Entry<java.lang.String, Type> entry : table.entrySet()) {
      Type t = entry.getValue();
      mr.put(values.string(entry.getKey()),
             ((IConstructor) new TypeReifier(values).typeToValue(types.relType(t.getFieldType(0), t.getFieldType(1)), ctx).getValue())); 
    }
    return mr.done();
  }
View Full Code Here
50
51
52
53
54
55
56
57
58
59
 
  public IO(IValueFactory values){
    super();
   
    this.values = values;
    this.tr = new TypeReifier(values);
    separator = ',';
    header = true;
    this.pdbReader = new StandardTextReader();
  }
View Full Code Here
121
122
123
124
125
126
127
  }


  private IValue computeType(ISourceLocation loc, IBool header, IString separator, IString encoding, IEvaluatorContext ctx) {
    IValue csvResult = this.read(null, loc, header, separator, encoding, values.bool(true), ctx);
    return ((IConstructor) new TypeReifier(values).typeToValue(csvResult.getType(), ctx).getValue());
  }
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.