Examples of Wyvern

Examples of wyvern.tools.parsing.Wyvern

270
271
272
273
274
275
276
277
278
    String input =
        "val x = 3\n" +
        "val test = new\n" +
        "  val x = x\n" +
        "test.x\n";
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");
    res.typecheck(Globals.getStandardEnv(), Optional.empty());
    Assert.assertEquals("IntegerConstant(3)",res.evaluate(Globals.getStandardEnv()).toString());
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

286
287
288
289
290
291
292
293
294
295
296
            "  def getValue():Int\n" +
            "  metadata:HasParser = myNumMetadata\n" +
            "val n:MyNum = { 5 }\n" +
            "n.getValue()";

    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");

    Type parserType = Util.javaToWyvType(ExtParser.class);
    Type metaType = Util.javaToWyvType(HasParser.class);

View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

325
326
327
328
329
330
331
332
333
334
335
            "  metadata:HasParser = new\n" +
            "    def getParser():ExtParser = TrivDSLParser.create()\n" +
            "val n:MyNum = { 5 }\n" +
            "n.getValue()";

    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");

    Assert.assertEquals(res.typecheck(Globals.getStandardEnv(), Optional.empty()), Int.getInstance());
    res = new DSLTransformer().transform(res);
    Assert.assertEquals(res.evaluate(Globals.getStandardEnv()).toString(), "IntegerConstant(5)");
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

348
349
350
351
352
353
354
355
356
357
358
    String in2 = "import wyv:in1\n" +
           "val n:A.MyNum = { 5 }\n" +
           "n.getValue()";
    WyvernResolver.clearFiles();
    WyvernResolver.addFile("in1", input);
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(in2), "test input");

    Assert.assertEquals(res.typecheck(Globals.getStandardEnv(), Optional.empty()), Int.getInstance());
    res = new DSLTransformer().transform(res);
    Assert.assertEquals(res.evaluate(Globals.getStandardEnv()).toString(), "IntegerConstant(5)");
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

364
365
366
367
368
369
370
371
372
373
374
            "  metadata:HasParser = myNumMetadata\n" +
            "val n:MyNum = ~\n" +
            "  5\n" +
            "n.getValue()";

    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");


    Type parserType = Util.javaToWyvType(ExtParser.class);
    Type metaType = Util.javaToWyvType(HasParser.class);
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

395
396
397
398
399
400
401
402
403
404
  @Test
  public void testImport1() throws IOException, CopperParserException {
    String input =
        "import java:java.lang.Long\n" +
        "Long.create(\"45\")";
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");
    res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
    Value result = res.evaluate(Globals.getStandardEnv());
    Assert.assertEquals(((Long) ((JavaObj) result).getObj()).longValue(), 45);
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

405
406
407
408
409
410
411
 
  @Test
  public void testMultiExn() throws IOException, CopperParserException {
    String input =
        "5\n6";
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

417
418
419
420
421
422
423
424
425
        "import java:java.lang.Long\n" +
        "class C\n" +
        "  def d():Long = Long.create(\"192\")\n" +
        "val k = 4\n";

    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");
    res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
    Environment out = ((Declaration)res).evalDecl(Globals.getStandardEnv());
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

439
440
441
442
443
444
445
446
447
448
449
            "val c = A.C.create()\n" +
            "c.d()\n";

    WyvernResolver.clearFiles();
    WyvernResolver.addFile("in1", input1);
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input2), "test input");
    Type result = res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
    Value out = res.evaluate(Globals.getStandardEnv());
    Long finalRes = (Long)((JavaObj)out).getObj();
    Assert.assertEquals(192, (long)finalRes);
  }
View Full Code Here

Examples of wyvern.tools.parsing.Wyvern

468
469
470
471
472
473
474
475
476
477
478
            "M.Tp.t()";

    WyvernResolver.clearFiles();
    WyvernResolver.addFile("in1", input1);
    WyvernResolver.addFile("in2", input2);
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input3), "test input");
    Type result = res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
    Value out = res.evaluate(Globals.getStandardEnv());
    int finalRes = ((IntegerConstant)out).getValue();
    Assert.assertEquals(19, (int)finalRes);
  }
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.