Examples of ATermReader

Examples of org.eclipse.imp.pdb.facts.io.ATermReader

57
58
59
60
61
62
63
64
  public static TypeStore getStore() {
    return errors;
  }
 
  public INode readSummary(InputStream stream) throws FactTypeUseException, IOException {
    ATermReader reader = new ATermReader();
    return (INode) reader.read(vf, Summary, stream);
  }
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.io.ATermReader

47
48
49
50
51
52
53
54
55
56
57
    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);
    }catch(IOException e){
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), null, null);
    }finally{
      if(in != null){
        try{
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.io.ATermReader

63
64
65
66
67
68
69
70
71
72
73
74
75
76
    }
  }
 
  public IValue readATermFromFile(IString fileName){
  //@doc{readATermFromFile -- read an ATerm from a named file}
    ATermReader atr = new ATermReader();
    try {
      FileInputStream stream = new FileInputStream(fileName.getValue());
      IValue result = atr.read(values, stream);
      stream.close();
      return result;
    } catch (FactTypeUseException e) {
      e.printStackTrace();
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), null, null);
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.io.ATermReader

2151
2152
2153
2154
2155
2156
2157
2158
2159
2160
2161
2162
2163
2164
    return values.node(N.getValue(), args, map);
  }
 
  public IValue readATermFromFile(IString fileName){
  //@doc{readATermFromFile -- read an ATerm from a named file}
    ATermReader atr = new ATermReader();
    try {
      FileInputStream stream = new FileInputStream(fileName.getValue());
      IValue result = atr.read(values, stream);
      stream.close();
      return result;
    } catch (FactTypeUseException e) {
      e.printStackTrace();
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), null, null);
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.io.ATermReader

83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
  private static IValue name(String n) {
    return vf.constructor(NameNode, vf.string(n));
  }
 
  public void testATermReader() {
    ATermReader testReader = new ATermReader();
   
   
   
    try {
      for (int i = 0; i < testATerm.length; i++) {
        IValue result = testReader.read(vf, ts, Boolean, new ByteArrayInputStream(testATerm[i].getBytes()));
        System.err.println(testATerm[i] + " -> " + result);
       
        if (!result.isEqual(testValues[i])) {
          fail(testATerm[i] + " did not parse correctly: " + result + " != " + testValues[i]);
        }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.