#include <strong.hpp>

Inheritance diagram for mc2lib::codegen::strong::ReadSequence:

Public Member Functions
	ReadSequence (types::Addr min_addr, types::Addr max_addr, types::Pid pid=-1)

void	AdvanceThread (Operation::ThreadItStack *it_stack) const override

Operation::Ptr	Clone () const override

void	Reset () override

Public Member Functions inherited from mc2lib::codegen::NullOp< Backend, EvtState >
	NullOp (types::Pid pid)

bool	EnableEmit (EvtState *evts) override

void	InsertPo (typename Op< Backend, EvtState >::ThreadConstIt before, EvtState *evts) override

std::size_t	Emit (types::InstPtr start, Backend backend, EvtState evts, void *code, std::size_t len) override

bool	UpdateObs (types::InstPtr ip, int part, types::Addr addr, const types::WriteID from_id, std::size_t size, EvtState evts) override

const mc::Event *	LastEvent (const mc::Event next_event, EvtState evts) const override

const mc::Event *	FirstEvent (const mc::Event prev_event, EvtState evts) const override

Public Member Functions inherited from mc2lib::codegen::Op< Backend, EvtState >
	Op (types::Pid pid)

virtual	~Op ()

virtual void	InsertPo (ThreadConstIt before, EvtState *evts)=0

virtual void	RegisterCallback (CallbackStack *callback_stack)

types::Pid	pid () const

void	set_pid (types::Pid pid)

Additional Inherited Members
Public Types inherited from mc2lib::codegen::Op< Backend, EvtState >
typedef EvtState	EvtState

typedef std::shared_ptr< Op >	Ptr

typedef std::vector< Ptr >	Thread

typedef Thread::const_iterator	ThreadIt

typedef std::unordered_map< types::Pid, Thread >	Threads

typedef std::vector< std::pair< ThreadIt, ThreadIt > >	ThreadItStack

typedef std::vector< const Op *>	ThreadConst

typedef ThreadConst::const_iterator	ThreadConstIt

typedef std::function< std::size_t(Op , types::InstPtr, Backend , EvtState , void , std::size_t)>	Callback

typedef std::vector< Callback >	CallbackStack

Constructor & Destructor Documentation

§ ReadSequence()

mc2lib::codegen::strong::ReadSequence::ReadSequence	(	types::Addr	min_addr,
		types::Addr	max_addr,
		types::Pid	pid = `-1`
	)

inlineexplicit

void mc2lib::codegen::strong::ReadSequence::AdvanceThread ( Operation::ThreadItStack * it_stack ) const

inlineoverridevirtual

Operation::Ptr mc2lib::codegen::strong::ReadSequence::Clone ( ) const

inlineoverridevirtual

Clone the instance.

void mc2lib::codegen::strong::ReadSequence::Reset ( )

inlineoverridevirtual

Provide Reset, as emit functions may modify the state of an Op to store information to map instructions to events.

types::Addr mc2lib::codegen::strong::ReadSequence::max_addr_

protected

types::Addr mc2lib::codegen::strong::ReadSequence::min_addr_

protected

Operation::Thread mc2lib::codegen::strong::ReadSequence::sequence_

protected

The documentation for this class was generated from the following file: