TypeVal Class Reference

#include <include/exp.h>

Inheritance diagram for TypeVal:

List of all members.

---

Detailed Description

Definition at line 816 of file exp.h.

Public Member Functions
virtual Exp *	accept (ExpModifier *v)
virtual bool	accept (ExpVisitor *v)
virtual Exp *	clone ()
virtual Exp *	genConstraints (Exp *restrictTo)
virtual Type *	getType ()
virtual bool	operator *= (Exp &o)
virtual bool	operator< (const Exp &o) const
virtual bool	operator== (const Exp &o) const
virtual void	print (std::ostream &os, bool html=false)
virtual void	printx (int ind)
virtual void	setType (Type *t)
	TypeVal (Type *ty)
	~TypeVal ()
Private Attributes
Type *	val
Friends
class	XMLProgParser

---

Constructor & Destructor Documentation

TypeVal::TypeVal (  Type *  ty  )

Definition at line 138 of file exp.cpp. Referenced by clone().

TypeVal::~TypeVal (   )

Definition at line 198 of file exp.cpp.

---

Member Function Documentation

Exp * TypeVal::accept (  ExpModifier *  v  )  [virtual]

Reimplemented from Terminal. Definition at line 3751 of file exp.cpp. References ExpModifier::postVisit(), and ExpModifier::preVisit().

bool TypeVal::accept (  ExpVisitor *  v  )  [virtual]

Reimplemented from Terminal. Definition at line 3651 of file exp.cpp. References ExpVisitor::visit().

Exp * TypeVal::clone (   )  [virtual]

Reimplemented from Terminal. Definition at line 323 of file exp.cpp. References Type::clone(), TypeVal(), and val. Referenced by Binary::genConstraints().

virtual Exp* TypeVal::genConstraints (  Exp *  restrictTo  )  [inline, virtual]

Reimplemented from Exp. Definition at line 831 of file exp.h. References NULL.

virtual Type* TypeVal::getType (   )  [inline, virtual]

Definition at line 823 of file exp.h. References val. Referenced by ConstraintMap::makeUnion().

bool TypeVal::operator *= (  Exp &  o  )  [virtual]

Reimplemented from Terminal. Definition at line 566 of file exp.cpp. References Exp::getOper(), Exp::getSubExp1(), and opSubscript.

bool TypeVal::operator< (  const Exp &  o  )  const [virtual]

Reimplemented from Terminal. Definition at line 499 of file exp.cpp. References Exp::getOper(), opTypeVal, and val.

bool TypeVal::operator== (  const Exp &  o  )  const [virtual]

Reimplemented from Terminal. Definition at line 411 of file exp.cpp. References Exp::op, opTypeVal, opWild, and val.

void TypeVal::print (  std::ostream &  os, bool  html = false )  [virtual]

Reimplemented from Terminal. Definition at line 1030 of file exp.cpp. References Type::getCtype(), and val.

void TypeVal::printx (  int  ind  )  [virtual]

Reimplemented from Terminal. Definition at line 3807 of file exp.cpp. References operStrings.

virtual void TypeVal::setType (  Type *  t  )  [inline, virtual]

Definition at line 824 of file exp.h. References val. Referenced by ConstraintMap::makeUnion().

---

Friends And Related Function Documentation

friend class XMLProgParser [friend]

Reimplemented from Terminal. Definition at line 840 of file exp.h.

---

Member Data Documentation

Type* TypeVal::val [private]

Definition at line 817 of file exp.h. Referenced by clone(), getType(), operator<(), operator==(), XMLProgParser::persistToXML(), print(), and setType().

---

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

• exp.h
• exp.cpp

---