Package wyvern.tools.typedAST.interfaces

Examples of wyvern.tools.typedAST.interfaces.Value

51
52
53
54
55
56
57
58
59
60
61
    writer.writeArgs(function, env);
  }

  @Override
  public Value evaluateApplication(Application app, Environment argEnv) {
    Value argValue = app.getArgument().evaluate(argEnv);
    Environment bodyEnv = env;
    List<NameBinding> bindings = function.getArgBindings();
    if (bindings.size() == 1)
      bodyEnv = bodyEnv.extend(new ValueBinding(bindings.get(0).getName(), argValue));
    else if (bindings.size() > 1 && argValue instanceof TupleValue)
View Full Code Here
106
107
108
109
110
111
112
113
114
115
116
  @Override
  public void evalDecl(Environment evalEnv, Environment declEnv) {
    if (declEnv.getValue(binding.getName()) != null)
      return;
     
    Value defValue = null;
    if (definition != null)
      defValue = definition.evaluate(evalEnv);
    ValueBinding vb = (ValueBinding) declEnv.lookup(binding.getName());
    vb.setValue(defValue);
  }
View Full Code Here
32
33
34
35
36
37
38
39
40
41
42
43
44
    try {
      Reader reader = new FileReader(file);
      TypedAST res = (TypedAST) new Wyvern().parse(reader, filename);
      res.typecheck(Globals.getStandardEnv(), Optional.empty());
      res = new DSLTransformer().transform(res);
      Value finalV = res.evaluate(Globals.getStandardEnv());
      TreeWriter t = new TreeWriter();
      finalV.writeArgsToTree(t);
      System.out.println(t.getResult());
    } catch (IOException e) {
      System.err.println("Error reading file " + filename);
    } catch (CopperParserException e) {
      System.err.print("Parsing error: ");
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
  @Override
  public Type typecheck(Environment env, Optional<Type> expected) {
    Type dslType = expected.orElseGet(this::getDefaultType);

    Value vparser =
        Util.invokeValue(((MetaType) dslType).getMetaObj(),
            "getParser", UnitVal.getInstance(FileLocation.UNKNOWN));
    ExtParser parser = (ExtParser) Util.toJavaObject(vparser, ExtParser.class);

    try {
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
    }

    @Override
    public TypedAST transform(TypedAST input) {
      if (input instanceof ToastExpression) {
        Value result = input.evaluate(evalEnv);
        TypedAST iExn = Util.toJavaClass((Obj)result, TypedAST.class);
        if (!(iExn instanceof Obj))
          return iExn;
        TypedAST equivExn = Util.toJavaClass((Obj)iExn, TypedAST.class);
        return equivExn;
View Full Code Here
30
31
32
33
34
35
36
37
38
    return Util.javaToWyvType(TypedAST.class);
  }

  @Override
  public Value evaluate(Environment env) {
    Value res = exn.evaluate(env);

    return Util.toWyvObj(res);
  }
View Full Code Here
27
28
29
30
31
32
33
34
35
    try (FileInputStream fis = new FileInputStream(file)) {
      TypedAST res = (TypedAST)new Wyvern().parse(new InputStreamReader(fis), "test input");
      Type checkedType = res.typecheck(Globals.getStandardEnv(), Optional.empty());
      System.out.println("Result type: "+checkedType);
      res = new DSLTransformer().transform(res);
      Value finalV = res.evaluate(Globals.getStandardEnv());
      System.out.println("Result: "+finalV);
    }
  }
View Full Code Here
397
398
399
400
401
402
403
404
    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
441
442
443
444
445
446
447
448
449
    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
470
471
472
473
474
475
476
477
478
    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

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.