(final Var var)
| 244 | } |
| 245 | |
| 246 | @Override |
| 247 | public VarUsage count(final Var var) { |
| 248 | VarUsage max = VarUsage.NEVER, uses = VarUsage.NEVER; |
| 249 | for(final SwitchGroup cs : groups) { |
| 250 | uses = uses.plus(cs.countCases(var)); |
| 251 | max = max.max(uses.plus(cs.count(var))); |
| 252 | } |
| 253 | return max.plus(cond.count(var)); |
| 254 | } |
| 255 | |
| 256 | @Override |
| 257 | public Expr inline(final InlineContext ic) throws QueryException { |
nothing calls this directly
no test coverage detected