<commit_before><?php
/*
 * psx
 * A object oriented and modular based PHP framework for developing
 * dynamic web applications. For the current version and informations
 * visit <http://phpsx.org>
 *
 * Copyright (c) 2010-2015 <NAME> <<EMAIL>>
 *
 * This file is part of psx. psx is free software: you can
 * redistribute it and/or modify it under the terms of the
 * GNU General Public License as published by the Free Software
 * Foundation, either version 3 of the License, or any later version.
 *
 * psx is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with psx. If not, see <http://www.gnu.org/licenses/>.
 */

namespace PSX;

use SessionHandlerInterface;

/**
 * Session
 *
 * @author  <NAME> <<EMAIL>>
 * @license http://www.gnu.org/licenses/gpl.html GPLv3
 * @link    http://phpsx.org
 */
class Session
{
	protected $name;
	protected $token;

	protected $sessionTokenKey;

	public function __construct($name, SessionHandlerInterface $handler = null)
	{
		$this->setSessionTokenKey(__CLASS__);
		$this->setName($name);

		$this->generateToken();

		if($handler !== null)
		{
			$this->setSaveHandler($handler);
		}
	}

	public function set($key, $value)
	{
		$_SESSION[$key] = $value;
	}

	public function get($key)
	{
		return isset($_SESSION[$key]) ? $_SESSION[$key] : null;
	}

	public function has($key)
	{
		return isset($_SESSION[$key]);
	}

	public function __set($key, $value)
	{
		$this->set($key, $value);
	}

	public function __get($key)
	{
		return $this->get($key);
	}

	public function setSessionTokenKey($tokenKey)
	{
		$this->sessionTokenKey = $tokenKey;
	}

	public function getSessionTokenKey()
	{
		return $this->sessionTokenKey;
	}

	public function setName($name)
	{
		session_name($this->name = $name);
	}

	public function getName()
	{
		return $this->name;
	}

	public function setToken($token)
	{
		$this->token = $token;
	}

	public function getToken()
	{
		return $this->token;
	}

	public function setId($id)
	{
		session_id($id);
	}

	public function getId()
	{
		return session_id();
	}

	public function setSaveHandler(SessionHandlerInterface $handler)
	{
		session_set_save_handler($handler);
	}

	public function setSavePath($path)
	{
		session_save_path($path);
	}

	public function start()
	{
		session_start();

		if(isset($_SESSION[$this->sessionTokenKey]) && $_SESSION[$this->sessionTokenKey] === $this->token)
		{
			// we have an valid token
		}
		else
		{
			$_SESSION = array();
			$_SESSION[$this->sessionTokenKey] = $this->token;
		}
	}

	public function close()
	{
		session_write_close();
	}

	public function destroy()
	{
		$_SESSION = array();

		if(isset($_COOKIE[session_name()]))
		{
			setcookie(session_name(), '', time() - 3600);
		}

		if($this->isActive())
		{
			session_destroy();
		}
	}

	public function isActive()
	{
		$sessId = $this->getId();

		return !empty($sessId);
	}

	protected function generateToken()<commit_msg>add code coverage ignore doc<commit_after><?php
/*
 * psx
 * A object oriented and modular based PHP framework for developing
 * dynamic web applications. For the current version and informations
 * visit <http://phpsx.org>
 *
 * Copyright (c) 2010-2015 <NAME> <<EMAIL>>
 *
 * This file is part of psx. psx is free software: you can
 * redistribute it and/or modify it under the terms of the
 * GNU General Public License as published by the Free Software
 * Foundation, either version 3 of the License, or any later version.
 *
 * psx is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with psx. If not, see <http://www.gnu.org/licenses/>.
 */

namespace PSX;

use SessionHandlerInterface;

/**
 * Session
 *
 * @author  <NAME> <<EMAIL>>
 * @license http://www.gnu.org/licenses/gpl.html GPLv3
 * @link    http://phpsx.org
 */
class Session
{
	protected $name;
	protected $token;

	protected $sessionTokenKey;

	public function __construct($name, SessionHandlerInterface $handler = null)
	{
		$this->setSessionTokenKey(__CLASS__);
		$this->setName($name);

		$this->generateToken();

		if($handler !== null)
		{
			$this->setSaveHandler($handler);
		}
	}

	public function set($key, $value)
	{
		$_SESSION[$key] = $value;
	}

	public function get($key)
	{
		return isset($_SESSION[$key]) ? $_SESSION[$key] : null;
	}

	public function has($key)
	{
		return isset($_SESSION[$key]);
	}

	public function __set($key, $value)
	{
		$this->set($key, $value);
	}

	public function __get($key)
	{
		return $this->get($key);
	}

	public function setSessionTokenKey($tokenKey)
	{
		$this->sessionTokenKey = $tokenKey;
	}

	public function getSessionTokenKey()
	{
		return $this->sessionTokenKey;
	}

	public function setName($name)
	{
		session_name($this->name = $name);
	}

	public function getName()
	{
		return $this->name;
	}

	public function setToken($token)
	{
		$this->token = $token;
	}

	public function getToken()
	{
		return $this->token;
	}

	/**
	 * @codeCoverageIgnore
	 */
	public function setId($id)
	{
		session_id($id);
	}

	/**
	 * @codeCoverageIgnore
	 */
	public function getId()
	{
		return session_id();
	}

	/**
	 * @codeCoverageIgnore
	 */
	public function setSaveHandler(SessionHandlerInterface $handler)
	{
		session_set_save_handler($handler);
	}

	/**
	 * @codeCoverageIgnore
	 */
	public function setSavePath($path)
	{
		session_save_path($path);
	}

	/**
	 * @codeCoverageIgnore
	 */
	public function start()
	{
		session_start();

		if(isset($_SESSION[$this->sessionTokenKey]) && $_SESSION[$this->sessionTokenKey] === $this->token)
		{
			// we have an valid token
		}
		else
		{
			$_SESSION = array();
			$_SESSION[$this->sessionTokenKey] = $this->token;
		}
	}

	/**
	 * @codeCoverageIgnore
	 */
	public function close()
	{
		session_write_close();
	}

	/**
	 * @codeCoverageIgnore
	 */
	public function destroy()
	{
		$_SESSION = array();

		if(isset($_COOKIE[session_name()]))
		{
			setcookie(session_name(), '', time() - 3600);
		}

		if($this->isActive())
		{
			session_destroy();
		}
	}

	public function isActive()
	{
		$sessId = $this->getId();

		return !empty($sessId);
	}

	protected function generateToken()
{'fraction_non_alphanumeric': 0.14041774660771458, 'fraction_numerical': 0.004268943436499467, 'mean_word_length': 3.7674418604651163, 'pattern_counts': {'":': 0, '<': 21, '<?xml version=': 0, '>': 57, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6683144', 'n_tokens_mistral': 2334, 'n_tokens_neox': 2136, 'n_words': 568}