extract_iterator_rep Class Reference

Inheritance diagram for extract_iterator_rep:

List of all members.

Public Types

typedef empty_format FT

Public Member Functions

extract_iterator_rep (const evaluator &e, const generic &v, const iterator< generic > &i, const generic &c, const generic &b)
~extract_iterator_rep ()
format< generic > tfm () const
generic sample () const
empty_format rfm () const
empty_format format1 () const
empty_format format2 () const
empty_format format3 () const

Public Attributes

MMX_ALLOCATORS int ref_count

Protected Member Functions

bool is_busy ()
void advance ()
generic current ()
iterator_rep< generic > * clone ()
virtual bool is_done ()
virtual bool is_init ()
virtual void regress ()

Friends

friend class iterator
friend bool busy (const iterator< generic > &it)
friend bool done (const iterator< generic > &it)
friend bool init (const iterator< generic > &it)
friend nat hash (const iterator< generic > &it)
friend nat exact_hash (const iterator< generic > &it)
friend iterator< generic > copy (const iterator< generic > &it)

Detailed Description

Definition at line 233 of file glue_control.cpp.

Member Typedef Documentation

typedef empty_format FT [inherited]

Reimplemented from format< C >.

Reimplemented in unnest_iterator_rep< class >.

Constructor & Destructor Documentation

extract_iterator_rep	(	const evaluator &	e,
		const generic &	v,
		const iterator< generic > &	i,
		const generic &	c,
		const generic &	b
	)			`[inline]`

Definition at line 262 of file glue_control.cpp.

00264                                          :
00265       ev (e), var (v), it (i), cond (c), body (b) { spool (); }
  ~extract_iterator_rep () {

~extract_iterator_rep ( ) [inline]

Definition at line 266 of file glue_control.cpp.

00266                            {
00267     /*
00268     mmout << "Destroy iterator on " << flush_now;
00269     mmout << as_lisp (var) << ": " << as_lisp (body);
00270     mmout << ", " << ev->ref_count;
00271     mmout << "\n";
00272     //mmout << "Destroy " << body << " where "
00273     //<< var << " in iterator satisfies " << cond << "\n";
00274     */
00275   }

Member Function Documentation

void advance ( ) [inline, protected, virtual]

Implements iterator_rep< generic >.

Definition at line 279 of file glue_control.cpp.

00279 { ++it; spool(); }

iterator_rep<generic>* clone ( ) [inline, protected, virtual]

Reimplemented from iterator_rep< generic >.

Definition at line 281 of file glue_control.cpp.

00281                                   {
00282     extract_iterator_rep* rep=
00283       new extract_iterator_rep (ev, var, it, cond, body);
00284     rep->value= value;
00285     return rep;
00286   }