souffle::ast::transform::GroundedTermsChecker Class Reference

#include <GroundedTermsChecker.h>

Inheritance diagram for souffle::ast::transform::GroundedTermsChecker:

Collaboration diagram for souffle::ast::transform::GroundedTermsChecker:

Public Member Functions
GroundedTermsChecker *	clone () const override
std::string	getName () const override
void	verify (TranslationUnit &translationUnit)
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 GroundedTermsChecker.h.

Member Function Documentation

clone()

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

inlineoverridevirtual

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

Definition at line 46 of file GroundedTermsChecker.h.

getName()

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

inlineoverridevirtual

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

Definition at line 39 of file GroundedTermsChecker.h.

                                                              {
        verify(translationUnit);
        return false;

References verify().

Here is the call graph for this function:

transform()

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

inlineoverrideprivatevirtual

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

Definition at line 51 of file GroundedTermsChecker.h.

verify()

void souffle::ast::transform::GroundedTermsChecker::verify

(

TranslationUnit &

translationUnit

)

Definition at line 41 of file GroundedTermsChecker.cpp.

                        : getVariables(clause)) {
            if (!isGrounded[cur] && reportedVars.insert(cur->getName()).second) {
                report.addError("Ungrounded variable " + cur->getName(), cur->getSrcLoc());
            }
        }
 
        // all records need to be grounded
        visitDepthFirst(clause, [&](const RecordInit& record) {
            if (!isGrounded[&record]) {
                report.addError("Ungrounded record", record.getSrcLoc());
            }
        });
 
        // All sums need to be grounded
        visitDepthFirst(clause, [&](const BranchInit& adt) {
            if (!isGrounded[&adt]) {
                report.addError("Ungrounded ADT branch", adt.getSrcLoc());
            }
        });
    });
}
 
}  // namespace souffle::ast::transform

Referenced by getName().

---

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

• ast/transform/GroundedTermsChecker.h
• ast/transform/GroundedTermsChecker.cpp