Package wyvern.tools.typedAST.core.binding

Examples of wyvern.tools.typedAST.core.binding.NameBinding

26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
 
  public Type resolve(Environment env) {
    // System.out.println("Looking at: " + this.typeName);
   
    if (env.lookup(this.typeName) != null) {
      NameBinding n = env.lookup(this.typeName);
   
      // System.out.println("NameBinding = " + n);
      // System.out.println("Its type is " + n.getType());
    }
   
    if (env.lookupType(typeName) == null) {
      if (env.lookup(this.typeName) != null) {
        // Perhaps its first class?
        NameBinding n = env.lookup(this.typeName);
        Type t = n.getType();
        return t;
      }
      throw new RuntimeException("Cannot find "+typeName +" in environment "+env);
    }
    TypeBinding typeBinding = env.lookupType(typeName);
View Full Code Here
34
35
36
37
38
39
40
41
42
43
44
45
  @Override
  protected Type doTypecheck(Environment env, Optional<Type> expected) {
    Type argType = null;
    for (int i = 0; i < bindings.size(); i++) {
      NameBinding bdgs = bindings.get(i);
      bindings.set(i, new NameBindingImpl(bdgs.getName(), TypeResolver.resolve(bdgs.getType(), env)));
    }

    if (bindings.size() == 0)
      argType = Unit.getInstance();
    else if (bindings.size() == 1)
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
71
72
    assert opExp.getArgument() == null;
   
    // the operation should exist
    String opName = opExp.getOperationName();

    NameBinding m = typeDeclEnv.get().lookup(opName);

    if (m == null)
      throw new RuntimeException("Invalid operation "+opName+" on type " + this);
   
    // TODO Auto-generated method stub
    return m.getType();
  }
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
154
155
   
    TypeBinding tb = typeDeclEnv.get().lookupType(name);
    if (tb == null) {
      // System.out.println("Maybe it is a name?");
     
      NameBinding nm = typeDeclEnv.get().lookup(name);
      // System.out.println(nm.getType());
     
      return new TypeBinding(nm.getName(), nm.getType());
    } else {
      return tb;
    }
  }
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
84
85
      throw new RuntimeException(opExp.getLocation().toString());
    assert opExp.getArgument() == null;
   
    // the operation should exist
    String opName = opExp.getOperationName();
    NameBinding m = declEnv.get().lookup(opName);

    if (m == null)
      reportError(OPERATOR_DOES_NOT_APPLY, opExp, opName, this.toString());
   
    // TODO Auto-generated method stub
    return m.getType();
  }
View Full Code Here
180
181
182
183
184
185
186
187
188
189
190
191
  Type resolvedType = null;
  @Override
  public Environment extendName(Environment env, Environment against) {
    for (int i = 0; i < argNames.size(); i++) {
      NameBinding oldBinding = argNames.get(i);
      argNames.set(i, new NameBindingImpl(oldBinding.getName(), TypeResolver.resolve(oldBinding.getType(), against)));
    }
    if (resolvedType == null)
      resolvedType = TypeResolver.resolve(type, against);
    return env.extend(new NameBindingImpl(name, resolvedType));
  }
View Full Code Here
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
      if (c.isDefault()) continue;
     
      String tagName = c.getTaggedTypeMatch();
     
      Optional<ClassType> type = env.lookupBinding(tagName, ClassType.class);
      NameBinding binding = env.lookup(tagName);
     
      if (binding == null) {
        // type wasn't declared...
        ToolError.reportError(ErrorMessage.UNKNOWN_TAG, matchingOver);
      }
     
      Type t = binding.getType();
     
      if (t instanceof ClassType) {
        ClassType classType = (ClassType) t;
       
        String name = classType.getName();
View Full Code Here
TOP

Related Classes of wyvern.tools.typedAST.core.binding.NameBinding

  • wyvern.tools.typedAST.core.declarations.DefDeclaration
  • wyvern.tools.typedAST.core.expressions.Fn
  • wyvern.tools.typedAST.core.expressions.Match
  • wyvern.tools.types.extensions.ClassType
  • wyvern.tools.types.extensions.TypeType
  • wyvern.tools.types.UnresolvedType
    • 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.