Package wyvern.tools.typedAST.extensions

Examples of wyvern.tools.typedAST.extensions.SpliceExn

51
52
53
54
55
56
57
58
59
60
  }

  public static TypedAST splice(ParseBuffer buffer) {
    try {
      TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(buffer.getSrcString()), "inner");
      return new SpliceExn(res);
    } catch (IOException | CopperParserException e) {
      throw new RuntimeException(e);
    }
  }
View Full Code Here
60
61
62
63
64
65
66
67
68
69
  }

  public static TypedAST spliceUnsafe(String str) {
    try {
      TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(str), "inner");
      return new SpliceExn(res);
    } catch (IOException | CopperParserException e) {
      throw new RuntimeException(e);
    }
  }
View Full Code Here
69
70
71
72
73
74
75
76
77
78
  }

  public static TypedAST splice(ParseBuffer buffer, String filename) {
    try {
      TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(buffer.getSrcString()), "inner");
      return new SpliceExn(res);
    } catch (IOException | CopperParserException e) {
      throw new RuntimeException(e);
    }
  }
View Full Code Here
480
481
482
483
484
485
486
487
488
489
490
  @Test
  public void testSplice1() throws IOException, CopperParserException {
    TypedAST testAST = new Sequence(
        new ValDeclaration("x", new IntegerConstant(4), null),
        new Application(new TSLBlock(new Fn(Arrays.asList(new NameBindingImpl("x", Int.getInstance())),
            new SpliceExn(new Variable(new NameBindingImpl("x", Int.getInstance()), null)))), new IntegerConstant(9), null) );
    Type result = testAST.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
    Value out = testAST.evaluate(Globals.getStandardEnv());
    int finalRes = ((IntegerConstant)out).getValue();
    Assert.assertEquals(4, finalRes);
  }
View Full Code Here
TOP

Related Classes of wyvern.tools.typedAST.extensions.SpliceExn

  • wyvern.tools.tests.CopperTests
  • wyvern.tools.types.Environment
  • wyvern.tools.types.Type
  • wyvern.tools.util.LangUtil
    • 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.