Package org.rascalmpl.library.cobra

Examples of org.rascalmpl.library.cobra.RandomType

359
360
361
362
363
364
365
366
    return vf.tuple(elems);
  }

  @Override
  public IValue visitValue(Type type) {
    RandomType rt = new RandomType();
    return this.generate(rt.getType(maxDepth));
  }
View Full Code Here
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
 
  @Test
  public void testLubAndGlb() {
    Set<Type> types = new HashSet<Type>();
   
    RandomType rg = new RandomType();
    rg.plusRascalTypes(true);
   
    for(int i = 0; i <= 1000; i++) {
      types.add(rg.getFunctionType(2));
      types.add(rg.getReifiedType(5));
      types.add(rg.getOverloadedFunctionType(2));
    }
   
    for (Type t : types) {
      if (t.lub(t) != t) {
        fail("lub should be idempotent: " + t + " != " + t.lub(t));
View Full Code Here
TOP

Related Classes of org.rascalmpl.library.cobra.RandomType

  • org.eclipse.imp.pdb.facts.type.Type
  • org.rascalmpl.library.experiments.Compiler.Rascal2muRascal.RandomValueTypeVisitor
  • org.rascalmpl.test.library.RascalTypes
  • java.util.Random
    • 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.