Workspace::WsvStruct Struct Reference

#include <workspace_ng.h>

Public Attributes
void *	wsv
bool	initialized
bool	auto_allocated

Detailed Description

Definition at line 42 of file workspace_ng.h.

Member Data Documentation

auto_allocated

bool Workspace::WsvStruct::auto_allocated

Definition at line 45 of file workspace_ng.h.

Referenced by Workspace::del(), Workspace::duplicate(), InteractiveWorkspace::erase_variable(), Workspace::push(), Workspace::push_uninitialized(), Workspace::Workspace(), and Workspace::~Workspace().

initialized

bool Workspace::WsvStruct::initialized

Definition at line 44 of file workspace_ng.h.

Referenced by Workspace::del(), Workspace::duplicate(), Workspace::is_initialized(), Workspace::push(), Workspace::push_uninitialized(), and Workspace::Workspace().

wsv

void* Workspace::WsvStruct::wsv

Definition at line 43 of file workspace_ng.h.

Referenced by Workspace::del(), Workspace::depth(), Workspace::duplicate(), InteractiveWorkspace::erase_variable(), Workspace::pop(), Workspace::pop_free(), Workspace::push(), Workspace::push_uninitialized(), Workspace::Workspace(), and Workspace::~Workspace().

---

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

• workspace_ng.h