outputstreammanip.h File Reference

Header file for outputstreammanip.cpp. More...

#include "outputstream.h"

Include dependency graph for outputstreammanip.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	DecIndents
	Represents helper class for manipulating (decrementing) indents in all output streams. More...
class	IncIndents
	Represents helper class for manipulating (incrementing) indents in all output streams. More...
class	ResIndents
	Represents helper class for manipulating (resetting) indents in all output streams. More...
class	WriIndents
	Represents helper class for writing indents in all output streams. More...
Functions
DecIndents	decrementIndents (int n=INDENT_SINGLE)
	Decrements the number of indents in all output streams.
OutputStream &	operator<< (OutputStream &out, const DecIndents &dec)
	Operator << overloading for decrementing indents.
IncIndents	incrementIndents (int n=INDENT_SINGLE)
	Increments the number of indents in all output streams.
OutputStream &	operator<< (OutputStream &out, const IncIndents &inc)
	Operator << overloading for incrementing indents.
ResIndents	resetIndents ()
	Resets the number of indents in all output streams.
OutputStream &	operator<< (OutputStream &out, const ResIndents &res)
	Operator << overloading for resetting indents.
WriIndents	writeIndents ()
	Writes indents in all output streams.
OutputStream &	operator<< (OutputStream &out, const WriIndents &write)
	Operator << overloading for writing indents.

---

Detailed Description

Header file for outputstreammanip.cpp.

Header file specifying constructors, destructor and functions for outputstreammanip.cpp.

Author:

Michael Schmidt

Gunnar Jehl

Version:

2.1

License:

Software License Agreement (BSD License)

Definition in file outputstreammanip.h.

---

Function Documentation

DecIndents decrementIndents

(

int

n = INDENT_SINGLE

)

[inline]

Decrements the number of indents in all output streams.

Decrements the number of indents in all output streams.

Parameters:

[in]

n

Number of indents to be decremented.

Return values:

DecIndents

DecIndents object.

Definition at line 78 of file outputstreammanip.h.

Referenced by WhereExpression::print(), SequenceExpression::print(), NodeConstructExpression::print(), IfExpression::print(), and ForExpression::print().

IncIndents incrementIndents

(

int

n = INDENT_SINGLE

)

[inline]

Increments the number of indents in all output streams.

Increments the number of indents in all output streams.

Parameters:

[in]

n

Number of indents to be incremented.

Return values:

IncIndents

IncIndents object.

Definition at line 132 of file outputstreammanip.h.

Referenced by WhereExpression::print(), VariableTreeNode::print(), SequenceExpression::print(), ProjectionTreeNode::print(), ProjectionDFATransitions::print(), PassiveProjectionTreeNode::print(), NodeConstructExpression::print(), IfExpression::print(), and ForExpression::print().

OutputStream & operator<<	(	OutputStream &	out,
		const WriIndents &	write
	)			[inline]

Operator << overloading for writing indents.

Operator << overloading for writing indents.

Parameters:

[in]	out	Pointer to a OutputStream object.
[in]	write	Pointer to a WriIndents object.

Return values:

OutputStream

Pointer to a OutputStream object.

Definition at line 233 of file outputstreammanip.h.

OutputStream & operator<<	(	OutputStream &	out,
		const ResIndents &	res
	)			[inline]

Operator << overloading for resetting indents.

Operator << overloading for resetting indents.

Parameters:

[in]	out	Pointer to a OutputStream object.
[in]	res	Pointer to a ResIndents object.

Return values:

OutputStream

Pointer to a OutputStream object.

Definition at line 188 of file outputstreammanip.h.

OutputStream & operator<<	(	OutputStream &	out,
		const IncIndents &	inc
	)			[inline]

Operator << overloading for incrementing indents.

Operator << overloading for incrementing indents.

Parameters:

[in]	out	Pointer to a OutputStream object.
[in]	inc	Pointer to a IncIndents object.

Return values:

OutputStream

Pointer to a OutputStream object.

Definition at line 143 of file outputstreammanip.h.

OutputStream & operator<<	(	OutputStream &	out,
		const DecIndents &	dec
	)			[inline]

Operator << overloading for decrementing indents.

Operator << overloading for decrementing indents.

Parameters:

[in]	out	Pointer to a OutputStream object.
[in]	dec	Pointer to a DecIndents object.

Return values:

OutputStream

Pointer to a OutputStream object.

Definition at line 89 of file outputstreammanip.h.

ResIndents resetIndents

(

)

[inline]

Resets the number of indents in all output streams.

Resets the number of indents in all output streams.

Return values:

ResIndents

ResIndents object.

Definition at line 177 of file outputstreammanip.h.

Referenced by VariableTreeNode::print(), ProjectionTreeNode::print(), ProjectionDFATransitions::print(), and PassiveProjectionTreeNode::print().

WriIndents writeIndents

(

)

[inline]

Writes indents in all output streams.

Writes indents in all output streams.

Return values:

WriIndents

WriIndents object.

Definition at line 222 of file outputstreammanip.h.

Referenced by WhereExpression::print(), VariableTreeNode::print(), SequenceExpression::print(), ProjectionTreeNode::print(), ProjectionDFATransitions::print(), PassiveProjectionTreeNode::print(), NodeConstructExpression::print(), IfExpression::print(), and ForExpression::print().