hobbes::Expr Class Reference

#include <expr.H>

Inheritance diagram for hobbes::Expr:

Collaboration diagram for hobbes::Expr:

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

Protected Member Functions
	Expr (int cid, const LexicalAnnotation &)

Private Attributes
QualTypePtr	annotatedType
int	cid

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

Constructor & Destructor Documentation

~Expr()

hobbes::Expr::~Expr ( )

virtual

Expr()

hobbes::Expr::Expr ( int  cid, const LexicalAnnotation &  la  )

protected

Member Function Documentation

case_id()

int hobbes::Expr::case_id

(

)

const

clone()

virtual Expr* hobbes::Expr::clone ( ) 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, hobbes::Var, hobbes::Double, hobbes::Float, hobbes::Long, hobbes::Int, hobbes::Short, hobbes::Byte, hobbes::Char, hobbes::Bool, and hobbes::Unit.

operator==()

virtual bool hobbes::Expr::operator== ( const Expr &  ) const

pure virtual

Implemented in hobbes::PrimitiveCase< Case >, hobbes::PrimitiveCase< Float >, hobbes::PrimitiveCase< Double >, hobbes::PrimitiveCase< Unit >, hobbes::PrimitiveCase< Short >, hobbes::PrimitiveCase< Byte >, hobbes::PrimitiveCase< Int >, hobbes::PrimitiveCase< Char >, hobbes::PrimitiveCase< Bool >, hobbes::PrimitiveCase< Long >, hobbes::Primitive, hobbes::ExprCase< Case >, hobbes::ExprCase< MkRecord >, hobbes::ExprCase< MkArray >, hobbes::ExprCase< Proj >, hobbes::ExprCase< Switch >, hobbes::ExprCase< Let >, hobbes::ExprCase< Unpack >, hobbes::ExprCase< LetRec >, hobbes::ExprCase< Assump >, hobbes::ExprCase< Fn >, hobbes::ExprCase< AIndex >, hobbes::ExprCase< App >, hobbes::ExprCase< MkVariant >, hobbes::ExprCase< Pack >, hobbes::ExprCase< Var >, and hobbes::ExprCase< Assign >.

show()

virtual void hobbes::Expr::show ( std::ostream &  ) 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, hobbes::Var, hobbes::Double, hobbes::Float, hobbes::Long, hobbes::Int, hobbes::Short, hobbes::Byte, hobbes::Char, hobbes::Bool, and hobbes::Unit.

showAnnotated()

virtual void hobbes::Expr::showAnnotated ( std::ostream &  ) 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, hobbes::Var, hobbes::Double, hobbes::Float, hobbes::Long, hobbes::Int, hobbes::Short, hobbes::Byte, hobbes::Char, hobbes::Bool, and hobbes::Unit.

type() [1/2]

const QualTypePtr & hobbes::Expr::type

(

)

const

type() [2/2]

void hobbes::Expr::type

(

const QualTypePtr &

ty

)

Member Data Documentation

annotatedType

QualTypePtr hobbes::Expr::annotatedType

private

cid

int hobbes::Expr::cid

private

---

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

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