|
Functions |
| 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 > ¶meters, 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 |
std::ostream & | operator<< (std::ostream &o, type_t t) |