atermpp::aterm_stream_state Class Reference

A helper class to restore the state of the aterm_{i,o}stream objects upon destruction. Currently, onlt preserves the transformer object. More...

#include <aterm_io.h>

Public Member Functions
	aterm_stream_state (aterm_stream &stream)
	~aterm_stream_state ()

Private Attributes
aterm_stream &	m_stream
aterm_transformer *	m_transformer

Detailed Description

A helper class to restore the state of the aterm_{i,o}stream objects upon destruction. Currently, onlt preserves the transformer object.

Definition at line 83 of file aterm_io.h.

Constructor & Destructor Documentation

aterm_stream_state()

atermpp::aterm_stream_state::aterm_stream_state ( aterm_stream &  stream )

inline

Definition at line 86 of file aterm_io.h.

~aterm_stream_state()

atermpp::aterm_stream_state::~aterm_stream_state ( )

inline

Definition at line 92 of file aterm_io.h.

Member Data Documentation

m_stream

aterm_stream& atermpp::aterm_stream_state::m_stream

private

Definition at line 98 of file aterm_io.h.

m_transformer

aterm_transformer* atermpp::aterm_stream_state::m_transformer

private

Definition at line 99 of file aterm_io.h.

---

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

• atermpp/include/mcrl2/atermpp/aterm_io.h