Package org.eclipse.imp.pdb.facts

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

192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
      }
      return visited.get(id);
    }
    if (yaml.getConstructorType() == Node_scalar) {
      // we're ignoring the tag annotations right now.
      IValue value = yaml.get(0);
      if (value.getType() == tf.integerType()) {
        // TODO: detect Long, BigInt etc.
        return new Integer(((IInteger)value).intValue());
      }
      if (value.getType() == tf.realType()) {
        return new Double(((IReal)value).doubleValue());
      }
      if (value.getType() == tf.stringType()) {
        return new String((((IString)value).getValue()));
      }
      if (value.getType() == tf.boolType()) {
        return new Boolean((((IBool)value).getValue()));
      }
      if (value.getType() == tf.dateTimeType()) {
        return new Date(((IDateTime)value).getInstant());
      }
      if (value.getType() == tf.sourceLocationType()) {
        return ((ISourceLocation)value).getURI();
      }
      throw RuntimeExceptionFactory.illegalArgument(yaml, ctx.getCurrentAST(), ctx.getStackTrace());
    }
    if (yaml.getConstructorType() == Node_sequence) {
View Full Code Here
87
88
89
90
91
92
93
94
95
96
 
  public static IMap toRascalModifiers(int stateMask,IMap prevMap,IEvaluatorContext ctx){
    IValueFactory vf = ValueFactoryFactory.getValueFactory();
    for(int i = 0 ; i < modifiers.length ;i++){
      Type controlType = modifiers[i];
      IValue cons = vf.constructor(controlType);
      prevMap = prevMap.put(cons, vf.bool((stateMask & modifiersSWT[i]) != 0));
    }
    return prevMap;
  }
View Full Code Here
213
214
215
216
217
218
219
220
221
222
223
          childPropsNext = childchildProps;
        }
      }
    }
    Figure[] children;
    IValue validate;
   
    switch(pmap.get(ename)){
     
    case BOX:
      return new Box( makeChild(env,c,properties,childPropsNext), properties );
View Full Code Here
157
158
159
160
161
162
163
164
165
166
167
      throw new CompilerError("No module_init function found when loading RVM code!");
    }
   
    try {
      long start = Timing.getCpuTime();
      IValue result = null;
      if(isTestSuite){
        /*
         * Execute as testsuite
         */
        rvm.executeProgram(uid_module_init, arguments);
View Full Code Here
447
448
449
450
451
452
453
454
455
456
457
  }
 
  // returns if the event is captured (i.e. not propagated further)
  public boolean executeHandlerProperty(ICallbackEnv env, Properties property, Type[] types, IValue[] args){
    if(prop.isSet(property)){
      IValue v = prop.executeHandler(env, property, types, args);
      if(v instanceof IBool){
        return ((IBool)v).getValue();
      } else {
        return false;
      }
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
      return writer.done();
    } else {
      RandomValueTypeVisitor visitor = descend();
      ISet set = (ISet) visitor.generate(type);

      IValue element = null;
      int recursionGuard = 0; // Domain of set can be small.
      while ((element == null || set.contains(element))
          && recursionGuard < 1000) {
        recursionGuard += 1;
        element = visitor.generate(type.getElementType());
View Full Code Here
111
112
113
114
115
116
117
118
119
120
121
      IConstructor result = (IConstructor) this.generate(pick);
      if (result != null) {
        RandomValueTypeVisitor visitor = descend();
        Map<String, Type> annotations = definitions.getAnnotations(type);
        for (Map.Entry<String, Type> entry : annotations.entrySet()) {
          IValue value = visitor.generate(entry.getValue());
          if (value == null) {
            return null;
          }
          result = result.asAnnotatable().setAnnotation(entry.getKey(), value);
        }
View Full Code Here
157
158
159
160
161
162
163
164
165
166
167
    RandomValueTypeVisitor visitor = descend();

    LinkedList<IValue> values = new LinkedList<IValue>();
    for (int i = 0; i < type.getArity(); i++) {
      Type fieldType = type.getFieldType(i);
      IValue argument = visitor.generate(fieldType);
      if (argument == null) {
        return null;
        /*
         * Het is onmogelijk om de constructor te bouwen als ������n
         * argument null is.
View Full Code Here
216
217
218
219
220
221
222
223
224
225
226
    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
239
240
241
242
243
244
245
246
247
248
249
250
    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
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.