Package org.eclipse.imp.pdb.facts

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

203
204
205
206
207
208
209
210
211
212
213
      int nrOfArgs = args.length();
      Type[] types = new Type[nrOfArgs];
      IValue[] actuals = new IValue[nrOfArgs];
     
      for(int i = nrOfArgs - 1; i >= 0; --i){
        IValue arg = args.get(i);
        types[i] = RascalTypeFactory.getInstance().nonTerminalType((IConstructor) arg);
        actuals[i] = arg;
      }
     
      return function.call(types, actuals, null);
View Full Code Here
503
504
505
506
507
508
509
510
511
512
513
   
    return res;
  }
 
  public static IValue jdbc2pdbValue(ResultSet rs, int idx, IValueFactory vf) {
    IValue res = null;
   
    try {
      if (idx == 0 && rs.getInt(0) == 1219)
        System.err.println(rs.getDate(6));
View Full Code Here
755
756
757
758
759
760
761
762
763
764
765
        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));
        }
View Full Code Here
789
790
791
792
793
794
795
796
797
798
799
        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));
        }
View Full Code Here
821
822
823
824
825
826
827
828
829
830
831
        Type elementType = resultType.getType().getTypeParameters().getFieldType(0);
        int columns = elementType.getArity();

        IListWriter lw = vf.listWriter(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);
          }
          lw.append(vf.tuple(tupleValues));
        }
View Full Code Here
127
128
129
130
131
132
133
134
135
136
137
  public IValue arbitrary(IValue type, IInteger depthLimit, IEvaluatorContext eval) {
    try {
      TypeParameterVisitor tpvisit = new TypeParameterVisitor();
      Type requestedType = Cobra.reifyType(type);
      HashMap<Type, Type> tpbindings = tpvisit.bindTypeParameters(requestedType);
      IValue result = quickcheck.arbitrary(requestedType,
          depthLimit.intValue(), eval.getCurrentEnvt().getRoot(),
          eval.getValueFactory(), tpbindings);
      return result;
    } catch (IllegalArgumentException e) {
      throw RuntimeExceptionFactory.illegalArgument(depthLimit,
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
    private Result<IValue> createVisitedDate(IEvaluator<Result<IValue>> eval, String datePart, org.rascalmpl.ast.JustDate.Lexical x) {
      try {
        datePart.replaceAll("-", "");

        StandardTextReader parser = new StandardTextReader();
        IValue result = parser.read(VF, new StringReader("$" + datePart));
        return makeResult(TF.dateTimeType(), result, eval);
      } catch (FactTypeUseException e) {
        throw new DateTimeSyntax(e.getMessage(), eval.getCurrentAST().getLocation());
      } catch (FactParseError e) {
          throw new DateTimeSyntax(e.getMessage(), eval.getCurrentAST().getLocation());
View Full Code Here
60
61
62
63
64
65
66
67
68
69
    RandomValueTypeVisitor v = new RandomValueTypeVisitor(
        getValueFactory(), (ModuleEnvironment) getEnv().getRoot(),
        maxDepth.intValue(), generators, ctx.getCurrentEnvt().getTypeBindings());

    IValue returnVal = instantiatedReturnType.accept(v);

    return makeResult(instantiatedReturnType, returnVal, eval);

  }
View Full Code Here
49
50
51
52
53
54
55
56
57
58
59
      IValueFactory vf, Map<Type, Type> typeParameters) {

    RandomValueTypeVisitor visitor = new RandomValueTypeVisitor(vf,
        (ModuleEnvironment) env, depthLimit, generators, typeParameters);

    IValue result = visitor.generate(type);
    if (result == null) {
      throw new IllegalArgumentException("No construction possible at this depth or less.");
    }
    return result;
  }
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
      try {
        Type[] actualTypes = new Type[formals.getArity()];
        for(int j = 0; j < types.length; j ++) {
          actualTypes[j] = types[j].instantiate(tpbindings);
        }
        IValue result = function.call(actualTypes, values, null).getValue();
        function.getEval().getStdOut().flush();
        if (!((IBool) result).getValue()) {
          reportFailed(fname, "test returns false", tpbindings, formals, values, out);
          return false;
        } else if (verbose && formals.getArity() > 0) {
View Full Code Here
TOP

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

  • org.rascalmpl.interpreter.debug.DebugUpdater$PushDownTreeVisitor
  • org.rascalmpl.interpreter.matching.IteratorFactory
  • org.rascalmpl.interpreter.matching.NodePattern
  • org.rascalmpl.interpreter.matching.SetPattern
  • org.rascalmpl.interpreter.matching.TuplePattern
  • org.rascalmpl.interpreter.result.ConcreteSyntaxResult
  • org.rascalmpl.interpreter.result.ListRelationResult
  • org.rascalmpl.interpreter.result.ListResult
  • org.rascalmpl.interpreter.result.NodeResult
  • org.rascalmpl.interpreter.result.RelationResult
    • 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.