CmsException.h

Go to the documentation of this file.

//===--- CmsException.h - exceptions for bug reports ------------*- C++ -*-===//
//
// by Thomas Hauth [ Thomas.Hauth@cern.ch ] and Patrick Gartung
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_CLANG_STATICANALYZER_CMS_CMSEXCEPTION_H
#define LLVM_CLANG_STATICANALYZER_CMS_CMSEXCEPTION_H

#include <llvm/Support/Regex.h>
#include <llvm/Support/raw_ostream.h>
#include "clang/AST/Type.h"
#include "clang/Basic/SourceManager.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"


namespace clangcms {

class CmsException {
public:
    bool reportGlobalStaticForType( clang::QualType const& t,
                clang::ento::PathDiagnosticLocation const& path,
                clang::ento::BugReporter & BR  ) const;

    bool reportGlobalStatic( clang::QualType const& t,
                clang::ento::PathDiagnosticLocation const& path,
                clang::ento::BugReporter & BR  ) const; 

    bool reportMutableMember( clang::QualType const& t,
                clang::ento::PathDiagnosticLocation const& path,
                clang::ento::BugReporter & BR  ) const; 
    bool reportClass(
                clang::ento::PathDiagnosticLocation const& path,
                clang::ento::BugReporter & BR  ) const; 


    bool reportConstCast ( const clang::ento::BugReport &R,
        clang::ento::CheckerContext &C) const; 

    bool reportConstCastAway ( const clang::ento::BugReport &R,
        clang::ento::CheckerContext &C) const;


    bool reportGeneral( clang::ento::PathDiagnosticLocation const& path, 
                clang::ento::BugReporter & BR ) const; 

};

} 

#endif