Struct Run 

pub struct Run;

This task launches the newly installed Polyhorn-powered app on a user’s device or emulator.

Trait Implementations

impl Task for Run

type Context = AndroidContext

The type of context that is passed to this task, processed and subsequently returned by this task.

type Error = AndroidError

The type of error that this task can return.

fn verb(&self) -> &str

The verb that describes this task (e.g. “Launching” or “Building”) that is shown to the user while the task is running.

fn message(&self) -> &str

The message that is shown to the user alongside the verb. This usually starts with a lowercase letter (e.g. “[Generating] source tree”).

fn detail(&self) -> &str

Optional additional text that is shown to the user alongside the message. This usually starts with a lowercase letter too (e.g.

fn run( &self, context: AndroidContext, _manager: &mut Manager<'_>, ) -> Result<AndroidContext, AndroidError>

This function should execute the task.