| 1 | //
 | 
|---|
| 2 | // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
 | 
|---|
| 3 | //
 | 
|---|
| 4 | // The contents of this file are covered under the licence agreement in the
 | 
|---|
| 5 | // file "LICENCE" distributed with Cforall.
 | 
|---|
| 6 | //
 | 
|---|
| 7 | // CodeLocation.h --
 | 
|---|
| 8 | //
 | 
|---|
| 9 | // Author           : Andrew Beach
 | 
|---|
| 10 | // Created On       : Thr Aug 17 11:23:00 2017
 | 
|---|
| 11 | // Last Modified By : Peter A. Buhr
 | 
|---|
| 12 | // Last Modified On : Mon Aug 28 12:46:01 2017
 | 
|---|
| 13 | // Update Count     : 2
 | 
|---|
| 14 | //
 | 
|---|
| 15 | 
 | 
|---|
| 16 | #pragma once
 | 
|---|
| 17 | 
 | 
|---|
| 18 | #include <iostream>
 | 
|---|
| 19 | #include <string>
 | 
|---|
| 20 | 
 | 
|---|
| 21 | struct CodeLocation {
 | 
|---|
| 22 |         int first_line = -1, first_column = -1, last_line = -1, last_column = -1;
 | 
|---|
| 23 |         std::string filename = "";
 | 
|---|
| 24 | 
 | 
|---|
| 25 |         /// Create a new unset CodeLocation.
 | 
|---|
| 26 |         CodeLocation() = default;
 | 
|---|
| 27 | 
 | 
|---|
| 28 |         /// Create a new CodeLocation with the given values.
 | 
|---|
| 29 |         CodeLocation( const char* filename, int lineno )
 | 
|---|
| 30 |                 : first_line( lineno )
 | 
|---|
| 31 |                 , filename(filename ? filename : "")
 | 
|---|
| 32 |         {}
 | 
|---|
| 33 | 
 | 
|---|
| 34 |         CodeLocation( const CodeLocation& rhs ) = default;
 | 
|---|
| 35 |         CodeLocation( CodeLocation&& rhs ) = default;
 | 
|---|
| 36 |         CodeLocation& operator=( const CodeLocation & ) = default;
 | 
|---|
| 37 |         CodeLocation& operator=( CodeLocation && ) = default;
 | 
|---|
| 38 | 
 | 
|---|
| 39 |         bool isSet () const {
 | 
|---|
| 40 |                 return -1 != first_line;
 | 
|---|
| 41 |         }
 | 
|---|
| 42 | 
 | 
|---|
| 43 |         bool isUnset () const {
 | 
|---|
| 44 |                 return !isSet();
 | 
|---|
| 45 |         }
 | 
|---|
| 46 | 
 | 
|---|
| 47 |         bool startsBefore( CodeLocation const & other ) const {
 | 
|---|
| 48 |                 if( filename < other.filename ) return true;
 | 
|---|
| 49 |                 if( filename > other.filename ) return false;
 | 
|---|
| 50 | 
 | 
|---|
| 51 |                 if( first_line < other.first_line ) return true;
 | 
|---|
| 52 |                 if( first_line > other.first_line ) return false;
 | 
|---|
| 53 | 
 | 
|---|
| 54 |                 if( last_line < other.last_line ) return true;
 | 
|---|
| 55 |                 return false;
 | 
|---|
| 56 |         }
 | 
|---|
| 57 | 
 | 
|---|
| 58 |         bool followedBy( CodeLocation const & other, int seperation ) const {
 | 
|---|
| 59 |                 return (first_line + seperation == other.first_line &&
 | 
|---|
| 60 |                         filename == other.filename);
 | 
|---|
| 61 |         }
 | 
|---|
| 62 | 
 | 
|---|
| 63 |         bool operator==( CodeLocation const & other ) const {
 | 
|---|
| 64 |                 return followedBy( other, 0 );
 | 
|---|
| 65 |         }
 | 
|---|
| 66 | 
 | 
|---|
| 67 |         bool operator!=( CodeLocation const & other ) const {
 | 
|---|
| 68 |                 return !(*this == other);
 | 
|---|
| 69 |         }
 | 
|---|
| 70 | };
 | 
|---|
| 71 | 
 | 
|---|
| 72 | inline std::ostream & operator<<( std::ostream & out, const CodeLocation & location ) {
 | 
|---|
| 73 |         // Column number ":1" allows IDEs to parse the error message and position the cursor in the source text.
 | 
|---|
| 74 |         return location.isSet() ? out << location.filename << ":" << location.first_line << ":1 " : out;
 | 
|---|
| 75 | }
 | 
|---|