atermpp::aterm_stream Class Reference

The general aterm stream interface, which enables the use of a transformer to change the written/read terms. More...

#include <aterm_io.h>

Inheritance diagram for atermpp::aterm_stream:

Public Member Functions
virtual	~aterm_stream ()
void	set_transformer (aterm_transformer transformer)
	Sets the given transformer to be applied to following writes.
aterm_transformer *	get_transformer () const

Protected Attributes
aterm_transformer *	m_transformer = identity

Detailed Description

The general aterm stream interface, which enables the use of a transformer to change the written/read terms.

Definition at line 30 of file aterm_io.h.

Constructor & Destructor Documentation

~aterm_stream()

aterm_stream::~aterm_stream ( )

virtual

Definition at line 45 of file aterm_implementation.cpp.

Member Function Documentation

get_transformer()

aterm_transformer * atermpp::aterm_stream::get_transformer ( ) const

inline

Returns

The currently assigned transformer function.

Definition at line 39 of file aterm_io.h.

set_transformer()

void atermpp::aterm_stream::set_transformer ( aterm_transformer  transformer )

inline

Sets the given transformer to be applied to following writes.

Definition at line 36 of file aterm_io.h.

Member Data Documentation

m_transformer

aterm_transformer* atermpp::aterm_stream::m_transformer = identity

protected

Definition at line 42 of file aterm_io.h.

---

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

• atermpp/include/mcrl2/atermpp/aterm_io.h
• atermpp/source/aterm_implementation.cpp