diff options
| -rw-r--r-- | mutator_aux.cpp | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/mutator_aux.cpp b/mutator_aux.cpp index 9d0e4f3..37a7b3e 100644 --- a/mutator_aux.cpp +++ b/mutator_aux.cpp @@ -4,6 +4,7 @@ /*inclusion directives*/ #include "mutator_aux.h" #include <string> +#include <cassert> #include <iostream> #include "clang/AST/AST.h" #include "clang/Basic/SourceManager.h" @@ -58,10 +59,12 @@ void XMLReport::XMLCreateReport() XMLReportDoc.InsertFirstChild(RootPointer); } -/*it is the caller's responsibility to make sure the sourcelocation passed to this member function and its overload -contain only the spelling location.*/ +/*it is the caller's responsibility to make sure the sourcelocation passed to this overload of the member function +contains only the spelling location.*/ void XMLReport::XMLAddNode(ASTContext* ASTC, SourceLocation SL, std::string MisraRule, std::string Description) { + assert(SL.isValid() && "SourceLocation passed as function parameter in an overload(1) of XMLAddNode is not valid."); + FullSourceLoc FSL = ASTC->getFullLoc(SL); unsigned LineNumber = FSL.getSpellingLineNumber(); @@ -81,6 +84,8 @@ void XMLReport::XMLAddNode(ASTContext* ASTC, SourceLocation SL, std::string Misr void XMLReport::XMLAddNode(FullSourceLoc FullSrcLoc, SourceLocation SL, std::string MisraRule, std::string Description) { + assert(SL.isValid() && "SourceLocation passed as function parameter in an overload(2) of XMLAddNode is not valid."); + unsigned LineNumber = FullSrcLoc.getSpellingLineNumber(); unsigned ColumnNumber = FullSrcLoc.getSpellingColumnNumber(); @@ -100,6 +105,8 @@ void XMLReport::XMLAddNode(const SourceManager &SM, SourceLocation SL, std::stri { SL = SM.getSpellingLoc(SL); + assert(SL.isValid() && "SourceLocation Acquired by SourceManager in an overload(3) of XMLAddNode is not valid."); + unsigned LineNumber = SM.getSpellingLineNumber(SL); unsigned ColumnNumber = SM.getSpellingColumnNumber(SL); |