| 16 |
* $Id$ |
* $Id$ |
| 17 |
* ----------------------------------------------------------------------------- |
* ----------------------------------------------------------------------------- |
| 18 |
* $Log$ |
* $Log$ |
| 19 |
|
* Revision 1.5 2003/03/20 07:20:31 jonen |
| 20 |
|
* + purged attic code |
| 21 |
|
* |
| 22 |
* Revision 1.4 2003/03/11 01:42:58 joko |
* Revision 1.4 2003/03/11 01:42:58 joko |
| 23 |
* + fixed metadata for phpDocumentor |
* + fixed metadata for phpDocumentor |
| 24 |
* |
* |
| 72 |
//var $pointers; |
//var $pointers; |
| 73 |
//var $stacks; |
//var $stacks; |
| 74 |
var $data; |
var $data; |
| 75 |
|
|
| 76 |
function Application_Request_Tracker() { |
function Application_Request_Tracker() { |
| 77 |
php::session_register_safe('Application_Request_Tracker_data'); |
php::session_register_safe('Application_Request_Tracker_data'); |
| 78 |
$this->load(); |
$this->load(); |
| 137 |
return $pser; |
return $pser; |
| 138 |
} |
} |
| 139 |
|
|
| 140 |
function addExplorer($data) { |
function addComponent($label, $data) { |
| 141 |
$this->data['explorer'][] = $data; |
$pointer = $this->getPointer; |
| 142 |
$this->setExplorerPointer(); |
$pointer[$label] = $data; |
| 143 |
$this->save(); |
$this->setMark($pointer); |
|
} |
|
|
|
|
|
function setExplorerPointer($explicit = null) { |
|
|
if (!$explicit) { |
|
|
$this->data['explorer_pointer'] = $this->data['explorer'][sizeof($this->data['explorer']) - 1]; |
|
|
} |
|
| 144 |
} |
} |
| 145 |
|
|
|
function getExplorerPointer($pointer = null) { |
|
|
if(!$pointer) { |
|
|
return $this->data['explorer_pointer']; |
|
|
} |
|
|
} |
|
|
|
|
|
function resetExplorer() { |
|
|
unset($this->data['explorer']); |
|
|
unset($this->data['explorer_pointer']); |
|
|
} |
|
| 146 |
|
|
| 147 |
|
|
| 148 |
|
|