Package wyvern.tools.types

Examples of wyvern.tools.types.Type

48
49
50
51
52
53
54
55
56
57
58
    writer.writeArgs(binding.getName(), definition);
  }

  @Override
  protected Type doTypecheck(Environment env) {
    Type resolved = null;
    if (binding.getType() != null)
      resolved = TypeResolver.resolve(binding.getType(), env);
    if (this.definition != null)
      this.definitionType = this.definition.typecheck(env, Optional.ofNullable(resolved));
    if (resolved == null)
View Full Code Here
137
138
139
140
141
142
143
144
145
146
147
  @Override
  public Environment extendName(Environment env, Environment against) {
    // System.out.println("Resolving ValDeclaration using extendName: " + this.getName());
   
    Type resolved;
    if (binding.getType() != null) {
     
      // System.out.println("Inside ValDeclaration resolving type: " + binding.getType());
      // System.out.println("Inside ValDeclaration resolving type: " + binding.getType().getClass());
     
View Full Code Here
53
54
55
56
57
58
59
60
61
62
63
    return null;
  }

  @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);
View Full Code Here
57
58
59
60
61
62
63
64
65

    Optional<Type> resType = expected.map(type -> ((Arrow) type).getResult());

    outerEnv = outerEnv.extend(bindings.stream().reduce(Environment.getEmptyEnvironment(), Environment::extend, (a,b)->b.extend(a)));
    Type exnType = exn.typecheck(outerEnv, resType);
    cached = Optional.of(exnType);
    return getType();
  }
View Full Code Here
24
25
26
27
28
29
30
31
32
33
34
    //Path path = Paths.get(args[0]);
    //Files.lines(path).forEach(s -> System.out.println(s));
   
    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
29
30
31
32
33
34
35
36
37
  @Override
  public Type typecheck(Environment env, Optional<Type> expected) {
    Environment outerEnv = env.lookupBinding("oev", TSLBlock.OuterEnviromentBinding.class)
      .map(oeb->oeb.getStore())
      .orElse(Environment.getEmptyEnvironment());
    Type exnType = exn.typecheck(outerEnv, expected);
    cached = Optional.of(exnType);
    return exnType;
  }
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
    }
  }

  public static SpliceType spliceType(ParseBuffer inpType) {
    try {
      Type res = (Type)new TypeParser().parse(new StringReader(inpType.getSrcString()), "inner type");
      return new SpliceType(res);
    } catch (IOException | CopperParserException e) {
      throw new RuntimeException(e);
    }
  }
View Full Code Here
31
32
33
34
35
36
37
38
  @Override
  protected Type doTypecheck(Environment env, Optional<Type> expected) {
    decl.typecheck(env, Optional.empty());
    Environment newEnv = decl.extendWithDecls(env);
    Type bodyType = body.typecheck(newEnv, Optional.empty());
    return bodyType;
  }
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
    public Type typecheck(Environment env) {
      if (typechecking) {
        throw new RuntimeException("Cyclic dependency");
      }
      typechecking = true;
      Type resu = res.typecheck(env, Optional.<Type>empty());

      if (res instanceof EnvironmentExtender) {
        MiBEnv = ((EnvironmentExtender) res).evalDecl(MiBEnv);
      }
      typechecking = false;
View Full Code Here
288
289
290
291
292
293
294
295
296
297
298
299
            "val n:MyNum = { 5 }\n" +
            "n.getValue()";

    TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(input), "test input");

    Type parserType = Util.javaToWyvType(ExtParser.class);
    Type metaType = Util.javaToWyvType(HasParser.class);


    final ExtParser parseri = str -> {
      New newv = new New(new HashMap<>(), null);
      TypedAST dbody = new IntegerConstant(Integer.parseInt(str.getSrcString().trim()));
View Full Code Here
TOP

Related Classes of wyvern.tools.types.Type

  • wyvern.tools.imports.extensions.WyvernResolver$WyvernBinder
  • wyvern.tools.parsing.DSLLit
  • wyvern.tools.parsing.parselang.CopperTSL
  • wyvern.tools.tests.CopperTests
  • wyvern.tools.typedAST.core.declarations.DefDeclaration
  • wyvern.tools.typedAST.core.declarations.TypeDeclaration
  • wyvern.tools.typedAST.core.declarations.ValDeclaration
  • wyvern.tools.typedAST.core.declarations.VarDeclaration
  • wyvern.tools.typedAST.core.expressions.Application
  • wyvern.tools.typedAST.core.expressions.Assignment
    • 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.