ct::common::Assembler Class Reference

#include <assembler.h>

List of all members.

Public Member Functions
	Assembler (void)
	Assembler (const Assembler &from)
	~Assembler (void)
const Assembler &	operator= (const Assembler &right)
void	setErrLogger (const boost::shared_ptr< ErrLogger > &err_logger)
const boost::shared_ptr < ErrLogger > &	get_err_logger (void)
void	reportError (const std::string &str)
void	reportWarning (const std::string &str)
std::size_t	numErrs (void) const
std::size_t	numWarnings (void) const
ParamSpec *	asm_paramspec (const std::string &type, const std::string &identifier, const std::vector< boost::shared_ptr< TreeNode > > &vals)
ParamSpec *	asm_paramspec (const std::string &type, const std::string &identifier, const std::vector< std::pair< boost::shared_ptr< TreeNode >, boost::shared_ptr< TreeNode > > > &auto_value_specs)
void	attach_strengths (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, const std::vector< std::string > &identifiers, std::vector< Strength > &strengths, std::size_t strength)
void	attach_default_strengths (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, std::vector< Strength > &strengths, std::size_t strength)
PVPair *	asm_pvpair (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, const std::string &identifier, const TreeNode *value_exp)
Constraint_S *	asm_constraint_s (Exp_S *oprd1, Exp_S *oprd2, eOPERATOR op)
Constraint_A *	asm_constraint_a (Exp_A *oprd1, Exp_A *oprd2, eOPERATOR op, double precision)
Constraint *	asm_constraint_asb (TreeNode *oprd1, TreeNode *oprd2, eOPERATOR op, const std::string &str)
Constraint_L *	asm_constraint_l (TreeNode *oprd1, TreeNode *oprd2, eOPERATOR op)
Constraint_L *	asm_constraint_l (TreeNode *oprd, eOPERATOR op)
Constraint_L_CBool *	asm_constraint_l_cbool (const std::string &val)
Constraint *	asm_constraint_invalid (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, const std::string &identifier)
TreeNode *	asm_param (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, const std::string &identifier)
Exp_A *	asm_exp_a (TreeNode *oprd1, TreeNode *oprd2, eOPERATOR op)
Exp_A *	asm_exp_a (TreeNode *oprd, eOPERATOR op)
Exp_A *	asm_exp_a_cast (TreeNode *oprd, const std::string &type)
void	store_invalidation (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, const std::vector< std::string > &identifiers, const boost::shared_ptr< TreeNode > &precond)
std::vector< boost::shared_ptr < Constraint > >	dump_invalidations (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs)
ct::common::Seed *	asm_seed (std::size_t id, const ct::common::Tuple &tuple)
ct::common::Seed *	asm_seed (std::size_t id, ct::common::Constraint *constr)
void	set_option (const std::string &identifier, const ct::common::TreeNode *value)

---

Detailed Description

The class for assembling elements of the SUT model

Definition at line 57 of file assembler.h.

---

Constructor & Destructor Documentation

Assembler::Assembler

(

void

)

Definition at line 24 of file assembler.cpp.

Assembler::Assembler

(

const Assembler &

from

)

Definition at line 28 of file assembler.cpp.

Assembler::~Assembler

(

void

)

Definition at line 34 of file assembler.cpp.

---

Member Function Documentation

Constraint_A * Assembler::asm_constraint_a	(	Exp_A *	oprd1,
		Exp_A *	oprd2,
		eOPERATOR	op,
		double	precision
	)

Assemble an arithematic constraint

Definition at line 330 of file assembler.cpp.

Constraint * Assembler::asm_constraint_asb	(	TreeNode *	oprd1,
		TreeNode *	oprd2,
		eOPERATOR	op,
		const std::string &	str
	)

Assemble an arithmatic/string/logical constraint

Definition at line 393 of file assembler.cpp.

Constraint * Assembler::asm_constraint_invalid	(	const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs,
		const std::string &	identifier
	)

Assemble a parameter invalidation atomic constraint (in the post-processing stage)

Definition at line 616 of file assembler.cpp.

Constraint_L * Assembler::asm_constraint_l	(	TreeNode *	oprd1,
		TreeNode *	oprd2,
		eOPERATOR	op
	)

Assemble a binary logical constraint

Definition at line 434 of file assembler.cpp.

Constraint_L * Assembler::asm_constraint_l	(	TreeNode *	oprd,
		eOPERATOR	op
	)

Assemble a unary logical constraint

Definition at line 472 of file assembler.cpp.

Constraint_L_CBool * Assembler::asm_constraint_l_cbool

(

const std::string &

val

)

Assemble a constant Boolean constraint

Definition at line 493 of file assembler.cpp.

Constraint_S * Assembler::asm_constraint_s	(	Exp_S *	oprd1,
		Exp_S *	oprd2,
		eOPERATOR	op
	)

Assemble a string constraint

Definition at line 368 of file assembler.cpp.

Exp_A * Assembler::asm_exp_a	(	TreeNode *	oprd1,
		TreeNode *	oprd2,
		eOPERATOR	op
	)

Assemble a binary expression

Definition at line 505 of file assembler.cpp.

Exp_A * Assembler::asm_exp_a	(	TreeNode *	oprd,
		eOPERATOR	op
	)

Assemble a unary expression

Definition at line 554 of file assembler.cpp.

Exp_A * Assembler::asm_exp_a_cast	(	TreeNode *	oprd,
		const std::string &	type
	)

Assemble a cast expresion

Definition at line 580 of file assembler.cpp.

TreeNode * Assembler::asm_param	(	const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs,
		const std::string &	identifier
	)

Assemble a parameter constraint/expression

Definition at line 299 of file assembler.cpp.

ParamSpec * Assembler::asm_paramspec	(	const std::string &	type,
		const std::string &	identifier,
		const std::vector< boost::shared_ptr< TreeNode > > &	vals
	)

Assemble a parameter specification

Definition at line 70 of file assembler.cpp.

ParamSpec * Assembler::asm_paramspec	(	const std::string &	type,
		const std::string &	identifier,
		const std::vector< std::pair< boost::shared_ptr< TreeNode >, boost::shared_ptr< TreeNode > > > &	auto_value_specs
	)

Assemble an automatic parameter specification

Definition at line 138 of file assembler.cpp.

PVPair * Assembler::asm_pvpair	(	const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs,
		const std::string &	identifier,
		const TreeNode *	value_exp
	)

Assemble a pvpair

Definition at line 268 of file assembler.cpp.

Seed * Assembler::asm_seed	(	std::size_t	id,
		const ct::common::Tuple &	tuple
	)

Assemble a tuple seed

Definition at line 694 of file assembler.cpp.

Seed * Assembler::asm_seed	(	std::size_t	id,
		ct::common::Constraint *	constr
	)

Assemble a constraint seed

Definition at line 701 of file assembler.cpp.

void Assembler::attach_default_strengths	(	const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs,
		std::vector< Strength > &	strengths,
		std::size_t	strength
	)

Assemble a universal covering strength

Definition at line 195 of file assembler.cpp.

void Assembler::attach_strengths	(	const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs,
		const std::vector< std::string > &	identifiers,
		std::vector< Strength > &	strengths,
		std::size_t	strength
	)

Assemble a covering strength

Definition at line 223 of file assembler.cpp.

std::vector< boost::shared_ptr< Constraint > > Assembler::dump_invalidations

(

const std::vector< boost::shared_ptr< ParamSpec > > &

param_specs

)

Post-processing parameter invalidation constraints

Definition at line 648 of file assembler.cpp.

const boost::shared_ptr<ErrLogger>& ct::common::Assembler::get_err_logger

(

void

)

[inline]

Getting the error logger

Definition at line 67 of file assembler.h.

std::size_t Assembler::numErrs

(

void

)

const

Get the total number of errors

Definition at line 56 of file assembler.cpp.

std::size_t Assembler::numWarnings

(

void

)

const

Get the total number of warnings

Definition at line 63 of file assembler.cpp.

const Assembler & Assembler::operator=

(

const Assembler &

right

)

Definition at line 37 of file assembler.cpp.

void Assembler::reportError

(

const std::string &

str

)

Report an error

Definition at line 44 of file assembler.cpp.

void Assembler::reportWarning

(

const std::string &

str

)

Report a warning

Definition at line 50 of file assembler.cpp.

void Assembler::set_option	(	const std::string &	identifier,
		const ct::common::TreeNode *	value
	)

Setting an option

Definition at line 708 of file assembler.cpp.

void ct::common::Assembler::setErrLogger

(

const boost::shared_ptr< ErrLogger > &

err_logger

)

[inline]

Setting the error logger

Definition at line 65 of file assembler.h.

void Assembler::store_invalidation	(	const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs,
		const std::vector< std::string > &	identifiers,
		const boost::shared_ptr< TreeNode > &	precond
	)

Store the parameter invalidation constraint for later post-processing

Definition at line 634 of file assembler.cpp.

---

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

• src/ct_common/file_parse/assembler.h
• src/ct_common/file_parse/assembler.cpp