Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
44 changes: 44 additions & 0 deletions sdks/csharp/src/SpacetimeDB/ClientApi/CallProcedure.g.cs
Original file line number Diff line number Diff line change
@@ -0,0 +1,44 @@
// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.

#nullable enable

using System;
using System.Collections.Generic;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
{
[SpacetimeDB.Type]
[DataContract]
public sealed partial class CallProcedure
{
[DataMember(Name = "procedure")]
public string Procedure;
[DataMember(Name = "args")]
public System.Collections.Generic.List<byte> Args;
[DataMember(Name = "request_id")]
public uint RequestId;
[DataMember(Name = "flags")]
public byte Flags;

public CallProcedure(
string Procedure,
System.Collections.Generic.List<byte> Args,
uint RequestId,
byte Flags
)
{
this.Procedure = Procedure;
this.Args = Args;
this.RequestId = RequestId;
this.Flags = Flags;
}

public CallProcedure()
{
this.Procedure = "";
this.Args = new();
}
}
}
11 changes: 11 additions & 0 deletions sdks/csharp/src/SpacetimeDB/ClientApi/CallProcedure.g.cs.meta

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 2 additions & 1 deletion sdks/csharp/src/SpacetimeDB/ClientApi/ClientMessage.g.cs
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ public partial record ClientMessage : SpacetimeDB.TaggedEnum<(
SubscribeSingle SubscribeSingle,
SubscribeMulti SubscribeMulti,
Unsubscribe Unsubscribe,
UnsubscribeMulti UnsubscribeMulti
UnsubscribeMulti UnsubscribeMulti,
CallProcedure CallProcedure
)>;
}
43 changes: 43 additions & 0 deletions sdks/csharp/src/SpacetimeDB/ClientApi/ProcedureResult.g.cs
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.

#nullable enable

using System;
using System.Collections.Generic;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
{
[SpacetimeDB.Type]
[DataContract]
public sealed partial class ProcedureResult
{
[DataMember(Name = "status")]
public ProcedureStatus Status;
[DataMember(Name = "timestamp")]
public SpacetimeDB.Timestamp Timestamp;
[DataMember(Name = "total_host_execution_duration")]
public SpacetimeDB.TimeDuration TotalHostExecutionDuration;
[DataMember(Name = "request_id")]
public uint RequestId;

public ProcedureResult(
ProcedureStatus Status,
SpacetimeDB.Timestamp Timestamp,
SpacetimeDB.TimeDuration TotalHostExecutionDuration,
uint RequestId
)
{
this.Status = Status;
this.Timestamp = Timestamp;
this.TotalHostExecutionDuration = TotalHostExecutionDuration;
this.RequestId = RequestId;
}

public ProcedureResult()
{
this.Status = null!;
}
}
}
11 changes: 11 additions & 0 deletions sdks/csharp/src/SpacetimeDB/ClientApi/ProcedureResult.g.cs.meta

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

16 changes: 16 additions & 0 deletions sdks/csharp/src/SpacetimeDB/ClientApi/ProcedureStatus.g.cs
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.

#nullable enable

using System;

namespace SpacetimeDB.ClientApi
{
[SpacetimeDB.Type]
public partial record ProcedureStatus : SpacetimeDB.TaggedEnum<(
System.Collections.Generic.List<byte> Returned,
SpacetimeDB.Unit OutOfEnergy,
string InternalError
)>;
}
11 changes: 11 additions & 0 deletions sdks/csharp/src/SpacetimeDB/ClientApi/ProcedureStatus.g.cs.meta

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 2 additions & 1 deletion sdks/csharp/src/SpacetimeDB/ClientApi/ServerMessage.g.cs
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@ public partial record ServerMessage : SpacetimeDB.TaggedEnum<(
UnsubscribeApplied UnsubscribeApplied,
SubscriptionError SubscriptionError,
SubscribeMultiApplied SubscribeMultiApplied,
UnsubscribeMultiApplied UnsubscribeMultiApplied
UnsubscribeMultiApplied UnsubscribeMultiApplied,
ProcedureResult ProcedureResult
)>;
}
Loading