Struct SessionStartResult

pub struct SessionStartResult {
    pub task: String,
    pub session_id: String,
    pub tmp_dir: Option<String>,
}

Results for session_start command

Fields

task: String

session_id: String

Internal identification of the session object within the server process

tmp_dir: Option<String>

Temporary directory that is specifically cre- ated for this session and deleted after it has been stopped. As tmp_dir is the default master_dir for commands use_theories and purge_theories, theory files copied there may be used without further path specification.

Trait Implementations

impl Debug for SessionStartResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SessionStartResult

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SessionStartResult

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.