souffle::ast::transform::SemanticChecker Class Reference

#include <SemanticChecker.h>

Inheritance diagram for souffle::ast::transform::SemanticChecker:

Collaboration diagram for souffle::ast::transform::SemanticChecker:

Public Member Functions
SemanticChecker *	clone () const override
std::string	getName () const override
	~SemanticChecker () override=default
Public Member Functions inherited from souffle::ast::transform::Transformer
bool	apply (TranslationUnit &translationUnit)
virtual	~Transformer ()=default

Private Member Functions
bool	transform (TranslationUnit &translationUnit) override

Detailed Description

Definition at line 31 of file SemanticChecker.h.

Constructor & Destructor Documentation

~SemanticChecker()

souffle::ast::transform::SemanticChecker::~SemanticChecker ( )

overridedefault

Member Function Documentation

clone()

SemanticChecker* souffle::ast::transform::SemanticChecker::clone ( ) const

inlineoverridevirtual

Implements souffle::ast::transform::Transformer.

Definition at line 45 of file SemanticChecker.h.

getName()

std::string souffle::ast::transform::SemanticChecker::getName ( ) const

inlineoverridevirtual

Implements souffle::ast::transform::Transformer.

Definition at line 41 of file SemanticChecker.h.

transform()

bool souffle::ast::transform::SemanticChecker::transform ( TranslationUnit &  translationUnit )

overrideprivatevirtual

Implements souffle::ast::transform::Transformer.

Definition at line 144 of file SemanticChecker.cpp.

                                                 {
        std::vector<std::string> suppressedRelations =
                splitString(Global::config().get("suppress-warnings"), ',');

References souffle::Global::config(), TCB_SPAN_NAMESPACE_NAME::get(), and souffle::splitString().

Here is the call graph for this function:

---

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

• ast/transform/SemanticChecker.h
• ast/transform/SemanticChecker.cpp