Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators::Cursor Class Reference

Description

Iterates over valid subdomains whose inputs are valid.

This is intended to be used in a "for" loop inside a RISC operation, such as:

BaseSemantics::SValuePtr
RiscOperators::add(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) {
    SValuePtr retval(a->nBits());
    for (Cursor c(this, a, b); !c.at_end(); c.next())
        retval->set_subvalue(c->idx(), c->add(a, b));
    }
}

This RiscOperator's before() and after() methods are automatically invoked around the body of the "for" loop by the Cursor constructor and next() methods.

Definition at line 347 of file MultiSemantics.h.

#include <Rose/BinaryAnalysis/InstructionSemantics/MultiSemantics.h>

Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators::Cursor:

Public Types
typedef std::vector< SValuePtr >	Inputs

Public Member Functions
	Cursor (RiscOperators *ops, const SValuePtr &arg1=SValuePtr(), const SValuePtr &arg2=SValuePtr(), const SValuePtr &arg3=SValuePtr())
	Cursor (RiscOperators *ops, const Inputs &inputs)
bool	at_end () const
	Returns true when the cursor has gone past the last valid subdomain.
void	next ()
	Advance to the next valid subdomain.
size_t	idx () const
	Return the subdomain index for the current cursor position.
BaseSemantics::RiscOperatorsPtr	operator-> () const
	Return the subdomain for the current cursor position.
BaseSemantics::RiscOperatorsPtr	operator* () const
	Return the subdomain for the current cursor position.
BaseSemantics::SValuePtr	operator() (const BaseSemantics::SValuePtr &) const
	Returns subdomain value of its multidomain argument.

Static Public Member Functions
static Inputs	inputs (const BaseSemantics::SValuePtr &arg1=BaseSemantics::SValuePtr(), const BaseSemantics::SValuePtr &arg2=BaseSemantics::SValuePtr(), const BaseSemantics::SValuePtr &arg3=BaseSemantics::SValuePtr())
	Class method to construct the array of inputs from a variable number of arguments.

Protected Member Functions
void	init (const SValuePtr &arg1, const SValuePtr &arg2, const SValuePtr &arg3)
void	init ()
void	skip_invalid ()
bool	inputs_are_valid () const

Protected Attributes
RiscOperators *	ops_
Inputs	inputs_
size_t	idx_

Member Typedef Documentation

Inputs

typedef std::vector<SValuePtr> Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators::Cursor::Inputs

Definition at line 349 of file MultiSemantics.h.

Member Function Documentation

inputs()

static Inputs Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators::Cursor::inputs ( const BaseSemantics::SValuePtr &  arg1 = BaseSemantics::SValuePtr(), const BaseSemantics::SValuePtr &  arg2 = BaseSemantics::SValuePtr(), const BaseSemantics::SValuePtr &  arg3 = BaseSemantics::SValuePtr()  )

static

Class method to construct the array of inputs from a variable number of arguments.

This is used only by the SUBDOMAINS macro in the MultiSemantics source code so that the input values can be passed as a parenthesized group as the macro's second argument.

Member Data Documentation

ops_

RiscOperators* Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators::Cursor::ops_

protected

Definition at line 351 of file MultiSemantics.h.

inputs_

Inputs Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators::Cursor::inputs_

protected

Definition at line 352 of file MultiSemantics.h.

idx_

size_t Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators::Cursor::idx_

protected

Definition at line 353 of file MultiSemantics.h.

---

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

• MultiSemantics.h