Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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
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
 

type_t type_t::createArray type_t  sub,
type_t  size,
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::createInstance frame_t  parameters,
position_t  pos
 

type_t type_t::createLabel string  label,
position_t  pos
const
 

type_t type_t::createPrefix kind_t  kind,
position_t  pos
const
 

type_t type_t::createPrimitive kind_t  kind,
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::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::createTypeDef std::string  label,
type_t  type,
position_t  pos
 

int32_t type_t::findIndexOf std::string  label  )  const
 

const type_t type_t::get uint32_t  i  )  const
 

type_t type_t::getArraySize  )  const
 

expression_t type_t::getExpression  )  const
 

kind_t type_t::getKind  )  const
 

const std::string& type_t::getLabel uint32_t  i  )  const
 

position_t type_t::getPosition  )  const
 

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

string type_t::getRecordLabel size_t  i  )  const
 

size_t type_t::getRecordSize  )  const
 

type_t type_t::getSub size_t  i  )  const
 

type_t type_t::getSub  )  const
 

bool type_t::is kind_t  kind  )  const
 

bool type_t::isConstraint  )  const
 

bool type_t::isGuard  )  const
 

bool type_t::isIntegral  )  const
 

bool type_t::isInvariant  )  const
 

bool type_t::isPrefix  )  const
 

bool type_t::operator!= const type_t type  )  const
 

bool type_t::operator< const type_t type  )  const
 

const type_t& type_t::operator= const type_t type  ) 
 

bool type_t::operator== const type_t type  )  const
 

const type_t type_t::operator[] uint32_t  i  )  const
 

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

size_t type_t::size  )  const
 

type_t type_t::strip  )  const
 

type_t type_t::stripArray  )  const
 

type_t type_t::subst symbol_t  symbol,
expression_t  expr
const
 

string type_t::toString  )  const
 

type_t::type_t const type_t type  ) 
 

type_t::type_t kind_t  kind,
const position_t pos,
size_t  size
 

type_t::type_t  ) 
 

bool type_t::unknown  )  const
 

type_t::~type_t  ) 
 


Generated on Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2