storm-version.h

Go to the documentation of this file.

#pragma once
 
#include <sstream>
#include <string>
 
namespace storm {
 
struct StormVersion {
    const static unsigned versionMajor;
 
    const static unsigned versionMinor;
 
    const static unsigned versionPatch;
 
    const static std::string versionLabel;
 
    const static bool versionDev;
 
    enum class VersionSource { Git, Static };
 
    const static VersionSource versionSource;
 
    const static std::string gitRevisionHash;
 
    const static unsigned commitsAhead;
 
    enum class DirtyState {
        Clean,   
        Dirty,   
        Unknown  
    };
 
    const static DirtyState dirty;
 
    const static std::string systemName;
 
    const static std::string systemVersion;
 
    const static std::string cxxCompiler;
 
    const static std::string cxxFlags;
 
    static std::string shortVersionString() {
        std::stringstream sstream;
        sstream << versionMajor << "." << versionMinor << "." << versionPatch;
        if (!versionLabel.empty()) {
            sstream << "-" << versionLabel;
        }
        if (versionDev) {
            sstream << " (dev)";
        }
        return sstream.str();
    }
 
    static std::string longVersionString() {
        std::stringstream sstream;
        sstream << "Version " << shortVersionString();
        if (versionSource == VersionSource::Static) {
            sstream << " (derived statically)";
        }
        if (commitsAhead > 0) {
            sstream << " (+ " << commitsAhead << " commits)";
        }
        if (!gitRevisionHash.empty()) {
            sstream << " build from revision " << gitRevisionHash;
        } else {
            sstream << " built from archive";
        }
        switch (dirty) {
            case DirtyState::Clean:
                sstream << " (clean)";
                break;
            case DirtyState::Dirty:
                sstream << " (dirty)";
                break;
            default:
                sstream << " (potentially dirty)";
                break;
        }
        return sstream.str();
    }
 
    static std::string buildInfo() {
        std::stringstream sstream;
        sstream << "Compiled on " << systemName << " " << systemVersion << " using " << cxxCompiler << " with flags '" << cxxFlags << "'";
        return sstream.str();
    }
};
}  // namespace storm