Package org.eclipse.imp.pdb.facts.type

Examples of org.eclipse.imp.pdb.facts.type.Type.accept()

60
61
62
63
64
65
66
67
68
69
70
    RandomValueTypeVisitor v = new RandomValueTypeVisitor(
        getValueFactory(), (ModuleEnvironment) getEnv().getRoot(),
        maxDepth.intValue(), generators, ctx.getCurrentEnvt().getTypeBindings());

    IValue returnVal = instantiatedReturnType.accept(v);

    return makeResult(instantiatedReturnType, returnVal, eval);

  }
View Full Code Here
273
274
275
276
277
278
279
280
281
282
283
          result[i] = null;
        }
        continue;
      }

      result[i] = currentType.accept(new DefaultTypeVisitor<IValue, RuntimeException>((IValue)null) {
        @Override
        public IValue visitString(Type type) throws RuntimeException {
          return values.string(field);
        }
        @Override
View Full Code Here
49
50
51
52
53
54
55
56
57
58
59
  }
 
  @SuppressWarnings("unchecked")
  public static <T extends IValue> Result<T> nothing() {
    Type type = TypeFactory.getInstance().voidType();
    return (Result<T>) type.accept(new Visitor(type, null, null));
  }
 
  @SuppressWarnings("unchecked")
  public static <T extends IValue> Result<T> nothing(Type type) {
    return (Result<T>) type.accept(new Visitor(type, null, null));
View Full Code Here
273
274
275
276
277
278
279
280
281
282
283
          result[i] = null;
        }
        continue;
      }

      result[i] = currentType.accept(new DefaultTypeVisitor<IValue, RuntimeException>((IValue)null) {
        @Override
        public IValue visitString(Type type) throws RuntimeException {
          return values.string(field);
        }
        @Override
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.