Package wyvern.tools.typedAST.interfaces

Examples of wyvern.tools.typedAST.interfaces.Value

46
47
48
49
50
51
52
53
  @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
52
53
54
55
56
57
58
59
    }

    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
704
705
706
707
708
709
710
711
712
713
714
   * @param ast
   * @param value
   */
  public static void evaluateExpecting(TypedAST ast, int value) {
    ast.typecheck(Globals.getStandardEnv(), Optional.empty());
    Value v = ast.evaluate(Globals.getStandardEnv());
   
    String expecting = "IntegerConstant(" + value + ")";

    Assert.assertEquals(expecting, v.toString());
  }
View Full Code Here
94
95
96
97
98
99
100
101
    VarValueBinding vb = (VarValueBinding) declEnv.lookup(binding.getName());
    if (definition == null) {
            vb.assign(null);
      return;
    }
    Value defValue = definition.evaluate(evalEnv);
    vb.assign(defValue);
  }
View Full Code Here
TOP

Related Classes of wyvern.tools.typedAST.interfaces.Value

  • wyvern.tools.Interpreter
  • wyvern.tools.parsing.DSLLit
  • wyvern.tools.parsing.quotelang.QuoteParser$ToastExecutor
  • wyvern.tools.tests.CopperTests
  • wyvern.tools.tests.tagTests.TagTests
  • wyvern.tools.tests.utils.ModuleTestCase
  • wyvern.tools.tests.utils.SingleTestCase
  • wyvern.tools.typedAST.core.declarations.ValDeclaration
  • wyvern.tools.typedAST.core.declarations.VarDeclaration
  • wyvern.tools.typedAST.core.evaluation.Closure
    • 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.