| 1 |  |  | from coalib.misc.Decorators import (enforce_signature, | 
            
                                                                                                            
                            
            
                                    
            
            
                | 2 |  |  |                                     generate_ordering, | 
            
                                                                                                            
                            
            
                                    
            
            
                | 3 |  |  |                                     generate_repr) | 
            
                                                                                                            
                            
            
                                    
            
            
                | 4 |  |  | from coalib.results.TextPosition import TextPosition | 
            
                                                                                                            
                            
            
                                    
            
            
                | 5 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 6 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 7 |  |  | @generate_repr("start", "end") | 
            
                                                                                                            
                            
            
                                    
            
            
                | 8 |  |  | @generate_ordering("start", "end") | 
            
                                                                                                            
                                                                
            
                                    
            
            
                | 9 |  |  | class TextRange: | 
            
                                                                        
                            
            
                                    
            
            
                | 10 |  |  |     @enforce_signature | 
            
                                                                        
                            
            
                                    
            
            
                | 11 |  |  |     def __init__(self, start: TextPosition, end: (TextPosition, None)=None): | 
            
                                                                        
                            
            
                                    
            
            
                | 12 |  |  |         """ | 
            
                                                                        
                            
            
                                    
            
            
                | 13 |  |  |         Creates a new TextRange. | 
            
                                                                        
                            
            
                                    
            
            
                | 14 |  |  |  | 
            
                                                                        
                            
            
                                    
            
            
                | 15 |  |  |         :param start:       A TextPosition indicating the start of the range. | 
            
                                                                        
                            
            
                                    
            
            
                | 16 |  |  |                             Can't be `None`. | 
            
                                                                        
                            
            
                                    
            
            
                | 17 |  |  |         :param end:         A TextPosition indicating the end of the range. If | 
            
                                                                        
                            
            
                                    
            
            
                | 18 |  |  |                             `None` is given, the start object will be used | 
            
                                                                        
                            
            
                                    
            
            
                | 19 |  |  |                             here. | 
            
                                                                        
                            
            
                                    
            
            
                | 20 |  |  |         :raises TypeError:  Raised when | 
            
                                                                        
                            
            
                                    
            
            
                | 21 |  |  |                             - start is no TextPosition or None. | 
            
                                                                        
                            
            
                                    
            
            
                | 22 |  |  |                             - end is no TextPosition. | 
            
                                                                        
                            
            
                                    
            
            
                | 23 |  |  |         :raises ValueError: Raised when end position is smaller than start | 
            
                                                                        
                            
            
                                    
            
            
                | 24 |  |  |                             position, because negative ranges are not allowed. | 
            
                                                                        
                            
            
                                    
            
            
                | 25 |  |  |         """ | 
            
                                                                        
                            
            
                                    
            
            
                | 26 |  |  |  | 
            
                                                                        
                            
            
                                    
            
            
                | 27 |  |  |         self._start = start | 
            
                                                                        
                            
            
                                    
            
            
                | 28 |  |  |         self._end = end or start | 
            
                                                                        
                            
            
                                    
            
            
                | 29 |  |  |  | 
            
                                                                        
                            
            
                                    
            
            
                | 30 |  |  |         if self._end < start: | 
            
                                                                        
                            
            
                                    
            
            
                | 31 |  |  |             raise ValueError("End position can't be less than start position.") | 
            
                                                                                                            
                            
            
                                    
            
            
                | 32 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 33 |  |  |     @classmethod | 
            
                                                                                                            
                            
            
                                    
            
            
                | 34 |  |  |     def from_values(cls, | 
            
                                                                                                            
                            
            
                                    
            
            
                | 35 |  |  |                     start_line=None, | 
            
                                                                                                            
                            
            
                                    
            
            
                | 36 |  |  |                     start_column=None, | 
            
                                                                                                            
                            
            
                                    
            
            
                | 37 |  |  |                     end_line=None, | 
            
                                                                                                            
                            
            
                                    
            
            
                | 38 |  |  |                     end_column=None): | 
            
                                                                                                            
                            
            
                                    
            
            
                | 39 |  |  |         """ | 
            
                                                                                                            
                            
            
                                    
            
            
                | 40 |  |  |         Creates a new TextRange. | 
            
                                                                                                            
                            
            
                                    
            
            
                | 41 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 42 |  |  |         :param start_line:   The line number of the start position. The first | 
            
                                                                                                            
                            
            
                                    
            
            
                | 43 |  |  |                              line is 1. | 
            
                                                                                                            
                            
            
                                    
            
            
                | 44 |  |  |         :param start_column: The column number of the start position. The first | 
            
                                                                                                            
                            
            
                                    
            
            
                | 45 |  |  |                              column is 1. | 
            
                                                                                                            
                            
            
                                    
            
            
                | 46 |  |  |         :param end_line:     The line number of the end position. If this | 
            
                                                                                                            
                            
            
                                    
            
            
                | 47 |  |  |                              parameter is `None`, then the end position is set | 
            
                                                                                                            
                            
            
                                    
            
            
                | 48 |  |  |                              the same like start position and end_column gets | 
            
                                                                                                            
                            
            
                                    
            
            
                | 49 |  |  |                              ignored. | 
            
                                                                                                            
                            
            
                                    
            
            
                | 50 |  |  |         :param end_column:   The column number of the end position. | 
            
                                                                                                            
                            
            
                                    
            
            
                | 51 |  |  |         :return:             A TextRange. | 
            
                                                                                                            
                            
            
                                    
            
            
                | 52 |  |  |         """ | 
            
                                                                                                            
                            
            
                                    
            
            
                | 53 |  |  |         start = TextPosition(start_line, start_column) | 
            
                                                                                                            
                            
            
                                    
            
            
                | 54 |  |  |         if end_line is None: | 
            
                                                                                                            
                            
            
                                    
            
            
                | 55 |  |  |             end = None | 
            
                                                                                                            
                            
            
                                    
            
            
                | 56 |  |  |         else: | 
            
                                                                                                            
                            
            
                                    
            
            
                | 57 |  |  |             end = TextPosition(end_line, end_column) | 
            
                                                                                                            
                            
            
                                    
            
            
                | 58 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 59 |  |  |         return cls(start, end) | 
            
                                                                                                            
                            
            
                                    
            
            
                | 60 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 61 |  |  |     @property | 
            
                                                                                                            
                            
            
                                    
            
            
                | 62 |  |  |     def start(self): | 
            
                                                                                                            
                            
            
                                    
            
            
                | 63 |  |  |         return self._start | 
            
                                                                                                            
                            
            
                                    
            
            
                | 64 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 65 |  |  |     @property | 
            
                                                                                                            
                            
            
                                    
            
            
                | 66 |  |  |     def end(self): | 
            
                                                                                                            
                                                                
            
                                    
            
            
                | 67 |  |  |         return self._end | 
            
                                                        
            
                                    
            
            
                | 68 |  |  |  |