protected void checkSwitch(Stmt.Switch sw) { checkExpression(sw.condition()); Type condT = sw.condition().attribute(Type.class); if (!(condT instanceof Type.Int)) { ErrorHandler.handleTypeMismatch( new TypeMismatchException(sw.condition(), T_INT, loader, types), sw.condition().attribute(SourceLocation.class)); } for (Case c : sw.cases()) { checkExpression(c.condition()); for (Stmt s : c.statements()) { checkStatement(s); } } }