ast::CastExp Class Reference

Cast the type of an expression to a given type. More...

#include <cast-exp.hh>

Inheritance diagram for ast::CastExp:

Collaboration diagram for ast::CastExp:

Public Member Functions
Ctor & dtor.
	CastExp (const Location &location, Exp *exp, Ty *ty)
	Construct a CastExp node.
virtual	~CastExp ()
	Destroy a CastExp node.
Visitors entry point.
virtual void	accept (ConstVisitor &v) const override
	Accept a const visitor v.
virtual void	accept (Visitor &v) override
	Accept a non-const visitor v.
Accessors.
const Exp &	exp_get () const
	Return the cast expression.
Exp &	exp_get ()
	Return the cast expression.
const Ty &	ty_get () const
	Return the target type.
Ty &	ty_get ()
	Return the target type.
Accessors.
const Location &	location_get () const
	Return scanner position information.
void	location_set (const Location &)
	Set scanner position information.

Protected Attributes
Exp *	exp_
	The cast expression.
Ty *	ty_
	The target type.
Location	location_
	Scanner position information.

Detailed Description

Cast the type of an expression to a given type.

This node is only used in the bound checking transformation (see desugar::bound_checks_add). You don't need to worry about it (nor about the `cast' keyword) if you don't implement this option.

Constructor & Destructor Documentation

ast::CastExp::CastExp	(	const Location &	location,
		Exp *	exp,
		Ty *	ty
	)

Construct a CastExp node.

ast::CastExp::~CastExp ( )

virtual

Destroy a CastExp node.

References exp_, and ty_.

Member Function Documentation

void ast::CastExp::accept ( ConstVisitor &  v ) const

overridevirtual

Accept a const visitor v.

Implements ast::Exp.

void ast::CastExp::accept ( Visitor &  v )

overridevirtual

Accept a non-const visitor v.

Implements ast::Exp.

const Exp & ast::CastExp::exp_get ( ) const

inline

Return the cast expression.

References exp_.

Referenced by ast::PrettyPrinter::operator()(), and astclone::Cloner::operator()().

Exp & ast::CastExp::exp_get ( )

inline

Return the cast expression.

References exp_.

const Location & ast::Ast::location_get ( ) const

inlineinherited

Return scanner position information.

References ast::Ast::location_.

Referenced by type::TypeChecker::error(), object::DesugarVisitor::operator()(), astclone::Cloner::operator()(), ast::DecsList::push_back(), ast::DecsList::push_front(), and type::TypeChecker::type_mismatch().

void ast::Ast::location_set ( const Location &  location )

inlineinherited

Set scanner position information.

References ast::Ast::location_.

const Ty & ast::CastExp::ty_get ( ) const

inline

Return the target type.

References ty_.

Referenced by ast::PrettyPrinter::operator()(), and astclone::Cloner::operator()().

Ty & ast::CastExp::ty_get ( )

inline

Return the target type.

References ty_.

Member Data Documentation

Exp* ast::CastExp::exp_

protected

The cast expression.

Referenced by exp_get(), and ~CastExp().

Location ast::Ast::location_

protectedinherited

Scanner position information.

Referenced by ast::Ast::location_get(), ast::Ast::location_set(), ast::DecsList::push_back(), and ast::DecsList::push_front().

Ty* ast::CastExp::ty_

protected

The target type.

Referenced by ty_get(), and ~CastExp().

---

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

• ast/cast-exp.hh
• ast/cast-exp.cc
• ast/cast-exp.hxx