@@ -659,7 +659,7 @@ module TestPostProcessing {
659
659
private string getRelativePathTo ( string absolutePath ) {
660
660
exists ( Input:: Location loc |
661
661
loc .hasLocationInfo ( absolutePath , _, _, _, _) and
662
- result = Input2:: getRelativeUrl ( loc ) . splitAt ( ":" , 0 )
662
+ parseLocationString ( Input2:: getRelativeUrl ( loc ) , result , _ , _ , _ , _ )
663
663
)
664
664
}
665
665
@@ -692,7 +692,7 @@ module TestPostProcessing {
692
692
693
693
abstract string getRelativeUrl ( ) ;
694
694
695
- abstract string toString ( ) ;
695
+ final string toString ( ) { result = this . getRelativeUrl ( ) }
696
696
697
697
abstract predicate hasLocationInfo ( string file , int sl , int sc , int el , int ec ) ;
698
698
}
@@ -731,12 +731,10 @@ module TestPostProcessing {
731
731
module TestImpl2 implements InlineExpectationsTestSig {
732
732
final class Location = TestLocation ;
733
733
734
- class ExpectationComment instanceof Input:: ExpectationComment {
735
- string getContents ( ) { result = super .getContents ( ) }
734
+ final private class ExpectationCommentFinal = Input:: ExpectationComment ;
736
735
736
+ class ExpectationComment extends ExpectationCommentFinal {
737
737
Location getLocation ( ) { result = MkInputLocation ( super .getLocation ( ) ) }
738
-
739
- string toString ( ) { result = super .toString ( ) }
740
738
}
741
739
}
742
740
0 commit comments