mmo-ref/polserver
1
0
Fork 0
mirror of https://github.com/polserver/polserver synced 2026-08-13 08:23:08 -04:00
Code Issues Projects Releases Packages Wiki Activity
polserver/pol-core/bscript/compiler/analyzer/LocalVariableScope.cpp

70 lines
2.1 KiB
C++
Raw Permalink Normal View History

Includes are now all relative to pol-core basefolder (#906) * all except pol * pol and includes under defines * something weird has happened * remove own folder from include searchpath * fixed remaining, adapted include style for external headers * missing include
2026-07-25 23:01:18 +02:00
#include "bscript/compiler/analyzer/LocalVariableScope.h"
var statements in program blocks (#256) Adds: - analyzer/LocalVariableScope: tracks local variables created within a given scope. - Instantiated on the stack during semantic analysis, this registers itself with LocalVariableScopes during construction and deregisters itself during destruction. - Detects unused variables during deregistration - analyzer/LocalVariableScopes: this is what LocalVariableScope registers with. - keeps track of the stack of local scopes. - can provide the current local scope, for var statements. Other notes: "Shadowed" variables: this is when a variable in one scope hides a variable in another, like so: var a := 2; if (a) var a := 3; a := 4; endif print(a); // still 2 "debug_variables": We'll use these later when writing debug files.
2020-08-30 01:32:38 -07:00
Properly scope the compiler includes to the Bscript folder. (#360)
2021-02-25 16:53:22 +01:00
#include "bscript/compiler/Report.h"
#include "bscript/compiler/analyzer/LocalVariableScopes.h"
#include "bscript/compiler/analyzer/Variables.h"
#include "bscript/compiler/file/SourceLocation.h"
#include "bscript/compiler/model/LocalVariableScopeInfo.h"
#include "bscript/compiler/model/Variable.h"
var statements in program blocks (#256) Adds: - analyzer/LocalVariableScope: tracks local variables created within a given scope. - Instantiated on the stack during semantic analysis, this registers itself with LocalVariableScopes during construction and deregisters itself during destruction. - Detects unused variables during deregistration - analyzer/LocalVariableScopes: this is what LocalVariableScope registers with. - keeps track of the stack of local scopes. - can provide the current local scope, for var statements. Other notes: "Shadowed" variables: this is when a variable in one scope hides a variable in another, like so: var a := 2; if (a) var a := 3; a := 4; endif print(a); // still 2 "debug_variables": We'll use these later when writing debug files.
2020-08-30 01:32:38 -07:00
namespace Pol::Bscript::Compiler
{
LocalVariableScope::LocalVariableScope( LocalVariableScopes& scopes,
Consolidate local variable scope information (#301) Adds: - model/LocalVariableScopeInfo.h Stores, for local variable blocks: - the names of the local variables in the block - the "base index" of those local variables within the current scope The code generator uses these to clean up local variables as they go out of scope. We also need this when writing debug information.
2020-09-12 09:31:52 -07:00
LocalVariableScopeInfo& local_variable_scope_info )
var statements in program blocks (#256) Adds: - analyzer/LocalVariableScope: tracks local variables created within a given scope. - Instantiated on the stack during semantic analysis, this registers itself with LocalVariableScopes during construction and deregisters itself during destruction. - Detects unused variables during deregistration - analyzer/LocalVariableScopes: this is what LocalVariableScope registers with. - keeps track of the stack of local scopes. - can provide the current local scope, for var statements. Other notes: "Shadowed" variables: this is when a variable in one scope hides a variable in another, like so: var a := 2; if (a) var a := 3; a := 4; endif print(a); // still 2 "debug_variables": We'll use these later when writing debug files.
2020-08-30 01:32:38 -07:00
: scopes( scopes ),
report( scopes.report ),
block_depth( scopes.local_variable_scopes.size() ),
prev_locals( scopes.local_variables.count() ),
Consolidate local variable scope information (#301) Adds: - model/LocalVariableScopeInfo.h Stores, for local variable blocks: - the names of the local variables in the block - the "base index" of those local variables within the current scope The code generator uses these to clean up local variables as they go out of scope. We also need this when writing debug information.
2020-09-12 09:31:52 -07:00
local_variable_scope_info( local_variable_scope_info )
var statements in program blocks (#256) Adds: - analyzer/LocalVariableScope: tracks local variables created within a given scope. - Instantiated on the stack during semantic analysis, this registers itself with LocalVariableScopes during construction and deregisters itself during destruction. - Detects unused variables during deregistration - analyzer/LocalVariableScopes: this is what LocalVariableScope registers with. - keeps track of the stack of local scopes. - can provide the current local scope, for var statements. Other notes: "Shadowed" variables: this is when a variable in one scope hides a variable in another, like so: var a := 2; if (a) var a := 3; a := 4; endif print(a); // still 2 "debug_variables": We'll use these later when writing debug files.
2020-08-30 01:32:38 -07:00
{
Consolidate local variable scope information (#301) Adds: - model/LocalVariableScopeInfo.h Stores, for local variable blocks: - the names of the local variables in the block - the "base index" of those local variables within the current scope The code generator uses these to clean up local variables as they go out of scope. We also need this when writing debug information.
2020-09-12 09:31:52 -07:00
local_variable_scope_info.base_index = prev_locals;
var statements in program blocks (#256) Adds: - analyzer/LocalVariableScope: tracks local variables created within a given scope. - Instantiated on the stack during semantic analysis, this registers itself with LocalVariableScopes during construction and deregisters itself during destruction. - Detects unused variables during deregistration - analyzer/LocalVariableScopes: this is what LocalVariableScope registers with. - keeps track of the stack of local scopes. - can provide the current local scope, for var statements. Other notes: "Shadowed" variables: this is when a variable in one scope hides a variable in another, like so: var a := 2; if (a) var a := 3; a := 4; endif print(a); // still 2 "debug_variables": We'll use these later when writing debug files.
2020-08-30 01:32:38 -07:00
scopes.local_variable_scopes.push_back( this );
}
LocalVariableScope::~LocalVariableScope()
{
scopes.local_variables.remove_all_but( prev_locals );
for ( auto& variable : shadowing )
{
scopes.local_variables.restore_shadowed( variable );
}
scopes.local_variable_scopes.pop_back();
}
std::shared_ptr<Variable> LocalVariableScope::create( const std::string& name, WarnOn warn_on,
const SourceLocation& source_location )
{
if ( auto existing = scopes.local_variables.find( name ) )
{
if ( existing->block_depth == block_depth )
{
use new formatter for ERROR_PRINT, added ERROR_PRINTLN (#595) * use new formatter for ERROR_PRINT, added ERROR_PRINTLN * remove old log define * fix comments
2024-01-12 06:51:44 +01:00
report.error( source_location,
"Variable '{}' is already in scope.\n"
" See previous definition at: {}",
name, existing->source_location );
var statements in program blocks (#256) Adds: - analyzer/LocalVariableScope: tracks local variables created within a given scope. - Instantiated on the stack during semantic analysis, this registers itself with LocalVariableScopes during construction and deregisters itself during destruction. - Detects unused variables during deregistration - analyzer/LocalVariableScopes: this is what LocalVariableScope registers with. - keeps track of the stack of local scopes. - can provide the current local scope, for var statements. Other notes: "Shadowed" variables: this is when a variable in one scope hides a variable in another, like so: var a := 2; if (a) var a := 3; a := 4; endif print(a); // still 2 "debug_variables": We'll use these later when writing debug files.
2020-08-30 01:32:38 -07:00
return existing;
}
shadowing.push_back( existing );
}
use new formatter for ERROR_PRINT, added ERROR_PRINTLN (#595) * use new formatter for ERROR_PRINT, added ERROR_PRINTLN * remove old log define * fix comments
2024-01-12 06:51:44 +01:00
auto local = scopes.local_variables.create( name, block_depth, warn_on, source_location );
var statements in program blocks (#256) Adds: - analyzer/LocalVariableScope: tracks local variables created within a given scope. - Instantiated on the stack during semantic analysis, this registers itself with LocalVariableScopes during construction and deregisters itself during destruction. - Detects unused variables during deregistration - analyzer/LocalVariableScopes: this is what LocalVariableScope registers with. - keeps track of the stack of local scopes. - can provide the current local scope, for var statements. Other notes: "Shadowed" variables: this is when a variable in one scope hides a variable in another, like so: var a := 2; if (a) var a := 3; a := 4; endif print(a); // still 2 "debug_variables": We'll use these later when writing debug files.
2020-08-30 01:32:38 -07:00
Consolidate local variable scope information (#301) Adds: - model/LocalVariableScopeInfo.h Stores, for local variable blocks: - the names of the local variables in the block - the "base index" of those local variables within the current scope The code generator uses these to clean up local variables as they go out of scope. We also need this when writing debug information.
2020-09-12 09:31:52 -07:00
local_variable_scope_info.variables.push_back( local );
var statements in program blocks (#256) Adds: - analyzer/LocalVariableScope: tracks local variables created within a given scope. - Instantiated on the stack during semantic analysis, this registers itself with LocalVariableScopes during construction and deregisters itself during destruction. - Detects unused variables during deregistration - analyzer/LocalVariableScopes: this is what LocalVariableScope registers with. - keeps track of the stack of local scopes. - can provide the current local scope, for var statements. Other notes: "Shadowed" variables: this is when a variable in one scope hides a variable in another, like so: var a := 2; if (a) var a := 3; a := 4; endif print(a); // still 2 "debug_variables": We'll use these later when writing debug files.
2020-08-30 01:32:38 -07:00
return local;
}
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
std::shared_ptr<Variable> LocalVariableScope::capture( std::shared_ptr<Variable>& other )
{
auto local = scopes.local_variables.capture( other );
other->mark_used();
local_variable_scope_info.variables.push_back( local );
return local;
}
var statements in program blocks (#256) Adds: - analyzer/LocalVariableScope: tracks local variables created within a given scope. - Instantiated on the stack during semantic analysis, this registers itself with LocalVariableScopes during construction and deregisters itself during destruction. - Detects unused variables during deregistration - analyzer/LocalVariableScopes: this is what LocalVariableScope registers with. - keeps track of the stack of local scopes. - can provide the current local scope, for var statements. Other notes: "Shadowed" variables: this is when a variable in one scope hides a variable in another, like so: var a := 2; if (a) var a := 3; a := 4; endif print(a); // still 2 "debug_variables": We'll use these later when writing debug files.
2020-08-30 01:32:38 -07:00
} // namespace Pol::Bscript::Compiler
Reference in a new issue Copy permalink