GDevelop Core
Core library for developing platforms and tools compatible with GDevelop.
EventsCodeGenerator.h
1 /*
2  * GDevelop Core
3  * Copyright 2008-present Florian Rival ([email protected]). All rights
4  * reserved. This project is released under the MIT License.
5  */
6 #pragma once
7 
8 #include <set>
9 #include <utility>
10 #include <vector>
11 
12 #include "GDCore/Events/Event.h"
13 #include "GDCore/Events/Instruction.h"
14 #include "GDCore/Events/CodeGeneration/DiagnosticReport.h"
15 #include "GDCore/Project/ProjectScopedContainers.h"
16 #include "GDCore/String.h"
17 
18 namespace gd {
19 class EventsList;
20 class Expression;
21 class Project;
22 class Layout;
23 class ObjectsContainer;
24 class ObjectsContainersList;
25 class ExternalEvents;
26 class ParameterMetadata;
27 class ObjectMetadata;
28 class BehaviorMetadata;
29 class InstructionMetadata;
30 class EventsCodeGenerationContext;
31 class ExpressionCodeGenerationInformation;
32 class InstructionMetadata;
33 class Platform;
34 } // namespace gd
35 
36 namespace gd {
37 
41 class GD_CORE_API EventsCodeGenerator {
42  friend class ExpressionCodeGenerator;
43 
44  public:
48  static void DeleteUselessEvents(gd::EventsList& events);
49 
54  EventsCodeGenerator(const gd::Project& project_,
55  const gd::Layout& layout,
56  const gd::Platform& platform_);
57 
63  const gd::Platform& platform,
64  const gd::ProjectScopedContainers& projectScopedContainers_);
65  virtual ~EventsCodeGenerator(){};
66 
73  void PreprocessEventList(gd::EventsList& listEvent);
74 
82  virtual gd::String GenerateEventsListCode(
84 
98  virtual gd::String GenerateConditionsListCode(
100 
112  virtual gd::String GenerateActionsListCode(
114 
129  std::vector<gd::String> GenerateParametersCodes(
130  const std::vector<gd::Expression>& parameters,
131  const ParameterMetadataContainer& parametersInfo,
133  std::vector<std::pair<gd::String, gd::String> >*
134  supplementaryParametersTypes = 0);
135 
146  gd::String GenerateConditionCode(gd::Instruction& condition,
147  gd::String returnBoolean,
148  EventsCodeGenerationContext& context);
149 
160  gd::String GenerateActionCode(
161  gd::Instruction& action,
163  const gd::String& optionalAsyncCallbackName = "");
164 
166  CallbackDescriptor(const gd::String functionName_,
167  const gd::String argumentsList_,
168  const std::set<gd::String> requiredObjects_)
169  : functionName(functionName_),
170  argumentsList(argumentsList_),
171  requiredObjects(requiredObjects_){};
184  const std::set<gd::String> requiredObjects;
185  };
186 
197  virtual const CallbackDescriptor GenerateCallback(
198  const gd::String& callbackFunctionName,
199  gd::EventsCodeGenerationContext& parentContext,
200  gd::InstructionsList& actions,
201  gd::EventsList* subEvents = nullptr);
202 
206  const gd::String GenerateEventsParameters(
207  const gd::EventsCodeGenerationContext& context);
208 
216  virtual gd::String GenerateObjectsDeclarationCode(
217  EventsCodeGenerationContext& context);
218 
234  static gd::String ConvertToString(gd::String plainString);
235 
252  static gd::String ConvertToStringExplicit(gd::String plainString);
253 
263  if (!file.empty()) includeFiles.insert(file);
264  };
265 
270  void AddIncludeFiles(std::vector<gd::String> files) {
271  for (std::size_t i = 0; i < files.size(); ++i) AddIncludeFile(files[i]);
272  };
273 
277  void AddGlobalDeclaration(gd::String declaration) {
278  customGlobalDeclarations.insert(declaration);
279  };
280 
285  customCodeOutsideMain += code;
286  };
287 
290  const std::set<gd::String>& GetIncludeFiles() const { return includeFiles; }
291 
295  return customCodeOutsideMain;
296  }
297 
300  const std::set<gd::String>& GetCustomGlobalDeclaration() const {
301  return customGlobalDeclarations;
302  }
303 
307  bool GenerateCodeForRuntime() { return compilationForRuntime; }
308 
313  void SetGenerateCodeForRuntime(bool compilationForRuntime_) {
314  compilationForRuntime = compilationForRuntime_;
315  }
316 
321  void ReportError();
322 
330  bool ErrorOccurred() const { return errorOccurred; };
331 
332  const gd::ObjectsContainersList& GetObjectsContainersList() const {
333  return projectScopedContainers.GetObjectsContainersList();
334  };
335 
336  const gd::ProjectScopedContainers& GetProjectScopedContainers() const {
337  return projectScopedContainers;
338  }
339 
347  return projectScopedContainers;
348  }
349 
354  bool HasProjectAndLayout() const { return hasProjectAndLayout; }
355 
360  const gd::Project& GetProject() const { return *project; }
361 
366  const gd::Layout& GetLayout() const { return *scene; }
367 
371  const gd::Platform& GetPlatform() const { return platform; }
372 
378  return maxCustomConditionsDepth;
379  }
380 
384  size_t GetMaxConditionsListsSize() const { return maxConditionsListsSize; }
385 
386  void SetDiagnosticReport(gd::DiagnosticReport* diagnosticReport_) {
387  diagnosticReport = diagnosticReport_;
388  }
389 
390  gd::DiagnosticReport* GetDiagnosticReport() {
391  return diagnosticReport;
392  }
393 
401  const gd::String& boolName,
402  const gd::EventsCodeGenerationContext& context) {
403  return boolName;
404  }
405 
413  const gd::String& boolName,
414  const gd::EventsCodeGenerationContext& context) {
415  return boolName;
416  }
417 
424  const gd::String& boolName,
425  const gd::EventsCodeGenerationContext& context) {
426  return "bool " + boolName + " = false;\n";
427  }
428 
435  virtual gd::String GetObjectListName(
436  const gd::String& name, const gd::EventsCodeGenerationContext& context);
437 
443  return "";
444  };
445 
450  return "";
451  };
452 
460  virtual gd::String GetCodeNamespaceAccessor() { return ""; };
461 
468  virtual gd::String GetCodeNamespace() { return ""; };
469 
470  enum VariableScope { LAYOUT_VARIABLE = 0, PROJECT_VARIABLE, OBJECT_VARIABLE, ANY_VARIABLE };
471 
484  size_t GenerateSingleUsageUniqueIdFor(const gd::Instruction* instruction);
485 
493  size_t GenerateSingleUsageUniqueIdForEventsList();
494 
495  virtual gd::String GenerateRelationalOperation(
496  const gd::String& relationalOperator,
497  const gd::String& lhs,
498  const gd::String& rhs);
499 
503  virtual gd::String GenerateLocalVariablesStackAccessor();
504 
509  gd::String
510  GenerateAnyOrSceneVariableGetter(const gd::Expression &variableExpression,
511  EventsCodeGenerationContext &context);
512 
513 protected:
514  virtual const gd::String GenerateRelationalOperatorCodes(
515  const gd::String& operatorString);
516 
553  virtual gd::String GenerateParameterCodes(
554  const gd::Expression& parameter,
555  const gd::ParameterMetadata& metadata,
557  const gd::String& lastObjectName,
558  std::vector<std::pair<gd::String, gd::String> >*
559  supplementaryParametersTypes);
560 
565  const gd::String& variableName,
566  const VariableScope& scope,
568  const gd::String& objectName) {
569  // This code is only used as a mock.
570  // See the real implementation in GDJS.
571  if (scope == LAYOUT_VARIABLE) {
572  return "getLayoutVariable(" + variableName + ")";
573 
574  } else if (scope == PROJECT_VARIABLE) {
575  return "getProjectVariable(" + variableName + ")";
576  } else if (scope == ANY_VARIABLE) {
577  return "getAnyVariable(" + variableName + ")";
578  }
579 
580  return "getVariableForObject(" + objectName + ", " + variableName + ")";
581  }
582 
587  return ".getChild(" + ConvertToStringExplicit(childName) + ")";
588  };
589 
590  virtual gd::String GenerateVariableValueAs(const gd::String& type) {
591  return type == "number|string" ? ".getAsNumberOrString()"
592  : type == "string" ? ".getAsString()"
593  : ".getAsNumber()";
594  }
595 
601  gd::String expressionCode) {
602  return ".getChild(" + expressionCode + ")";
603  };
604 
609  virtual gd::String GenerateBadVariable() { return "fakeBadVariable"; }
610 
618  virtual gd::String GenerateObject(const gd::String& objectName,
619  const gd::String& type,
621  return "fakeObjectListOf_" + objectName;
622  }
623 
624  virtual gd::String GeneratePropertyGetter(
625  const gd::PropertiesContainer& propertiesContainer,
626  const gd::NamedPropertyDescriptor& property,
627  const gd::String& type,
629 
630  virtual gd::String GenerateParameterGetter(
631  const gd::ParameterMetadata& parameter,
632  const gd::String& type,
634 
639  virtual gd::String GenerateBadObject() { return "fakeNullObject"; }
640 
653  virtual gd::String GenerateObjectFunctionCall(
654  gd::String objectListName,
655  const ObjectMetadata& objMetadata,
657  gd::String parametersStr,
658  gd::String defaultOutput,
660 
674  virtual gd::String GenerateObjectBehaviorFunctionCall(
675  gd::String objectListName,
676  gd::String behaviorName,
677  const gd::BehaviorMetadata& autoInfo,
679  gd::String parametersStr,
680  gd::String defaultOutput,
682 
692  const gd::String& extraVariable = "") {
693  return "{\n";
694  };
695 
704  const gd::String& extraVariable = "") {
705  return "}\n";
706  };
707 
715  const gd::String& predicate) const {
716  return "!(" + predicate + ")";
717  };
718 
719  virtual gd::String GenerateFreeCondition(
720  const std::vector<gd::String>& arguments,
721  const gd::InstructionMetadata& instrInfos,
722  const gd::String& returnBoolean,
723  bool conditionInverted,
725 
726  virtual gd::String GenerateObjectCondition(
727  const gd::String& objectName,
728  const gd::ObjectMetadata& objInfo,
729  const std::vector<gd::String>& arguments,
730  const gd::InstructionMetadata& instrInfos,
731  const gd::String& returnBoolean,
732  bool conditionInverted,
734 
735  virtual gd::String GenerateBehaviorCondition(
736  const gd::String& objectName,
737  const gd::String& behaviorName,
738  const gd::BehaviorMetadata& autoInfo,
739  const std::vector<gd::String>& arguments,
740  const gd::InstructionMetadata& instrInfos,
741  const gd::String& returnBoolean,
742  bool conditionInverted,
744 
745  virtual gd::String GenerateFreeAction(
746  const gd::String& functionCallName,
747  const std::vector<gd::String>& arguments,
748  const gd::InstructionMetadata& instrInfos,
750  const gd::String& optionalAsyncCallbackName = "");
751 
752  virtual gd::String GenerateObjectAction(
753  const gd::String& objectName,
754  const gd::ObjectMetadata& objInfo,
755  const gd::String& functionCallName,
756  const std::vector<gd::String>& arguments,
757  const gd::InstructionMetadata& instrInfos,
759  const gd::String& optionalAsyncCallbackName = "");
760 
761  virtual gd::String GenerateBehaviorAction(
762  const gd::String& objectName,
763  const gd::String& behaviorName,
764  const gd::BehaviorMetadata& autoInfo,
765  const gd::String& functionCallName,
766  const std::vector<gd::String>& arguments,
767  const gd::InstructionMetadata& instrInfos,
769  const gd::String& optionalAsyncCallbackName = "");
770 
771  gd::String GenerateRelationalOperatorCall(
772  const gd::InstructionMetadata& instrInfos,
773  const std::vector<gd::String>& arguments,
774  const gd::String& callStartString,
775  std::size_t startFromArgument = 0);
776 
777  gd::String GenerateOperatorCall(const gd::InstructionMetadata& instrInfos,
778  const std::vector<gd::String>& arguments,
779  const gd::String& callStartString,
780  const gd::String& getterStartString,
781  std::size_t startFromArgument = 0);
782  gd::String GenerateCompoundOperatorCall(
783  const gd::InstructionMetadata& instrInfos,
784  const std::vector<gd::String>& arguments,
785  const gd::String& callStartString,
786  std::size_t startFromArgument = 0);
787  gd::String GenerateMutatorCall(const gd::InstructionMetadata& instrInfos,
788  const std::vector<gd::String>& arguments,
789  const gd::String& callStartString,
790  std::size_t startFromArgument = 0);
791 
795  gd::String GenerateTrue() const { return "true"; };
796 
800  gd::String GenerateFalse() const { return "false"; };
801 
809  virtual gd::String GenerateArgumentsList(
810  const std::vector<gd::String>& arguments, size_t startFrom = 0);
811 
815  virtual gd::String GenerateGetBehaviorNameCode(
816  const gd::String& behaviorName);
817 
818  void CheckBehaviorParameters(
819  const gd::Instruction &instruction,
820  const gd::InstructionMetadata &instrInfos);
821 
823 
824  gd::ProjectScopedContainers projectScopedContainers;
825 
829  const gd::Layout* scene;
830 
834 
835  std::set<gd::String>
841  std::set<gd::String>
847 
848  std::set<size_t>
852 
853  gd::DiagnosticReport* diagnosticReport;
854 };
855 
856 } // namespace gd
857 
Contains user-friendly information about a behavior type.
Definition: BehaviorMetadata.h:32
Definition: DiagnosticReport.h:57
Used to manage the context when generating code for events.
Definition: EventsCodeGenerationContext.h:27
Internal class used to generate code from events.
Definition: EventsCodeGenerator.h:41
virtual gd::String GenerateNegatedPredicate(const gd::String &predicate) const
Must negate a predicate.
Definition: EventsCodeGenerator.h:714
size_t GetMaxConditionsListsSize() const
Get the maximum size of a list of conditions.
Definition: EventsCodeGenerator.h:384
const gd::Project * project
The project being used.
Definition: EventsCodeGenerator.h:828
void AddIncludeFiles(std::vector< gd::String > files)
Declare a list of include files to be added.
Definition: EventsCodeGenerator.h:270
virtual gd::String GetCodeNamespace()
Get the namespace to be used to store code generated objects/values/functions.
Definition: EventsCodeGenerator.h:468
const gd::Platform & GetPlatform() const
Get the platform the code is being generated for.
Definition: EventsCodeGenerator.h:371
virtual gd::String GenerateUpperScopeBooleanFullName(const gd::String &boolName, const gd::EventsCodeGenerationContext &context)
Generate the full name for accessing to a boolean variable used for conditions.
Definition: EventsCodeGenerator.h:412
void AddGlobalDeclaration(gd::String declaration)
Add a declaration which will be inserted after includes.
Definition: EventsCodeGenerator.h:277
virtual gd::String GenerateVariableBracketAccessor(gd::String expressionCode)
Generate the code to get the child of a variable, using generated the expression.
Definition: EventsCodeGenerator.h:600
const std::set< gd::String > & GetIncludeFiles() const
Get the set containing the include files.
Definition: EventsCodeGenerator.h:290
void SetGenerateCodeForRuntime(bool compilationForRuntime_)
Set if the code generated is meant to be used for runtime only and not in the IDE.
Definition: EventsCodeGenerator.h:313
size_t maxCustomConditionsDepth
Definition: EventsCodeGenerator.h:844
virtual gd::String GenerateScopeBegin(gd::EventsCodeGenerationContext &context, const gd::String &extraVariable="")
Called when a new scope must be entered.
Definition: EventsCodeGenerator.h:690
bool compilationForRuntime
Definition: EventsCodeGenerator.h:832
const gd::Platform & platform
The platform being used.
Definition: EventsCodeGenerator.h:822
virtual gd::String GenerateProfilerSectionBegin(const gd::String &section)
Generate the code to notify the profiler of the beginning of a section.
Definition: EventsCodeGenerator.h:442
const gd::Layout * scene
The scene being generated.
Definition: EventsCodeGenerator.h:829
virtual gd::String GenerateBadVariable()
Generate the code to reference a variable which is in an empty/null state.
Definition: EventsCodeGenerator.h:609
virtual gd::String GenerateBooleanInitializationToFalse(const gd::String &boolName, const gd::EventsCodeGenerationContext &context)
Must create a boolean. Its value must be false.
Definition: EventsCodeGenerator.h:423
bool GenerateCodeForRuntime()
Return true if code generation is made for runtime only.
Definition: EventsCodeGenerator.h:307
virtual gd::String GenerateBadObject()
Generate the code to reference an object which is in an empty/null state.
Definition: EventsCodeGenerator.h:639
bool hasProjectAndLayout
Definition: EventsCodeGenerator.h:826
gd::String GenerateTrue() const
Return the "true" keyword in the target language.
Definition: EventsCodeGenerator.h:795
size_t GetMaxCustomConditionsDepth() const
Get the maximum depth of custom conditions reached during code generation.
Definition: EventsCodeGenerator.h:377
gd::String GenerateFalse() const
Return the "false" keyword in the target language.
Definition: EventsCodeGenerator.h:800
gd::String customCodeOutsideMain
Definition: EventsCodeGenerator.h:839
size_t maxConditionsListsSize
The maximum size of a list of conditions.
Definition: EventsCodeGenerator.h:846
gd::ProjectScopedContainers & GetProjectScopedContainers()
Give access to the project scoped containers as code generation might push and pop variable container...
Definition: EventsCodeGenerator.h:346
size_t eventsListNextUniqueId
Definition: EventsCodeGenerator.h:850
std::set< gd::String > customGlobalDeclarations
Definition: EventsCodeGenerator.h:842
const std::set< gd::String > & GetCustomGlobalDeclaration() const
Get the custom declaration to be inserted after includes.
Definition: EventsCodeGenerator.h:300
virtual gd::String GenerateObject(const gd::String &objectName, const gd::String &type, gd::EventsCodeGenerationContext &context)
Generate the code to reference an object.
Definition: EventsCodeGenerator.h:618
bool HasProjectAndLayout() const
Return true if the code generation is done for a given project and layout. If not,...
Definition: EventsCodeGenerator.h:354
virtual gd::String GenerateBooleanFullName(const gd::String &boolName, const gd::EventsCodeGenerationContext &context)
Generate the full name for accessing to a boolean variable used for conditions.
Definition: EventsCodeGenerator.h:400
virtual gd::String GenerateProfilerSectionEnd(const gd::String &section)
Generate the code to notify the profiler of the end of a section.
Definition: EventsCodeGenerator.h:449
const gd::String & GetCustomCodeOutsideMain() const
Get the custom code to be inserted outside main.
Definition: EventsCodeGenerator.h:294
const gd::Project & GetProject() const
Get the project the code is being generated for.
Definition: EventsCodeGenerator.h:360
void AddCustomCodeOutsideMain(gd::String code)
Add some code before events outside the main function.
Definition: EventsCodeGenerator.h:284
std::set< gd::String > includeFiles
Definition: EventsCodeGenerator.h:836
virtual gd::String GenerateGetVariable(const gd::String &variableName, const VariableScope &scope, gd::EventsCodeGenerationContext &context, const gd::String &objectName)
Generate the code to get a variable.
Definition: EventsCodeGenerator.h:564
void AddIncludeFile(gd::String file)
Declare an include file to be added.
Definition: EventsCodeGenerator.h:262
virtual gd::String GenerateVariableAccessor(gd::String childName)
Generate the code to get the child of a variable.
Definition: EventsCodeGenerator.h:586
bool errorOccurred
Must be set to true if an error occurred.
Definition: EventsCodeGenerator.h:831
virtual gd::String GetCodeNamespaceAccessor()
Get the namespace to be used to store code generated objects/values/functions, with the extra "dot" a...
Definition: EventsCodeGenerator.h:460
bool ErrorOccurred() const
Return true if an error has occurred during code generation (in this case, generated code is not usab...
Definition: EventsCodeGenerator.h:330
std::set< size_t > instructionUniqueIds
The unique ids generated for instructions.
Definition: EventsCodeGenerator.h:849
const gd::Layout & GetLayout() const
Get the layout the code is being generated for.
Definition: EventsCodeGenerator.h:366
virtual gd::String GenerateScopeEnd(gd::EventsCodeGenerationContext &context, const gd::String &extraVariable="")
Called when a new must be ended.
Definition: EventsCodeGenerator.h:703
A list of events.
Definition: EventsList.h:32
Information about how generate code for an expression.
Definition: ExpressionMetadata.h:24
Generate code for a parsed expression.
Definition: ExpressionCodeGenerator.h:35
Class representing an expression used as a parameter of a gd::Instruction. This class is nothing more...
Definition: Expression.h:30
An instruction is a member of an event: It can be a condition or an action.
Definition: Instruction.h:30
Describe user-friendly information about an instruction (action or condition), its parameters and the...
Definition: InstructionMetadata.h:39
Definition: InstructionsList.h:25
Represent a layout ( also called a scene ) of a project.
Definition: Layout.h:40
Used to describe a property shown in a property grid.
Definition: NamedPropertyDescriptor.h:21
Contains user-friendly information about an object type, and a function to create a new gd::Object of...
Definition: ObjectMetadata.h:37
A list of objects containers, useful for accessing objects in a scoped way, along with methods to acc...
Definition: ObjectsContainersList.h:29
Used as a base class for classes that will own events-backed functions.
Definition: ParameterMetadataContainer.h:26
Describe a parameter of an instruction (action, condition) or of an expression: type,...
Definition: ParameterMetadata.h:27
Base class for implementing a platform.
Definition: Platform.h:42
Base class representing a project (game), including all resources, scenes, objects,...
Definition: Project.h:51
Holds references to variables, objects, properties and other containers.
Definition: ProjectScopedContainers.h:34
A container of properties, used for custom behaviors, custom objects, extensions.....
Definition: PropertiesContainer.h:17
String represents an UTF8 encoded string.
Definition: String.h:33
bool empty() const
Returns true if the string is empty.
Definition: String.h:157
Definition: CommonTools.h:24
Definition: EventsCodeGenerator.h:165
const std::set< gd::String > requiredObjects
Definition: EventsCodeGenerator.h:184
const gd::String argumentsList
Definition: EventsCodeGenerator.h:179
const gd::String functionName
Definition: EventsCodeGenerator.h:171