pub struct LoweredPage<L: LoweredCalls> { /* private fields */ }Expand description
A lowered page and its host, held together by a process that owns both — the bytecode VM’s page, driven from outside the interpreter running the test.
Implementations§
Source§impl<L: LoweredCalls> LoweredPage<L>
impl<L: LoweredCalls> LoweredPage<L>
Sourcepub fn unhandled_failure(&self) -> Option<&str>
pub fn unhandled_failure(&self) -> Option<&str>
The first action failure no handler absorbed, if any.
Sourcepub fn output(&self) -> String
pub fn output(&self) -> String
Every line the page has shown, newline-joined — the engine’s own output convention, so a
host that also runs a program’s plain Shows (a ## Main that both prints and drives a
page) reports the same text the straight-through compiled path would.
Sourcepub fn start(
&mut self,
auto_mounted: Option<String>,
main: impl FnOnce(&mut L) -> Result<(), String>,
) -> Result<(), DriveError>
pub fn start( &mut self, auto_mounted: Option<String>, main: impl FnOnce(&mut L) -> Result<(), String>, ) -> Result<(), DriveError>
Start the page: see LoweredHost::start.
Sourcepub fn drive(&mut self, d: &Drive) -> Result<(), DriveError>
pub fn drive(&mut self, d: &Drive) -> Result<(), DriveError>
Carry one driving statement out: see LoweredHost::drive.
Trait Implementations§
Source§impl<L: LoweredCalls> DrivenPage for LoweredPage<L>
impl<L: LoweredCalls> DrivenPage for LoweredPage<L>
Auto Trait Implementations§
impl<L> Freeze for LoweredPage<L>where
L: Freeze,
impl<L> !RefUnwindSafe for LoweredPage<L>
impl<L> !Send for LoweredPage<L>
impl<L> !Sync for LoweredPage<L>
impl<L> Unpin for LoweredPage<L>where
L: Unpin,
impl<L> UnsafeUnpin for LoweredPage<L>where
L: UnsafeUnpin,
impl<L> !UnwindSafe for LoweredPage<L>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.