Struct lrl_test_compiler::test_binary::instructions::SensorInstr

pub struct SensorInstr {
    action: SensorAction,
    abort_idx: u8,
    device_address: DeviceAddress,
    left_bound: u16,
    right_bound: u16,
}

A representation of all the fields of a sensor instruction. This canonically represents an exact binary representation.

Fields

action: SensorAction

The Opcode of the Sensor Instruction

abort_idx: u8

The index of the abort

device_address: DeviceAddress

The Virtual Address of the Relay

left_bound: u16

The left bound for comparison

right_bound: u16

The right bound for comparison

Implementations

impl SensorInstr

pub fn try_new_stop(device_address: DeviceAddress) -> CompilerResult<Self>

Tries to create a new sensor stop instruction.

pub fn try_new(
    action: SensorAction,
    abort_idx: u8,
    device_address: DeviceAddress,
    left_bound: u16,
    right_bound: u16
) -> CompilerResult<Self>

Tries to create a new standard sensor instruction with abort index.

pub fn append_to_buffer(&self, buffer: &mut BitWriter)

Append the SensorInstr Instruction to the provided bit buffer

pub fn append_assembly_to_string(
    &self,
    lines: &mut String
) -> CompilerResult<()>

Format SensorInstr Insruction for TAF output

pub fn len() -> u32

Length of a sensor instruction in bytes

pub fn get_action(&self) -> SensorAction

Get the sensor action for this instruction

impl SensorInstr

pub fn try_from(
    concrete: &ConcreteTest,
    constraint: &SensorConstraint,
    action: SensorAction
) -> CompilerResult<Self>

Tries to create a new SensorInstr from a Sensor constraint in the AST

fn calibrated_bounds_from_constraint(
    concrete: &ConcreteTest,
    constraint: &SensorConstraint
) -> CompilerResult<(u16, u16)>

Convert bounds from the sensor constraint into raw values to be encoded in TBF file using the calibration of the sensor

Trait Implementations

impl Clone for SensorInstr

fn clone(&self) -> SensorInstr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SensorInstr

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

Formats the value using the given formatter.

impl Eq for SensorInstr

impl PartialEq<SensorInstr> for SensorInstr

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

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

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

This method tests for !=.

impl StructuralEq for SensorInstr

impl StructuralPartialEq for SensorInstr