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_toperator= (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_tgetRange () 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


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