+public:
+ enum ExitStatus { ES_NONE, ES_LEVEL_FINISHED, ES_GAME_OVER, ES_LEVEL_ABORT };
+
+public:
+ DrawingContext* context;
+ Timer2 time_left;
+
+ GameSession(const std::string& levelfile, int mode, Statistics* statistics=0);
+ ~GameSession();
+
+ /** Enter the busy loop */
+ ExitStatus run();
+
+ void draw();
+ void action(float frame_ratio);
+
+ void set_current()
+ { current_ = this; }
+ static GameSession* current() { return current_; }
+
+ void respawn(const std::string& sectorname,
+ const std::string& spawnpointname);
+ void set_reset_point(const std::string& sectorname,
+ const Vector& pos);
+ void display_info_box(const std::string& text);
+ Sector* get_current_sector()
+ { return currentsector; }
+
+ void start_sequence(const std::string& sequencename);
+
+private:
+ void restart_level();
+
+ void check_end_conditions();
+ void start_timers();
+ void process_events();
+ void handle_cheats();
+
+ void levelintro();
+ void drawstatus(DrawingContext& context);
+ void drawendscreen();
+ void drawresultscreen();
+ void draw_pause();
+
+ void on_escape_press();
+ void process_menu();
+
+ Uint32 fps_ticks;
+ Timer2 endsequence_timer;
+ Level* level;
+ Sector* currentsector;
+