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/Variables.cpp

74 lines
2.3 KiB
C++
Raw Permalink Normal View History

Compiler rewrite: add global variables (#241) Adds support for var statements at the global level. Adds: - analyzer/Variables: keeps track of the variables in scope (either local or global). - ast/Identifier: AST node for an identifier. - The optimizer will replace constant identifiers with their constant value (in a later commit). - The semantic analyzer will set the variable field for local or global variable identifiers. - ast/VarStatement: AST node for a var statement. - A single var statement will generate one VarStatement per variable declared. - model/Variable: Describes a variable, including its index within its scope.
2020-08-25 00:57:03 -07:00
#include "Variables.h"
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/file/SourceLocation.h"
#include "bscript/compiler/model/Variable.h"
Compiler rewrite: add global variables (#241) Adds support for var statements at the global level. Adds: - analyzer/Variables: keeps track of the variables in scope (either local or global). - ast/Identifier: AST node for an identifier. - The optimizer will replace constant identifiers with their constant value (in a later commit). - The semantic analyzer will set the variable field for local or global variable identifiers. - ast/VarStatement: AST node for a var statement. - A single var statement will generate one VarStatement per variable declared. - model/Variable: Describes a variable, including its index within its scope.
2020-08-25 00:57:03 -07:00
namespace Pol::Bscript::Compiler
{
Variables::Variables( VariableScope scope, Report& report ) : scope( scope ), report( report ) {}
Clean up warnings: size_t/unsigned mixing, unused private variables (#352)
2020-12-01 02:23:03 -08:00
std::shared_ptr<Variable> Variables::create( const std::string& name, BlockDepth block_depth,
Compiler rewrite: add global variables (#241) Adds support for var statements at the global level. Adds: - analyzer/Variables: keeps track of the variables in scope (either local or global). - ast/Identifier: AST node for an identifier. - The optimizer will replace constant identifiers with their constant value (in a later commit). - The semantic analyzer will set the variable field for local or global variable identifiers. - ast/VarStatement: AST node for a var statement. - A single var statement will generate one VarStatement per variable declared. - model/Variable: Describes a variable, including its index within its scope.
2020-08-25 00:57:03 -07:00
WarnOn warn_on, const SourceLocation& source_location )
{
auto index = names_by_index.size();
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
if ( index > std::numeric_limits<VariableIndex>::max() )
{
report.error( source_location, "Too many variables" );
Clean up warnings: size_t/unsigned mixing, unused private variables (#352)
2020-12-01 02:23:03 -08:00
}
auto variable = std::make_shared<Variable>(
scope, name, block_depth, static_cast<VariableIndex>( index ), warn_on, source_location );
Compiler rewrite: add global variables (#241) Adds support for var statements at the global level. Adds: - analyzer/Variables: keeps track of the variables in scope (either local or global). - ast/Identifier: AST node for an identifier. - The optimizer will replace constant identifiers with their constant value (in a later commit). - The semantic analyzer will set the variable field for local or global variable identifiers. - ast/VarStatement: AST node for a var statement. - A single var statement will generate one VarStatement per variable declared. - model/Variable: Describes a variable, including its index within its scope.
2020-08-25 00:57:03 -07:00
variables_by_name[name] = variable;
names_by_index.push_back( name );
return variable;
}
std::shared_ptr<Variable> Variables::find( const std::string& name ) const
{
auto itr = variables_by_name.find( name );
return ( itr != variables_by_name.end() ) ? ( *itr ).second : std::shared_ptr<Variable>();
}
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
void Variables::restore_shadowed( std::shared_ptr<Variable> variable )
{
// It's still in names_by_index
variables_by_name[variable->name] = std::move( variable );
}
void Variables::remove_all_but( unsigned count )
{
while ( names_by_index.size() > count )
{
std::string last_name = names_by_index.back();
auto itr = variables_by_name.find( last_name );
Fix divide-by-zero errors, and mask FormatError if it were thrown in a destructor. (#271)
2020-09-05 01:19:12 -07:00
if ( itr != variables_by_name.end() )
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
{
Fix divide-by-zero errors, and mask FormatError if it were thrown in a destructor. (#271)
2020-09-05 01:19:12 -07:00
auto& removing = ( *itr ).second;
if ( removing->warn_on == WarnOn::IfUsed && removing->was_used() )
{
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.warning( removing->source_location,
"local variable '{}' declared as unused but used.", last_name );
Fix divide-by-zero errors, and mask FormatError if it were thrown in a destructor. (#271)
2020-09-05 01:19:12 -07:00
}
else if ( removing->warn_on == WarnOn::IfNotUsed && !removing->was_used() )
{
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.warning( removing->source_location, "local variable '{}' was not used.", last_name );
Fix divide-by-zero errors, and mask FormatError if it were thrown in a destructor. (#271)
2020-09-05 01:19:12 -07:00
}
variables_by_name.erase( itr );
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
}
names_by_index.pop_back();
}
}
Compiler rewrite: add global variables (#241) Adds support for var statements at the global level. Adds: - analyzer/Variables: keeps track of the variables in scope (either local or global). - ast/Identifier: AST node for an identifier. - The optimizer will replace constant identifiers with their constant value (in a later commit). - The semantic analyzer will set the variable field for local or global variable identifiers. - ast/VarStatement: AST node for a var statement. - A single var statement will generate one VarStatement per variable declared. - model/Variable: Describes a variable, including its index within its scope.
2020-08-25 00:57:03 -07:00
const std::vector<std::string>& Variables::get_names() const
{
return names_by_index;
}
unsigned Variables::count() const
{
Clean up warnings: size_t/unsigned mixing, unused private variables (#352)
2020-12-01 02:23:03 -08:00
return static_cast<unsigned>( names_by_index.size() );
Compiler rewrite: add global variables (#241) Adds support for var statements at the global level. Adds: - analyzer/Variables: keeps track of the variables in scope (either local or global). - ast/Identifier: AST node for an identifier. - The optimizer will replace constant identifiers with their constant value (in a later commit). - The semantic analyzer will set the variable field for local or global variable identifiers. - ast/VarStatement: AST node for a var statement. - A single var statement will generate one VarStatement per variable declared. - model/Variable: Describes a variable, including its index within its scope.
2020-08-25 00:57:03 -07:00
}
} // namespace Pol::Bscript::Compiler
Reference in a new issue Copy permalink