PushSet Class Reference

Push a set on the stack. More...

#include <instruction.hh>

Inheritance diagram for PushSet:

List of all members.

Public Member Functions

 PushSet (const string &setid)
const string & setid () const

Private Attributes

string _setid

Detailed Description

Push a set on the stack.

The difference with a normal push, is that the operation does does not own the set element, but only contains the label of the set. The SetManager will match the set label with the actual element. [It is much like containing a pointer, and the SetManager deals with dereference].

SetManager acts similar to VarRW [almost like a symbol-table].

Constructor & Destructor Documentation

PushSet::PushSet ( const string &  setid) [inline]
setidname of the set.

Member Function Documentation

const string& PushSet::setid ( ) const [inline]
name of the set.

The documentation for this class was generated from the following file:
 All Classes Namespaces Functions Variables Typedefs Enumerations