polserver/pol-core/bscript/compiler/analyzer/LocalVariableScope.h
Kevin Eady f381f46dc3
Add compiler support for function expressions (#671)
* initial poc of function expressions
- update grammar
- mock AST builder to return BBoolean(true) for a func expr
- update prettifier for skeleton implementation

* more skeleton work
create AST class FunctionExpression mimicking boolean value

* create ast UserFunction, add to workspace from functexpr

* can generate instructions

* reorg tests; add test for instructions

* can track FunctionDepth in Variable

* can get captures for funcexprs inside funcs.. tbd if this way of nesting works

* Implement create-functor instruction
- Move function depth from Variable to Variables
- Introduce stacking of `Variables` for function expresions via `FunctionVariableScope`
- Add `TOK_FUNCTOR` instruction for 'create-functor'
- Handle emitting a `FunctionExpression` AST node
- Update `emit.declare_variable` and `emit.access_variable` to account for function captures
- Remove `in_function` from instruction generator, as it is tracked via `UserFunction` stack
- Update tests

* Address Discord comments
- Swap pop param order

* Bubble up captured variables through nested functions

* Improve testing infrastructure; add some test cases

* Fix compilation error

* prepend captures to function parameters in funcref mth_call

* update tests

* move from function{} to @{}

* implementation fix

* some more tests

* update docs

* Some cleanup

* fix CI annotation warning
- 'argument': conversion from 'size_t' to 'VariableIndex', possible loss of data

* Address review comments
- Add `passert_always`
- Use better example in docs

* Some cleanup
- Remove unused functions
2024-07-29 22:30:52 +02:00

39 lines
985 B
C++

#ifndef POLSERVER_LOCALVARIABLESCOPE_H
#define POLSERVER_LOCALVARIABLESCOPE_H
#include <memory>
#include <string>
#include <vector>
#include "bscript/compiler/model/SimpleTypes.h"
#include "bscript/compiler/model/WarnOn.h"
namespace Pol::Bscript::Compiler
{
class Report;
class LocalVariableScopeInfo;
class LocalVariableScopes;
class SourceLocation;
class Variable;
class LocalVariableScope
{
public:
explicit LocalVariableScope( LocalVariableScopes&, LocalVariableScopeInfo& );
~LocalVariableScope();
std::shared_ptr<Variable> create( const std::string& name, WarnOn, const SourceLocation& );
std::shared_ptr<Variable> capture( std::shared_ptr<Variable>& );
private:
LocalVariableScopes& scopes;
Report& report;
const BlockDepth block_depth;
const unsigned prev_locals;
std::vector<std::shared_ptr<Variable>> shadowing;
LocalVariableScopeInfo& local_variable_scope_info;
};
} // namespace Pol::Bscript::Compiler
#endif // POLSERVER_LOCALVARIABLESCOPE_H