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
42 changes: 42 additions & 0 deletions test/PatternKit.Generators.Tests/InterpreterGeneratorTests.cs
Original file line number Diff line number Diff line change
Expand Up @@ -114,6 +114,48 @@ public static partial class PricingRules
ScenarioExpect.Equal("PKINT003", diagnostic.Id);
}

[Scenario("Reports diagnostics for invalid interpreter rule shapes")]
[Fact]
public void ReportsDiagnosticsForInvalidInterpreterRuleShapes()
{
var source = """
using PatternKit.Generators.Interpreter;

namespace Demo;

public sealed class PricingContext;

[GenerateInterpreter(typeof(PricingContext), typeof(decimal))]
public static partial class PricingRules
{
[InterpreterTerminal(" ")]
private static decimal BlankName(string token) => 0m;

[InterpreterTerminal("void")]
private static void VoidTerminal(string token) { }

[InterpreterTerminal("generic")]
private static decimal GenericTerminal<T>(string token) => 0m;

[InterpreterTerminal("missing-parameter")]
private static decimal MissingParameter() => 0m;

[InterpreterNonTerminal("wrong-first")]
private static decimal WrongFirst(string token) => 0m;

[InterpreterTerminal("wrong-context")]
private static decimal WrongContext(string token, object context) => 0m;
}
""";

var comp = CreateCompilation(source, nameof(ReportsDiagnosticsForInvalidInterpreterRuleShapes));
var gen = new InterpreterGenerator();
_ = RoslynTestHelpers.Run(comp, gen, out var run, out _);

var diagnostics = run.Results.SelectMany(result => result.Diagnostics).ToArray();
ScenarioExpect.Equal(6, diagnostics.Count(diagnostic => diagnostic.Id == "PKINT003"));
}

[Scenario("Reports diagnostic for duplicate interpreter rules")]
[Fact]
public void ReportsDiagnosticForDuplicateInterpreterRules()
Expand Down
46 changes: 46 additions & 0 deletions test/PatternKit.Generators.Tests/ObserverGeneratorTests.cs
Original file line number Diff line number Diff line change
Expand Up @@ -1070,4 +1070,50 @@ internal partial record class DomainEvent
var emit = updated.Emit(Stream.Null);
ScenarioExpect.True(emit.Success, string.Join("\n", emit.Diagnostics));
}

[Scenario("Invalid enum configuration falls back to observer defaults")]
[Fact]
public void Invalid_Enum_Configuration_Falls_Back_To_Observer_Defaults()
{
const string code = """
using PatternKit.Generators.Observer;

namespace Test;

public record Payload(int Value);

[Observer(
typeof(Payload),
Threading = (ObserverThreadingPolicy)99,
Exceptions = (ObserverExceptionPolicy)99,
Order = (ObserverOrderPolicy)99)]
internal partial class DomainEvent
{
}
""";

var comp = RoslynTestHelpers.CreateCompilation(
code,
assemblyName: nameof(Invalid_Enum_Configuration_Falls_Back_To_Observer_Defaults));

var gen = new Observer.ObserverGenerator();
_ = RoslynTestHelpers.Run(comp, gen, out var run, out var updated);

ScenarioExpect.All(run.Results, r => ScenarioExpect.Empty(r.Diagnostics));

var generated = run.Results
.SelectMany(r => r.GeneratedSources)
.Single()
.SourceText.ToString();

ScenarioExpect.Contains("namespace Test;", generated);
ScenarioExpect.Contains("internal partial class DomainEvent", generated);
ScenarioExpect.Contains("public readonly object Lock = new();", generated);
ScenarioExpect.Contains("lock (_state.Lock)", generated);
ScenarioExpect.Contains("OnSubscriberError(ex);", generated);
ScenarioExpect.DoesNotContain("System.AggregateException", generated);

var emit = updated.Emit(Stream.Null);
ScenarioExpect.True(emit.Success, string.Join("\n", emit.Diagnostics));
}
}
Loading