Examples of asWithKeywordParameters()

Examples of org.eclipse.imp.pdb.facts.IConstructor.asWithKeywordParameters()

244
245
246
247
248
249
250
251
252
253
254
  private IValue traverseADTOnce(IValue subject, CaseBlockList casesOrRules,
      DIRECTION direction, PROGRESS progress, FIXEDPOINT fixedpoint, TraverseResult tr) {
    IConstructor cons = (IConstructor)subject;
   
    Map<String, IValue> kwParams = null;
    if (cons.mayHaveKeywordParameters() && cons.asWithKeywordParameters().hasParameters()) {
      kwParams = new HashMap<>();
    }
    if (cons.arity() == 0 && kwParams == null) {
      return subject; // constants have no children to traverse into
    }
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.IConstructor.asWithKeywordParameters()

308
309
310
311
312
313
314
315
316
317
318
        args[i] = traverseOnce(child, casesOrRules, direction, progress, fixedpoint, tr);
        hasChanged |= tr.changed;
        hasMatched |= tr.matched;
      }
      if (kwParams != null) {
        IWithKeywordParameters<? extends INode> consKw = cons.asWithKeywordParameters();
        for (String kwName : consKw.getParameterNames()) {
          IValue val = consKw.getParameter(kwName);
          tr.changed = false;
          tr.matched = false;
          IValue newVal = traverseOnce(val, casesOrRules, direction, progress, fixedpoint, tr);
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.IConstructor.asWithKeywordParameters()

299
300
301
302
303
304
305
306
307
308
309
              node.getKeywordParameterType(label))) {
            throw new UnexpectedType(node.getKeywordParameterType(label),
                __eval.__getValue().getType(), this);
          }

          __eval.__setValue(__eval.newResult(cons.asWithKeywordParameters().getParameter(label), __eval.__getValue()));

          IValue result = cons.asWithKeywordParameters().setParameter(label,  __eval.__getValue().getValue());
          return __eval.recur(this,
              org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(receiver.getType(), result, __eval
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.IConstructor.asWithKeywordParameters()

301
302
303
304
305
306
307
308
309
310
311
                __eval.__getValue().getType(), this);
          }

          __eval.__setValue(__eval.newResult(cons.asWithKeywordParameters().getParameter(label), __eval.__getValue()));

          IValue result = cons.asWithKeywordParameters().setParameter(label,  __eval.__getValue().getValue());
          return __eval.recur(this,
              org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(receiver.getType(), result, __eval
                  .__getEval()));
        }
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.IConstructor.asWithKeywordParameters()

374
375
376
377
378
379
380
381
382
383
384
              .noSuchField(label, this, __eval.getStackTrace());
        }

        if (node.hasKeywordParameter(label)) {
          return ResultFactory
              .makeResult(node.getKeywordParameterType(label), cons.asWithKeywordParameters().getParameter(label)
                  ,__eval);
        }
        else {
          int index = node.getFieldIndex(label);
          return ResultFactory
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.INode.asWithKeywordParameters()

773
774
775
776
777
778
779
780
781
782
783
        System.err.println("JSonReader result:" + result);
    }
    if (annoMap != null)
      result = result.asAnnotatable().setAnnotations(map);
    if(kwmap.size() > 0){
      result = result.asWithKeywordParameters().setParameters(kwmap);
    }
    return result;
  }

  private IValue buildTerm(IValue t, Type type) {
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.INode.asWithKeywordParameters()

166
167
168
169
170
171
172
173
174
175
176
        // bail out
        return new LessThanOrEqualResult(false, true, ctx);
      }
    }
   
    if (!left.asWithKeywordParameters().hasParameters() && right.asWithKeywordParameters().hasParameters()) {
      return new LessThanOrEqualResult(true, false, ctx);
    }

    if (left.asWithKeywordParameters().hasParameters() && !right.asWithKeywordParameters().hasParameters()) {
      return new LessThanOrEqualResult(false, false, ctx);
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.INode.asWithKeywordParameters()

170
171
172
173
174
175
176
177
178
179
180
   
    if (!left.asWithKeywordParameters().hasParameters() && right.asWithKeywordParameters().hasParameters()) {
      return new LessThanOrEqualResult(true, false, ctx);
    }

    if (left.asWithKeywordParameters().hasParameters() && !right.asWithKeywordParameters().hasParameters()) {
      return new LessThanOrEqualResult(false, false, ctx);
    }
   
    if (left.asWithKeywordParameters().hasParameters() && right.asWithKeywordParameters().hasParameters()) {
      Map<String, IValue> paramsLeft = left.asWithKeywordParameters().getParameters();
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.INode.asWithKeywordParameters()

174
175
176
177
178
179
180
181
182
183
184
    if (left.asWithKeywordParameters().hasParameters() && !right.asWithKeywordParameters().hasParameters()) {
      return new LessThanOrEqualResult(false, false, ctx);
    }
   
    if (left.asWithKeywordParameters().hasParameters() && right.asWithKeywordParameters().hasParameters()) {
      Map<String, IValue> paramsLeft = left.asWithKeywordParameters().getParameters();
      Map<String, IValue> paramsRight = right.asWithKeywordParameters().getParameters();
      if (paramsLeft.size() < paramsRight.size()) {
        return new LessThanOrEqualResult(true, false, ctx);
      }
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.INode.asWithKeywordParameters()

176
177
178
179
180
181
182
183
184
185
186
      return new LessThanOrEqualResult(false, false, ctx);
    }
   
    if (left.asWithKeywordParameters().hasParameters() && right.asWithKeywordParameters().hasParameters()) {
      Map<String, IValue> paramsLeft = left.asWithKeywordParameters().getParameters();
      Map<String, IValue> paramsRight = right.asWithKeywordParameters().getParameters();
      if (paramsLeft.size() < paramsRight.size()) {
        return new LessThanOrEqualResult(true, false, ctx);
      }
      if (paramsLeft.size() > paramsRight.size()) {
        return new LessThanOrEqualResult(false, false, ctx);
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.