@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.sum(var, specs).plus(VarUsage.sum(var, preExpr));
}
@Override
public VarUsage count(final Var var) {
return VarUsage.sum(var, exprs);
}
@Override
public VarUsage count(final Var var) {
return occ != null ? VarUsage.sum(var, occ).plus(query.count(var)) : query.count(var);
}
@Override
public VarUsage count(final Var v) {
return VarUsage.sum(v, copies).plus(super.count(v));
}
@Override
public VarUsage count(final Var var) {
return VarUsage.maximum(var, catches).plus(expr.count(var));
}