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 |
|
|