Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.ISetWriter.done()

207
208
209
210
211
212
213
214
215
216
217
        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
232
233
234
235
236
237
238
239
240
241
242
        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
275
276
277
278
279
280
281
282
283
284
285
            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
765
766
767
768
769
770
771
772
773
774
775
        }
       
        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
799
800
801
802
803
804
805
806
807
808
809
        }
       
        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
72
73
74
75
76
77
78
79
80
81
82
          bufRead.close();
        }catch(IOException ioex){/* Ignore. */
        }
      }
    }
    return rw.done();
  }
 
  private int numberOfStates(ISet st){
    st.size();
    int r = 0;
View Full Code Here
91
92
93
94
95
96
97
98
99
100
101
  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;
View Full Code Here
109
110
111
112
113
114
115
116
117
118
119
      writer.insertAll(set);

      if (element != null) {
        writer.insert(element);
      }
      return writer.done();
    }
  }

  @Override
  public IValue visitAbstractData(Type type) {
View Full Code Here
673
674
675
676
677
678
679
680
681
682
683
        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());
        }
      });
  }
  private static boolean containsBackTick(char[] data, int offset) {
View Full Code Here
2333
2334
2335
2336
2337
2338
2339
2340
2341
2342
2343
      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);

    }

    @Override
    public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
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.