Package wyvern.tools.typedAST.interfaces

Examples of wyvern.tools.typedAST.interfaces.Value

482
483
484
485
486
487
488
489
490
    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
615
616
617
618
619
620
621
622
    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(user), "test input");
    Type result = res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
    res = new DSLTransformer().transform(res);
    Assert.assertEquals("Int", result.toString());

    Value out = res.evaluate(Globals.getStandardEnv());
    Assert.assertEquals("IntegerConstant(13)", out.toString());
  }
View Full Code Here
655
656
657
658
659
660
661
    WyvernResolver.addFile("supplier", supplier);

    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(client), "test input");
    Type result = res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
    res = new DSLTransformer().transform(res);
    Value finalV = res.evaluate(Globals.getStandardEnv());
  }
View Full Code Here
137
138
139
140
141
142
143
144
145
146
147
        }
      }
      if (!suitable)
        continue;
      //This is the first method => most specific
      Value evaluate = app.getArgument().evaluate(iEnv);
      Value[] args = values;
      Type[] sig = fromValue(evaluate);
      if (sig.length == 1 && sig[0] instanceof Unit) {
        sig = new Type[] {};
      }
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
  public Value evaluateAssignment(Assignment ass, Environment env) {
    if (!(ass.getTarget() instanceof Invocation))
      throw new RuntimeException("Something really, really weird happened.");
    String operation = ((Invocation) ass.getTarget()).getOperationName();

    Value newValue = ass.getValue().evaluate(env);

    intEnv.get().lookupBinding(operation, AssignableValueBinding.class)
        .orElseThrow(() -> new RuntimeException("Trying to assign a non-var"))
        .assign(newValue);
View Full Code Here
115
116
117
118
119
120
121
122
123
  private static HashSet<Binding> bindings = new HashSet<>();
  public static void setValueBinding(Object arg, ValueBinding b) {
    if (bindings.contains(b))
      return;
    bindings.add(b);
    Value toSet = toWyvObj(arg);
    b.setValue(toSet);
    bindings.remove(b);
  }
View Full Code Here
383
384
385
386
387
388
389
390
391
392
393
      throw new RuntimeException("Something awful happened!");
    }
  }

  public static Object doInvoke(Obj receiver, String target, Object[] args) {
    Value arguments = toWyvObjs(args);
    return toJavaObject((
        new Application(
            new Invocation(receiver, target, null, FileLocation.UNKNOWN),
            arguments, FileLocation.UNKNOWN)
            .evaluate(Environment.getEmptyEnvironment())), null);//Therefore, can only handle strings and ints
View Full Code Here
398
399
400
401
402
403
404
405
406
407
408
            .evaluate(Environment.getEmptyEnvironment());//Therefore, can only handle strings and ints
  }
 

  public static Object doInvokeVarargs(Obj receiver, String target, Object... args) {
    Value arguments = toWyvObjs(args);
    return toJavaObject((
        new Application(
            new Invocation(receiver, target, null, FileLocation.UNKNOWN),
            arguments, FileLocation.UNKNOWN)
            .evaluate(Environment.getEmptyEnvironment())), null);//Therefore, can only handle strings and ints
View Full Code Here
412
413
414
415
416
417
418
419
420
421
422
    return new Application(
        new Invocation(reciever,target, null, FileLocation.UNKNOWN),
        args, FileLocation.UNKNOWN).evaluate(Environment.getEmptyEnvironment());
  }
  public static Value invokeValueVarargs(Value reciever, String target, Value... args) {
    Value iargs;
    if (args.length == 0)
      iargs = UnitVal.getInstance(FileLocation.UNKNOWN);
    else if (args.length == 1)
      iargs = args[0];
    else
View Full Code Here
53
54
55
56
57
58
59
60
61
    return type;
  }

  @Override
  public Value evaluate(Environment env) {
    Value value = env.getValue(binding.getName());
    assert value != null;
    return value;
  }
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.