Package wyvern.tools.types.extensions

Examples of wyvern.tools.types.extensions.Tuple

73
74
75
76
77
78
79
          return ((Intersection)exp).getTypes().stream().filter(tpe -> tpe instanceof Tuple).filter(tpe -> ((Tuple)tpe).getTypeArray().length == objects.length).findFirst().get();
        ToolError.reportError(ErrorMessage.ACTUAL_FORMAL_TYPE_MISMATCH, this, getType().toString(), exp.toString());
        throw new RuntimeException();
      }));
    }
    return new Tuple(newTypes);
  }
View Full Code Here
92
93
94
95
96
97
98
99
100
101
  }

  @Test
  public void testSig1() {
    SignatureWriter sw = new SignatureWriter();
    wyvern.tools.types.Type toGen = new Arrow(new Tuple(new wyvern.tools.types.Type[] {Int.getInstance(), Int.getInstance(), Bool.getInstance()}), Bool.getInstance());
    getSignature(toGen, sw, true);
    String res = sw.toString();
    ClassSignature mts = sun.reflect.generics.parser.SignatureParser.make().parseClassSig(res);
  }
View Full Code Here
71
72
73
74
75
76
77
78
79
    if (args.size() == 0) {
      argType = Unit.getInstance();
    } else if (args.size() == 1) {
      argType = args.get(0).getType();
    } else {
      argType = new Tuple(args);
    }
    return new Arrow(argType, returnType);
  }
View Full Code Here
TOP

Related Classes of wyvern.tools.types.extensions.Tuple

  • wyvern.targets.java.GenerationContext
  • wyvern.tools.typedAST.core.declarations.DefDeclaration
  • wyvern.tools.typedAST.core.expressions.TupleObject
    • 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.