souffle::InnerNode Class Reference

#include <ExplainTree.h>

Inheritance diagram for souffle::InnerNode:

Collaboration diagram for souffle::InnerNode:

Public Member Functions
void	add_child (Own< TreeNode > child)
	InnerNode (const std::string &nodeText="", std::string label="")
void	place (uint32_t x, uint32_t y) override
void	printJSON (std::ostream &os, int pos) override
void	render (ScreenBuffer &s) override
Public Member Functions inherited from souffle::TreeNode
uint32_t	getHeight () const
size_t	getSize ()
uint32_t	getWidth () const
void	setSize (size_t s)
	TreeNode (std::string t="")
virtual	~TreeNode ()=default

Private Attributes
VecOwn< TreeNode >	children
std::string	label

Additional Inherited Members
Protected Attributes inherited from souffle::TreeNode
uint32_t	height = 0
uint32_t	size = 0
std::string	txt
uint32_t	width = 0
int	xpos = 0
int	ypos = 0

Detailed Description

Definition at line 133 of file ExplainTree.h.

Constructor & Destructor Documentation

InnerNode()

souffle::InnerNode::InnerNode ( const std::string &  nodeText = "", std::string  label = ""  )

inline

Definition at line 137 of file ExplainTree.h.

                                                {

References children.

Member Function Documentation

add_child()

void souffle::InnerNode::add_child ( Own< TreeNode >  child )

inline

Definition at line 141 of file ExplainTree.h.

                                    : children) {

place()

void souffle::InnerNode::place ( uint32_t  x, uint32_t  y  )

inlineoverridevirtual

Implements souffle::TreeNode.

Definition at line 146 of file ExplainTree.h.

                                    : children) {
            k->place(x, y + 2);
            x += k->getWidth() + 1;
            width += k->getWidth() + 1;
            height = std::max(height, k->getHeight());
        }
        height += 2;
 
        // text of inner node is longer than all its sub-trees
        if (width < txt.length()) {
            width = txt.length();
        }
    };
 
    // render node text and separator line
    void render(ScreenBuffer& s) override {
        s.write(xpos + (width - txt.length()) / 2, ypos, txt);
        for (const Own<TreeNode>& k : children) {
            k->render(s);
        }
        std::string separator(width - label.length(), '-');

References souffle::TreeNode::height, k, and souffle::TreeNode::width.

printJSON()

void souffle::InnerNode::printJSON ( std::ostream &  os, int  pos  )

inlineoverridevirtual

Implements souffle::TreeNode.

Definition at line 183 of file ExplainTree.h.

                   {
                os << ",\n";
            }
            k->printJSON(os, pos + 1);
        }
        os << tab << "]\n";
        os << tab << "}";
    }
 
private:
    VecOwn<TreeNode> children;
    std::string label;
};
 
/***
 * Concrete class for leafs

render()

void souffle::InnerNode::render ( ScreenBuffer &  s )

inlineoverridevirtual

Implements souffle::TreeNode.

Definition at line 172 of file ExplainTree.h.

                                                     {
        std::string tab(pos, '\t');
        os << tab << R"({ "premises": ")" << stringify(txt) << "\",\n";
        os << tab << R"(  "rule-number": ")" << label << "\",\n";
        os << tab << "  \"children\": [\n";
        bool first = true;

Field Documentation

children

VecOwn<TreeNode> souffle::InnerNode::children

private

Definition at line 202 of file ExplainTree.h.

Referenced by InnerNode().

label

std::string souffle::InnerNode::label

private

Definition at line 203 of file ExplainTree.h.

---

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

• include/souffle/provenance/ExplainTree.h