@@ -997,7 +997,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
997997 }
998998
999999 /**
1000- * Provides an implementation of guard implication logic for custom
1000+ * Provides an implementation of guard implication logic for guard
10011001 * wrappers.
10021002 */
10031003 private module WrapperGuard {
@@ -1070,7 +1070,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
10701070 * parameter. A return value equal to `retval` allows us to conclude
10711071 * that the argument has the value `val`.
10721072 */
1073- private NonOverridableMethod customGuard (
1073+ private NonOverridableMethod wrapperGuard (
10741074 ParameterPosition ppos , GuardValue retval , GuardValue val
10751075 ) {
10761076 forex ( ReturnExpr ret |
@@ -1097,12 +1097,12 @@ module Make<LocationSig Location, InputSig<Location> Input> {
10971097 * dominates the evaluation of `g1` to `v1`.
10981098 *
10991099 * This predicate covers the implication steps that arise from calls to
1100- * custom guard wrappers.
1100+ * guard wrappers.
11011101 */
11021102 predicate wrapperImpliesStep ( PreGuard g1 , GuardValue v1 , PreGuard g2 , GuardValue v2 ) {
11031103 exists ( NonOverridableMethodCall call , ParameterPosition ppos , ArgumentPosition apos |
11041104 g1 = call and
1105- call .getMethod ( ) = customGuard ( ppos , v1 , v2 ) and
1105+ call .getMethod ( ) = wrapperGuard ( ppos , v1 , v2 ) and
11061106 call .getArgument ( apos ) = g2 and
11071107 parameterMatch ( pragma [ only_bind_out ] ( ppos ) , pragma [ only_bind_out ] ( apos ) ) and
11081108 not exprHasValue ( g2 , v2 ) // disregard trivial guard
0 commit comments