Package wyvern.tools.typedAST.core.binding.evaluation

Examples of wyvern.tools.typedAST.core.binding.evaluation.ValueBinding

55
56
57
58
59
60
61
62
63
64
65
66
67
68
  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)
      for (int i = 0; i < bindings.size(); i++)
        bodyEnv = bodyEnv.extend(new ValueBinding(bindings.get(i).getName(), ((TupleValue)argValue).getValue(i)));
    else if (bindings.size() != 0)
      throw new RuntimeException("Something bad happened!");
   
    return function.getBody().evaluate(bodyEnv);
  }
View Full Code Here
96
97
98
99
100
101
102
103
104
    return extendName(old, against);
  }

  @Override
  public Environment extendWithValue(Environment old) {
    Environment newEnv = old.extend(new ValueBinding(binding.getName(), binding.getType()));
    return newEnv;
    //Environment newEnv = old.extend(new ValueBinding(binding.getName(), defValue));
  }
View Full Code Here
109
110
111
112
113
114
115
116
      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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
    env = env.extend(new TypeBinding("Unit", Unit.getInstance()));
    env = env.extend(new TypeBinding("Int", Int.getInstance()));
    env = env.extend(new TypeBinding("Bool", Bool.getInstance()));
    env = env.extend(new TypeBinding("Str", Str.getInstance()));
   
    env = env.extend(new ValueBinding("null", UnitVal.getInstance(FileLocation.UNKNOWN))); // How to represent  shock/horror  null!?
    env = env.extend(new ValueBinding("true", new BooleanConstant(true)));
    env = env.extend(new ValueBinding("false", new BooleanConstant(false)));
   
    env = env.extend(new ValueBinding("print", new ExternalFunction(arrow(str, unit), (env1, argument) -> {
      System.out.println(((StringConstant)argument).getValue());
      return UnitVal.getInstance(FileLocation.UNKNOWN); // Fake line number! FIXME:
    })));
    env = env.extend(new ValueBinding("printInteger", new ExternalFunction(arrow(integer, unit), (env1, argument) -> {
      System.out.println(((IntegerConstant)argument).getValue());
      return UnitVal.getInstance(FileLocation.UNKNOWN); // Fake line number! FIXME:
    })));
    return env;
  }
View Full Code Here
82
83
84
85
86
87
88
89
  }

  @Override
  public void evalDecl(Environment evalEnv, Environment declEnv) {
    JClosure closure = new JClosure(methods, evalEnv);
    ValueBinding vb = (ValueBinding) declEnv.lookup(getName());
    vb.setValue(closure);
  }
View Full Code Here
296
297
298
299
300
301
302
303
304
    return newEnv;
  }

  @Override
  public Environment extendWithValue(Environment old) {
    Environment newEnv = old.extend(new ValueBinding(nameBinding.getName(), nameBinding.getType()));
   
    return newEnv;
  }
View Full Code Here
307
308
309
310
311
312
313
314
  public void evalDecl(Environment evalEnv, Environment declEnv) {
    if (declEvalEnv == null)
      declEvalEnv = declEnv.extend(evalEnv);
    Obj classObj = new Obj(getClassEnv(evalEnv));
   
    ValueBinding vb = (ValueBinding) declEnv.lookup(nameBinding.getName());
    vb.setValue(classObj);
  }
View Full Code Here
60
61
62
63
64
65
66
  }

  @Override
  public Value evaluateInvocation(Invocation exp, Environment env) {
    String operation = exp.getOperationName();
    return getIntEnv().getValue(operation, env.extend(new ValueBinding("this", this)));
  }
View Full Code Here
306
307
308
309
310
311
312
313
314
315
      public ExtParser getParser() {
        return parseri;
      }
    };

    TypeDeclaration.attrEvalEnv = Environment.getEmptyEnvironment().extend(new ValueBinding("myNumMetadata", Util.toWyvObj(inner)));
    Assert.assertEquals(res.typecheck(Globals.getStandardEnv().extend(new NameBindingImpl("myNumMetadata", metaType)), Optional.empty()), Int.getInstance());
    res = new DSLTransformer().transform(res);
    Assert.assertEquals(res.evaluate(Globals.getStandardEnv().extend(new ValueBinding("myNumMetadata", Util.toWyvObj(inner)))).toString(), "IntegerConstant(5)");
  }
View Full Code Here
385
386
387
388
389
390
391
392
393
394
      public ExtParser getParser() {
        return parseri;
      }
    };

    TypeDeclaration.attrEvalEnv = Environment.getEmptyEnvironment().extend(new ValueBinding("myNumMetadata", Util.toWyvObj(inner))).extend(new TypeBinding("HasParser", metaType));
    Assert.assertEquals(res.typecheck(Globals.getStandardEnv().extend(new NameBindingImpl("myNumMetadata", metaType)), Optional.empty()), Int.getInstance());
    res = new DSLTransformer().transform(res);
    Assert.assertEquals(res.evaluate(Globals.getStandardEnv().extend(new ValueBinding("myNumMetadata", Util.toWyvObj(inner)))).toString(), "IntegerConstant(5)");
  }
View Full Code Here
TOP

Related Classes of wyvern.tools.typedAST.core.binding.evaluation.ValueBinding

  • wyvern.stdlib.Globals
  • wyvern.tools.tests.CopperTests
  • wyvern.tools.typedAST.core.declarations.ClassDeclaration
  • wyvern.tools.typedAST.core.declarations.DefDeclaration
  • wyvern.tools.typedAST.core.declarations.ModuleDeclaration
  • wyvern.tools.typedAST.core.declarations.TypeDeclaration
  • wyvern.tools.typedAST.core.declarations.ValDeclaration
  • wyvern.tools.typedAST.core.evaluation.Closure
  • wyvern.tools.typedAST.core.expressions.New
  • wyvern.tools.typedAST.core.values.Obj
    • 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.