jprdonnelly/Descent3
1
0
Fork 0
mirror of https://github.com/kevinbentley/Descent3.git synced 2026-05-05 09:01:34 -04:00
Code Issues Packages Projects Releases Wiki Activity

Add "final" marker to a number of classes

Browse Source 
Devirtualization is an optimization in the generated assembly: when a
class C is polymorphic but also final, ``((C *)ptr)->func()`` can be
turned from an indirect into a static call.
This commit is contained in:
Jan Engelhardt
2024-11-03 10:56:15 +01:00
parent a58c2752e5
commit 71772b9c9c
68 changed files with 2145 additions and 2145 deletions
Download Patch File Download Diff File Expand all files Collapse all files

228
scripts/Level12.cpp
View File

@@ -179,572 +179,572 @@ public:
virtual int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class LevelScript_0000 : public BaseScript {
class LevelScript_0000 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_09DF : public BaseScript {
class CustomObjectScript_09DF final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_09DD : public BaseScript {
class CustomObjectScript_09DD final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_09DC : public BaseScript {
class CustomObjectScript_09DC final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_09DE : public BaseScript {
class CustomObjectScript_09DE final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_09DB : public BaseScript {
class CustomObjectScript_09DB final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1090 : public BaseScript {
class CustomObjectScript_1090 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1173 : public BaseScript {
class CustomObjectScript_1173 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_087C : public BaseScript {
class CustomObjectScript_087C final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_087B : public BaseScript {
class CustomObjectScript_087B final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_087A : public BaseScript {
class CustomObjectScript_087A final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0879 : public BaseScript {
class CustomObjectScript_0879 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0878 : public BaseScript {
class CustomObjectScript_0878 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_204D : public BaseScript {
class CustomObjectScript_204D final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0880 : public BaseScript {
class CustomObjectScript_0880 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1077 : public BaseScript {
class CustomObjectScript_1077 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1871 : public BaseScript {
class CustomObjectScript_1871 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_08AF : public BaseScript {
class CustomObjectScript_08AF final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_08B0 : public BaseScript {
class CustomObjectScript_08B0 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_08B1 : public BaseScript {
class CustomObjectScript_08B1 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_107D : public BaseScript {
class CustomObjectScript_107D final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_117F : public BaseScript {
class CustomObjectScript_117F final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1180 : public BaseScript {
class CustomObjectScript_1180 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1168 : public BaseScript {
class CustomObjectScript_1168 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1081 : public BaseScript {
class CustomObjectScript_1081 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_08B5 : public BaseScript {
class CustomObjectScript_08B5 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_08FD : public BaseScript {
class CustomObjectScript_08FD final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0949 : public BaseScript {
class CustomObjectScript_0949 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0846 : public BaseScript {
class CustomObjectScript_0846 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0954 : public BaseScript {
class CustomObjectScript_0954 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0955 : public BaseScript {
class CustomObjectScript_0955 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0956 : public BaseScript {
class CustomObjectScript_0956 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0957 : public BaseScript {
class CustomObjectScript_0957 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_08C2 : public BaseScript {
class CustomObjectScript_08C2 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_18C3 : public BaseScript {
class CustomObjectScript_18C3 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0952 : public BaseScript {
class CustomObjectScript_0952 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0953 : public BaseScript {
class CustomObjectScript_0953 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0950 : public BaseScript {
class CustomObjectScript_0950 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0951 : public BaseScript {
class CustomObjectScript_0951 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_104E : public BaseScript {
class CustomObjectScript_104E final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1969 : public BaseScript {
class CustomObjectScript_1969 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_216B : public BaseScript {
class CustomObjectScript_216B final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_096C : public BaseScript {
class CustomObjectScript_096C final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_096E : public BaseScript {
class CustomObjectScript_096E final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_096D : public BaseScript {
class CustomObjectScript_096D final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0977 : public BaseScript {
class CustomObjectScript_0977 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_08E2 : public BaseScript {
class CustomObjectScript_08E2 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_097C : public BaseScript {
class CustomObjectScript_097C final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_097B : public BaseScript {
class CustomObjectScript_097B final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_097A : public BaseScript {
class CustomObjectScript_097A final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_08E9 : public BaseScript {
class CustomObjectScript_08E9 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_08E8 : public BaseScript {
class CustomObjectScript_08E8 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_105A : public BaseScript {
class CustomObjectScript_105A final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_097D : public BaseScript {
class CustomObjectScript_097D final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1801 : public BaseScript {
class CustomObjectScript_1801 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_103C : public BaseScript {
class CustomObjectScript_103C final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0984 : public BaseScript {
class CustomObjectScript_0984 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_098C : public BaseScript {
class CustomObjectScript_098C final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0992 : public BaseScript {
class CustomObjectScript_0992 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_20BC : public BaseScript {
class CustomObjectScript_20BC final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_09C6 : public BaseScript {
class CustomObjectScript_09C6 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_09C7 : public BaseScript {
class CustomObjectScript_09C7 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_09C8 : public BaseScript {
class CustomObjectScript_09C8 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_11C5 : public BaseScript {
class CustomObjectScript_11C5 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_11C4 : public BaseScript {
class CustomObjectScript_11C4 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_21BC : public BaseScript {
class CustomObjectScript_21BC final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_11B5 : public BaseScript {
class CustomObjectScript_11B5 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_2886 : public BaseScript {
class CustomObjectScript_2886 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_11B4 : public BaseScript {
class CustomObjectScript_11B4 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_1885 : public BaseScript {
class CustomObjectScript_1885 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_28BB : public BaseScript {
class CustomObjectScript_28BB final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_186E : public BaseScript {
class CustomObjectScript_186E final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_18F0 : public BaseScript {
class CustomObjectScript_18F0 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_19BE : public BaseScript {
class CustomObjectScript_19BE final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_18F1 : public BaseScript {
class CustomObjectScript_18F1 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_19C0 : public BaseScript {
class CustomObjectScript_19C0 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_18EE : public BaseScript {
class CustomObjectScript_18EE final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_20CD : public BaseScript {
class CustomObjectScript_20CD final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_28CC : public BaseScript {
class CustomObjectScript_28CC final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_10B2 : public BaseScript {
class CustomObjectScript_10B2 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_18C1 : public BaseScript {
class CustomObjectScript_18C1 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_21B8 : public BaseScript {
class CustomObjectScript_21B8 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_21B9 : public BaseScript {
class CustomObjectScript_21B9 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_080A : public BaseScript {
class CustomObjectScript_080A final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_080C : public BaseScript {
class CustomObjectScript_080C final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class CustomObjectScript_0811 : public BaseScript {
class CustomObjectScript_0811 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0012 : public BaseScript {
class TriggerScript_0012 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0013 : public BaseScript {
class TriggerScript_0013 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0007 : public BaseScript {
class TriggerScript_0007 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0005 : public BaseScript {
class TriggerScript_0005 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0003 : public BaseScript {
class TriggerScript_0003 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0008 : public BaseScript {
class TriggerScript_0008 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_001E : public BaseScript {
class TriggerScript_001E final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_001F : public BaseScript {
class TriggerScript_001F final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0001 : public BaseScript {
class TriggerScript_0001 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_000B : public BaseScript {
class TriggerScript_000B final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_000A : public BaseScript {
class TriggerScript_000A final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_000C : public BaseScript {
class TriggerScript_000C final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_000D : public BaseScript {
class TriggerScript_000D final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0021 : public BaseScript {
class TriggerScript_0021 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0020 : public BaseScript {
class TriggerScript_0020 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0000 : public BaseScript {
class TriggerScript_0000 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_001A : public BaseScript {
class TriggerScript_001A final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0019 : public BaseScript {
class TriggerScript_0019 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_000E : public BaseScript {
class TriggerScript_000E final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_001B : public BaseScript {
class TriggerScript_001B final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0018 : public BaseScript {
class TriggerScript_0018 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0017 : public BaseScript {
class TriggerScript_0017 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0016 : public BaseScript {
class TriggerScript_0016 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0015 : public BaseScript {
class TriggerScript_0015 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_001D : public BaseScript {
class TriggerScript_001D final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_001C : public BaseScript {
class TriggerScript_001C final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_000F : public BaseScript {
class TriggerScript_000F final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};
class TriggerScript_0010 : public BaseScript {
class TriggerScript_0010 final : public BaseScript {
public:
int16_t CallEvent(int event, tOSIRISEventInfo *data);
};