Skip to content

Commit

Permalink
Use an older version of spacetime generate
Browse files Browse the repository at this point in the history
  • Loading branch information
John Detter committed Oct 3, 2024
1 parent 94f3506 commit 0962e9a
Show file tree
Hide file tree
Showing 25 changed files with 154 additions and 63 deletions.
7 changes: 4 additions & 3 deletions src/SpacetimeDB/ClientApi/BsatnRowList.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand All @@ -18,11 +19,11 @@ public partial class BsatnRowList
[DataMember(Name = "size_hint")]
public SpacetimeDB.ClientApi.RowSizeHint SizeHint;
[DataMember(Name = "rows_data")]
public System.Collections.Generic.List<byte> RowsData;
public byte[] RowsData;

public BsatnRowList(
SpacetimeDB.ClientApi.RowSizeHint SizeHint,
System.Collections.Generic.List<byte> RowsData
byte[] RowsData
)
{
this.SizeHint = SizeHint;
Expand All @@ -32,7 +33,7 @@ System.Collections.Generic.List<byte> RowsData
public BsatnRowList()
{
this.SizeHint = null!;
this.RowsData = new();
this.RowsData = Array.Empty<byte>();
}

}
Expand Down
11 changes: 11 additions & 0 deletions src/SpacetimeDB/ClientApi/BsatnRowList.cs.meta

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

7 changes: 4 additions & 3 deletions src/SpacetimeDB/ClientApi/CallReducer.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand All @@ -18,13 +19,13 @@ public partial class CallReducer
[DataMember(Name = "reducer")]
public string Reducer;
[DataMember(Name = "args")]
public System.Collections.Generic.List<byte> Args;
public byte[] Args;
[DataMember(Name = "request_id")]
public uint RequestId;

public CallReducer(
string Reducer,
System.Collections.Generic.List<byte> Args,
byte[] Args,
uint RequestId
)
{
Expand All @@ -36,7 +37,7 @@ uint RequestId
public CallReducer()
{
this.Reducer = "";
this.Args = new();
this.Args = Array.Empty<byte>();
}

}
Expand Down
2 changes: 1 addition & 1 deletion src/SpacetimeDB/ClientApi/CompressableQueryUpdate.cs
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,6 @@ namespace SpacetimeDB.ClientApi
[SpacetimeDB.Type]
public partial record CompressableQueryUpdate : SpacetimeDB.TaggedEnum<(
SpacetimeDB.ClientApi.QueryUpdate Uncompressed,
System.Collections.Generic.List<byte> Brotli
byte[] Brotli
)>;
}
11 changes: 11 additions & 0 deletions src/SpacetimeDB/ClientApi/CompressableQueryUpdate.cs.meta

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

1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/DatabaseUpdate.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/EnergyQuanta.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/IdentityToken.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/InitialSubscription.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
7 changes: 4 additions & 3 deletions src/SpacetimeDB/ClientApi/OneOffQuery.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand All @@ -16,12 +17,12 @@ namespace SpacetimeDB.ClientApi
public partial class OneOffQuery
{
[DataMember(Name = "message_id")]
public System.Collections.Generic.List<byte> MessageId;
public byte[] MessageId;
[DataMember(Name = "query_string")]
public string QueryString;

public OneOffQuery(
System.Collections.Generic.List<byte> MessageId,
byte[] MessageId,
string QueryString
)
{
Expand All @@ -31,7 +32,7 @@ string QueryString

public OneOffQuery()
{
this.MessageId = new();
this.MessageId = Array.Empty<byte>();
this.QueryString = "";
}

Expand Down
7 changes: 4 additions & 3 deletions src/SpacetimeDB/ClientApi/OneOffQueryResponse.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand All @@ -16,7 +17,7 @@ namespace SpacetimeDB.ClientApi
public partial class OneOffQueryResponse
{
[DataMember(Name = "message_id")]
public System.Collections.Generic.List<byte> MessageId;
public byte[] MessageId;
[DataMember(Name = "error")]
public string? Error;
[DataMember(Name = "tables")]
Expand All @@ -25,7 +26,7 @@ public partial class OneOffQueryResponse
public ulong TotalHostExecutionDurationMicros;

public OneOffQueryResponse(
System.Collections.Generic.List<byte> MessageId,
byte[] MessageId,
string? Error,
System.Collections.Generic.List<SpacetimeDB.ClientApi.OneOffTable> Tables,
ulong TotalHostExecutionDurationMicros
Expand All @@ -39,7 +40,7 @@ ulong TotalHostExecutionDurationMicros

public OneOffQueryResponse()
{
this.MessageId = new();
this.MessageId = Array.Empty<byte>();
this.Tables = new();
}

Expand Down
1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/OneOffTable.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/QueryUpdate.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
11 changes: 11 additions & 0 deletions src/SpacetimeDB/ClientApi/QueryUpdate.cs.meta

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

7 changes: 4 additions & 3 deletions src/SpacetimeDB/ClientApi/ReducerCallInfo.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand All @@ -20,14 +21,14 @@ public partial class ReducerCallInfo
[DataMember(Name = "reducer_id")]
public uint ReducerId;
[DataMember(Name = "args")]
public System.Collections.Generic.List<byte> Args;
public byte[] Args;
[DataMember(Name = "request_id")]
public uint RequestId;

public ReducerCallInfo(
string ReducerName,
uint ReducerId,
System.Collections.Generic.List<byte> Args,
byte[] Args,
uint RequestId
)
{
Expand All @@ -40,7 +41,7 @@ uint RequestId
public ReducerCallInfo()
{
this.ReducerName = "";
this.Args = new();
this.Args = Array.Empty<byte>();
}

}
Expand Down
11 changes: 11 additions & 0 deletions src/SpacetimeDB/ClientApi/RowSizeHint.cs.meta

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

1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/Subscribe.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/TableUpdate.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/Timestamp.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
1 change: 1 addition & 0 deletions src/SpacetimeDB/ClientApi/TransactionUpdate.cs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
using System;
using SpacetimeDB;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.Serialization;

namespace SpacetimeDB.ClientApi
Expand Down
8 changes: 8 additions & 0 deletions src/SpacetimeDB/ClientApi/_Globals.meta

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

Loading

0 comments on commit 0962e9a

Please sign in to comment.