hobbes::ExprCase< Case > Class Template Reference

#include <expr.H>

Inheritance diagram for hobbes::ExprCase< Case >:

Collaboration diagram for hobbes::ExprCase< Case >:

Public Types
typedef ExprCase< Case >	Base

Public Member Functions
	ExprCase (const LexicalAnnotation &)
virtual bool	operator== (const Case &) const =0
bool	operator== (const Expr &rhs) const
Public Member Functions inherited from hobbes::Expr
virtual	~Expr ()
virtual void	show (std::ostream &) const =0
virtual void	showAnnotated (std::ostream &) const =0
virtual Expr *	clone () const =0
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

Additional Inherited Members
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 &)

Member Typedef Documentation

Base

template<typename Case>

typedef ExprCase<Case> hobbes::ExprCase< Case >::Base

Constructor & Destructor Documentation

ExprCase()

template<typename Case >

hobbes::ExprCase< Case >::ExprCase

(

const LexicalAnnotation &

la

)

Member Function Documentation

operator==() [1/2]

template<typename Case>

virtual bool hobbes::ExprCase< Case >::operator== ( const Case &  ) const

pure virtual

Implemented in hobbes::Unpack, hobbes::Pack, hobbes::Assump, hobbes::Proj, hobbes::Switch, hobbes::Case, hobbes::AIndex, hobbes::MkRecord, hobbes::MkVariant, hobbes::MkArray, hobbes::Assign, hobbes::App, hobbes::Fn, hobbes::LetRec, hobbes::Let, and hobbes::Var.

operator==() [2/2]

template<typename Case>

bool hobbes::ExprCase< Case >::operator== ( const Expr &  rhs ) const

inlinevirtual

Implements hobbes::Expr.

---

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

• include/hobbes/lang/expr.H