1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2009 Jean-Sebastien Gelinas <calestar@gmail.com>
5 # Licensed under the Apache License, Version 2.0 (the "License");
6 # you may not use this file except in compliance with the License.
7 # You may obtain a copy of the License at
9 # http://www.apache.org/licenses/LICENSE-2.0
11 # Unless required by applicable law or agreed to in writing, software
12 # distributed under the License is distributed on an "AS IS" BASIS,
13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 # See the License for the specific language governing permissions and
15 # limitations under the License.
21 redef type OTHER: Location
23 readable var _file
: String
24 readable var _line_start
: Int
25 readable var _line_end
: Int
26 readable var _column_start
: Int
27 readable var _column_end
: Int
29 init(f
: String, line_s
: Int, line_e
: Int, column_s
: Int, column_e
: Int) do
33 _column_start
= column_s
34 _column_end
= column_e
37 init with_file
(f
: String) do init(f
,0,0,0,0)
39 redef fun ==(other
: nullable Object): Bool do
40 if other
== null then return false
41 if not other
isa Location then return false
43 if other
.file
!= file
then return false
44 if other
.line_start
!= line_start
then return false
45 if other
.line_end
!= line_end
then return false
46 if other
.column_start
!= column_start
then return false
47 if other
.column_end
!= column_end
then return false
52 fun located_in
(loc
: nullable Location): Bool do
53 if loc
== null then return false
55 if line_start
< loc
.line_start
then return false
56 if line_start
> loc
.line_end
then return false
58 if line_end
> loc
.line_end
then return false
60 if line_start
== loc
.line_start
then
61 if column_start
< loc
.column_start
then return false
62 if column_start
> loc
.column_end
then return false
65 if line_end
== loc
.line_end
and column_end
> loc
.column_end
then return false
70 redef fun to_s
: String do
72 if file_part
.length
> 0 then file_part
+= ":"
74 if line_start
== line_end
then
75 if column_start
== column_end
then
76 return "{file_part}{line_start},{column_start}"
78 return "{file_part}{line_start},{column_start}--{column_end}"
81 return "{file_part}{line_start},{column_start}--{line_end}:{column_end}"
85 fun relative_to
(loc
: nullable Location): String do
86 var relative
: Location
87 if loc
!= null and loc
.file
== self.file
then
88 relative
= new Location("", self.line_start
, self.line_end
, self.column_start
, self.column_end
)
90 relative
= new Location(self.file
, self.line_start
, self.line_end
, self.column_start
, self.column_end
)
95 redef fun <(other
: OTHER): Bool do
96 if self == other
then return false
97 if self.located_in
(other
) then return true
98 if other
.located_in
(self) then return false
100 if line_start
!= other
.line_start
then return line_start
< other
.line_start
101 if column_start
!= other
.column_start
then return column_start
< other
.column_start
102 if line_end
!= other
.line_end
then return line_end
< other
.line_end
104 return column_end
< other
.column_end