|
@@ -523,8 +523,9 @@ public:
|
|
|
*
|
|
*
|
|
|
* @param argc The number of command line arguments.
|
|
* @param argc The number of command line arguments.
|
|
|
* @param argv The array of command line arguments.
|
|
* @param argv The array of command line arguments.
|
|
|
|
|
+ * @script{ignore}
|
|
|
*/
|
|
*/
|
|
|
- void getArguments(int* argc, char*** argv);
|
|
|
|
|
|
|
+ void getArguments(int* argc, char*** argv) const;
|
|
|
|
|
|
|
|
/**
|
|
/**
|
|
|
* Schedules a time event to be sent to the given TimeListener a given number of game milliseconds from now.
|
|
* Schedules a time event to be sent to the given TimeListener a given number of game milliseconds from now.
|