source: src/Common/CodeLocation.hpp @ d344a63

Last change on this file since d344a63 was 661e7b0, checked in by Andrew Beach <ajbeach@…>, 4 months ago

After a years (or at least half a year) the CodeLocation? optimization is merged in. Added Symbol (using Racket's name for interned strings), and used it for CodeLocation? file names. The optimizes for the high number of copies - both instances with the same value and copy operations - and consistently brings down runtime by a few percent.

  • Property mode set to 100644
File size: 2.1 KB
Line 
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.hpp --
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 "Symbol.hpp"
20
21struct CodeLocation {
22        int first_line = -1, first_column = -1, last_line = -1, last_column = -1;
23        Symbol 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.str() < other.filename.str() ) return true;
49                if( filename.str() > other.filename.str() ) 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
72inline 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.str() << ":" << location.first_line << ":1 " : out;
75}
Note: See TracBrowser for help on using the repository browser.