Examples of Wyvern

Examples of wyvern.tools.parsing.Wyvern

610
611
612
613
614
615
616
617
618
619
620
    WyvernResolver.clearFiles();
    WyvernResolver.addFile("tokenizer", tokenizer);
    WyvernResolver.addFile("parser", parser);
    WyvernResolver.addFile("typer", typer);

    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(user), "test input");
    Type result = res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
    res = new DSLTransformer().transform(res);
    Assert.assertEquals("Int", result.toString());

    Value out = res.evaluate(Globals.getStandardEnv());
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

652
653
654
655
656
657
658
659
660
661
        "test.get()";
    WyvernResolver.clearFiles();
    WyvernResolver.addFile("parser", parser);
    WyvernResolver.addFile("supplier", supplier);

    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(client), "test input");
    Type result = res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
    res = new DSLTransformer().transform(res);
    Value finalV = res.evaluate(Globals.getStandardEnv());
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

38
39
40
41
42
43
44
45
46
47
48
        "module TestModule\n" +
        "type M\n" +
        "  type A\n" +
        "    def create() : A\n" +
        "";
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");
   
    // System.out.println("Parsed OK.");
   
    // System.out.println("typecheck returned: " + res.typecheck(Globals.getStandardEnv(), Optional.empty()));
   
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

59
60
61
62
63
64
65
66
67
68
69
        "module TestModule\n" +
        "type M\n" +
        "  class A\n" +
        "    def create() : A = new\n" +
        "";
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");
   
    System.out.println("Parsed OK.");
   
    System.out.println("typecheck returned: " + res.typecheck(Globals.getStandardEnv(), Optional.empty()));
   
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

96
97
98
99
100
101
102
103
104
105
106
//        "val m2a : m2.A = m2.A.create()\n" +
//        "printInteger(m1a.foo())\n" + // 2
        "\n" +
        "printInteger(36)" + // This is to make this work for debugging as the above decls are w/o module.
        "";
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");
   
    System.out.println("Parsed OK.");
   
    System.out.println("typecheck returned: " + res.typecheck(Globals.getStandardEnv(), Optional.empty()));
   
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

43
44
45
46
47
48
49
50
51
52
53
    this.expectedType = expectedType;
  }

  @Override
  public void execute() throws IOException, CopperParserException {
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(code+"\n"), "test input");
    Assert.assertEquals(expectedType, res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty()).toString());
    res = new DSLTransformer().transform(res);
    Value finalV = res.evaluate(Globals.getStandardEnv());
    Assert.assertEquals(expectedValue, finalV.toString());
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

49
50
51
52
53
54
55
56
57
58
59
    WyvernResolver.clearFiles();
    for (Pair<String,String> pair : modules) {
      WyvernResolver.addFile(pair.first, pair.second+"\n");
    }

    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(main), "test input");
    Assert.assertEquals(expectedType, res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty()).toString());
    res = new DSLTransformer().transform(res);
    Value finalV = res.evaluate(Globals.getStandardEnv());
    Assert.assertEquals(expectedValue, finalV.toString());
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

721
722
723
724
725
726
727
   * @throws IOException
   * @throws CopperParserException
   */
  public static TypedAST getAST(String program) throws CopperParserException, IOException {
    TagBinding.resetHACK();
    return (TypedAST)new Wyvern().parse(new StringReader(program), "test input");
  }
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.