@@ -997,7 +997,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
997
997
}
998
998
999
999
/**
1000
- * Provides an implementation of guard implication logic for custom
1000
+ * Provides an implementation of guard implication logic for guard
1001
1001
* wrappers.
1002
1002
*/
1003
1003
private module WrapperGuard {
@@ -1070,7 +1070,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
1070
1070
* parameter. A return value equal to `retval` allows us to conclude
1071
1071
* that the argument has the value `val`.
1072
1072
*/
1073
- private NonOverridableMethod customGuard (
1073
+ private NonOverridableMethod wrapperGuard (
1074
1074
ParameterPosition ppos , GuardValue retval , GuardValue val
1075
1075
) {
1076
1076
forex ( ReturnExpr ret |
@@ -1097,12 +1097,12 @@ module Make<LocationSig Location, InputSig<Location> Input> {
1097
1097
* dominates the evaluation of `g1` to `v1`.
1098
1098
*
1099
1099
* This predicate covers the implication steps that arise from calls to
1100
- * custom guard wrappers.
1100
+ * guard wrappers.
1101
1101
*/
1102
1102
predicate wrapperImpliesStep ( PreGuard g1 , GuardValue v1 , PreGuard g2 , GuardValue v2 ) {
1103
1103
exists ( NonOverridableMethodCall call , ParameterPosition ppos , ArgumentPosition apos |
1104
1104
g1 = call and
1105
- call .getMethod ( ) = customGuard ( ppos , v1 , v2 ) and
1105
+ call .getMethod ( ) = wrapperGuard ( ppos , v1 , v2 ) and
1106
1106
call .getArgument ( apos ) = g2 and
1107
1107
parameterMatch ( pragma [ only_bind_out ] ( ppos ) , pragma [ only_bind_out ] ( apos ) ) and
1108
1108
not exprHasValue ( g2 , v2 ) // disregard trivial guard
0 commit comments