Package org.eclipse.imp.pdb.facts

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

248
249
250
251
252
253
254
255
256
257
258
    if (maxDepth <= 0 || (stRandom.nextInt(2) == 0)) {
      return writer.done();
    } else {
      RandomValueTypeVisitor visitor = descend();
      IValue element = visitor.generate(type.getElementType());
      if (element != null) {
        writer.append(element);
      }
      writer.appendAll((IList) visitor.generate(type));
      return writer.done();
View Full Code Here
271
272
273
274
275
276
277
278
279
280
281
282
    if (maxDepth <= 0 || (stRandom.nextInt(2) == 0)) {
      return writer.done();
    } else {

      RandomValueTypeVisitor visitor = descend();
      IValue key = visitor.generate(type.getKeyType());
      IValue value = visitor.generate(type.getValueType());

      if (key != null && value != null) {
        writer.put(key, value);
      }
View Full Code Here
303
304
305
306
307
308
309
310
311
312
313
        while (name.isEmpty()) {
          // names have to start with alpha character
          name = RandomUtil.stringAlpha(stRandom, 3);
        }
        name += RandomUtil.stringAlphaNumeric(stRandom, 4);
        IValue argument = descend().generate(tf.valueType());
        if (argument == null) {
          return null;
        }
        kwParams.put(name, argument);
      }
View Full Code Here
410
411
412
413
414
415
416
417
418
419
420
    RandomValueTypeVisitor visitor = descend();

    IValue[] elems = new IValue[type.getArity()];
    for (int i = 0; i < type.getArity(); i++) {
      Type fieldType = type.getFieldType(i);
      IValue element = visitor.generate(fieldType);
      if (element == null) {
        return null;
      }
      elems[i] = visitor.generate(fieldType);
    }
View Full Code Here
200
201
202
203
204
205
206
207
208
209
210
  protected IValueList parseExtendedModifiers(List ext) {
    IValueList extendedModifierList = new IValueList(values);
 
    for (Iterator it = ext.iterator(); it.hasNext();) {
      ASTNode p = (ASTNode) it.next();
      IValue val = visitChild(p);
      if (p instanceof Annotation) {
        val = constructModifierNode("annotation", val);
      }
      extendedModifierList.add(val);
    }
View Full Code Here
139
140
141
142
143
144
145
146
147
148
149
 

  private void handleKey(KeyEvent e,boolean down){
    boolean captured = false;
    env.beginCallbackBatch();
    IValue keySym = KeySymTranslate.toRascalKey(e, env.getRascalContext());
    keyboardModifierMap = KeySymTranslate.toRascalModifiers(e.stateMask, keyboardModifierMap, env.getRascalContext());
    for(Figure fig : figuresUnderMouse){
      if(fig.executeKeyHandlers(env, keySym, down, keyboardModifierMap)){
        captured = true;
        break;
View Full Code Here
149
150
151
152
153
154
155
156
    if ( (idx >= getValue().arity()) || (idx < 0)) {
      throw RuntimeExceptionFactory.indexOutOfBounds(index, ctx.getCurrentAST(), ctx.getStackTrace());
    }
   
    Type elementType = getType().getFieldType(idx);
    IValue element = getValue().get(idx);
    return makeResult(elementType, element, ctx);
  }
View Full Code Here
199
200
201
202
203
204
205
206
207
208
209
    int rightArity = rightType.getArity();
    int newArity = leftArity + rightArity;
   
    Type fieldTypes[] = new Type[newArity];
    String fieldNames[] = new String[newArity];
    IValue fieldValues[] = new IValue[newArity];
   
    boolean consistentLabels = true;
    for(int i = 0; i < leftArity; i++){
      fieldTypes[i] = leftType.getFieldType(i);
      fieldNames[i] = leftType.getFieldName(i);
View Full Code Here
295
296
297
298
299
300
301
302
303
304
305
306
307
    int leftArity = left.arity();
    ITuple right = getValue();
    int rightArity = right.arity();
   
    for (int i = 0; i < Math.min(leftArity, rightArity); i++) {
       IValue leftArg = left.get(i);
       IValue rightArg = right.get(i);
       LessThanOrEqualResult loe = makeResult(leftArg.getType(), leftArg, ctx).lessThanOrEqual(makeResult(rightArg.getType(), rightArg,ctx));
      
       if (loe.getLess()) {
         return loe;
       }
      
View Full Code Here
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
          IConstructor prod = TreeAdapter.getProduction(tree);
          ISet attrs = ProductionAdapter.getAttributes(prod);

          for (IValue attr : attrs) {
            if (((IConstructor) attr).getConstructorType() == Factory.Attr_Tag) {
              IValue arg = ((IConstructor) attr).get(0);
             
              if (arg.getType().isNode() && ((INode) arg).getName().equals("holeType")) {
                return (IConstructor) ((INode) arg).get(0);
              }
            }
          }
         
          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
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.