示例#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;
 }
示例#2
0
 @Override
 protected IR constructIR() {
   return new MapRangeExpr(targetExpr.checkIR(Expression.class), getType().getType());
 }
示例#3
0
 @Override
 public TypeNode getType() {
   return SetTypeNode.getSetType(((MapTypeNode) targetExpr.getType()).valueTypeUnresolved);
 }