hobbes::Bool Class Reference

#include <expr.H>

Inheritance diagram for hobbes::Bool:

Collaboration diagram for hobbes::Bool:

Public Member Functions
	Bool (bool x, const LexicalAnnotation &)
bool	value () const
void	value (bool)
Expr *	clone () const
void	show (std::ostream &out) const
void	showAnnotated (std::ostream &out) const
bool	equiv (const Bool &) const
bool	lt (const Bool &) const
MonoTypePtr	primType () const
Public Member Functions inherited from hobbes::PrimitiveCase< Bool >
	PrimitiveCase (const LexicalAnnotation &)
bool	operator< (const Primitive &rhs) const
bool	operator== (const Expr &rhs) const
Public Member Functions inherited from hobbes::Primitive
	Primitive (int cid, const LexicalAnnotation &)
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 = 1

Private Attributes
bool	x

Additional Inherited Members
Public Types inherited from hobbes::PrimitiveCase< Bool >
typedef PrimitiveCase< Bool >	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

Bool()

hobbes::Bool::Bool	(	bool	x,
		const LexicalAnnotation &	la
	)

Member Function Documentation

clone()

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

virtual

Implements hobbes::Expr.

equiv()

bool hobbes::Bool::equiv ( const Bool &  rhs ) const

virtual

Implements hobbes::PrimitiveCase< Bool >.

lt()

bool hobbes::Bool::lt ( const Bool &  rhs ) const

virtual

Implements hobbes::PrimitiveCase< Bool >.

primType()

MonoTypePtr hobbes::Bool::primType ( ) const

virtual

Implements hobbes::Primitive.

show()

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

virtual

Implements hobbes::Expr.

showAnnotated()

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

virtual

Implements hobbes::Expr.

value() [1/2]

bool hobbes::Bool::value

(

)

const

value() [2/2]

void hobbes::Bool::value

(

bool

nx

)

Member Data Documentation

type_case_id

const int hobbes::Bool::type_case_id = 1

static

x

bool hobbes::Bool::x

private

---

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

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