Examples of mayHaveKeywordParameters()

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

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.INode.mayHaveKeywordParameters()

159
160
161
162
163
164
165
166
167
168
169
      if (!loe.getEqual()) {
        return new LessThanOrEqualResult(false, false, ctx);
      }
    }
   
    if (!left.mayHaveKeywordParameters() && !right.mayHaveKeywordParameters()) {
      if (left.asAnnotatable().hasAnnotations() || right.asAnnotatable().hasAnnotations()) {
        // bail out
        return new LessThanOrEqualResult(false, true, ctx);
      }
    }
View Full Code Here

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

443
444
445
446
447
448
449
450
451
452
453
  private IValue traverseNodeOnce(IValue subject, CaseBlockList casesOrRules,
      DIRECTION direction, PROGRESS progress, FIXEDPOINT fixedpoint, TraverseResult tr) {
    IValue result;
    INode node = (INode)subject;
    if (node.arity() == 0 && !(node.mayHaveKeywordParameters() && node.asWithKeywordParameters().hasParameters()) ){
      result = subject;
    }
    else {
      IValue args[] = new IValue[node.arity()];
      Map<String, IValue> kwParams = null;
View Full Code Here

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

449
450
451
452
453
454
455
456
457
458
459
      result = subject;
    }
    else {
      IValue args[] = new IValue[node.arity()];
      Map<String, IValue> kwParams = null;
      if (node.mayHaveKeywordParameters() && node.asWithKeywordParameters().hasParameters()) {
        kwParams = new HashMap<>();
      }
      boolean hasChanged = false;
      boolean hasMatched = false;
     
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.