@@ -12,7 +12,8 @@ class HttpHeaderWriteTest extends InlineExpectationsTest {
1212 override predicate hasActualResult ( Location location , string element , string tag , string value ) {
1313 // Dynamic key-value header:
1414 exists ( HTTP:: HeaderWrite hw |
15- hw .hasLocationInfo ( location .getFile ( ) .getAbsolutePath ( ) , location .getStartLine ( ) , location .getStartColumn ( ) , location .getEndLine ( ) , location .getEndColumn ( ) ) and
15+ hw .hasLocationInfo ( location .getFile ( ) .getAbsolutePath ( ) , location .getStartLine ( ) ,
16+ location .getStartColumn ( ) , location .getEndLine ( ) , location .getEndColumn ( ) ) and
1617 (
1718 element = hw .getName ( ) .toString ( ) and
1819 value = hw .getName ( ) .toString ( ) and
@@ -26,7 +27,8 @@ class HttpHeaderWriteTest extends InlineExpectationsTest {
2627 or
2728 // Static key, dynamic value header:
2829 exists ( HTTP:: HeaderWrite hw |
29- hw .hasLocationInfo ( location .getFile ( ) .getAbsolutePath ( ) , location .getStartLine ( ) , location .getStartColumn ( ) , location .getEndLine ( ) , location .getEndColumn ( ) ) and
30+ hw .hasLocationInfo ( location .getFile ( ) .getAbsolutePath ( ) , location .getStartLine ( ) ,
31+ location .getStartColumn ( ) , location .getEndLine ( ) , location .getEndColumn ( ) ) and
3032 (
3133 element = hw .getHeaderName ( ) .toString ( ) and
3234 value = hw .getHeaderName ( ) and
@@ -40,7 +42,8 @@ class HttpHeaderWriteTest extends InlineExpectationsTest {
4042 or
4143 // Static key, static value header:
4244 exists ( HTTP:: HeaderWrite hw |
43- hw .hasLocationInfo ( location .getFile ( ) .getAbsolutePath ( ) , location .getStartLine ( ) , location .getStartColumn ( ) , location .getEndLine ( ) , location .getEndColumn ( ) ) and
45+ hw .hasLocationInfo ( location .getFile ( ) .getAbsolutePath ( ) , location .getStartLine ( ) ,
46+ location .getStartColumn ( ) , location .getEndLine ( ) , location .getEndColumn ( ) ) and
4447 (
4548 element = hw .getHeaderName ( ) .toString ( ) and
4649 value = hw .getHeaderName ( ) and
0 commit comments