+/*********************** [PROFILER] ********************************/
+
+ProfilerSection:
+ ProfilerKeyword ProfilerSettings
+;
+
+ProfilerSettings:
+ /* empty */
+| ProfilerSettings ProfilerSetting optSemiColon
+;
+
+ProfilerSetting:
+ DisableProfilerSetting
+| DisableCoverageSetting
+| DatabaseFileSetting
+| AggregateDataSetting
+| StatisticsFileSetting
+| DisableStatisticsSetting
+;
+
+DisableProfilerSetting:
+ DisableProfilerKeyword AssignmentChar BooleanValue
+;
+
+DisableCoverageSetting:
+ DisableCoverageKeyword AssignmentChar BooleanValue
+;
+
+DatabaseFileSetting:
+ DatabaseFileKeyword AssignmentChar StringValue { Free($3); }
+;
+
+AggregateDataSetting:
+ AggregateDataKeyword AssignmentChar BooleanValue
+;
+
+StatisticsFileSetting:
+ StatisticsFileKeyword AssignmentChar StringValue { Free($3); }
+;
+
+DisableStatisticsSetting:
+ DisableStatisticsKeyword AssignmentChar BooleanValue
+;
+