type.cpp File Reference

#include "utap/type.h"
#include "utap/expression.h"
#include <boost/format.hpp>

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

Function Documentation

std::ostream& operator<< ( std::ostream &  o,
type_t  t 
)


Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7