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

  function __construct($java){ 
    $this->java=$java; 
    $this->serialID = uniqid(""); 
  }
  function __sleep() {
    $session=java_get_session("PHPSESSION".session_id());
    $session->put($this->serialID, $this->java);
    return array("serialID");
  }
  function __wakeup() {
    $session=java_get_session("PHPSESSION".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(); }
}

?>
