Example #1
0
 @Override
 protected boolean checkLocal() {
   TypeNode targetType = targetExpr.getType();
   if (!(targetType instanceof MapTypeNode)) {
     targetExpr.reportError("This argument to map range expression must be of type map<S,T>");
     return false;
   }
   return true;
 }
Example #2
0
 @Override
 public TypeNode getType() {
   return SetTypeNode.getSetType(((MapTypeNode) targetExpr.getType()).valueTypeUnresolved);
 }