@Override
public VarUsage count(final Var var) {
return ts.count(var).plus(VarUsage.maximum(var, cases));
}
@Override
public VarUsage count(final Var var) {
return VarUsage.maximum(var, catches).plus(expr.count(var));
}
@Override
public VarUsage count(final Var var) {
return ts.count(var).plus(VarUsage.maximum(var, cases));
}
@Override
public VarUsage count(final Var var) {
return VarUsage.maximum(var, catches).plus(expr.count(var));
}