File tree Expand file tree Collapse file tree
sdks/csharp/src/SpacetimeDB/ClientApi Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ // THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
2+ // WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
3+
4+ #nullable enable
5+
6+ using System ;
7+ using System . Collections . Generic ;
8+ using System . Runtime . Serialization ;
9+
10+ namespace SpacetimeDB . ClientApi
11+ {
12+ [ SpacetimeDB . Type ]
13+ [ DataContract ]
14+ public sealed partial class CallProcedure
15+ {
16+ [ DataMember ( Name = "procedure" ) ]
17+ public string Procedure ;
18+ [ DataMember ( Name = "args" ) ]
19+ public System . Collections . Generic . List < byte > Args ;
20+ [ DataMember ( Name = "request_id" ) ]
21+ public uint RequestId ;
22+ [ DataMember ( Name = "flags" ) ]
23+ public byte Flags ;
24+
25+ public CallProcedure (
26+ string Procedure ,
27+ System . Collections . Generic . List < byte > Args ,
28+ uint RequestId ,
29+ byte Flags
30+ )
31+ {
32+ this . Procedure = Procedure ;
33+ this . Args = Args ;
34+ this . RequestId = RequestId ;
35+ this . Flags = Flags ;
36+ }
37+
38+ public CallProcedure ( )
39+ {
40+ this . Procedure = "" ;
41+ this . Args = new ( ) ;
42+ }
43+ }
44+ }
Original file line number Diff line number Diff line change @@ -15,6 +15,7 @@ public partial record ClientMessage : SpacetimeDB.TaggedEnum<(
1515 SubscribeSingle SubscribeSingle ,
1616 SubscribeMulti SubscribeMulti ,
1717 Unsubscribe Unsubscribe ,
18- UnsubscribeMulti UnsubscribeMulti
18+ UnsubscribeMulti UnsubscribeMulti ,
19+ CallProcedure CallProcedure
1920 ) > ;
2021}
Original file line number Diff line number Diff line change 1+ // THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
2+ // WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
3+
4+ #nullable enable
5+
6+ using System ;
7+ using System . Collections . Generic ;
8+ using System . Runtime . Serialization ;
9+
10+ namespace SpacetimeDB . ClientApi
11+ {
12+ [ SpacetimeDB . Type ]
13+ [ DataContract ]
14+ public sealed partial class ProcedureResult
15+ {
16+ [ DataMember ( Name = "status" ) ]
17+ public ProcedureStatus Status ;
18+ [ DataMember ( Name = "timestamp" ) ]
19+ public SpacetimeDB . Timestamp Timestamp ;
20+ [ DataMember ( Name = "total_host_execution_duration" ) ]
21+ public SpacetimeDB . TimeDuration TotalHostExecutionDuration ;
22+ [ DataMember ( Name = "request_id" ) ]
23+ public uint RequestId ;
24+
25+ public ProcedureResult (
26+ ProcedureStatus Status ,
27+ SpacetimeDB . Timestamp Timestamp ,
28+ SpacetimeDB . TimeDuration TotalHostExecutionDuration ,
29+ uint RequestId
30+ )
31+ {
32+ this . Status = Status ;
33+ this . Timestamp = Timestamp ;
34+ this . TotalHostExecutionDuration = TotalHostExecutionDuration ;
35+ this . RequestId = RequestId ;
36+ }
37+
38+ public ProcedureResult ( )
39+ {
40+ this . Status = null ! ;
41+ }
42+ }
43+ }
Original file line number Diff line number Diff line change 1+ // THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
2+ // WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
3+
4+ #nullable enable
5+
6+ using System ;
7+
8+ namespace SpacetimeDB . ClientApi
9+ {
10+ [ SpacetimeDB . Type ]
11+ public partial record ProcedureStatus : SpacetimeDB . TaggedEnum < (
12+ System . Collections . Generic . List < byte > Returned ,
13+ SpacetimeDB . Unit OutOfEnergy ,
14+ string InternalError
15+ ) > ;
16+ }
Original file line number Diff line number Diff line change @@ -18,6 +18,7 @@ public partial record ServerMessage : SpacetimeDB.TaggedEnum<(
1818 UnsubscribeApplied UnsubscribeApplied ,
1919 SubscriptionError SubscriptionError ,
2020 SubscribeMultiApplied SubscribeMultiApplied ,
21- UnsubscribeMultiApplied UnsubscribeMultiApplied
21+ UnsubscribeMultiApplied UnsubscribeMultiApplied ,
22+ ProcedureResult ProcedureResult
2223 ) > ;
2324}
You can’t perform that action at this time.
0 commit comments