Examples of AssignableNameBinding

Examples of wyvern.tools.typedAST.core.binding.typechecking.AssignableNameBinding

33
34
35
36
37
38
39
    return isClass;
  }

  public VarDeclaration(String varName, Type parsedType, TypedAST definition) {
    this.definition=definition;
    binding = new AssignableNameBinding(varName, parsedType);
  }
View Full Code Here

Examples of wyvern.tools.typedAST.core.binding.typechecking.AssignableNameBinding

73
74
75
76
77
78
79
80
81
    visitor.visit(this);
  }

  @Override
  public void checkAssignment(Assignment ass, Environment env) {
    AssignableNameBinding vb =
        env.lookupBinding(binding.getName(), AssignableNameBinding.class)
          .orElseThrow(() -> new RuntimeException("Cannot set a non-existent or immutable var"));
  }
View Full Code Here

Examples of wyvern.tools.typedAST.core.binding.typechecking.AssignableNameBinding

118
119
120
121
122
123
124
125
126
  }

  @Override
  public Environment extendName(Environment env, Environment against) {
    definitionType = TypeResolver.resolve(binding.getType(), against);
    binding = new AssignableNameBinding(binding.getName(), definitionType);

    return env.extend(binding);
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.