// 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.Internal
{
    [SpacetimeDB.Type]
    [DataContract]
    public sealed partial class RawModuleDefV9
    {
        [DataMember(Name = "typespace")]
        public Typespace Typespace;
        [DataMember(Name = "tables")]
        public System.Collections.Generic.List<RawTableDefV9> Tables;
        [DataMember(Name = "reducers")]
        public System.Collections.Generic.List<RawReducerDefV9> Reducers;
        [DataMember(Name = "types")]
        public System.Collections.Generic.List<RawTypeDefV9> Types;
        [DataMember(Name = "misc_exports")]
        public System.Collections.Generic.List<RawMiscModuleExportV9> MiscExports;
        [DataMember(Name = "row_level_security")]
        public System.Collections.Generic.List<RawRowLevelSecurityDefV9> RowLevelSecurity;

        public RawModuleDefV9(
            Typespace Typespace,
            System.Collections.Generic.List<RawTableDefV9> Tables,
            System.Collections.Generic.List<RawReducerDefV9> Reducers,
            System.Collections.Generic.List<RawTypeDefV9> Types,
            System.Collections.Generic.List<RawMiscModuleExportV9> MiscExports,
            System.Collections.Generic.List<RawRowLevelSecurityDefV9> RowLevelSecurity
        )
        {
            this.Typespace = Typespace;
            this.Tables = Tables;
            this.Reducers = Reducers;
            this.Types = Types;
            this.MiscExports = MiscExports;
            this.RowLevelSecurity = RowLevelSecurity;
        }

        public RawModuleDefV9()
        {
            this.Typespace = new();
            this.Tables = new();
            this.Reducers = new();
            this.Types = new();
            this.MiscExports = new();
            this.RowLevelSecurity = new();
        }
    }
}