A first-class full-stack target on .NET 8. Loader + conformance + EF Core codegen
- render engine + the
metaCLI all ship. Targets EF Core + ASP.NET Core + Postgres + Npgsql.
Published to NuGet at 1.1.0 — four
packages, version-locked to the C# port version: MetaObjects (loader), MetaObjects.Codegen,
MetaObjects.Render and the MetaObjects.Cli tool.
Install the CLI as a .NET tool, then scaffold the generator list:
dotnet tool install --global MetaObjects.Cli
dotnet meta # bare invocation prints the usage banner
dotnet meta init # writes codegen/Generators.cs (the generator list), codegen/Program.cs, codegen/Codegen.csprojYour app is a separate project beside codegen/. dotnet meta init runs from the root of your
repository, and the app's .csproj at that root must not compile codegen/, which has its own
Main (without the Compile Remove the build fails with CS0579 and CS8802). This sample uses
SQLite so it runs with nothing else installed; the same generated code runs on Postgres (see
Use):
<!-- App.csproj -->
<Project Sdk="Microsoft.NET.Sdk.Web">
<PropertyGroup>
<TargetFramework>net8.0</TargetFramework>
<ImplicitUsings>enable</ImplicitUsings>
<Nullable>enable</Nullable>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="MetaObjects.Codegen" Version="1.1.0" />
<PackageReference Include="Microsoft.EntityFrameworkCore.Sqlite" Version="8.0.11" />
</ItemGroup>
<ItemGroup>
<Compile Remove="codegen/**" />
</ItemGroup>
</Project>The C# CLI is invoked as dotnet meta (command dotnet-meta), or run directly
from the repo via dotnet run --project server/csharp/MetaObjects.Cli. It is
deliberately not a bare meta executable — that name belongs to the
canonical Node meta CLI, which owns schema + TS codegen (ADR-0015).
Drop metadata under metaobjects/, for example metaobjects/meta.blog.json:
{ "metadata.root": {
"package": "acme::blog",
"children": [
{ "object.entity": {
"name": "Author",
"children": [
{ "source.rdb": { "@table": "authors" } },
{ "field.long": { "name": "id" } },
{ "field.string": { "name": "name", "@required": true, "@maxLength": 200, "@filterable": true } },
{ "field.string": { "name": "bio", "@maxLength": 2000 } },
{ "field.enum": { "name": "role", "@values": ["writer", "editor"], "@required": true, "@filterable": true } },
{ "identity.primary": { "@fields": "id", "@generation": "increment" } }
]
}}
]
}}If your app needs a metamodel subtype the core doesn't ship, declare an
IMetaDataTypeProvider and compose it into the registry before loading:
using MetaObjects;
using MetaObjects.Loader;
var registry = Provider.ComposeRegistry(new IMetaDataTypeProvider[] {
CoreTypes.CoreTypesProvider,
yourProvider, // adds your custom subtype/attrs
});
var loader = MetaDataLoader.FromDirectory("./metaobjects", registry);The provider object has the same four-member contract (Id, Dependencies,
Description, RegisterTypes(registry)) as TS / Python. Composition errors
surface ERR_PROVIDER_DUPLICATE_ID, ERR_PROVIDER_MISSING_DEPENDENCY,
ERR_PROVIDER_DEPENDENCY_CYCLE — codes match the cross-port contract. See
../features/extending-with-providers.md
for the full reference and
../recipes/extending-metaobjects-with-providers.md
for a worked example.
The generator list. Every generator a project runs is an entry in codegen/Generators.cs,
with its options as init properties, the api reference included (ADR-0034 Amendment 9).
dotnet meta init writes that file with an empty list, beside codegen/Program.cs (two
lines that run it) and codegen/Codegen.csproj. dotnet meta gen runs the list through
dotnet run --project codegen; nothing is generated that the list does not declare, and a
project with no codegen/Generators.cs gets an error, not output.
// codegen/Generators.cs
using MetaObjects.Codegen;
public static class Generators
{
public static IReadOnlyList<IGenerator> All { get; } =
[
new MetaObjects.Codegen.Generators.EntityGenerator(),
new MetaObjects.Codegen.Generators.DbContextGenerator(),
new MetaObjects.Codegen.Generators.FilterAllowlistGenerator(),
new MetaObjects.Codegen.Generators.RoutesGenerator(),
];
}// codegen/Program.cs
using MetaObjects.Codegen;
return CodegenCli.Run(args, Generators.All);Replace the empty list dotnet meta init wrote with the one above before the first gen: with
an empty list gen writes nothing, and --out is required.
# Run the list: EF Core entities + AppDbContext + CRUD minimal-API routes
dotnet meta gen ./metaobjects --out ./Generated --namespace Acme.Blog
# The drift gate: regenerate into a temp tree and fail (exit 1, naming the files) if the
# committed ./Generated differs. Run it in CI; the namespace is inferred from ./Generated.
dotnet meta verify ./metaobjects --codegen --out ./Generatedverify --codegen is the gate for generated code. dotnet meta verify ./metaobjects --templates ./prompts is a different gate, for prompt templates against their payloads
(FR-004): it says nothing about generated code, and it fails with exit 2 when the directory it
is given does not exist. A bare dotnet meta verify ./metaobjects runs that templates gate
against prompts/ when it exists, else templates/, and fails the same way when neither
exists; pass both subverbs to run both.
dotnet meta gen --list is the catalog, and it shows what each generator requires. routes
requires entity, db-context and filter-allowlist, because the handlers it emits
reference their output; gen warns when one is missing from the list, since the result
would not compile. --generators <names> narrows a run to the declared entries named; it
never adds one, and naming an entry the list does not declare is refused.
Own a generator. dotnet meta eject <name>... copies a reference generator into
codegen/generators/. Every generator dotnet meta gen --list shows is ejectable except
template, the Mustache primitive, which has no emit logic of its own to own. An ejected
generator comes with the emitters it writes its output through (the enum, navigation,
doc-comment and prompt-tier writers), so the copy owns the code that writes the file and not
a shell around the package's; the naming and type-mapping tables (CSharpNaming,
ValueObjectNames) stay in the package as the engine. Eject writes the three codegen/ files
when they are missing, with the copy already listed as new Codegen.Generators.<Name>();
when codegen/Generators.cs exists it prints that entry for you to add in place of the
packaged one. dotnet meta eject api-docs does the same for the api reference. Ejecting into
a project whose codegen/Codegen.csproj pins an older MetaObjects.Codegen than the tool
prints a warning naming the line to change. See
Own your codegen → C#.
Schema migrations are owned by the Node meta CLI (ADR-0015) — the C# CLI is
gen + verify only.
A declarative Mustache template-spec is one more entry in codegen/Generators.cs; see
Declarative template-codegen below.
The codegen emits:
Author.g.cs— class per entity (a mutable attributed POCO, not a record).<Report>.g.cs— keyless row class per view-backed report (object.reportwith a read-only@kind: viewsource); mapped inAppDbContextwithDbSet+HasNoKey().ToView(...). It is served like a keyless projection:<Report>Routes.g.cs(MapGetlist,MapPostanswering 405, no{id}route) and<Report>FilterAllowlist.g.cs, with every derived field that has filter operators filterable and sortable (on a report an enum dimension sorts too; an entity's enum field does not). A derived field that can be null is a nullable member (long?,decimal?); a measure with@default, and in a@spinereport a key or@requiredcolumn of the spine entity, is not (long,decimal). No names artifact. An enum dimension reaches the wire as its string symbol only when the host serializes enums as strings (ConfigureHttpJsonOptionswith aJsonStringEnumConverter): the routes return the row object and the host owns serialization. See reporting.AppDbContext.g.cs—DbSet<Author>, projection.ToView(),@storageowned types viaOwnsOne(single) /OwnsMany(...).ToJson(...)(@isArrayarray-of-VO), enum-as-string viaHasConversion<string>().AuthorRoutes.g.cs— CRUD minimal-API endpoints.AuthorFilterAllowlist.g.cs— the server-side filter/sort allowlist feeding the generated list handler.
A field.decimal crosses the API as one canonical string (ADR-0019 Amendment 1): 12.50 is
"12.5", zero is "0", never a JSON number or an exponent. Input may be a string or a number,
is read exactly, and is 400 validation when it has more fraction digits than @scale or more
integer digits than @precision - @scale (no @scale beside @precision means 0). A filter
operand compares exactly; a bad one is 400 invalid_filter_value. On SQLite a decimal is read at
15 significant digits. Every port runs the shared vectors in fixtures/decimal-wire/.
dotnet meta gen writes DecimalWire.g.cs once per namespace. A decimal property carries its
JSON converter and, with @precision, [DecimalWire.Declared(precision, scale)]; a decimal
array is an IList<decimal> with DecimalListJsonConverter. A stored value the CLR decimal
cannot hold answers 500 {"error": "decimal_out_of_range"} (DecimalRangeEndpointFilter).
An owned routes generator copies DecimalWire.cs and DecimalRangeEndpointFilter.cs.
names is opt-in — list new MetaObjects.Codegen.Generators.NamesGenerator() in
codegen/Generators.cs (dotnet meta gen --list names the whole catalog). Listing a generator is not
owning it: to change what names emits, dotnet meta eject names copies its source
into codegen/generators/ (see "Own a generator" above). When listed, a project gets
<Entity>Names.g.cs. It carries the physical
database names for one object as const strings:
// SubscriberNames.g.cs (using/namespace elided)
public abstract class SubscriberNames
{
public const string Type = "object";
public const string SubType = "entity";
public const string Name = "Subscriber";
public const string SourcePrimaryType = "source";
public const string SourcePrimarySubType = "rdb";
public const string SourcePrimaryKind = "table";
public const string SourcePrimaryTable = "subscribers";
public const string CreatedAtField = "createdAt";
public const string CreatedAtColumn = "created_at";
public const string IdField = "id";
public const string IdColumn = "id";
public const string IdentityPrimaryType = "identity";
public const string IdentityPrimarySubType = "primary";
public const string IdentityPrimaryName = "primary";
public static readonly Dictionary<string, string> ColumnsByField = new(System.StringComparer.Ordinal)
{
["createdAt"] = CreatedAtColumn,
["id"] = IdColumn,
};
}The artifact mirrors the metadata tree. Every node it describes — the object, each
source.rdb, each identity, each index — carries its own Type, SubType and Name,
and a physical name sits under the member that says what it IS:
SourcePrimaryTable, SourceReplicaView, SourcePrimaryProc, using the metamodel's own
FR-016/ADR-0018 kind→alias map. SubscriberNames.SourcePrimaryView does not exist, so
the read site answers "table or view?" instead of the reader having to. Sources are keyed
by @role, which is what gives a write-through entity's replica view a member of its
own (SourceReplicaView) — it declares two physical names and the artifact used to carry
one.
Namechanged meaning in 0.25.0 and still compiles. It held the PHYSICAL name; it now holds the object's own name.[Table(SubscriberNames.Name)]in hand-written code binds a table calledSubscriberinstead ofsubscribers— silently.Kind,ReadOnlyand a top-levelSchemaare gone and fail to compile, which is the loud half. Grep forNames.Namebefore regenerating.ReadOnlyis not relocated but REMOVED: it was never metadata, only a derivation over@kind— askSourcePrimaryKindinstead.
An identity or index carries an Index member — its DATABASE name — only where one
exists: identity.secondary and index.lookup. An identity.primary gets none, because
no port's codegen names a primary key (Postgres migrations hardcode <table>_pkey, SQLite
emits an unnamed PK), and carrying that would restate a migrate-only formula in the
artifact built to stop exactly that.
const, not static readonly: a [Table("...")]/[Column("...")] attribute
argument must be a compile-time constant, and those two attributes are the
whole reason this artifact can replace a literal there rather than sit beside
one. The generated entity class and AppDbContext already reference these
constants — [Table(SubscriberNames.SourcePrimaryTable)], [Column(SubscriberNames.CreatedAtColumn)]
— instead of embedding the same physical names a second time, so the constant
and the EF mapping cannot drift apart.
Prefer a typed handle where one exists. If the ORM gives you a type-checked object for the same thing, use that. Replacing it with a string constant trades an error the compiler catches for one the database raises at runtime. These constants are for the places with no typed handle: raw SQL, a migration script, a log line, an external system's column mapping.
Here, that handle is the generated EF Core property. If you are writing a
LINQ query, use it (db.Subscribers.Where(s => s.CreatedAt > cutoff)) — it is
type-checked against the DbContext model, and swapping it for
SubscriberNames.CreatedAtColumn trades a compile error for a runtime one.
Reach for the constant instead in raw SQL (FromSqlRaw/FromSqlInterpolated),
a migration script, a log line, or an external system's column mapping.
It follows extends, so a constant you do not find on a class is on its base.
<Entity>Names is a public abstract class — abstract rather than static precisely so it
can be inherited — and an object that extends another produces a class that extends the
other's:
public abstract class CopayAuthNames : AuthNames
{
public const string CopayAmountField = "copayAmount";
public const string CopayAmountColumn = "copay_cents";
public new const string Type = "object";
public new const string SubType = "entity";
public new const string Name = "CopayAuth";
// SourcePrimaryTable / IdColumn / … are the base's. A C# const is inherited, so
// CopayAuthNames.SourcePrimaryTable and CopayAuthNames.IdColumn both resolve.
}new on Type/SubType/Name because every artifact declares its own three and a derived
const hides the base's rather than clashing with it.
Two forms, and which one you get is structural. An object with its OWN source declares its
own Source<Role>* members; one that INHERITS its source — a TPH subtype sharing its base's
single table — declares none and takes them from the base. An abstract base a persisted
entity extends gets a class of its own carrying the columns it declares and no source
members at all — it has no table and must never acquire one. ColumnsByField stays
complete on every class, inherited entries included.
Column names come from the project's naming setting in .metaobjects/config.json
(ADR-0058), the one every port reads, default snake_case (what meta migrate creates). A
database whose columns are named exactly like the fields declares
"naming": { "columns": "literal" }; through 1.0 that was this port's default. dotnet meta gen
and dotnet meta verify --codegen both read the setting, so a plain run and the drift gate
resolve the identical column strings; --column-naming is refused
(physical-naming.md). verify --codegen says so
when the committed output was generated with another rule, rather than telling you to
regenerate. See the "Column naming" section of
features/field-types.md.
// Program.cs
using System.Text.Json.Serialization;
using Acme.Blog;
using Microsoft.EntityFrameworkCore;
var builder = WebApplication.CreateBuilder(args);
builder.Services.AddDbContext<AppDbContext>(opts => opts.UseSqlite("Data Source=blog.db"));
// Enum fields (role) travel as their symbols ("writer"), not integers: the routes return the
// entity and the host owns serialization, so without this POST {"role":"writer"} is a 400.
builder.Services.ConfigureHttpJsonOptions(o => o.SerializerOptions.Converters.Add(new JsonStringEnumConverter()));
var app = builder.Build();
using (var scope = app.Services.CreateScope())
scope.ServiceProvider.GetRequiredService<AppDbContext>().Database.EnsureCreated(); // the sample creates its own table
app.MapAuthorRoutes(); // generated — GET/POST/PATCH/PUT/DELETE on /api/authors
app.Run();dotnet run --urls http://127.0.0.1:5077
curl -X POST -H 'content-type: application/json' -d '{"name":"Ada","role":"writer"}' http://127.0.0.1:5077/api/authors # 201
curl -g 'http://127.0.0.1:5077/api/authors?filter[role][eq]=writer' # 200, the rowA filter works on a field marked @filterable (name and role above); any other field answers
400 invalid_filter_field.
Postgres. Swap UseSqlite(...) for UseNpgsql(builder.Configuration.GetConnectionString("DefaultConnection"))
and add Npgsql.EntityFrameworkCore.PostgreSQL instead of the SQLite package. EnsureCreated
is for samples; on Postgres create the tables with the Node CLI's migrations
(meta migrate, ADR-0015) — the C# port has no migrate surface.
EF Core does the rest — the generated entities and AppDbContext are plain EF Core with
no MetaObjects types in them. Note the one exception: generated routes emit
using MetaObjects.Codegen.Runtime; for the shared filter/sort helpers, so a project that
generates routes with the packaged generator references MetaObjects.Codegen at runtime.
Entities-and-DbContext-only projects do not.
Owning the routes, helpers included. dotnet meta eject routes copies the routes
generator into codegen/generators/ AND the helper source its output calls into
codegen/runtime/: FilterParser, FilterParseResult, FilterPredicate,
EfCoreFilterDispatch, ValueObjectValidator, ConstraintErrors and
Iso8601TimestampConverter, each under the namespace Codegen.Runtime. The owned
generator's output imports Codegen.Runtime instead of the package. Compile the folder into
your app (<Compile Include="../codegen/runtime/**/*.cs" />) and the generated routes need
no MetaObjects.Codegen reference; a fix to the filter parser is then an edit in your repo,
not a wait for a release. What stays in the package is core: ExtractObject (the reply
parser the prompt tier calls) and M2MResolver (metadata-driven M:N traversal), plus the
loader, registry, render and verify. dotnet meta gen --list reports the copy identical
or per-file DIFFERS, verify --codegen does not treat it as drift, and
Own your codegen → C#
has the diff recipe for pulling an upstream fix into it.
Consumer dependencies. The generated AppDbContext and the Program.cs
wiring above use EF Core (AddDbContext, DbContext, UseSqlite), which
MetaObjects does not pull in for you — add the EF Core provider package for your
database to the consuming app (Microsoft.EntityFrameworkCore.Sqlite above,
Npgsql.EntityFrameworkCore.PostgreSQL for Postgres).
// Optional handwritten service over the generated DbContext
public class AuthorService(AppDbContext db)
{
public Task<List<Author>> ListAsync() => db.Authors.ToListAsync();
public async Task<long> CreateAsync(string name, string? bio = null)
{
var author = new Author { Name = name, Bio = bio };
db.Authors.Add(author);
await db.SaveChangesAsync();
return author.Id;
}
}using MetaObjects.Render;
var provider = new FilesystemProvider("./prompts");
// The @payloadRef value object's own POCO, emitted by EntityGenerator (ADR-0056).
var payload = new WelcomePayload
{
DisplayName = "Ada",
PostCount = 12,
Posts = new List<PostSummary> { new() { Title = "Hello" } },
};
string output = Renderer.Render(new RenderRequest {
Ref = "lobby/welcome",
Payload = payload,
Provider = provider,
Format = "xml",
});Verify in MetaObjects.Render drift-checks every template.* against its
@payloadRef. Wire it into your CI step or invoke dotnet meta verify directly.
The renderer reads a POCO through its [JsonPropertyName] wire names, so {{postCount}}
resolves against the PostCount property and {{#hasPosts}} works.
OutputParserGenerator (in MetaObjects.Codegen) emits one
<PromptName>.response.cs file per responding template.prompt — one declaring
@responseRef. The static <PromptName>Parser class follows the BCL Parse/TryParse
dual-API convention — Parse throws on bad input, TryParse returns a bool plus an
out-error string.
ADR-0052: the shape parsed INTO is @responseRef, never @payloadRef (which types the
request the prompt renders outbound), and template.output gets no parser at all. The
parser returns the @responseRef value object's own POCO (<Vo>.g.cs, from
EntityGenerator; ADR-0056) — so wire entity in the same run. A @required member is
enforced by a generated JsonTypeInfo modifier rather than the C# required keyword,
because the REST tier shares the POCO. The strict tier is JSON-only: an
@responseFormat: xml reply gets the tolerant extract and nothing strict.
// generated/NpcResponse.response.cs
public static class NpcResponseParser
{
private static readonly JsonSerializerOptions Options = new()
{
PropertyNameCaseInsensitive = false,
};
/// <exception cref="JsonException">malformed JSON or schema mismatch.</exception>
public static NpcResponse Parse(string text) =>
JsonSerializer.Deserialize<NpcResponse>(text, Options)
?? throw new JsonException("deserialized to null");
public static bool TryParse(string text,
[NotNullWhen(true)] out NpcResponse? value,
[NotNullWhen(false)] out string? error) { ... }
}The [NotNullWhen] attributes mean nullable-flow analysis lets you use npc
without a null-check after a true return, and error without one after false.
Consumer wiring:
string llmResponse = await myLlmClient.CompleteAsync(promptText);
// Throwing path
var npc = NpcResponseParser.Parse(llmResponse);
// TryParse for explicit error handling
if (NpcResponseParser.TryParse(llmResponse, out var npc, out var error))
return Ok(npc);
else
return BadRequest(new { error });MetaObjects.Render's Verify walks both template subtypes, catching payload ↔
template drift at build time.
Cross-port design is at ADR-0010;
the feature reference is at
features/templates-and-payloads.md.
Consumer dependency. System.Text.Json ships in the .NET 8 BCL — no
NuGet package to add. The generated parser uses the strict (case-sensitive)
default options.
Declare what the software must do as requirement.* nodes and dotnet meta verify checks
them on every run; the requirement-tests generator then writes one xUnit test per tested
requirement. The generator is a reference helper and a recommended approach, not a
contract: dotnet meta eject requirement-tests copies it to
codegen/generators/RequirementTestsGenerator.cs for you to change. The checks in verify
are core and are not ejectable.
# The gate: runs on every verify, beside whichever drift gate it was given
dotnet meta verify ./metaobjects --codegen --out ./Generated
dotnet meta verify ./metaobjects --codegen --out ./Generated --require-implementers
# The tests: the same run as everything else codegen/Generators.cs declares. The entry's
# OutDir puts them in the test project, which references xunit; the app's --out does not.
dotnet meta gen ./metaobjects --out ./Generated
dotnet meta verify ./metaobjects --codegen --out ./GeneratedGive the entry an OutDir in codegen/Generators.cs (below): the tests need xunit, which
the project compiling --out does not reference, so they go into the test project. gen
writes them there and verify --codegen compares them there, in the same run that writes
and checks your entities. Point OutDir at a directory that holds generated files only:
verify --codegen compares the whole tree.
Per metamodel package the generator writes Requirements_<pkgKey>_Witnesses.g.cs, an
interface with one default member per test that is not skipped, and
Requirements_<pkgKey>_Tests.g.cs, one [Fact] per requirement ([Fact(Skip = "…")] for
a planned or retired one). Both are in <namespace>.Requirements and are rewritten
whole on every run. The tests construct one class of yours, <namespace>.RequirementWitnesses
by default, which implements every generated interface. Until that class exists the test
project does not compile. Implement each member explicitly:
using Acme.Shop.Requirements;
using Xunit;
namespace Acme.Shop;
public class RequirementWitnesses : Requirements_acme_shop_Witnesses
{
void Requirements_acme_shop_Witnesses.req_acme_shop_Orders_Recorded__object_entity()
{
// fails when a placed order has no row
}
}A requirement that becomes live adds a member whose default fails the test
(unimplemented requirement: <id> - write <WitnessClass>.<key>() so that it fails when: <counterexample>), with no compile break. One that is retired or deleted removes its
member, and an explicit implementation of it then stops compiling (CS0539). A
public void req_…() implements the member implicitly, and a stale one keeps compiling, so
it goes stale silently. If a test reports unimplemented requirement for a witness you
believe you wrote, the method is not implementing the member: in the implicit form it must
be public, non-static, parameterless and named exactly as the interface names it.
The seven options are init properties on the generator, set on its entry in
codegen/Generators.cs:
// codegen/Generators.cs
using MetaObjects.Codegen;
using MetaObjects.Core.Requirement; // RequirementTestGrain, IRequirementTestFilter
public static class Generators
{
public static IReadOnlyList<IGenerator> All { get; } =
[
new MetaObjects.Codegen.Generators.RequirementTestsGenerator
{
OutDir = "tests/Acme.Shop.Tests/Generated",
WitnessClass = "Acme.Shop.Tests.Witnesses",
Grain = RequirementTestGrain.Member,
WarnUncovered = false,
},
];
}After dotnet meta eject requirement-tests the entry names your owned copy instead,
new Codegen.Generators.RequirementTestsGenerator { … }. Write each entry fully
qualified, as above: an owned copy and the packaged class share a simple name, so adding
using MetaObjects.Codegen.Generators; beside using Codegen.Generators; makes each
new <Name>Generator() ambiguous (CS0104).
| Property | Meaning |
|---|---|
OutDir |
Where the tests are written, relative to the directory the run starts in. Default: the run's --out. Set it to the test project's directory. |
TestNamespace |
Namespace of the generated tests. Default <namespace>.Requirements. |
WitnessClass |
Full name of your witness class. Default <namespace>.RequirementWitnesses. |
Grain |
RequirementTestGrain.Concern (default): one test per distinct <type>.<subType> a requirement claims. Member: one per distinct implementedBy reference that resolves. |
Filter |
An IRequirementTestFilter (bool Include(RequirementView view)) that replaces the default of functional requirements at L4 and L5. The view carries SubType, Level (int?, null when not declared), Status, Path, Package and ImplementedByTypes. |
Renderer |
An IRequirementTestRenderer (in MetaObjects.Codegen); it returns a RenderedTest to replace the text of one test, or null to keep the default. |
WarnUncovered |
true (default): one warning naming up to five requirements the filter left out. |
The hook types, the identity function and the digest stay in the package when you eject;
the owned copy uses them from there. A package that loses its last requirement loses its
two files: dotnet meta gen deletes them through the hash manifest (an edited one is refused by
name), and until then dotnet meta verify --codegen reports each as
committed but a fresh regen would not emit it. The model and the
other ports' spelling are in
Generated requirement tests and witnesses.
Beyond the built-in EF Core / routes suite, dotnet meta gen runs declarative
Mustache template generators from a JSON template-spec — the cross-port contract
shared with the Python port (see
docs/features/codegen-concepts.md
and the neutral data dict in
docs/features/codegen-data-shapes.md). The spec is
declared where every generator is, as an entry in codegen/Generators.cs:
new MetaObjects.Codegen.TemplateCodegen.TemplateSpecGenerator
{
Spec = "template-spec.json", // from the directory gen runs in, as --out is
TemplateRoot = "templates", // optional; default the run's --template-root, else prompts/ when it exists, else templates/
},dotnet meta verify --codegen regenerates the same entry, so the gate and the generator
agree. Through 1.0 the CLI also read --template-spec or a project-root template-spec.json
on its own; neither is read now, and a run that finds either with no TemplateSpecGenerator
entry fails before writing anything, with a line that starts
dotnet meta gen: found 1.0 template-spec configuration (. See
the migration section.
Each spec entry derives the neutral template data dict for its scope
(MetaObjects.Codegen.TemplateCodegen.TemplateData) and names each file via the
outputPattern placeholders ({name}, {Name}, {package}). The entry's files land under
--out, or under its own OutDir when it sets one, and are gated byte-identical against the
shared fixtures/template-codegen-conformance/ corpus. A target field is rejected (C# has no
output-target concept); a missing spec file, a bad template ref or a wrong TemplateRoot
surfaces as a clean error, not a stack trace. The write path decides from the committed hash
manifest, not the @generated header, so the template need not emit one (see
codegen-concepts).
C# 12 / .NET 8 backends pair cleanly with an Angular 18 client built from
the universal @metaobjectsdev/angular runtime + @metaobjectsdev/codegen-ts-angular
codegen packages — which are source-only today, not published to npm (build
them from the TS workspace; see the
recipe). The generated ASP.NET Minimal API routes (from
MetaObjects.Codegen RoutesGenerator) speak the same URL grammar
and wire format the Angular client expects — no special-casing.
End-to-end recipe — CORS wiring, dev-server port conventions, base-URL
configuration, the dotnet meta gen command sequence that emits both halves —
lives at docs/recipes/csharp-angular18.md.
Today's RoutesGenerator honours pagination (?limit/?offset), sort
(?sort=<field>:asc|desc against a static per-entity allowlist), and the
?withCount=1 envelope ({ rows, total }) that the Angular grid hook
always sends. Filter operators (eq / ne / gt / gte / lt / lte
/ in / like / isNull) per api-contract.md
ship too — the generated <Entity>FilterAllowlist (FilterAllowlistGenerator)
feeds FilterParser.Parse + EfCoreFilterDispatch.ApplyFilter, both wired
directly into the generated list handler. A read-only projection
(source.rdb @kind: view) and a view-backed report get the same filter and sort
on their list route, against an allowlist of their own fields. Remaining gaps are in
server/csharp/MetaObjects.Codegen/Generators/KNOWN_GAPS.md.
| Feature | Status |
|---|---|
| Entities + fields | Yes |
| Relationships + FK | Yes (EF Core + Postgres FK clause) |
| Source kinds (table / view / storedProc) | table + view fully shipped; storedProc / tableFunction / materializedView partial |
field.currency / field.enum / field.object + @storage |
Yes (incl. EF Core OwnsOne for flattened; OwnsMany(...).ToJson(...) for @isArray array-of-VO jsonb) |
| Templates + render (FR-004) | Yes (MetaObjects.Render) |
| Output parser codegen (FR-006) | Yes (OutputParserGenerator — Parse/TryParse BCL pattern) |
| Payload-VO codegen | Yes — the payload IS the value object's own POCO from EntityGenerator (ADR-0056); no separate payload generator |
| Declarative template-codegen | Yes — a TemplateSpecGenerator entry in codegen/Generators.cs (scope perEntity/perPackage/perModel + outputPattern; the cross-port JSON contract shared with Python) |
| Migrations | Owned by the Node meta CLI (ADR-0015) — no C# migrate surface |
| Drift verify | dotnet meta verify (template drift, FR-004; --codegen regenerates the list in codegen/Generators.cs and diffs it) |
| API reference docs | Yes — the ApiDocsGenerator entry in codegen/Generators.cs (OutDir, ApiSubDir, ProjectName, ModelBaseUrl); dotnet meta docs was removed in 1.1.0 (migration) |
| Requirement gate + requirement tests | Yes (dotnet meta verify, on every run; requirement-tests emits xUnit and is ejectable) |
| Runtime metadata | Loader API + render engine; ObjectManager-style runtime tier on the roadmap |
Per-corpus pass counts move every release — see
docs/CONFORMANCE.md for the current, authoritative
per-port numbers (metamodel, YAML, render, verify, persistence, API
contract). C# is green across all six active corpora today.
server/csharp/README.md— module-level overviewdocs/features/— every feature shows the C# output inlinedocs/superpowers/specs/2026-05-20-csharp-rdb-persistence-design.md