The interface for a class that writes aterm to a stream. Every written term is retrieved by the corresponding aterm_istream::get() call. More...

#include <aterm_io.h>

Inheritance diagram for atermpp::aterm_ostream:

Public Member Functions
virtual	~aterm_ostream ()

virtual void	put (const aterm &term)=0
	Write the given term to the stream.

Public Member Functions inherited from atermpp::aterm_stream
virtual	~aterm_stream ()

void	set_transformer (aterm_transformer transformer)
	Sets the given transformer to be applied to following writes.

aterm_transformer *	get_transformer () const

Additional Inherited Members
Protected Attributes inherited from atermpp::aterm_stream
aterm_transformer *	m_transformer = identity

Detailed Description

The interface for a class that writes aterm to a stream. Every written term is retrieved by the corresponding aterm_istream::get() call.

Definition at line 47 of file aterm_io.h.

Constructor & Destructor Documentation

aterm_ostream::~aterm_ostream ( )

virtual

Definition at line 49 of file aterm_implementation.cpp.

virtual void atermpp::aterm_ostream::put ( const aterm & term )

pure virtual

Write the given term to the stream.

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