atermpp::aterm_istream Class Reference

The interface for a class that reads aterm from a stream. The default constructed term aterm() indicates the end of the stream. More...

#include <aterm_io.h>

Inheritance diagram for atermpp::aterm_istream:

Public Member Functions
virtual	~aterm_istream ()
virtual void	get (aterm &t)=0
	Reads an aterm from this 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 reads aterm from a stream. The default constructed term aterm() indicates the end of the stream.

Definition at line 58 of file aterm_io.h.

Constructor & Destructor Documentation

~aterm_istream()

aterm_istream::~aterm_istream ( )

virtual

Definition at line 47 of file aterm_implementation.cpp.

Member Function Documentation

get()

virtual void atermpp::aterm_istream::get ( aterm &  t )

pure virtual

Reads an aterm from this stream.

Implemented in atermpp::binary_aterm_istream, and atermpp::text_aterm_istream.

---

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

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