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 > ¶meters, 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 |
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 | ( | ) |
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 |