hobbes::Assump Class Reference

#include <expr.H>

Inheritance diagram for hobbes::Assump:

Collaboration diagram for hobbes::Assump:

Public Member Functions
	Assump (const ExprPtr &e, const QualTypePtr &t, const LexicalAnnotation &)
bool	operator== (const Assump &) const
const ExprPtr &	expr () const
const QualTypePtr &	ty () const
void	expr (const ExprPtr &)
void	ty (const QualTypePtr &)
Expr *	clone () const
void	show (std::ostream &out) const
void	showAnnotated (std::ostream &out) const
Public Member Functions inherited from hobbes::ExprCase< Assump >
	ExprCase (const LexicalAnnotation &)
bool	operator== (const Expr &rhs) const
Public Member Functions inherited from hobbes::Expr
virtual	~Expr ()
const QualTypePtr &	type () const
void	type (const QualTypePtr &ty)
int	case_id () const
Public Member Functions inherited from hobbes::LexicallyAnnotated
	LexicallyAnnotated (const LexicallyAnnotated &)
	LexicallyAnnotated (const LexicalAnnotation &)
	LexicallyAnnotated (const LexRange &)
	LexicallyAnnotated (const Pos &, const Pos &)
const LexicalAnnotation &	la () const

Static Public Attributes
static const int	type_case_id = 22

Private Attributes
ExprPtr	e
QualTypePtr	t

Additional Inherited Members
Public Types inherited from hobbes::ExprCase< Assump >
typedef ExprCase< Assump >	Base
Static Public Member Functions inherited from hobbes::LexicallyAnnotated
static void	pushFileContext (const std::string &)
static void	pushLiteralContext (const std::string &)
static void	popContext ()
static LexicalAnnotation	make (const Pos &, const Pos &)
Protected Member Functions inherited from hobbes::Expr
	Expr (int cid, const LexicalAnnotation &)

Constructor & Destructor Documentation

Assump()

hobbes::Assump::Assump	(	const ExprPtr &	e,
		const QualTypePtr &	t,
		const LexicalAnnotation &	la
	)

Member Function Documentation

clone()

Expr * hobbes::Assump::clone ( ) const

virtual

Implements hobbes::Expr.

expr() [1/2]

const ExprPtr & hobbes::Assump::expr

(

)

const

expr() [2/2]

void hobbes::Assump::expr

(

const ExprPtr &

ne

)

operator==()

bool hobbes::Assump::operator== ( const Assump &  rhs ) const

virtual

Implements hobbes::ExprCase< Assump >.

show()

void hobbes::Assump::show ( std::ostream &  out ) const

virtual

Implements hobbes::Expr.

showAnnotated()

void hobbes::Assump::showAnnotated ( std::ostream &  out ) const

virtual

Implements hobbes::Expr.

ty() [1/2]

const QualTypePtr & hobbes::Assump::ty

(

)

const

ty() [2/2]

void hobbes::Assump::ty

(

const QualTypePtr &

nt

)

Member Data Documentation

e

ExprPtr hobbes::Assump::e

private

t

QualTypePtr hobbes::Assump::t

private

type_case_id

const int hobbes::Assump::type_case_id = 22

static

---

The documentation for this class was generated from the following files:

• include/hobbes/lang/expr.H
• lib/hobbes/lang/expr.C