A function application. More...

#include <AST.hpp>

Inheritance diagram for m::ast::FnApplicationExpr:

Collaboration diagram for m::ast::FnApplicationExpr:

Public Member Functions
	FnApplicationExpr (Token lpar, std::unique_ptr< Expr > fn, std::vector< std::unique_ptr< Expr > > args)

bool	is_constant () const override
	Returns true iff this `Expr` is constant, i.e.

bool	can_be_null () const override
	Returns true iff this `Expr` is nullable, i.e.

bool	contains_free_variables () const override
	Returns `true` iff this `Expr` contains a free variable.

bool	contains_bound_variables () const override
	Returns `true` iff this `Expr` contains a bound variable.

uint64_t	hash () const override
	Computes a hash of `this`, considering only syntactic properties.

bool	operator== (const Expr &other) const override
	Returns `true` iff `other` is syntactically equal to `this`.

bool	has_function () const

const Function &	get_function () const

void	accept (ASTExprVisitor &v) override

void	accept (ConstASTExprVisitor &v) const override

const Type *	type () const
	Returns the `Type` of this `Expr`.

void	type (const Type *type)
	Sets the `Type` of this `Expr`.

bool	has_type () const
	Returns true iff this `Expr` has been assigned a `Type`, most likely by `Sema`.

bool	operator!= (const Expr &other) const
	Returns `false` iff `other` is syntactically equal to `this`.

Schema	get_required () const
	Returns a `Schema` instance containing all required definitions.

void	dot (std::ostream &out) const
	Writes a Graphivz dot representation of this `Expr` to `out`.

M_LCOV_EXCL_STOP void	dump (std::ostream &out) const

void	dump () const

Data Fields
std::unique_ptr< Expr >	fn

std::vector< std::unique_ptr< Expr > >	args

Token	tok
	the token of the expression; serves as an anchor to locate the expression in the source

Private Attributes
const Function *	func_ = nullptr

const Type *	type_ = nullptr
	‍the type of an expression, determined by the semantic analysis

bool	is_correlated_ = false
	Whether this `Expr` is correlated within its query, i.e.

Friends
struct	Sema

Detailed Description

A function application.

Definition at line 245 of file AST.hpp.

Constructor & Destructor Documentation

◆ FnApplicationExpr()

m::ast::FnApplicationExpr::FnApplicationExpr	(	Token	lpar,
		std::unique_ptr< Expr >	fn,
		std::vector< std::unique_ptr< Expr > >	args
	)

inline

Definition at line 255 of file AST.hpp.

References args, and M_insist.

Member Function Documentation

◆ accept() [1/2]

void m::ast::FnApplicationExpr::accept ( ASTExprVisitor & v )

overridevirtual

Implements m::ast::Expr.

◆ accept() [2/2]

void m::ast::FnApplicationExpr::accept ( ConstASTExprVisitor & v ) const

overridevirtual

Implements m::ast::Expr.

◆ can_be_null()

bool m::ast::FnApplicationExpr::can_be_null ( ) const

inlineoverridevirtual

Returns true iff this Expr is nullable, i.e.

may evaluate to NULL at runtime.

Implements m::ast::Expr.

Definition at line 266 of file AST.hpp.

References args, m::Function::FN_UDF, M_insist, and M_unreachable.

◆ contains_bound_variables()

bool m::ast::FnApplicationExpr::contains_bound_variables ( ) const

inlineoverridevirtual

Returns true iff this Expr contains a bound variable.

A bound variable is a Designator that is bound to an Attribute or another Expr within the query.

Implements m::ast::Expr.

Definition at line 299 of file AST.hpp.

References args.

◆ contains_free_variables()

bool m::ast::FnApplicationExpr::contains_free_variables ( ) const

inlineoverridevirtual

Returns true iff this Expr contains a free variable.

A free variable is a Designator that is not bound to an Attribute or another Expr within the query but defined by an outer, enclosing statement.

Implements m::ast::Expr.

Definition at line 291 of file AST.hpp.

References args.

◆ dot()

void Expr::dot ( std::ostream & out ) const

inherited

Writes a Graphivz dot representation of this Expr to out.

Used to render ASTs with Graphivz.

Definition at line 205 of file AST.cpp.

References m::ast::Expr::dot().

Referenced by m::ast::Expr::dot().

◆ dump() [1/2]

void Expr::dump ( ) const

inherited

Definition at line 235 of file AST.cpp.

References m::ast::Expr::dump().

Referenced by m::ast::Expr::dump().

◆ dump() [2/2]

M_LCOV_EXCL_START void Expr::dump ( std::ostream & out ) const

inherited

Definition at line 229 of file AST.cpp.

◆ get_function()

const Function & m::ast::FnApplicationExpr::get_function ( ) const

inline

Definition at line 312 of file AST.hpp.

Referenced by m::wasm::ExprCompiler::operator()().

◆ get_required()

Schema Expr::get_required ( ) const

inherited

Returns a Schema instance containing all required definitions.

Recursively traverses the Expr to find all Designators. Note, that FnApplicationExprs require special handling: a FnApplicationExpr that is an aggregation is stringified to a Schema::Identifier and not processed further recursively. The reason for this special treatment is that aggregations are performed during grouping and the aggregate value is referenced by the stringified expression (or alias, if given).

Definition at line 145 of file AST.cpp.

References m::Schema::add(), m::Catalog::Get(), m::Schema::has(), id, m::Catalog::pool(), and m::visit().

◆ has_function()

bool m::ast::FnApplicationExpr::has_function ( ) const

inline

Definition at line 311 of file AST.hpp.

◆ has_type()

bool m::ast::Expr::has_type ( ) const

inlineinherited

Returns true iff this Expr has been assigned a Type, most likely by Sema.

Definition at line 63 of file AST.hpp.

◆ hash()

uint64_t FnApplicationExpr::hash ( ) const

overridevirtual

Computes a hash of this, considering only syntactic properties.

Other properties are ignored, e.g. type or designator target.

Implements m::ast::Expr.

Definition at line 56 of file AST.cpp.

References args, fn, and hash().

Referenced by hash().

◆ is_constant()

bool m::ast::FnApplicationExpr::is_constant ( ) const

inlineoverridevirtual

Returns true iff this Expr is constant, i.e.

consists only of constants and can be evaluated at compilation time.

Implements m::ast::Expr.

Definition at line 265 of file AST.hpp.

◆ operator!=()

bool m::ast::Expr::operator!= ( const Expr & other ) const

inlineinherited

Returns false iff other is syntactically equal to this.

Definition at line 85 of file AST.hpp.

◆ operator==()

bool FnApplicationExpr::operator== ( const Expr & other ) const

overridevirtual

Returns true iff other is syntactically equal to this.

Implements m::ast::Expr.

Definition at line 105 of file AST.cpp.

References args, and fn.

◆ type() [1/2]

const Type * m::ast::Expr::type ( ) const

inlineinherited

Returns the Type of this Expr.

Assumes that the Expr has been assigned a Type by the Sema.

Definition at line 58 of file AST.hpp.

References M_notnull.

Referenced by m::ast::Sema::create_designator(), m::ast::UnaryExpr::hash(), m::ast::BinaryExpr::hash(), index_scan_codegen_compilation(), m::wasm::ExprCompiler::operator()(), and WeighExpr::operator()().

◆ type() [2/2]

void m::ast::Expr::type ( const Type * type )

inlineinherited

Sets the Type of this Expr.

Should be used when constructing an Expr outside of the Sema. Should not be called to replace an already assigned type.

Definition at line 61 of file AST.hpp.

References M_insist, and m::ast::Expr::type().

Referenced by m::ast::Expr::type().

Friends And Related Function Documentation

◆ Sema

friend struct Sema

friend

Definition at line 247 of file AST.hpp.

Field Documentation

◆ args

std::vector<std::unique_ptr<Expr> > m::ast::FnApplicationExpr::args

Definition at line 250 of file AST.hpp.

Referenced by hash(), m::wasm::ExprCompiler::operator()(), and operator==().

◆ fn

std::unique_ptr<Expr> m::ast::FnApplicationExpr::fn

Definition at line 249 of file AST.hpp.

Referenced by hash(), and operator==().

◆ func_

const Function* m::ast::FnApplicationExpr::func_ = nullptr

private

Definition at line 252 of file AST.hpp.

◆ is_correlated_

bool m::ast::Expr::is_correlated_ = false

privateinherited

Whether this Expr is correlated within its query, i.e.

whether this Expr contains free variables that are bound by an outside query.

Definition at line 50 of file AST.hpp.

◆ tok

Token m::ast::Expr::tok

inherited

the token of the expression; serves as an anchor to locate the expression in the source

Definition at line 43 of file AST.hpp.

Referenced by m::ast::Sema::create_designator(), m::ast::Constant::hash(), m::Interpreter::M_OPERATOR_LIST(), and m::ast::Constant::operator==().

◆ type_

const Type* m::ast::Expr::type_ = nullptr

privateinherited

‍the type of an expression, determined by the semantic analysis

Definition at line 47 of file AST.hpp.

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

include/mutable/parse/AST.hpp
src/parse/AST.cpp

Public Member Functions

Data Fields

Private Attributes

Friends

Detailed Description

Constructor & Destructor Documentation

◆ FnApplicationExpr()

Member Function Documentation

◆ accept() [1/2]

◆ accept() [2/2]

◆ can_be_null()

◆ contains_bound_variables()

◆ contains_free_variables()

◆ dot()

◆ dump() [1/2]

◆ dump() [2/2]

◆ get_function()

◆ get_required()

◆ has_function()

◆ has_type()

◆ hash()

◆ is_constant()

◆ operator!=()

◆ operator==()

◆ type() [1/2]

◆ type() [2/2]

Friends And Related Function Documentation

◆ Sema

Field Documentation

◆ args

◆ fn

◆ func_

◆ is_correlated_

◆ tok

◆ type_