Interface

---

Object Hierarchy:

Description:

Content:

Properties:

• public string session_id { get; }
• public string id { get; }

Creation methods:

• public Interface (string? session_id = null)
  Create a Interface object
• public Interface.from_serialized (string session_id, string serialized)
  Create a Interface object from a serialized value

Methods:

• public void generate_session_id ()
  Generate session identifier
• public void destroy ()
  Destroy this session. This does not remove the session from the session store.
• public void set_value (string key, string value)
  Set a session value
• public string? get_value (string key)
  Get a session value
• public bool has_value (string key)
  Check if a session key exists.
• public string? delete_value (string key)
  Delete a session value, optionally return the value that existed before deletion.
• public string serialize ()
  Serialize current session to JSON

Fields:

• public HashMap<string,string> string_params

Inherited Members: