UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Protected Member Functions | Friends | List of all members
Streamable Class Referenceabstract

Streamable provides a streaming function which must be implemented by any deriving class. More...

#include <Streamable.h>

Inheritance diagram for Streamable:
Inheritance graph
[legend]

Public Member Functions

virtual void streamTo (std::ostream &ost) const =0
 Streams as string representation of this Streamable object to the given ostream. More...
 

Protected Member Functions

 Streamable ()
 Creates a new Streamable object. More...
 
virtual ~Streamable ()
 Destroys this Streamable object.
 

Friends

std::ostream & operator<< (std::ostream &ost, uncover::basic_types::Streamable const &data)
 Prints a string representation of this Streamable object to the given stream. More...
 

Detailed Description

Streamable provides a streaming function which must be implemented by any deriving class.

It also defines the streaming operator, such that every class derived from Streamable can be streamed by any ostream.

Author
Jan Stückrath

Constructor & Destructor Documentation

Streamable ( )
inlineprotected

Creates a new Streamable object.

This constructor renders this class uninstantiable except from subclasses.

Member Function Documentation

virtual void streamTo ( std::ostream &  ost) const
pure virtual

Streams as string representation of this Streamable object to the given ostream.

Parameters
ostthe stream to which the string representation will be written

Implemented in UQRule, AnonRule, GTS, AnonHypergraph, Rule, and Hypergraph.

Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  ost,
uncover::basic_types::Streamable const &  data 
)
friend

Prints a string representation of this Streamable object to the given stream.

Parameters
ostthe stream to which the Streamable object will be printed
datathe Streamable object to be streamed
Returns
a reference to the given stream

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