Rename RoleCtx to Ctx

Author: sdzx-1

examples/pingpong.zig

@@ -34,7 +34,7 @@ pub fn MkPingPong(
 
             pub const info = pingpogn_info(client, &.{server});
 
-            pub fn process(parent_ctx: *info.RoleCtx(client)) !@This() {
+            pub fn process(parent_ctx: *info.Ctx(client)) !@This() {
                 const ctx = client_ctxFromParent(parent_ctx);
                 if (ctx.client_counter >= 10) {
                     ctx.client_counter = 0;
@@ -43,7 +43,7 @@ pub fn MkPingPong(
                 return .{ .ping = .{ .data = ctx.client_counter } };
             }
 
-            pub fn preprocess_0(parent_ctx: *info.RoleCtx(server), msg: @This()) !void {
+            pub fn preprocess_0(parent_ctx: *info.Ctx(server), msg: @This()) !void {
                 const ctx = server_ctxFromParent(parent_ctx);
                 switch (msg) {
                     .ping => |val| ctx.server_counter = val.data,

examples/two_phase_commit_generic.zig

@@ -211,7 +211,7 @@ pub fn mk2pc(
 
             pub const info = two_pc(coordinator, &.{ alice, bob });
 
-            pub fn process(ctx: *info.RoleCtx(coordinator)) !@This() {
+            pub fn process(ctx: *info.Ctx(coordinator)) !@This() {
                 ctx.counter = 0;
                 return .{ .begin = .{ .data = {} } };
             }
@@ -222,13 +222,13 @@ pub fn mk2pc(
 
             pub const info = two_pc(alice, &.{coordinator});
 
-            pub fn process(ctx: *info.RoleCtx(alice)) !@This() {
+            pub fn process(ctx: *info.Ctx(alice)) !@This() {
                 const random: std.Random = ctx.xoshiro256.random();
                 const res: bool = random.intRangeAtMost(u32, 0, 100) < 80;
                 return .{ .resp = .{ .data = res } };
             }
 
-            pub fn preprocess_0(ctx: *info.RoleCtx(coordinator), msg: @This()) !void {
+            pub fn preprocess_0(ctx: *info.Ctx(coordinator), msg: @This()) !void {
                 switch (msg) {
                     .resp => |val| {
                         if (val.data) ctx.counter += 1;
@@ -243,13 +243,13 @@ pub fn mk2pc(
 
                 pub const info = two_pc(bob, &.{coordinator});
 
-                pub fn process(ctx: *info.RoleCtx(bob)) !@This() {
+                pub fn process(ctx: *info.Ctx(bob)) !@This() {
                     const random: std.Random = ctx.xoshiro256.random();
                     const res: bool = random.intRangeAtMost(u32, 0, 100) < 80;
                     return .{ .resp = .{ .data = res } };
                 }
 
-                pub fn preprocess_0(ctx: *info.RoleCtx(coordinator), msg: @This()) !void {
+                pub fn preprocess_0(ctx: *info.Ctx(coordinator), msg: @This()) !void {
                     switch (msg) {
                         .resp => |val| {
                             if (val.data) ctx.counter += 1;
@@ -265,7 +265,7 @@ pub fn mk2pc(
 
             pub const info = two_pc(coordinator, &.{ alice, bob });
 
-            pub fn process(ctx: *info.RoleCtx(coordinator)) !@This() {
+            pub fn process(ctx: *info.Ctx(coordinator)) !@This() {
                 if (ctx.counter == 2) {
                     ctx.retry_times = 0;
                     return .{ .succcessed = .{ .data = {} } };

src/root.zig

@@ -32,7 +32,7 @@ pub fn ProtocolInfo(
         pub const internal_roles: []const Role_ = internal_roles_;
         pub const extern_state: []const type = extern_state_;
 
-        pub fn RoleCtx(_: @This(), r: Role_) type {
+        pub fn Ctx(_: @This(), r: Role_) type {
             return @field(context_, @tagName(r));
         }
 
@@ -356,7 +356,7 @@ pub fn Runner(
             comptime mult_channel_static_index_role: bool,
             mult_channel: anytype,
             curr_id: StateId,
-            ctx: *State_.info.RoleCtx(curr_role),
+            ctx: *State_.info.Ctx(curr_role),
         ) !void {
             @setEvalBranchQuota(10_000_000);
             sw: switch (curr_id) {