Struct SessionBuildArgs

pub struct SessionBuildArgs {
    pub session: String,
    pub preferences: Option<String>,
    pub options: Option<Vec<String>>,
    pub dirs: Option<Vec<String>>,
    pub include_sessions: Vec<String>,
}

Arguments for session_build and session_start commands

Fields

session: String

Specifies the target session name. The build process will produce all required ancestor images according to the overall session graph.

preferences: Option<String>

Environment of Isabelle system options is determined from preferences

options: Option<Vec<String>>

List of individual updates to the Isabelle system environment of the form name=value or name.

dirs: Option<Vec<String>>

Specifies additional directories for session ROOTand ROOTS files

include_sessions: Vec<String>

Specifies sessions whose theories should be included in the overall name space of session-qualified theory names. Corresponds to session specification in ROOT files.

Implementations

impl SessionBuildArgs

pub fn session(session: &str) -> Self

Trait Implementations

impl Debug for SessionBuildArgs

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

Formats the value using the given formatter.

impl Default for SessionBuildArgs

fn default() -> SessionBuildArgs

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SessionBuildArgs

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SessionBuildArgs

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

where __S: Serializer,

Serialize this value into the given Serde serializer.