pagepool.h File Reference

#include <stdio.h>
#include <limits.h>
#include <tcl.h>
#include <ranvar.h>
#include <tclcl.h>
#include "config.h"

Include dependency graph for pagepool.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Compounds
class	ClientPage
class	ClientPagePool
class	CompMathPagePool
class	EPATracePagePool
class	MathPagePool
class	Page
struct	PageID
class	PagePool
class	ProxyTracePagePool
struct	ProxyTracePagePool.ClientRequest
class	ServerPage
class	TracePagePool
Enumerations
enum	WebPageType { HTML, MEDIA }
Variables
const int	HTTP_PAGE_STATE_MASK = 0x00FF
const int	HTTP_ALL_PAGE_STATES = 0x00ff
const int	HTTP_VALID_PAGE = 0x01
const int	HTTP_SERVER_DOWN = 0x02
const int	HTTP_VALID_HEADER = 0x04
const int	HTTP_UNREAD_PAGE = 0x08
const int	HTTP_UNCACHEABLE = 0x10
const int	HTTP_PAGE_ACTION_MASK = 0xFF00
const int	HTTP_MANDATORY_PUSH = 0x1000
const int	TRACEPAGEPOOL_MAXBUF = 4096

---

Enumeration Type Documentation

enum WebPageType

Enumeration values: HTML  MEDIA  Definition at line 32 of file pagepool.h. Referenced by ClientPage::type(), ServerPage::type(), and MediaPage::type(). { HTML, MEDIA };

---

Variable Documentation

const int HTTP_ALL_PAGE_STATES = 0x00ff

Definition at line 72 of file pagepool.h.

const int HTTP_MANDATORY_PUSH = 0x1000

Definition at line 85 of file pagepool.h. Referenced by ClientPage::clear_mpush(), ClientPage::is_mpush(), and ClientPage::set_mpush().

const int HTTP_PAGE_ACTION_MASK = 0xFF00

Definition at line 84 of file pagepool.h.

const int HTTP_PAGE_STATE_MASK = 0x00FF

Definition at line 71 of file pagepool.h.

const int HTTP_SERVER_DOWN = 0x02

Definition at line 74 of file pagepool.h. Referenced by ClientPage::is_server_down(), ClientPage::server_down(), ClientPage::set_valid_hdr(), and ClientPage::validate().

const int HTTP_UNCACHEABLE = 0x10

Definition at line 81 of file pagepool.h. Referenced by ClientPage::is_uncacheable(), and ClientPage::set_uncacheable().

const int HTTP_UNREAD_PAGE = 0x08

Definition at line 77 of file pagepool.h. Referenced by ClientPage::is_unread(), ClientPage::set_read(), and ClientPage::set_unread().

const int HTTP_VALID_HEADER = 0x04

Definition at line 76 of file pagepool.h. Referenced by ClientPage::invalidate(), ClientPage::is_header_valid(), ClientPage::server_down(), and ClientPage::set_valid_hdr().

const int HTTP_VALID_PAGE = 0x01

Definition at line 73 of file pagepool.h. Referenced by ClientPage::ClientPage(), ClientPage::invalidate(), ClientPage::is_header_valid(), ClientPage::is_valid(), ClientPage::server_down(), ClientPage::set_valid_hdr(), and ClientPage::validate().

const int TRACEPAGEPOOL_MAXBUF = 4096

Definition at line 252 of file pagepool.h. Referenced by TracePagePool::load_page().

---