Package org.eclipse.imp.pdb.facts

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

202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
        ResultSet rs = dmd.getTables(null, null, null, new String[] { "TABLE" });
        HashSet<String> tables = new HashSet<String>();
        while (rs.next()) tables.add(rs.getString("TABLE_NAME"));
        rs.close();
       
        ISetWriter setRes = vf.setWriter(TF.stringType());
       
        for (String tableName : tables) {
          setRes.insert(vf.string(tableName));
        }
        return setRes.done();
      } else {
        throw RuntimeExceptionFactory.illegalArgument(connection, null, null, "Connection does not exist.");
      }
    } catch (SQLException sqle) {
      throw RuntimeExceptionFactory.illegalArgument(connection, null, null, addMessage("Could not close the given connection", sqle));
View Full Code Here
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
        ResultSet rs = dmd.getTables(null, null, null, new String[] { "VIEW" });
        HashSet<String> tables = new HashSet<String>();
        while (rs.next()) tables.add(rs.getString("TABLE_NAME"));
        rs.close();
       
        ISetWriter setRes = vf.setWriter(TF.stringType());
       
        for (String tableName : tables) {
          setRes.insert(vf.string(tableName));
        }
        return setRes.done();
      } else {
        throw RuntimeExceptionFactory.illegalArgument(connection, null, null, "Connection does not exist.");
      }
    } catch (SQLException sqle) {
      throw RuntimeExceptionFactory.illegalArgument(connection, null, null, addMessage("Could not close the given connection", null));
View Full Code Here
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
        ResultSet rs = dmd.getTables(null, null, null, tableTypes);
        HashSet<String> tables = new HashSet<String>();
        while (rs.next()) tables.add(rs.getString("TABLE_NAME"));
        rs.close();
       
        ISetWriter setRes = vf.setWriter(Table);
       
        for (String tableName : tables) {
          rs = dmd.getColumns(null, null, tableName, null);
          IListWriter listRes = vf.listWriter(Column);
          while (rs.next()) {
            String cn = rs.getString("COLUMN_NAME");
            int dt = rs.getInt("DATA_TYPE");
            String nullable = rs.getString("IS_NULLABLE");
            listRes.append(vf.constructor(column, vf.string(cn), vf.constructor(JDBC.jdbc2rascalType(dt)), nullable.equalsIgnoreCase("YES") ? vf.bool(true) : vf.bool(false)));
          }
          setRes.insert(vf.constructor(table, vf.string(tableName), listRes.done()));
          rs.close();
        }
        return setRes.done();
      } else {
        throw RuntimeExceptionFactory.illegalArgument(connection, null, null, "Connection does not exist.");
      }
    } catch (SQLException sqle) {
      throw RuntimeExceptionFactory.illegalArgument(connection, null, null, addMessage("Could not close the given connection", sqle));
View Full Code Here
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
        ResultSet rs = stmt.executeQuery();
       
        Type elementType = resultType.getType().getTypeParameters().getFieldType(0);
        int columns = elementType.getArity();

        ISetWriter sw = vf.setWriter(elementType);
        while (rs.next()) {
          IValue tupleValues[] = new IValue[columns];
          for (int idx = 0; idx < columns; ++idx) {
            tupleValues[idx] = JDBC.jdbc2pdbValue(rs, idx + 1, this.vf);
          }
          sw.insert(vf.tuple(tupleValues));
        }
       
        rs.close();
        stmt.close();
       
        return sw.done();
      } else {
        throw RuntimeExceptionFactory.illegalArgument(connection, null, null, "Connection does not exist.");
      }
    } catch (SQLException sqle) {
      throw RuntimeExceptionFactory.illegalArgument(connection, null, null, sqle.getMessage());
View Full Code Here
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
        PreparedStatement stmt = conn.prepareStatement("SELECT * FROM " + tableName.getValue());
        ResultSet rs = stmt.executeQuery();
       
        Type elementType = JDBC.TF.valueType();

        ISetWriter sw = vf.setWriter(elementType);
        int columns = rs.getMetaData().getColumnCount();
       
        while (rs.next()) {
          IValue tupleValues[] = new IValue[columns];
          for (int idx = 0; idx < columns; ++idx) {
            tupleValues[idx] = JDBC.jdbc2pdbValue(rs, idx + 1, this.vf);
          }
          sw.insert(vf.tuple(tupleValues));
        }
       
        rs.close();
        stmt.close();
       
        return sw.done();
      } else {
        throw RuntimeExceptionFactory.illegalArgument(connection, null, null, "Connection does not exist.");
      }
    } catch (SQLException sqle) {
      throw RuntimeExceptionFactory.illegalArgument(connection, null, null, sqle.getMessage());
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
  public IValue readAUT(IString nameAUTFile){
    Type strType = types.stringType();
    Type intType = types.integerType();
    Type tupleType = types.tupleType(intType, strType, intType);
    java.lang.String fileName = nameAUTFile.getValue();
    ISetWriter rw = values.relationWriter(tupleType);
    BufferedReader bufRead = null;
    try{
      FileReader input = new FileReader(fileName);
      bufRead = new BufferedReader(input);
      java.lang.String line = bufRead.readLine();
      line = bufRead.readLine();
      while(line != null){
        java.lang.String[] fields = line.split("\\\"");
        java.lang.String[] field0 = fields[0].split("[\\(\\s,]");
        java.lang.String[] field2 = fields[2].split("[\\)\\s,]");
        rw.insert(values.tuple(values.integer(field0[1]), values.string(fields[1]), values
            .integer(field2[1])));
        line = bufRead.readLine();
      }
    }catch(IOException ioex){
      throw RuntimeExceptionFactory.io(values.string(ioex.getMessage()), null, null);
    }finally{
      if(bufRead != null){
        try{
          bufRead.close();
        }catch(IOException ioex){/* Ignore. */
        }
      }
    }
    return rw.done();
  }
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
      return t.accept(this);
    }
  }

  private IValue genSet(Type type) {
    ISetWriter writer = vf.setWriter(); // type.writer(vf);

    if (maxDepth <= 0 || (stRandom.nextInt(2) == 0)) {
      return writer.done();
    } else {
      RandomValueTypeVisitor visitor = descend();
      ISet set = (ISet) visitor.generate(type);

      IValue element = null;
      int recursionGuard = 0; // Domain of set can be small.
      while ((element == null || set.contains(element))
          && recursionGuard < 1000) {
        recursionGuard += 1;
        element = visitor.generate(type.getElementType());
      }

      writer.insertAll(set);

      if (element != null) {
        writer.insert(element);
      }
      return writer.done();
    }
  }
View Full Code Here
669
670
671
672
673
674
675
676
677
678
679
680
681
          throw new ImplementationError("expected to find a holeType, but did not: " + tree);
        }

        @Override
        public IConstructor visitTreeAmb(IConstructor arg)  {
          ISetWriter w = vf.setWriter();
          for (IValue elem : TreeAdapter.getAlternatives(arg)) {
            w.insert(elem.accept(this));
          }
          return arg.set("alternatives", w.done());
        }
      });
  }
View Full Code Here
2329
2330
2331
2332
2333
2334
2335
2336
2337
2338
2339
2340
        }
        elementType = elementType.lub(resultElem.getType());
        results.add(results.size(), resultElem.getValue());
      }
      Type resultType = TF.setType(elementType);
      ISetWriter w = __eval.__getVf().setWriter();
      w.insertAll(results);
      // Was: return makeResult(resultType, applyRules(w.done()));
      return org.rascalmpl.interpreter.result.ResultFactory.makeResult(
          resultType, w.done(), __eval);

    }
View Full Code Here
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
  public IValue generate(Type t) {
    return t.accept(this);
  }

  private IValue genSet(Type type) {
    ISetWriter writer = vf.setWriter(); // type.writer(vf);

    if (maxDepth <= 0 || (stRandom.nextInt(2) == 0)) {
      return writer.done();
    } else {
      RandomValueTypeVisitor visitor = descend();
      ISet set = (ISet) visitor.generate(type);

      IValue element = null;
      int recursionGuard = 0; // Domain of set can be small.
      while ((element == null || set.contains(element))
          && recursionGuard < 1000) {
        recursionGuard += 1;
        element = visitor.generate(type.getElementType());
      }

      writer.insertAll(set);

      if (element != null) {
        writer.insert(element);
      }
      return writer.done();
    }
  }
View Full Code Here
TOP

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

  • org.rascalmpl.interpreter.env.ModuleEnvironment
  • org.rascalmpl.interpreter.Evaluator
  • org.rascalmpl.interpreter.result.ListRelationResult
  • org.rascalmpl.interpreter.result.MapResult
  • org.rascalmpl.interpreter.result.RelationResult
  • org.rascalmpl.interpreter.result.SetResult
  • org.rascalmpl.interpreter.TraversalEvaluator
  • org.rascalmpl.interpreter.TypeReifier
  • org.rascalmpl.interpreter.utils.Modules
  • org.rascalmpl.library.cobra.RandomValueTypeVisitor
    • 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.