Browse Source

device: mark args as const

Daniele Bartolini 3 years ago
parent
commit
328b684c0f
3 changed files with 5 additions and 5 deletions
  1. 1 1
      src/device/console_server.cpp
  2. 1 1
      src/device/console_server.h
  3. 3 3
      src/device/device.cpp

+ 1 - 1
src/device/console_server.cpp

@@ -46,7 +46,7 @@ namespace console_server_internal
 			cmd.command_function(cs, client_id, args, cmd.user_data);
 	}
 
-	static void command_help(ConsoleServer &cs, u32 client_id, JsonArray &args, void * /*user_data*/)
+	static void command_help(ConsoleServer &cs, u32 client_id, const JsonArray &args, void * /*user_data*/)
 	{
 		if (array::size(args) != 1) {
 			cs.error(client_id, "Usage: help");

+ 1 - 1
src/device/console_server.h

@@ -21,7 +21,7 @@ namespace crown
 /// @ingroup Device
 struct ConsoleServer
 {
-	typedef void (*CommandTypeFunction)(ConsoleServer &cs, u32 client_id, JsonArray &args, void *user_data);
+	typedef void (*CommandTypeFunction)(ConsoleServer &cs, u32 client_id, const JsonArray &args, void *user_data);
 	typedef void (*MessageTypeFunction)(ConsoleServer &cs, u32 client_id, const char *json, void *user_data);
 
 	struct CommandData

+ 3 - 3
src/device/device.cpp

@@ -160,17 +160,17 @@ struct BgfxAllocator : public bx::AllocatorI
 	}
 };
 
-static void device_command_pause(ConsoleServer & /*cs*/, u32 /*client_id*/, JsonArray & /*args*/, void * /*user_data*/)
+static void device_command_pause(ConsoleServer & /*cs*/, u32 /*client_id*/, const JsonArray & /*args*/, void * /*user_data*/)
 {
 	device()->pause();
 }
 
-static void device_command_unpause(ConsoleServer & /*cs*/, u32 /*client_id*/, JsonArray & /*args*/, void * /*user_data*/)
+static void device_command_unpause(ConsoleServer & /*cs*/, u32 /*client_id*/, const JsonArray & /*args*/, void * /*user_data*/)
 {
 	device()->unpause();
 }
 
-static void device_command_refresh(ConsoleServer & /*cs*/, u32 /*client_id*/, JsonArray & /*args*/, void * /*user_data*/)
+static void device_command_refresh(ConsoleServer & /*cs*/, u32 /*client_id*/, const JsonArray & /*args*/, void * /*user_data*/)
 {
 	device()->refresh();
 }