(final Var var)
| 224 | } |
| 225 | |
| 226 | @Override |
| 227 | public VarUsage count(final Var var) { |
| 228 | VarUsage all = VarUsage.NEVER; |
| 229 | for(final Expr ex : global.values()) { |
| 230 | if((all = all.plus(ex.count(var))) == VarUsage.MORE_THAN_ONCE) break; |
| 231 | } |
| 232 | return all; |
| 233 | } |
| 234 | |
| 235 | /** |
| 236 | * Returns a copy of this closure with refined parameter types. |