src/location.nit

   1 # This file is part of NIT ( http://www.nitlanguage.org ).
   2 #
   3 # Copyright 2009 Jean-Sebastien Gelinas <calestar@gmail.com>
   4 #
   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
   8 #
   9 #     http://www.apache.org/licenses/LICENSE-2.0
  10 #
  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.
  16
  17 package location
  18
  19 class Location
  20 special Comparable
  21         redef type OTHER: Location
  22
  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
  28
  29         init(f: String, line_s: Int, line_e: Int, column_s: Int, column_e: Int) do
  30                 _file = f
  31                 _line_start = line_s
  32                 _line_end = line_e
  33                 _column_start = column_s
  34                 _column_end = column_e
  35         end
  36
  37         init with_file(f: String) do init(f,0,0,0,0)
  38
  39         redef fun ==(other: nullable Object): Bool do
  40                 if other == null then return false
  41                 if not other isa Location then return false
  42
  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
  48
  49                 return true
  50         end
  51
  52         fun located_in(loc: nullable Location): Bool do
  53                 if loc == null then return false
  54
  55                 if line_start < loc.line_start then return false
  56                 if line_start > loc.line_end then return false
  57
  58                 if line_end > loc.line_end then return false
  59
  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
  63                 end
  64
  65                 if line_end == loc.line_end and column_end > loc.column_end then return false
  66
  67                 return true
  68         end
  69
  70         redef fun to_s: String do
  71                 if line_start == line_end then
  72                         if column_start == column_end then
  73                                 return "{file}:{line_start},{column_start}"
  74                         else
  75                                 return "{file}:{line_start},{column_start}--{column_end}"
  76                         end
  77                 else
  78                         return "{file}:{line_start},{column_start}--{line_end}:{column_end}"
  79                 end
  80         end
  81
  82         redef fun <(other: OTHER): Bool do
  83                 if self == other then return false
  84                 if self.located_in(other) then return true
  85                 if other.located_in(self) then return false
  86
  87                 if line_start != other.line_start then return line_start < other.line_start
  88                 if column_start != other.column_start then return column_start < other.column_start
  89                 if line_end != other.line_end then return line_end < other.line_end
  90
  91                 return column_end < other.column_end
  92         end
  93 end
  94