OpenClonk
C4AulCompiler::PreparseAstVisitor Class Reference
Inheritance diagram for C4AulCompiler::PreparseAstVisitor:
[legend]
Collaboration diagram for C4AulCompiler::PreparseAstVisitor:
[legend]

Public Member Functions

 PreparseAstVisitor (C4ScriptHost *host, C4ScriptHost *source_host, C4AulScriptFunc *func=nullptr)
 
 PreparseAstVisitor (C4AulScriptFunc *func)
 
 ~PreparseAstVisitor () override=default
 
void visit (const ::aul::ast::RangeLoop *n) override
 
void visit (const ::aul::ast::VarDecl *n) override
 
void visit (const ::aul::ast::FunctionDecl *n) override
 
void visit (const ::aul::ast::CallExpr *n) override
 
void visit (const ::aul::ast::ParExpr *n) override
 
void visit (const ::aul::ast::AppendtoPragma *n) override
 
void visit (const ::aul::ast::IncludePragma *n) override
 
void visit (const ::aul::ast::Script *n) override
 
void visit (const ::aul::ast::ArrayLit *n) override
 
void visit (const ::aul::ast::ProplistLit *n) override
 
void visit (const ::aul::ast::UnOpExpr *n) override
 
void visit (const ::aul::ast::BinOpExpr *n) override
 
void visit (const ::aul::ast::AssignmentExpr *n) override
 
void visit (const ::aul::ast::SubscriptExpr *n) override
 
void visit (const ::aul::ast::SliceExpr *n) override
 
void visit (const ::aul::ast::Block *n) override
 
void visit (const ::aul::ast::Return *n) override
 
void visit (const ::aul::ast::ForLoop *n) override
 
void visit (const ::aul::ast::DoLoop *n) override
 
void visit (const ::aul::ast::WhileLoop *n) override
 
void visit (const ::aul::ast::If *n) override
 
void visit (const ::aul::ast::FunctionExpr *n) override
 
virtual void visit (const ::aul::ast::Noop *)
 
template<class T >
void visit (const T *)=delete
 
virtual void visit (const ::aul::ast::Noop *)
 
virtual void visit (const ::aul::ast::StringLit *)
 
virtual void visit (const ::aul::ast::IntLit *)
 
virtual void visit (const ::aul::ast::BoolLit *)
 
virtual void visit (const ::aul::ast::NilLit *)
 
virtual void visit (const ::aul::ast::ThisLit *)
 
virtual void visit (const ::aul::ast::VarExpr *n)
 
virtual void visit (const ::aul::ast::Break *)
 
virtual void visit (const ::aul::ast::Continue *)
 
template<class T >
void visit (const T *)=delete
 

Detailed Description

Definition at line 156 of file C4AulCompiler.cpp.

Constructor & Destructor Documentation

◆ PreparseAstVisitor() [1/2]

C4AulCompiler::PreparseAstVisitor::PreparseAstVisitor ( C4ScriptHost host,
C4ScriptHost source_host,
C4AulScriptFunc func = nullptr 
)
inline

Definition at line 166 of file C4AulCompiler.cpp.

166 : target_host(host), host(source_host), Fn(func) {}

◆ PreparseAstVisitor() [2/2]

C4AulCompiler::PreparseAstVisitor::PreparseAstVisitor ( C4AulScriptFunc func)
inlineexplicit

Definition at line 167 of file C4AulCompiler.cpp.

167 : Fn(func), target_host(func->pOrgScript), host(target_host) {}
C4ScriptHost * pOrgScript

◆ ~PreparseAstVisitor()

C4AulCompiler::PreparseAstVisitor::~PreparseAstVisitor ( )
overridedefault

Member Function Documentation

◆ visit() [1/34]

void C4AulCompiler::PreparseAstVisitor::visit ( const ::aul::ast::AppendtoPragma n)
overridevirtual

Reimplemented from aul::AstVisitor.

Definition at line 672 of file C4AulCompiler.cpp.

673 {
674  if (n->what.empty())
675  host->Appends.emplace_back("*");
676  else
677  host->Appends.emplace_back(n->what.c_str());
678 }
std::list< StdCopyStrBuf > Appends
Definition: C4ScriptHost.h:81

References C4ScriptHost::Appends.

◆ visit() [2/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::ArrayLit n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 441 of file C4AulAST.h.

442  {
443  for (const auto &c : n->values)
444  c->accept(this);
445  }
std::vector< ExprPtr > values
Definition: C4AulAST.h:180

◆ visit() [3/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::AssignmentExpr n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 460 of file C4AulAST.h.

461  {
462  n->lhs->accept(this);
463  n->rhs->accept(this);
464  }

◆ visit() [4/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::BinOpExpr n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 455 of file C4AulAST.h.

456  {
457  n->lhs->accept(this);
458  n->rhs->accept(this);
459  }

◆ visit() [5/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::Block n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 487 of file C4AulAST.h.

488  {
489  for (const auto &s : n->children)
490  s->accept(this);
491  }
#define s
std::vector< StmtPtr > children
Definition: C4AulAST.h:273

References s.

◆ visit() [6/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::BoolLit )
inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 66 of file C4AulAST.h.

66 {}

◆ visit() [7/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::Break )
inlinevirtualinherited

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 85 of file C4AulAST.h.

85 {}

◆ visit() [8/34]

void C4AulCompiler::PreparseAstVisitor::visit ( const ::aul::ast::CallExpr n)
overridevirtual

Reimplemented from aul::DefaultRecursiveVisitor.

Definition at line 653 of file C4AulCompiler.cpp.

654 {
655  if (n->append_unnamed_pars && Fn->ParCount != C4AUL_MAX_Par)
656  {
657  Fn->ParCount = C4AUL_MAX_Par;
658  }
659  DefaultRecursiveVisitor::visit(n);
660 }
#define C4AUL_MAX_Par
Definition: C4AulFunc.h:26
bool append_unnamed_pars
Definition: C4AulAST.h:255

References C4AUL_MAX_Par.

◆ visit() [9/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::Continue )
inlinevirtualinherited

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 86 of file C4AulAST.h.

86 {}

◆ visit() [10/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::DoLoop n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 511 of file C4AulAST.h.

512  {
513  n->body->accept(this);
514  n->cond->accept(this);
515  }
ExprPtr cond
Definition: C4AulAST.h:290
StmtPtr body
Definition: C4AulAST.h:291

◆ visit() [11/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::ForLoop n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 496 of file C4AulAST.h.

497  {
498  if (n->init)
499  n->init->accept(this);
500  if (n->cond)
501  n->cond->accept(this);
502  if (n->incr)
503  n->incr->accept(this);
504  n->body->accept(this);
505  }

◆ visit() [12/34]

void C4AulCompiler::PreparseAstVisitor::visit ( const ::aul::ast::FunctionDecl n)
overridevirtual

Reimplemented from aul::DefaultRecursiveVisitor.

Definition at line 617 of file C4AulCompiler.cpp.

618 {
619  // create script fn
620  C4PropListStatic *Parent = n->is_global ? target_host->Engine->GetPropList() : target_host->GetPropList();
621  const char *cname = n->name.c_str();
622 
623  assert(!Fn);
624 
625  // Look up the overloaded function before adding the overloading one
626  C4AulFunc *parent_func = Parent->GetFunc(cname);
627 
628  Fn = new C4AulScriptFunc(Parent, target_host, cname, n->loc);
629  host->ownedFunctions.push_back(C4VFunction(Fn));
630  for (const auto &param : n->params)
631  {
632  Fn->AddPar(param.name.c_str(), param.type);
633  }
634  if (n->has_unnamed_params)
635  Fn->ParCount = C4AUL_MAX_Par;
636 
637  // Add function to def/engine
638  Fn->SetOverloaded(parent_func);
639  Parent->SetPropertyByS(Fn->Name, C4VFunction(Fn));
640 
641  try
642  {
643  DefaultRecursiveVisitor::visit(n);
644  Fn = nullptr;
645  }
646  catch (...)
647  {
648  Fn = nullptr;
649  throw;
650  }
651 }
C4Value C4VFunction(C4AulFunc *pFn)
Definition: C4Value.h:247
C4RefCntPointer< C4String > Name
Definition: C4AulFunc.h:60
C4PropListStatic * GetPropList()
Definition: C4Aul.h:151
void AddPar(const char *Idtf, C4V_Type type=C4V_Any)
void SetOverloaded(C4AulFunc *)
C4AulFunc * GetFunc(C4PropertyName k) const
Definition: C4PropList.h:109
virtual void SetPropertyByS(C4String *k, const C4Value &to)
Definition: C4PropList.cpp:940
std::vector< C4Value > ownedFunctions
Definition: C4ScriptHost.h:97
C4AulScriptEngine * Engine
Definition: C4ScriptHost.h:77
virtual C4PropListStatic * GetPropList()
Definition: C4ScriptHost.h:51
std::string name
Definition: C4AulAST.h:390
std::vector< Parameter > params
Definition: C4AulAST.h:377
bool has_unnamed_params
Definition: C4AulAST.h:378
const char * loc
Definition: C4AulAST.h:123

References C4AUL_MAX_Par, C4VFunction(), C4ScriptHost::Engine, C4PropList::GetFunc(), C4AulScriptEngine::GetPropList(), C4ScriptHost::GetPropList(), C4ScriptHost::ownedFunctions, and C4PropList::SetPropertyByS().

Here is the call graph for this function:

◆ visit() [13/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::FunctionExpr n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 538 of file C4AulAST.h.

539  {
540  n->body->accept(this);
541  }
std::unique_ptr< Block > body
Definition: C4AulAST.h:379

◆ visit() [14/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::If n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 521 of file C4AulAST.h.

522  {
523  n->cond->accept(this);
524  n->iftrue->accept(this);
525  if (n->iffalse)
526  n->iffalse->accept(this);
527  }
ExprPtr cond
Definition: C4AulAST.h:338
StmtPtr iftrue
Definition: C4AulAST.h:339
StmtPtr iffalse
Definition: C4AulAST.h:339

◆ visit() [15/34]

void C4AulCompiler::PreparseAstVisitor::visit ( const ::aul::ast::IncludePragma n)
overridevirtual

Reimplemented from aul::AstVisitor.

Definition at line 680 of file C4AulCompiler.cpp.

681 {
682  host->Includes.emplace_back(n->what.c_str());
683 }
std::list< StdCopyStrBuf > Includes
Definition: C4ScriptHost.h:80

References C4ScriptHost::Includes.

◆ visit() [16/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::IntLit )
inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 65 of file C4AulAST.h.

65 {}

◆ visit() [17/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::NilLit )
inlinevirtualinherited

Reimplemented in C4AulCompiler::CodegenAstVisitor, and C4AulCompiler::ConstexprEvaluator.

Definition at line 69 of file C4AulAST.h.

69 {}

◆ visit() [18/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::Noop )
inlinevirtualinherited

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 63 of file C4AulAST.h.

63 {}

◆ visit() [19/34]

virtual void aul::AstVisitor::visit
inlineinherited

Definition at line 63 of file C4AulAST.h.

63 {}

◆ visit() [20/34]

void C4AulCompiler::PreparseAstVisitor::visit ( const ::aul::ast::ParExpr n)
overridevirtual

Reimplemented from aul::DefaultRecursiveVisitor.

Definition at line 662 of file C4AulCompiler.cpp.

663 {
664  if (Fn->ParCount != C4AUL_MAX_Par)
665  {
666  Warn(target_host, host, n, Fn, C4AulWarningId::undeclared_varargs, "Par()");
667  Fn->ParCount = C4AUL_MAX_Par;
668  }
669  DefaultRecursiveVisitor::visit(n);
670 }

References C4AUL_MAX_Par.

◆ visit() [21/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::ProplistLit n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 446 of file C4AulAST.h.

447  {
448  for (const auto &c : n->values)
449  c.second->accept(this);
450  }
std::vector< std::pair< std::string, ExprPtr > > values
Definition: C4AulAST.h:187

◆ visit() [22/34]

void C4AulCompiler::PreparseAstVisitor::visit ( const ::aul::ast::RangeLoop n)
overridevirtual

Reimplemented from aul::DefaultRecursiveVisitor.

Definition at line 523 of file C4AulCompiler.cpp.

524 {
525  const char *cname = n->var.c_str();
526  if (n->scoped_var)
527  {
528  Fn->VarNamed.AddName(cname);
529  }
530  else
531  {
532  // Loop variable not explicitly declared here. Look it up in
533  // the function and warn if it hasn't been declared at all.
534  if (Fn->VarNamed.GetItemNr(cname) == -1)
535  {
536  Warn(target_host, host, n, Fn, C4AulWarningId::implicit_range_loop_var_decl, cname);
537  Fn->VarNamed.AddName(cname);
538  }
539  }
540  DefaultRecursiveVisitor::visit(n);
541 }
C4ValueMapNames VarNamed
int32_t AddName(const char *pnName)
Definition: C4ValueMap.cpp:429
int32_t GetItemNr(const char *strName) const
Definition: C4ValueMap.cpp:459
std::string var
Definition: C4AulAST.h:307

References C4ValueMapNames::AddName(), C4ValueMapNames::GetItemNr(), and C4AulScriptFunc::VarNamed.

Referenced by C4AulCompiler::Preparse(), and C4AulCompiler::ConstexprEvaluator::visit().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ visit() [23/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::Return n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 492 of file C4AulAST.h.

493  {
494  n->value->accept(this);
495  }
ExprPtr value
Definition: C4AulAST.h:284

◆ visit() [24/34]

void C4AulCompiler::PreparseAstVisitor::visit ( const ::aul::ast::Script n)
overridevirtual

Reimplemented from aul::DefaultRecursiveVisitor.

Definition at line 685 of file C4AulCompiler.cpp.

686 {
687  for (const auto &d : n->declarations)
688  {
689  try
690  {
691  d->accept(this);
692  }
693  catch (C4AulParseError &e)
694  {
695  target_host->Engine->GetErrorHandler()->OnError(e.what());
696  }
697  }
698 }
virtual void OnError(const char *msg)=0
const char * what() const noexcept override
Definition: C4Aul.cpp:59
C4AulErrorHandler * GetErrorHandler() const
Definition: C4Aul.h:173
std::vector< DeclPtr > declarations
Definition: C4AulAST.h:425

References C4ScriptHost::Engine, C4AulScriptEngine::GetErrorHandler(), C4AulErrorHandler::OnError(), and C4AulError::what().

Here is the call graph for this function:

◆ visit() [25/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::SliceExpr n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 470 of file C4AulAST.h.

471  {
472  n->object->accept(this);
473  n->start->accept(this);
474  n->end->accept(this);
475  }

◆ visit() [26/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::StringLit )
inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 64 of file C4AulAST.h.

64 {}

◆ visit() [27/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::SubscriptExpr n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 465 of file C4AulAST.h.

466  {
467  n->object->accept(this);
468  n->index->accept(this);
469  }

◆ visit() [28/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::ThisLit )
inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 70 of file C4AulAST.h.

70 {}

◆ visit() [29/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::UnOpExpr n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 451 of file C4AulAST.h.

452  {
453  n->operand->accept(this);
454  }

◆ visit() [30/34]

void C4AulCompiler::PreparseAstVisitor::visit ( const ::aul::ast::VarDecl n)
overridevirtual

Reimplemented from aul::DefaultRecursiveVisitor.

Definition at line 543 of file C4AulCompiler.cpp.

544 {
546  {
547  Warn(target_host, host, n, Fn, C4AulWarningId::non_global_var_is_never_const);
548  }
549  for (const auto &var : n->decls)
550  {
551  const char *cname = var.name.c_str();
552  switch (n->scope)
553  {
554  case ::aul::ast::VarDecl::Scope::Func:
555  {
556  assert(Fn && "function-local var declaration outside of function");
557  if (!Fn)
558  throw Error(target_host, host, n, Fn, "internal error: function-local var declaration outside of function");
559 
560  if (target_host)
561  {
562  // if target_host is unset, we're parsing this func for direct execution,
563  // in which case we don't want to warn about variable hiding.
564  if (target_host->Engine->GlobalNamedNames.GetItemNr(cname) >= 0 || target_host->Engine->GlobalConstNames.GetItemNr(cname) >= 0)
565  Warn(target_host, host, n, Fn, C4AulWarningId::variable_shadows_variable, "local variable", cname, "global variable");
566  C4String *s = ::Strings.FindString(cname);
567  if (s && target_host->GetPropList()->HasProperty(s))
568  Warn(target_host, host, n, Fn, C4AulWarningId::variable_shadows_variable, "local variable", cname, "object-local variable");
569  if (Fn->ParNamed.GetItemNr(cname) != -1)
570  {
571  // The parameter order of this warning is correct:
572  // Aul looks up parameters before local variables, so
573  // the parameter actually shadows the local variable.
574  // This doesn't make a whole lot of sense and should
575  // probably be changed.
576  Warn(target_host, host, n, Fn, C4AulWarningId::variable_shadows_variable, "parameter", cname, "local variable");
577  }
578  }
579  Fn->VarNamed.AddName(cname);
580  break;
581  }
583  {
584  if (host->Engine->GlobalNamedNames.GetItemNr(cname) >= 0 || host->Engine->GlobalConstNames.GetItemNr(cname) >= 0)
585  Warn(target_host, host, n, Fn, C4AulWarningId::variable_shadows_variable, "object-local variable", cname, "global variable");
586  C4String *s = ::Strings.RegString(cname);
587  if (target_host->GetPropList()->HasProperty(s))
588  Warn(target_host, host, n, Fn, C4AulWarningId::redeclaration, "object-local variable", cname);
589  else
590  target_host->GetPropList()->SetPropertyByS(s, C4VNull);
591  break;
592  }
593  case ::aul::ast::VarDecl::Scope::Global:
594  assert(!Fn && "global var declaration inside function");
595  if (Fn)
596  throw Error(target_host, host, n, Fn, "internal error: global var declaration inside function");
597 
598  if (host->Engine->GlobalNamedNames.GetItemNr(cname) >= 0 || host->Engine->GlobalConstNames.GetItemNr(cname) >= 0)
599  Warn(target_host, host, n, Fn, C4AulWarningId::redeclaration, "global variable", cname);
600  if (n->constant)
601  host->Engine->GlobalConstNames.AddName(cname);
602  else
603  host->Engine->GlobalNamedNames.AddName(cname);
604  break;
605  }
606  }
607 
609  {
610  // only func-scoped variables can potentially have initializers we care
611  // about in the pre-parsing stage: they may have calls that pass
612  // unnamed parameters
613  DefaultRecursiveVisitor::visit(n);
614  }
615 }
C4Object * Object(C4PropList *_this)
Definition: C4AulDefFunc.h:34
C4StringTable Strings
Definition: C4Globals.cpp:42
const C4Value C4VNull
Definition: C4Value.cpp:30
C4ValueMapNames GlobalConstNames
Definition: C4Aul.h:141
C4ValueMapNames GlobalNamedNames
Definition: C4Aul.h:134
C4ValueMapNames ParNamed
bool HasProperty(C4String *k) const
Definition: C4PropList.h:122
C4String * FindString(const char *strString) const
C4String * RegString(StdStrBuf String)
std::vector< Var > decls
Definition: C4AulAST.h:365

References aul::ast::VarDecl::Global.

◆ visit() [31/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::VarExpr n)
inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 71 of file C4AulAST.h.

71 {}

◆ visit() [32/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::WhileLoop n)
inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 516 of file C4AulAST.h.

517  {
518  n->cond->accept(this);
519  n->body->accept(this);
520  }

◆ visit() [33/34]

template<class T >
void aul::AstVisitor::visit ( const T *  )
deleteinherited

◆ visit() [34/34]

template<class T >
void aul::AstVisitor::visit ( class T  )
deleteinherited

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