object::TypeChecker Member List

This is the complete list of members for object::TypeChecker, including all inherited members.

accept(E *e)	ast::GenVisitor< Const >	protected
check_type(ast::Exp &e, const std::string &s, const Type &t)	type::TypeChecker	protected
check_type(ast::Dec &e, const std::string &s, const Type &t)	type::TypeChecker	protected
check_types(const ast::Ast &loc, const std::string &exp1, const Type &type1, const std::string &exp2, const Type &type2)	type::TypeChecker	protected
check_types(const ast::Ast &loc, const std::string &exp1, ast::Typable &type1, const std::string &exp2, ast::Typable &type2)	type::TypeChecker	protected
created_type_default(NodeType &e, const type::Type *type)	type::TypeChecker	protected
current_	object::TypeChecker	private
decs_visit(ast::AnyDecs< D > &e)	type::TypeChecker	protected
ast::GenDefaultVisitor::decs_visit(typename Const< DecsType >::type &e)	ast::GenDefaultVisitor< Const >	inline
error(const ast::Ast &loc, const std::string &msg)	type::TypeChecker	protected
error(const ast::Ast &loc, const std::string &msg, const T &exp)	type::TypeChecker	protected
error_	type::TypeChecker	protected
error_and_recover(T &loc, const std::string &msg, const U &exp)	type::TypeChecker	protected
error_get() const	type::TypeChecker
GenDefaultVisitor()	ast::GenDefaultVisitor< Const >
GenNonObjectVisitor()	ast::GenNonObjectVisitor< Const >
operator()(ast::FieldVar &e)	object::TypeChecker	protectedvirtual
operator()(ast::SimpleVar &e)	object::TypeChecker	protectedvirtual
operator()(ast::NameTy &e)	object::TypeChecker	protectedvirtual
operator()(ast::ObjectExp &e)	object::TypeChecker	protectedvirtual
operator()(ast::MethodCallExp &e)	object::TypeChecker	protectedvirtual
operator()(ast::TypeDecs &e)	object::TypeChecker	protectedvirtual
operator()(ast::MethodDecs &e)	object::TypeChecker	protectedvirtual
operator()(ast::VarDec &e)	object::TypeChecker	protectedvirtual
operator()(ast::ClassTy &e)	object::TypeChecker	protectedvirtual
type::TypeChecker::operator()(ast::NilExp &) override	type::TypeChecker	protectedvirtual
type::TypeChecker::operator()(ast::IntExp &) override	type::TypeChecker	protectedvirtual
type::TypeChecker::operator()(ast::StringExp &) override	type::TypeChecker	protectedvirtual
type::TypeChecker::operator()(ast::RecordExp &e) override	type::TypeChecker	protectedvirtual
type::TypeChecker::operator()(ast::OpExp &e) override	type::TypeChecker	protectedvirtual
type::TypeChecker::operator()(ast::FunctionDec &) override	type::TypeChecker	protectedvirtual
type::TypeChecker::operator()(ast::TypeDec &) override	type::TypeChecker	protectedvirtual
type::TypeChecker::operator()(ast::RecordTy &e) override	type::TypeChecker	protectedvirtual
type::TypeChecker::operator()(ast::ArrayTy &e) override	type::TypeChecker	protectedvirtual
type::ast::GenDefaultVisitor::operator()(typename Const< Ast >::type &e)	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< SimpleVar >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< FieldVar >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< SubscriptVar >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< CastVar >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< NilExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< IntExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< StringExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< CallExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< OpExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< RecordExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< SeqExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< AssignExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< IfExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< WhileExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< ForExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< BreakExp >::type &) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< LetExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< ArrayExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< CastExp >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< FieldInit >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< DecsList >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< Decs >::type &e)	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< VarDecs >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< VarDec >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< FunctionDec >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< TypeDec >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< NameTy >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< RecordTy >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< ArrayTy >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenDefaultVisitor::operator()(typename Const< Field >::type &e) override	ast::GenDefaultVisitor< Const >	virtual
type::ast::GenVisitor::operator()(typename Const< ClassTy >::type &)=0	ast::GenVisitor< Const >	pure virtual
type::ast::GenVisitor::operator()(typename Const< MethodCallExp >::type &)=0	ast::GenVisitor< Const >	pure virtual
type::ast::GenVisitor::operator()(typename Const< MethodDec >::type &)=0	ast::GenVisitor< Const >	pure virtual
type::ast::GenVisitor::operator()(typename Const< ObjectExp >::type &)=0	ast::GenVisitor< Const >	pure virtual
type::ast::GenVisitor::operator()(E *e)	ast::GenVisitor< Const >
ast::GenNonObjectVisitor::operator()(typename Const< ClassTy >::type &e) override	ast::GenNonObjectVisitor< Const >	virtual
ast::GenNonObjectVisitor::operator()(typename Const< MethodDecs >::type &e) override	ast::GenNonObjectVisitor< Const >	virtual
ast::GenNonObjectVisitor::operator()(typename Const< MethodDec >::type &e) override	ast::GenNonObjectVisitor< Const >	virtual
ast::GenNonObjectVisitor::operator()(typename Const< MethodCallExp >::type &e) override	ast::GenNonObjectVisitor< Const >	virtual
ast::GenNonObjectVisitor::operator()(typename Const< ObjectExp >::type &e) override	ast::GenNonObjectVisitor< Const >	virtual
super_type typedef	object::TypeChecker
type(ast::Typable &e)	type::TypeChecker	protected
type(const ast::fields_type &e)	type::TypeChecker	protected
type(const ast::VarDecs &e)	type::TypeChecker	protected
type_default(NodeType &e, const type::Type *type)	type::TypeChecker	protected
type_mismatch(const ast::Ast &loc, const std::string &exp1, const Type &type1, const std::string &exp2, const Type &type2)	type::TypeChecker	protected
type_set(NodeType &e, const type::Type *type)	type::TypeChecker	protected
TypeChecker()	object::TypeChecker
var_read_only_	type::TypeChecker	protected
visit_dec_body(ast::MethodDec &e)	object::TypeChecker	protected
type::TypeChecker::visit_dec_body(D &e)	type::TypeChecker	protected
type::TypeChecker::visit_dec_body(ast::FunctionDec &e)	type::TypeChecker	protected
type::TypeChecker::visit_dec_body(ast::TypeDec &e)	type::TypeChecker	protected
visit_dec_header(ast::MethodDec &e)	object::TypeChecker	protected
type::TypeChecker::visit_dec_header(D &e)	type::TypeChecker	protected
type::TypeChecker::visit_dec_header(ast::FunctionDec &e)	type::TypeChecker	protected
type::TypeChecker::visit_dec_header(ast::TypeDec &e)	type::TypeChecker	protected
visit_dec_members(ast::ClassTy &e)	object::TypeChecker	protectedvirtual
visit_routine_body(Routine_Node &e)	type::TypeChecker	protected
within_methoddec_body_p_	object::TypeChecker	private
~GenDefaultVisitor()	ast::GenDefaultVisitor< Const >	virtual
~GenNonObjectVisitor()	ast::GenNonObjectVisitor< Const >	virtual
~GenVisitor()	ast::GenVisitor< Const >	virtual