LetExpr Class Reference

Let expression. More...

#include <syntax.hpp>

Inheritance diagram for LetExpr:

Public Member Functions
	LetExpr (GCMain &gc, const TokenPos &pos, const std::vector< BiOpExpr * > &assignments, Expr *body)
	Initialize let expression. More...
const std::vector< BiOpExpr * > &	getAssignments () const noexcept
const Expr &	getBody () const noexcept
virtual void	mark (GCMain &gc) noexcept
	If not marked mark itself and children.
virtual Expr *	eval (GCMain &gc, Environment &env) noexcept
	Evaluates expression one time. More...
virtual Expr *	replace (GCMain &gc, const std::string &name, Expr *expr) const noexcept override
	Replace all identifiers equal to name with expr. More...
virtual std::vector< std::string >	getIdentifiers () const noexcept override
virtual bool	equals (const Expr *expr, bool exact=false) const noexcept override
	Checks if this expression and expr have the same structure, Every expression has the same structure as '_' (it's called ANY after all). More...
virtual std::string	toString () const noexcept override
virtual Expr *	optimize (GCMain &gc) noexcept override
virtual Expr *	optimize (GCMain &gc, std::vector< Expr * > &exprs) noexcept
Public Member Functions inherited from Expr
	Expr (GCMain &gc, ExprType type, const TokenPos &pos)
std::size_t	getDepth () const noexcept
bool	hasLastEval () const noexcept
const TokenPos &	getTokenPos () const noexcept
ExprType	getExpressionType () const noexcept
Expr *	evalWithLookup (GCMain &gc, Environment &env) noexcept
Public Member Functions inherited from GCObj
	GCObj (GCMain &main) noexcept
	Initialize as not marked.
virtual bool	isMarked (GCMain &main) const noexcept

Additional Inherited Members
Protected Member Functions inherited from GCObj
virtual void	markSelf (GCMain &main)
	Marks itself.
Protected Attributes inherited from Expr
std::size_t	depth
Expr *	lastEval = nullptr

Detailed Description

Let expression.

Constructor & Destructor Documentation

LetExpr()

LetExpr::LetExpr ( GCMain &  gc, const TokenPos &  pos, const std::vector< BiOpExpr * > &  assignments, Expr *  body  )

inline

Initialize let expression.

Parameters

gc
assignments	All assignments of the let expression.
body	Body of let expression

Member Function Documentation

equals()

virtual bool LetExpr::equals ( const Expr *  expr, bool  exact = false  ) const

overridevirtualnoexcept

Checks if this expression and expr have the same structure, Every expression has the same structure as '_' (it's called ANY after all).

Parameters

expr	The expression to compare to this.
exact	If true any must equal any and nothing else. Otherwise any is equal to anyting else.

Reimplemented from Expr.

eval()

virtual Expr* LetExpr::eval ( GCMain &  gc, Environment &  env  )

virtualnoexcept

Evaluates expression one time.

Parameters

gc
env	Environment for accessing variables.

Returns

Returns itself if nothing evaluated, otherwise a new expression.

Reimplemented from Expr.

getAssignments()

const std::vector<BiOpExpr*>& LetExpr::getAssignments ( ) const

inlinenoexcept

Returns

Returns assignments done between let ... in (separated by ';').

getBody()

const Expr& LetExpr::getBody ( ) const

inlinenoexcept

Returns

Returns body of let expression.

getIdentifiers()

virtual std::vector<std::string> LetExpr::getIdentifiers ( ) const

inlineoverridevirtualnoexcept

Returns

Returns all identifiers used in expression.

Reimplemented from Expr.

optimize()

virtual Expr* LetExpr::optimize ( GCMain &  gc )

overridevirtualnoexcept

Returns

Returns an optimized version of this expression. If nothing was optimized, returns itself.

Reimplemented from Expr.

replace()

virtual Expr* LetExpr::replace ( GCMain &  gc, const std::string &  name, Expr *  expr  ) const

overridevirtualnoexcept

Replace all identifiers equal to name with expr.

Parameters

gc
name	Identifer name to replace. If name is empty, every identifier will be replaced by AnyExpr(expr_any).
expr	The expression to replaces identifiers.

Returns

Returns new expression, where matching identifiers are replaced. Returns itself if not possible (expression can't contain any identifiers) or if expression is a lambda function, where the <id> is equal to name.

Reimplemented from Expr.

toString()

virtual std::string LetExpr::toString ( ) const

inlineoverridevirtualnoexcept

Returns

Returns expression in functional-lang (the programming language to parse).

Reimplemented from Expr.

---

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

• include/func/syntax.hpp