souffle::ScreenBuffer Class Reference

#include <ExplainTree.h>

Collaboration diagram for souffle::ScreenBuffer:

Public Member Functions
std::string	getString ()
void	print (std::ostream &os)
	ScreenBuffer (uint32_t w, uint32_t h)
void	write (uint32_t x, uint32_t y, const std::string &s)
	~ScreenBuffer ()

Private Attributes
char *	buffer
uint32_t	height
uint32_t	width

Detailed Description

Definition at line 39 of file ExplainTree.h.

Constructor & Destructor Documentation

ScreenBuffer()

souffle::ScreenBuffer::ScreenBuffer ( uint32_t  w, uint32_t  h  )

inline

Definition at line 48 of file ExplainTree.h.

                                                {
            buffer[y * width + x + i] = s[i];

~ScreenBuffer()

souffle::ScreenBuffer::~ScreenBuffer ( )

inline

Definition at line 54 of file ExplainTree.h.

                          {

Member Function Documentation

getString()

std::string souffle::ScreenBuffer::getString ( )

inline

Definition at line 68 of file ExplainTree.h.

       :
    uint32_t width;   // width of the screen buffer

print()

void souffle::ScreenBuffer::print ( std::ostream &  os )

inline

Definition at line 75 of file ExplainTree.h.

               {

write()

void souffle::ScreenBuffer::write ( uint32_t  x, uint32_t  y, const std::string &  s  )

inline

Definition at line 59 of file ExplainTree.h.

                               {
        if (height > 0 && width > 0) {
            for (int i = height - 1; i >= 0; i--) {
                for (size_t j = 0; j < width; j++) {

Field Documentation

buffer

char* souffle::ScreenBuffer::buffer

private

Definition at line 89 of file ExplainTree.h.

height

uint32_t souffle::ScreenBuffer::height

private

Definition at line 88 of file ExplainTree.h.

width

uint32_t souffle::ScreenBuffer::width

private

Definition at line 87 of file ExplainTree.h.

---

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

• include/souffle/provenance/ExplainTree.h