souffle::ast::transform::IODefaultsTransformer Class Reference

Transformation pass to set defaults for IO operations. More...

#include <IODefaults.h>

Inheritance diagram for souffle::ast::transform::IODefaultsTransformer:

Collaboration diagram for souffle::ast::transform::IODefaultsTransformer:

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

Private Member Functions
std::string	getRelationName (const Directive *node)
	Get the relation name from the qualified name. More...
bool	setDefaults (TranslationUnit &translationUnit)
	Set IO defaults. More...
bool	transform (TranslationUnit &translationUnit) override

Detailed Description

Transformation pass to set defaults for IO operations.

Definition at line 41 of file IODefaults.h.

Member Function Documentation

clone()

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

inlineoverridevirtual

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

Definition at line 53 of file IODefaults.h.

                                                       {

getName()

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

inlineoverridevirtual

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

Definition at line 49 of file IODefaults.h.

                                                       {

getRelationName()

std::string souffle::ast::transform::IODefaultsTransformer::getRelationName ( const Directive *  node )

inlineprivate

Get the relation name from the qualified name.

Returns

Valid relation name from the concatenated qualified name.

Definition at line 137 of file IODefaults.h.

setDefaults()

bool souffle::ast::transform::IODefaultsTransformer::setDefaults ( TranslationUnit &  translationUnit )

inlineprivate

Set IO defaults.

If no IO type is specified, use 'file' If no name is set, use the relation name. Add the operation type to the directives list. If a global fact directory is specified, add to the directives list. If a global output directory is specified, add to the directives list. If stdout is requested at the command line ('-D-'), change all output to stdout. If a printsize operation is requested, set IO type and operation accordingly.

Parameters

translationUnit

Returns

true if any changes were made

Definition at line 80 of file IODefaults.h.

                                           {
                io->addParameter("name", getRelationName(io));
                changed = true;
            }
 
            // Set the operation type (input/output/printsize)
            if (!io->hasParameter("operation")) {
                if (io->getType() == ast::DirectiveType::input) {
                    io->addParameter("operation", "input");
                    changed = true;
                    // Configure input directory
                    if (Global::config().has("fact-dir")) {
                        io->addParameter("fact-dir", Global::config().get("fact-dir"));
                    }
                } else if (io->getType() == ast::DirectiveType::output) {
                    io->addParameter("operation", "output");
                    changed = true;
                    // Configure output directory
                    if (Global::config().has("output-dir")) {
                        if (Global::config().has("output-dir", "-")) {
                            io->addParameter("IO", "stdout");
                            io->addParameter("headers", "true");
                        } else {
                            io->addParameter("output-dir", Global::config().get("output-dir"));
                        }
                    }
                } else if (io->getType() == ast::DirectiveType::printsize) {
                    io->addParameter("operation", "printsize");
                    io->addParameter("IO", "stdoutprintsize");
                    changed = true;
                }
            }
        }
 
        return changed;
    }
 
    /**
     * Get the relation name from the qualified name.
     *
     * @return Valid relation name from the concatenated qualified name.
     */
    std::string getRelationName(const Directive* node) {
        return toString(join(node->getQualifiedName().getQualifiers(), "."));
    }
};
 
}  // namespace souffle::ast::transform

transform()

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

inlineoverrideprivatevirtual

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

Definition at line 58 of file IODefaults.h.

                                                       {

References souffle::ast::Program::getDirectives(), souffle::ast::TranslationUnit::getProgram(), and souffle::ast::limitsize.

Here is the call graph for this function:

---

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

• ast/transform/IODefaults.h