Package org.eclipse.imp.pdb.facts

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

348
349
350
351
352
353
354
355
356
357
358
    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
87
88
89
90
91
92
93
94
95
96
  static final int[] modifiersSWT = {SWT.CTRL, SWT.COMMAND, SWT.ALT, SWT.SHIFT };
 
  public static IMap toRascalModifiers(KeyEvent e,IMap prevMap,IEvaluatorContext ctx){
    for(int i = 0 ; i < modifiers.length ;i++){
      Type controlType = modifiers[i];
      IValue cons = VF.constructor(controlType);
      prevMap = prevMap.put(cons, VF.bool((e.stateMask & modifiersSWT[i]) != 0));
    }
    return prevMap;
  }
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
  public void initElem(IFigureConstructionEnv env, MouseOver mparent, boolean swtSeen, boolean visible, NameResolver resolver){
    if(!visible) {
      return;
    }
   
    IValue timerInfo = getTimerInfo();
    //if(debug)System.out.printf("timerInit %s\n", timerInfo);
    Result<IValue> result = cbenv.executeRascalCallBackSingleArgument(timerInit, TimerInfo, timerInfo);
   
    if (result != null && result.getValue() != null) {
      timerAction = (IConstructor) result.getValue();
View Full Code Here
617
618
619
620
621
622
623
624
625
626
627
  }

  @Override
  public IValue visitValue(Type type) throws IOException {
    String tag = tag();
    IValue value = null;
    stack.push(contents());
    switch (tag) {
    case "cons":
      value = visitNode(type);
      break;
View Full Code Here
152
153
154
155
156
157
158
159
160
161
162
    return null;
  }

  public boolean visit(AnnotationTypeDeclaration node) {
    IValueList extendedModifiers = parseExtendedModifiers(node.modifiers());
    IValue name = values.string(node.getName().getFullyQualifiedName());
   
    IValueList bodyDeclarations = new IValueList(values);
    for (Iterator it = node.bodyDeclarations().iterator(); it.hasNext();) {
      BodyDeclaration d = (BodyDeclaration) it.next();
      bodyDeclarations.add(visitChild(d));
View Full Code Here
167
168
169
170
171
172
173
174
175
176
177
178
179
180
    return false;
  }
 
  public boolean visit(AnnotationTypeMemberDeclaration node) {
    IValueList extendedModifiers = parseExtendedModifiers(node.modifiers());
    IValue typeArgument = visitChild(node.getType());
   
    String name = node.getName().getFullyQualifiedName();
   
    IValue defaultBlock = node.getDefault() == null ? null : visitChild(node.getDefault());
    ownValue = constructDeclarationNode("annotationTypeMember", typeArgument, values.string(name), defaultBlock);
    setAnnotation("modifiers", extendedModifiers);
    return false;
  }
View Full Code Here
190
191
192
193
194
195
196
197
198
199
200
201
   
    return false;
  }
 
  public boolean visit(ArrayAccess node) {
    IValue array = visitChild(node.getArray());
    IValue index = visitChild(node.getIndex());
   
    ownValue = constructExpressionNode("arrayAccess", array, index);
 
    return false;
  }
View Full Code Here
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
 
    return false;
  }
 
  public boolean visit(ArrayCreation node) {
    IValue type = visitChild(node.getType().getElementType());
 
    IValueList dimensions = new IValueList(values);
    for (Iterator it = node.dimensions().iterator(); it.hasNext();) {
      Expression e = (Expression) it.next();
      dimensions.add(visitChild(e));
    }
 
    IValue initializer = node.getInitializer() == null ? null : visitChild(node.getInitializer());
   
    ownValue = constructExpressionNode("newArray", type, dimensions.asList(), initializer);
   
    return false;
  }
View Full Code Here
227
228
229
230
231
232
233
234
235
236
237
   
    return false;
  }
 
  public boolean visit(ArrayType node) {
    IValue type = visitChild(node.getComponentType());
   
    ownValue = constructTypeNode("arrayType", type);
   
    return false;
  }
View Full Code Here
235
236
237
238
239
240
241
242
243
244
245
246
   
    return false;
  }
 
  public boolean visit(AssertStatement node) {
    IValue expression = visitChild(node.getExpression());
    IValue message = node.getMessage() == null ? null : visitChild(node.getMessage());
   
    ownValue = constructStatementNode("assert", expression, message);
   
    return false;
  }
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.