souffle::SrcLocation Class Reference

A class describing a range in an input file. More...

#include <SrcLocation.h>

Collaboration diagram for souffle::SrcLocation:

Data Structures
struct	Point
	A class locating a single point in an input file. More...

Public Member Functions
std::string	extloc () const
	An extended string describing this location in a end-user friendly way. More...
bool	operator< (const SrcLocation &other) const
	A comparison for source locations. More...
void	print (std::ostream &out) const
void	setFilename (std::string filename)

Data Fields
Point	end = {}
	The End location. More...
std::vector< std::string >	filenames
	The file referred to. More...
Point	start = {}
	The start location. More...

Friends
std::ostream &	operator<< (std::ostream &out, const SrcLocation &range)
	Enables ranges to be printed. More...

Detailed Description

A class describing a range in an input file.

Definition at line 32 of file SrcLocation.h.

Member Function Documentation

extloc()

std::string souffle::SrcLocation::extloc

(

)

const

An extended string describing this location in a end-user friendly way.

Definition at line 93 of file SrcLocation.cpp.

                                                 {
            in.ignore(std::numeric_limits<std::streamsize>::max(), '\n');
        }
        int c;
        int lineLen = 0;
        int offsetColumn = start.column;
        bool prevWhitespace = false;
        bool afterFirstNonSpace = false;
        while ((c = in.get()) != '\n' && c != EOF) {
            s << (char)c;
            lineLen++;
 
            // Offset column to account for C preprocessor having reduced
            // consecutive non-leading whitespace chars to a single space.
            if (std::isspace(c) != 0) {
                if (afterFirstNonSpace && prevWhitespace && offsetColumn >= lineLen) {
                    offsetColumn++;
                }
                prevWhitespace = true;
            } else {
                prevWhitespace = false;
                afterFirstNonSpace = true;
            }
        }
        lineLen++;  // Add new line
        in.close();
        s << "\n";
        for (int i = 1; i <= lineLen; i++) {
            char ch = (i == offsetColumn) ? '^' : '-';
            s << ch;
        }
        in.close();
    } else {
        s << filename << ":" << start.line << ":" << start.column;
    }
    return s.str();
}
 
void SrcLocation::print(std::ostream& out) const {
    out << getCurrentFilename(filenames) << " [" << start << "-" << end << "]";
}
}  // end of namespace souffle

operator<()

bool souffle::SrcLocation::operator<

(

const SrcLocation &

other

)

const

A comparison for source locations.

Definition at line 54 of file SrcLocation.cpp.

                                  {
        return false;
    }
    if (start < other.start) {
        return true;
    }
    if (start > other.start) {
        return false;
    }
    if (end < other.end) {
        return true;
    }
    return false;
}
 
void SrcLocation::setFilename(std::string filename) {
    if (filenames.empty()) {
        filenames.emplace_back(filename);
        return;
    }

print()

void souffle::SrcLocation::print

(

std::ostream &

out

)

const

Definition at line 137 of file SrcLocation.cpp.

setFilename()

void souffle::SrcLocation::setFilename

(

std::string

filename

)

Definition at line 78 of file SrcLocation.cpp.

                                                                                {
        filenames.pop_back();
        return;
    }
    filenames.emplace_back(filename);
}
 
std::string SrcLocation::extloc() const {
    std::string filename = getCurrentFilename(filenames);
    std::ifstream in(filename);
    std::stringstream s;
    if (in.is_open()) {

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  out, const SrcLocation &  range  )

friend

Enables ranges to be printed.

Definition at line 88 of file SrcLocation.h.

Field Documentation

end

Point souffle::SrcLocation::end = {}

The End location.

Definition at line 75 of file SrcLocation.h.

filenames

std::vector<std::string> souffle::SrcLocation::filenames

The file referred to.

Definition at line 69 of file SrcLocation.h.

start

Point souffle::SrcLocation::start = {}

The start location.

Definition at line 72 of file SrcLocation.h.

---

The documentation for this class was generated from the following files:

• parser/SrcLocation.h
• parser/SrcLocation.cpp