<?php
/**
* The JSessionAdapter makes it possible to store java values into the
* $_SESSION variable.
*
* Example:
* $vector = new JSessionAdapter(new Java("java.util.Vector"));
* $vector->addElement(...);
* $_SESSION["v"]=$vector;
*/
class JSessionProxy {
var $java;
var $serialID=0;
function __construct($java){
$this->java=$java;
$this->serialID++;
}
function __sleep() {
$session=java_get_session("ser".session_id());
$session->put($this->serialID, $this->java);
return array("serialID");
}
function __wakeup() {
$session=java_get_session("ser".session_id());
$this->java = $session->get($this->serialID);
}
function getJava() {
return $this->java;
}
function __destruct() {
if($this->java) return $this->java->__destruct();
}
}
class JSessionAdapter extends JSessionProxy {
function __get($arg) { if($this->java) return $this->java->__get($arg); }
function __put($key, $val) { if($this->java) return $this->java->__put($key, $val); }
function __call($m, $a) { if($this->java) return $this->java->__call($m,$a); }
function __toString() { if($this->java) return $this->java->__toString(); }
}
?>
