UTAP::type_t Member List

This is the complete list of members for UTAP::type_t, including all inherited members.

createArray(type_t sub, type_t size, position_t=position_t())UTAP::type_t [static]
createFunction(type_t, const std::vector< type_t > &, const std::vector< std::string > &, position_t=position_t())UTAP::type_t [static]
createInstance(frame_t, position_t=position_t())UTAP::type_t [static]
createLabel(std::string, position_t=position_t()) const UTAP::type_t
createPosition(position_t=position_t()) const UTAP::type_t
createPrefix(Constants::kind_t kind, position_t=position_t()) const UTAP::type_t
createPrimitive(Constants::kind_t, position_t=position_t())UTAP::type_t [static]
createProcess(frame_t, position_t=position_t())UTAP::type_t [static]
createProcessSet(type_t instance, position_t=position_t())UTAP::type_t [static]
createRange(type_t, expression_t, expression_t, position_t=position_t())UTAP::type_t [static]
createRecord(const std::vector< type_t > &, const std::vector< std::string > &, position_t=position_t())UTAP::type_t [static]
createTypeDef(std::string, type_t, position_t=position_t())UTAP::type_t [static]
findIndexOf(std::string) const UTAP::type_t
get(uint32_t) const UTAP::type_t
getArraySize() const UTAP::type_t
getExpression() const UTAP::type_t
getKind() const UTAP::type_t
getLabel(uint32_t) const UTAP::type_t
getPosition() const UTAP::type_t
getRange() const UTAP::type_t
getRecordLabel(size_t i) const UTAP::type_t
getRecordSize() const UTAP::type_t
getSub() const UTAP::type_t
getSub(size_t) const UTAP::type_t
is(Constants::kind_t kind) const UTAP::type_t
isArray() const UTAP::type_t [inline]
isBoolean() const UTAP::type_t [inline]
isChannel() const UTAP::type_t [inline]
isClock() const UTAP::type_t [inline]
isConstant() const UTAP::type_t
isConstraint() const UTAP::type_t
isCost() const UTAP::type_t [inline]
isDiff() const UTAP::type_t [inline]
isFormula() const UTAP::type_t
isFunction() const UTAP::type_t [inline]
isGuard() const UTAP::type_t
isInteger() const UTAP::type_t [inline]
isIntegral() const UTAP::type_t
isInvariant() const UTAP::type_t
isLocation() const UTAP::type_t [inline]
isNonConstant() const UTAP::type_t
isPrefix() const UTAP::type_t
isProcess() const UTAP::type_t [inline]
isProcessSet() const UTAP::type_t [inline]
isRecord() const UTAP::type_t [inline]
isScalar() const UTAP::type_t [inline]
isVoid() const UTAP::type_t [inline]
operator!=(const type_t &) const UTAP::type_t
operator<(const type_t &) const UTAP::type_t
operator=(const type_t &)UTAP::type_t
operator==(const type_t &) const UTAP::type_t
operator[](uint32_t) const UTAP::type_t
rename(std::string from, std::string to) const UTAP::type_t
size() const UTAP::type_t
strip() const UTAP::type_t
stripArray() const UTAP::type_t
subst(symbol_t symbol, expression_t expr) const UTAP::type_t
toString() const UTAP::type_t
type_t()UTAP::type_t
type_t(const type_t &)UTAP::type_t
unknown() const UTAP::type_t
~type_t()UTAP::type_t


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