Struct finch::platform::linux::Amd64

pub struct Amd64 { /* fields omitted */ }

A Platform for Linux on Amd64.

Methods

impl Amd64

pub fn standard_load(
    filename: &str,
    base_path: Option<PathBuf>
) -> Result<Driver>

Create a standard driver, set up with a Amd64 Platform, and everything initialized.

pub fn intrinsic(state: State, intrinsic: &Intrinsic) -> Result<Vec<Successor>>

Handle an intrinsic instruction.

pub fn syscall(state: State) -> Result<Vec<Successor>>

Handle a system call.

Trait Implementations

impl Clone for Amd64

fn clone(&self) -> Amd64

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Amd64

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

Formats the value using the given formatter.

impl Eq for Amd64

impl PartialEq<Amd64> for Amd64

fn eq(&self, other: &Amd64) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Amd64) -> bool

This method tests for !=.

impl Platform for Amd64

fn get_intrinsic_handler(
    &self
) -> fn(state: State, intrinsic: &Intrinsic) -> Result<Vec<Successor>>

Execute an intrinsic instruction

fn merge(&mut self, other: &dyn Platform, _: &Expression) -> Result<bool>

Merge the other state into this state.

fn box_clone(&self) -> Box<dyn Platform>

Clone this Platform into a Box<Platform>

fn as_any(&self) -> &dyn Any

fn any_mut(&mut self) -> &mut dyn Any

impl StructuralEq for Amd64

impl StructuralPartialEq for Amd64