Examples of NameBinding

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

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

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

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

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

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

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

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

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

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
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.