fix: rename region_id to region_number (#44)

* feat: build java codes by makefile * feat: generate java code * fix: rename region_id to region_number * feat: generate code
2023-05-30 11:46:33 +08:00
parent 5bf7cd1da6
commit ff0a47b646
8 changed files with 422 additions and 347 deletions
@@ -47,7 +47,7 @@ message CreateTableExpr {
  bool create_if_not_exists = 8;
  map<string, string> table_options = 9;
  TableId table_id = 10;
-  repeated uint32 region_ids = 11;
+  repeated uint32 region_numbers = 11;
  string engine = 12;
 }

@@ -72,7 +72,7 @@ message FlushTableExpr {
  string catalog_name = 1;
  string schema_name = 2;
  string table_name = 3;
-  optional uint32 region_id = 4;
+  optional uint32 region_number = 4;
 }

 message CreateDatabaseExpr {