Examples of IValue


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

    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

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

        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

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

    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
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.