type_t Namespace Reference

Functions
	type_t ()
	type_t (kind_t kind, const position_t &pos, size_t size)
	type_t (const type_t &type)
	~type_t ()
const type_t &	operator= (const type_t &type)
bool	operator== (const type_t &type) const
bool	operator!= (const type_t &type) const
bool	operator< (const type_t &type) const
size_t	size () const
const type_t	operator[] (uint32_t i) const
const type_t	get (uint32_t i) const
const std::string &	getLabel (uint32_t i) const
int32_t	findIndexOf (std::string label) const
kind_t	getKind () const
bool	isPrefix () const
bool	unknown () const
bool	is (kind_t kind) const
type_t	getSub () const
type_t	getSub (size_t i) const
type_t	getArraySize () const
size_t	getRecordSize () const
string	getRecordLabel (size_t i) const
std::pair< expression_t, expression_t >	getRange () const
expression_t	getExpression () const
type_t	strip () const
type_t	stripArray () const
type_t	rename (std::string from, std::string to) const
type_t	subst (symbol_t symbol, expression_t expr) const
position_t	getPosition () const
bool	isIntegral () const
bool	isInvariant () const
bool	isGuard () const
bool	isConstraint () const
bool	isFormula () const
bool	isConstant () const
bool	isNonConstant () const
type_t	createRange (type_t type, expression_t lower, expression_t upper, position_t pos)
type_t	createRecord (const vector< type_t > &types, const vector< string > &labels, position_t pos)
type_t	createFunction (type_t ret, const std::vector< type_t > &parameters, const std::vector< std::string > &labels, position_t pos)
type_t	createArray (type_t sub, type_t size, position_t pos)
type_t	createTypeDef (std::string label, type_t type, position_t pos)
type_t	createInstance (frame_t parameters, position_t pos)
type_t	createProcess (frame_t frame, position_t pos)
type_t	createProcessSet (type_t instance, position_t pos)
type_t	createPrimitive (kind_t kind, position_t pos)
type_t	createPrefix (kind_t kind, position_t pos) const
type_t	createLabel (string label, position_t pos) const
string	toString () const

---

Function Documentation

type_t::type_t

(

)

type_t::type_t	(	kind_t	kind,
		const position_t &	pos,
		size_t	size
	)

type_t::type_t

(

const type_t &

type

)

type_t::~type_t

(

)

const type_t& type_t::operator=

(

const type_t &

type

)

bool type_t::operator==

(

const type_t &

type

)

const

bool type_t::operator!=

(

const type_t &

type

)

const

bool type_t::operator<

(

const type_t &

type

)

const

size_t type_t::size

(

)

const

const type_t type_t::operator[]

(

uint32_t

i

)

const

const type_t type_t::get

(

uint32_t

i

)

const

const std::string& type_t::getLabel

(

uint32_t

i

)

const

int32_t type_t::findIndexOf

(

std::string

label

)

const

kind_t type_t::getKind

(

)

const

bool type_t::isPrefix

(

)

const

bool type_t::unknown

(

)

const

bool type_t::is

(

kind_t

kind

)

const

type_t type_t::getSub

(

)

const

type_t type_t::getSub

(

size_t

i

)

const

type_t type_t::getArraySize

(

)

const

size_t type_t::getRecordSize

(

)

const

string type_t::getRecordLabel

(

size_t

i

)

const

std::pair<expression_t, expression_t> type_t::getRange

(

)

const

expression_t type_t::getExpression

(

)

const

type_t type_t::strip

(

)

const

type_t type_t::stripArray

(

)

const

type_t type_t::rename	(	std::string	from,
		std::string	to
	)			const

type_t type_t::subst	(	symbol_t	symbol,
		expression_t	expr
	)			const

position_t type_t::getPosition

(

)

const

bool type_t::isIntegral

(

)

const

bool type_t::isInvariant

(

)

const

bool type_t::isGuard

(

)

const

bool type_t::isConstraint

(

)

const

bool type_t::isFormula

(

)

const

bool type_t::isConstant

(

)

const

bool type_t::isNonConstant

(

)

const

type_t type_t::createRange	(	type_t	type,
		expression_t	lower,
		expression_t	upper,
		position_t	pos
	)

type_t type_t::createRecord	(	const vector< type_t > &	types,
		const vector< string > &	labels,
		position_t	pos
	)

type_t type_t::createFunction	(	type_t	ret,
		const std::vector< type_t > &	parameters,
		const std::vector< std::string > &	labels,
		position_t	pos
	)

type_t type_t::createArray	(	type_t	sub,
		type_t	size,
		position_t	pos
	)

type_t type_t::createTypeDef	(	std::string	label,
		type_t	type,
		position_t	pos
	)

type_t type_t::createInstance	(	frame_t	parameters,
		position_t	pos
	)

type_t type_t::createProcess	(	frame_t	frame,
		position_t	pos
	)

type_t type_t::createProcessSet	(	type_t	instance,
		position_t	pos
	)

type_t type_t::createPrimitive	(	kind_t	kind,
		position_t	pos
	)

type_t type_t::createPrefix	(	kind_t	kind,
		position_t	pos
	)			const

type_t type_t::createLabel	(	string	label,
		position_t	pos
	)			const

string type_t::toString

(

)

const

---