Compare commits
No commits in common. "7c0cdb0a21b3d22c71cc9608a89ccf00bc8b53f2" and "f02e71d4f94f23af529d6b1ab11b03963e06cc93" have entirely different histories.
7c0cdb0a21
...
f02e71d4f9
|
@ -54,7 +54,7 @@ public class ReplOptions
|
||||||
// The last null is returned because an EOF means we should quit the repl.
|
// The last null is returned because an EOF means we should quit the repl.
|
||||||
}
|
}
|
||||||
|
|
||||||
IScriptHandler? handler = new ReplScriptHandler(Console.WriteLine);
|
IScriptHandler? handler = new ReplScriptHandler();
|
||||||
|
|
||||||
Console.Write(handler.Prompt);
|
Console.Write(handler.Prompt);
|
||||||
foreach (string? nextInput in GetInputs())
|
foreach (string? nextInput in GetInputs())
|
||||||
|
@ -69,21 +69,13 @@ public class ReplOptions
|
||||||
outputWriter?.Flush();
|
outputWriter?.Flush();
|
||||||
|
|
||||||
// Delegate all other command parsing to the handler.
|
// Delegate all other command parsing to the handler.
|
||||||
var result = handler.HandleInput(input);
|
handler = handler.HandleInput(input);
|
||||||
|
|
||||||
// Report errors if they occured.
|
// Quit if the handler ends processing, otherwise prompt for the next command.
|
||||||
if (!result.Success)
|
if (handler is null)
|
||||||
{
|
|
||||||
Console.WriteLine($"Error: {result.Message}");
|
|
||||||
}
|
|
||||||
|
|
||||||
// Quit if the handler didn't continue processing.
|
|
||||||
if (result.NextHandler is null)
|
|
||||||
{
|
{
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
// Otherwise prompt for the next command.
|
|
||||||
Console.Write(handler.Prompt);
|
Console.Write(handler.Prompt);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -214,8 +214,7 @@ public class OrderParser(World world)
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
public static bool TryParseOrder(World world, string power, string command, [NotNullWhen(true)] out Order? order)
|
public static bool TryParseOrder(World world, string power, string command, [NotNullWhen(true)] out Order? order) {
|
||||||
{
|
|
||||||
order = null;
|
order = null;
|
||||||
OrderParser re = new(world);
|
OrderParser re = new(world);
|
||||||
|
|
||||||
|
@ -228,7 +227,7 @@ public class OrderParser(World world)
|
||||||
} else if (re.SupportMove.Match(command) is Match smoveMatch && smoveMatch.Success) {
|
} else if (re.SupportMove.Match(command) is Match smoveMatch && smoveMatch.Success) {
|
||||||
return TryParseSupportMoveOrder(world, power, smoveMatch, out order);
|
return TryParseSupportMoveOrder(world, power, smoveMatch, out order);
|
||||||
} else {
|
} else {
|
||||||
return false;
|
throw new NotImplementedException();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -307,44 +306,33 @@ public class OrderParser(World world)
|
||||||
: subject.Season.Turn;
|
: subject.Season.Turn;
|
||||||
|
|
||||||
var destProvince = world.Map.Provinces.Single(province => province.Is(move.destProvince));
|
var destProvince = world.Map.Provinces.Single(province => province.Is(move.destProvince));
|
||||||
string? destLocationKey = null;
|
|
||||||
|
|
||||||
// DATC 4.B specifies how to interpret orders with missing or incorrect locations. These issues arise because
|
// DATC 4.B.6 requires that "irrelevant" locations like army to Spain nc be ignored.
|
||||||
// of provinces with multiple locations of the same type, i.e. two-coast provinces in Classical. In general,
|
// To satisfy this, any location of the wrong type is categorically ignored, so for an army the
|
||||||
// DATC's only concern is to disambiguate the order, failing the order only when it is ineluctably ambiguous
|
// "north coast" location effectively doesn't exist here.
|
||||||
// (4.B.1) or explicitly incorrect (4.B.3). Irrelevant or nonexistent locations can be ignored.
|
|
||||||
|
|
||||||
// If there is only one possible location for the moving unit, that location is used. The idea of land and
|
|
||||||
// water locations is an implementation detail of 5dplomacy and not part of the Diplomacy rules, so they will
|
|
||||||
// usually be omitted, and so moving an army to any land province or a fleet to a non-multi-coast province is
|
|
||||||
// naturally unambiguous even without the location.
|
|
||||||
var unitLocations = destProvince.Locations.Where(loc => loc.Type switch {
|
var unitLocations = destProvince.Locations.Where(loc => loc.Type switch {
|
||||||
LocationType.Land => subject.Type == UnitType.Army,
|
LocationType.Land => subject.Type == UnitType.Army,
|
||||||
LocationType.Water => subject.Type == UnitType.Fleet,
|
LocationType.Water => subject.Type == UnitType.Fleet,
|
||||||
_ => false,
|
_ => false,
|
||||||
});
|
});
|
||||||
if (!unitLocations.Any()) return false; // If *no* locations match, the move is illegal
|
// DATC 4.6.B also requires that unknown coasts be ignored. To satisfy this, an additional filter by name.
|
||||||
if (unitLocations.Count() == 1) destLocationKey ??= unitLocations.Single().Key;
|
// Doing both of these filters means "A - Spain/nc" is as meaningful as "F - Spain/wc".
|
||||||
|
|
||||||
// If more than one location is possible for the unit, the order must be disambiguated by the dest location
|
|
||||||
// or the physical realities of which coast is accessible. DATC 4.B.3 makes an order illegal if the location
|
|
||||||
// is specified but it isn't an accessible coast, so successfully specifying a location takes precedence over
|
|
||||||
// there being one accessible coast.
|
|
||||||
if (destLocationKey is null) {
|
|
||||||
var matchingLocations = unitLocations.Where(loc => loc.Is(move.destLocation));
|
var matchingLocations = unitLocations.Where(loc => loc.Is(move.destLocation));
|
||||||
if (matchingLocations.Any()) destLocationKey ??= matchingLocations.Single().Key;
|
|
||||||
}
|
|
||||||
|
|
||||||
// If the order location didn't disambiguate the coasts, either because it's missing or it's nonsense, the
|
// If one location matched, use that location. If the coast is inaccessible to the subject, the order will
|
||||||
// order can be disambiguated by there being one accessible coast from the order source.
|
// be invalidated by a path check later to satisfy DATC 4.B.3.
|
||||||
|
string? destLocationKey = matchingLocations.FirstOrDefault(defaultValue: null)?.Key;
|
||||||
|
|
||||||
if (destLocationKey is null) {
|
if (destLocationKey is null) {
|
||||||
Location source = world.Map.GetLocation(subject.Location);
|
// If no location matched, location was omitted, nonexistent, or the wrong type.
|
||||||
var accessibleLocations = destProvince.Locations.Where(loc => loc.Adjacents.Contains(source));
|
// If one location is accessible, DATC 4.B.2 requires that it be used.
|
||||||
if (accessibleLocations.Count() == 1) destLocationKey ??= accessibleLocations.Single().Key;
|
// If more than one location is accessible, DATC 4.B.1 requires the order fail.
|
||||||
}
|
|
||||||
|
|
||||||
// If the order is still ambiguous, fail per DATC 4.B.1.
|
// TODO check which locations are accessible per the above
|
||||||
if (destLocationKey is null) return false;
|
destLocationKey = unitLocations.First().Key;
|
||||||
|
|
||||||
|
// return false;
|
||||||
|
}
|
||||||
|
|
||||||
order = new MoveOrder(power, subject, new(destTimeline, destTurn), destLocationKey);
|
order = new MoveOrder(power, subject, new(destTimeline, destTurn), destLocationKey);
|
||||||
return true;
|
return true;
|
||||||
|
@ -358,19 +346,7 @@ public class OrderParser(World world)
|
||||||
{
|
{
|
||||||
order = null;
|
order = null;
|
||||||
var support = ParseSupportHold(match);
|
var support = ParseSupportHold(match);
|
||||||
|
throw new NotImplementedException();
|
||||||
if (!TryParseOrderSubject(world, support.timeline, support.turn, support.province, out Unit? subject)) {
|
|
||||||
return false;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (!TryParseOrderSubject(
|
|
||||||
world, support.targetTimeline, support.targetTurn, support.targetProvince, out Unit? target))
|
|
||||||
{
|
|
||||||
return false;
|
|
||||||
}
|
|
||||||
|
|
||||||
order = new SupportHoldOrder(power, subject, target);
|
|
||||||
return true;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
public static bool TryParseSupportMoveOrder(
|
public static bool TryParseSupportMoveOrder(
|
||||||
|
@ -381,71 +357,9 @@ public class OrderParser(World world)
|
||||||
{
|
{
|
||||||
order = null;
|
order = null;
|
||||||
var support = ParseSupportMove(match);
|
var support = ParseSupportMove(match);
|
||||||
|
throw new NotImplementedException();
|
||||||
|
|
||||||
if (!TryParseOrderSubject(world, support.timeline, support.turn, support.province, out Unit? subject)) {
|
// It is possible to support a move to an inaccessible coast if another coast is accessible to the subject.
|
||||||
return false;
|
// DATC 4.B.4 prefers that automatic adjudicators strictly require matching coasts in supports.
|
||||||
}
|
|
||||||
|
|
||||||
if (!TryParseOrderSubject(
|
|
||||||
world, support.targetTimeline, support.targetTurn, support.targetProvince, out Unit? target))
|
|
||||||
{
|
|
||||||
return false;
|
|
||||||
}
|
|
||||||
|
|
||||||
string destTimeline = support.destTimeline.Length > 0
|
|
||||||
? support.destTimeline
|
|
||||||
// If the destination is unspecified, use the target's
|
|
||||||
: target.Season.Timeline;
|
|
||||||
|
|
||||||
int destTurn = support.destTurn.Length > 0
|
|
||||||
? int.Parse(support.destTurn)
|
|
||||||
// If the destination is unspecified, use the unit's
|
|
||||||
: target.Season.Turn;
|
|
||||||
|
|
||||||
var destProvince = world.Map.Provinces.Single(province => province.Is(support.destProvince));
|
|
||||||
string? destLocationKey = null;
|
|
||||||
|
|
||||||
// DATC 4.B specifies how to interpret orders with missing or incorrect locations. These issues arise because
|
|
||||||
// of provinces with multiple locations of the same type, i.e. two-coast provinces in Classical. In general,
|
|
||||||
// DATC's only concern is to disambiguate the order, failing the order only when it is ineluctably ambiguous
|
|
||||||
// (4.B.1) or explicitly incorrect (4.B.3). Irrelevant or nonexistent locations can be ignored.
|
|
||||||
|
|
||||||
// If there is only one possible location for the moving unit, that location is used. The idea of land and
|
|
||||||
// water locations is an implementation detail of 5dplomacy and not part of the Diplomacy rules, so they will
|
|
||||||
// usually be omitted, and so moving an army to any land province or a fleet to a non-multi-coast province is
|
|
||||||
// naturally unambiguous even without the location.
|
|
||||||
var unitLocations = destProvince.Locations.Where(loc => loc.Type switch {
|
|
||||||
LocationType.Land => target.Type == UnitType.Army,
|
|
||||||
LocationType.Water => target.Type == UnitType.Fleet,
|
|
||||||
_ => false,
|
|
||||||
});
|
|
||||||
if (!unitLocations.Any()) return false; // If *no* locations match, the move is illegal
|
|
||||||
if (unitLocations.Count() == 1) destLocationKey ??= unitLocations.Single().Key;
|
|
||||||
|
|
||||||
// If more than one location is possible for the unit, the order must be disambiguated by the dest location
|
|
||||||
// or the physical realities of which coast is accessible. DATC 4.B.3 makes an order illegal if the location
|
|
||||||
// is specified but it isn't an accessible coast, so successfully specifying a location takes precedence over
|
|
||||||
// there being one accessible coast.
|
|
||||||
if (destLocationKey is null) {
|
|
||||||
var matchingLocations = unitLocations.Where(loc => loc.Is(support.destLocation));
|
|
||||||
if (matchingLocations.Any()) destLocationKey ??= matchingLocations.Single().Key;
|
|
||||||
}
|
|
||||||
|
|
||||||
// If the order location didn't disambiguate the coasts, either because it's missing or it's nonsense, the
|
|
||||||
// order can be disambiguated by there being one accessible coast from the order source.
|
|
||||||
if (destLocationKey is null) {
|
|
||||||
Location source = world.Map.GetLocation(target.Location);
|
|
||||||
var accessibleLocations = destProvince.Locations.Where(loc => loc.Adjacents.Contains(source));
|
|
||||||
if (accessibleLocations.Count() == 1) destLocationKey ??= accessibleLocations.Single().Key;
|
|
||||||
}
|
|
||||||
|
|
||||||
// If the order is still ambiguous, fail per DATC 4.B.1. This also satisfies 4.B.4, which prefers for
|
|
||||||
// programmatic adjudicators with order validation to require the coasts instead of interpreting the ambiguous
|
|
||||||
// support by referring to the move order it supports.
|
|
||||||
if (destLocationKey is null) return false;
|
|
||||||
|
|
||||||
var destLocation = world.Map.GetLocation(destLocationKey);
|
|
||||||
order = new SupportMoveOrder(power, subject, target, new(destTimeline, destTurn), destLocation);
|
|
||||||
return true;
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -1,276 +1,60 @@
|
||||||
using System.Text.RegularExpressions;
|
using System.Text.RegularExpressions;
|
||||||
|
|
||||||
using MultiversalDiplomacy.Adjudicate;
|
|
||||||
using MultiversalDiplomacy.Adjudicate.Decision;
|
|
||||||
using MultiversalDiplomacy.Model;
|
using MultiversalDiplomacy.Model;
|
||||||
using MultiversalDiplomacy.Orders;
|
|
||||||
|
|
||||||
namespace MultiversalDiplomacy.Script;
|
namespace MultiversalDiplomacy.Script;
|
||||||
|
|
||||||
public class AdjudicationQueryScriptHandler(
|
public class AdjudicationQueryScriptHandler(World world, bool strict = false) : IScriptHandler
|
||||||
Action<string> WriteLine,
|
|
||||||
List<OrderValidation> validations,
|
|
||||||
List<AdjudicationDecision> adjudications,
|
|
||||||
World world,
|
|
||||||
IPhaseAdjudicator adjudicator)
|
|
||||||
: IScriptHandler
|
|
||||||
{
|
{
|
||||||
public string Prompt => "valid> ";
|
public string Prompt => "valid> ";
|
||||||
|
|
||||||
public List<OrderValidation> Validations { get; } = validations;
|
|
||||||
|
|
||||||
public List<AdjudicationDecision> Adjudications { get; } = adjudications;
|
|
||||||
|
|
||||||
public World World { get; private set; } = world;
|
public World World { get; private set; } = world;
|
||||||
|
|
||||||
public ScriptResult HandleInput(string input)
|
/// <summary>
|
||||||
|
/// Whether unsuccessful commands should terminate the script.
|
||||||
|
/// </summary>
|
||||||
|
public bool Strict { get; } = strict;
|
||||||
|
|
||||||
|
public IScriptHandler? HandleInput(string input)
|
||||||
{
|
{
|
||||||
var args = input.Split(' ', 2, StringSplitOptions.RemoveEmptyEntries);
|
var args = input.Split(' ', StringSplitOptions.RemoveEmptyEntries);
|
||||||
if (args.Length == 0 || input.StartsWith('#'))
|
if (args.Length == 0 || input.StartsWith('#'))
|
||||||
{
|
{
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
|
|
||||||
var command = args[0];
|
var command = args[0];
|
||||||
switch (command)
|
switch (command)
|
||||||
{
|
{
|
||||||
case "---":
|
case "---":
|
||||||
WriteLine("Ready for orders");
|
Console.WriteLine("Ready for orders");
|
||||||
return ScriptResult.Succeed(new GameScriptHandler(WriteLine, World, adjudicator));
|
return new GameScriptHandler(World, Strict);
|
||||||
|
|
||||||
case "assert" when args.Length == 1:
|
case "assert" when args.Length == 1:
|
||||||
WriteLine("Usage:");
|
Console.WriteLine("Usage:");
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case "assert":
|
case "assert":
|
||||||
return EvaluateAssertion(args[1]);
|
string assertion = input["assert ".Length..];
|
||||||
|
Regex prov = new($"{World.Map.ProvinceRegex} (.*)");
|
||||||
|
Match match = prov.Match(assertion);
|
||||||
|
if (!match.Success) {
|
||||||
|
Console.WriteLine($"Could not parse province from \"{assertion}\"");
|
||||||
|
return Strict ? null : this;
|
||||||
|
}
|
||||||
|
// TODO look up order once orders are validated and adjudicated
|
||||||
|
Console.WriteLine("Order lookup not implemented yet");
|
||||||
|
return null;
|
||||||
|
|
||||||
case "status":
|
case "status":
|
||||||
throw new NotImplementedException();
|
throw new NotImplementedException();
|
||||||
|
|
||||||
default:
|
default:
|
||||||
return ScriptResult.Fail($"Unrecognized command: \"{command}\"", this);
|
Console.WriteLine($"Unrecognized command: \"{command}\"");
|
||||||
|
if (Strict) return null;
|
||||||
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
|
||||||
|
|
||||||
private ScriptResult EvaluateAssertion(string assertion)
|
|
||||||
{
|
|
||||||
var args = assertion.Split(' ', 2, StringSplitOptions.RemoveEmptyEntries);
|
|
||||||
OrderParser re = new(World);
|
|
||||||
Regex prov = new($"^{re.FullLocation}$", RegexOptions.IgnoreCase);
|
|
||||||
Match match;
|
|
||||||
string timeline;
|
|
||||||
IEnumerable<Season> seasonsInTimeline;
|
|
||||||
int turn;
|
|
||||||
Season season;
|
|
||||||
Province province;
|
|
||||||
|
|
||||||
switch (args[0])
|
|
||||||
{
|
|
||||||
case "true":
|
|
||||||
return ScriptResult.Succeed(this);
|
|
||||||
|
|
||||||
case "false":
|
|
||||||
return ScriptResult.Fail("assert false", this);
|
|
||||||
|
|
||||||
case "hold-order":
|
|
||||||
// The hold-order assertion primarily serves to verify that a unit's order was illegal in cases where
|
|
||||||
// a written non-hold order was rejected before order validation and replaced with a hold order.
|
|
||||||
match = prov.Match(args[1]);
|
|
||||||
|
|
||||||
timeline = match.Groups[1].Length > 0
|
|
||||||
? match.Groups[1].Value
|
|
||||||
: Season.First.Timeline;
|
|
||||||
seasonsInTimeline = World.Timelines.Seasons.Where(season => season.Timeline == timeline);
|
|
||||||
if (!seasonsInTimeline.Any()) return ScriptResult.Fail($"No seasons in timeline {timeline}", this);
|
|
||||||
|
|
||||||
turn = match.Groups[4].Length > 0
|
|
||||||
? int.Parse(match.Groups[4].Value)
|
|
||||||
// If turn is unspecified, use the second-latest turn in the timeline,
|
|
||||||
// since we want to assert against the subjects of the orders just adjudicated,
|
|
||||||
// and adjudication created a new set of seasons.
|
|
||||||
: seasonsInTimeline.Max(season => season.Turn) - 1;
|
|
||||||
season = new(timeline, turn);
|
|
||||||
|
|
||||||
province = World.Map.Provinces.Single(province => province.Is(match.Groups[2].Value));
|
|
||||||
|
|
||||||
var matchingHolds = Validations.Where(val
|
|
||||||
=> val.Valid
|
|
||||||
&& val.Order is HoldOrder hold
|
|
||||||
&& hold.Unit.Season == season
|
|
||||||
&& World.Map.GetLocation(hold.Unit.Location).ProvinceName == province.Name);
|
|
||||||
if (!matchingHolds.Any()) return ScriptResult.Fail("No matching holds");
|
|
||||||
|
|
||||||
return ScriptResult.Succeed(this);
|
|
||||||
|
|
||||||
case "order-valid":
|
|
||||||
case "order-invalid":
|
|
||||||
match = prov.Match(args[1]);
|
|
||||||
if (!match.Success) return ScriptResult.Fail($"Could not parse province from \"{args[1]}\"", this);
|
|
||||||
|
|
||||||
timeline = match.Groups[1].Length > 0
|
|
||||||
? match.Groups[1].Value
|
|
||||||
: Season.First.Timeline;
|
|
||||||
seasonsInTimeline = World.Timelines.Seasons.Where(season => season.Timeline == timeline);
|
|
||||||
if (!seasonsInTimeline.Any()) return ScriptResult.Fail($"No seasons in timeline {timeline}", this);
|
|
||||||
|
|
||||||
turn = match.Groups[4].Length > 0
|
|
||||||
? int.Parse(match.Groups[4].Value)
|
|
||||||
// If turn is unspecified, use the second-latest turn in the timeline,
|
|
||||||
// since we want to assert against the subjects of the orders just adjudicated,
|
|
||||||
// and adjudication created a new set of seasons.
|
|
||||||
: seasonsInTimeline.Max(season => season.Turn) - 1;
|
|
||||||
season = new(timeline, turn);
|
|
||||||
|
|
||||||
province = World.Map.Provinces.Single(province => province.Is(match.Groups[2].Value));
|
|
||||||
|
|
||||||
var matching = Validations.Where(val
|
|
||||||
=> val.Order is UnitOrder order
|
|
||||||
&& order.Unit.Season == season
|
|
||||||
&& World.Map.GetLocation(order.Unit.Location).ProvinceName == province.Name);
|
|
||||||
if (!matching.Any()) return ScriptResult.Fail("No matching validations");
|
|
||||||
|
|
||||||
if (args[0] == "order-valid" && !matching.First().Valid) {
|
|
||||||
return ScriptResult.Fail($"Order \"{matching.First().Order} is invalid");
|
|
||||||
}
|
|
||||||
if (args[0] == "order-invalid" && matching.First().Valid) {
|
|
||||||
return ScriptResult.Fail($"Order \"{matching.First().Order} is valid");
|
|
||||||
}
|
|
||||||
return ScriptResult.Succeed(this);
|
|
||||||
|
|
||||||
case "has-past":
|
|
||||||
Regex hasPast = new($"^([a-z]+[0-9]+)>([a-z]+[0-9]+)$");
|
|
||||||
match = hasPast.Match(args[1]);
|
|
||||||
if (!match.Success) return ScriptResult.Fail("Expected format s1>s2", this);
|
|
||||||
|
|
||||||
Season future = new(match.Groups[1].Value);
|
|
||||||
if (!World.Timelines.Pasts.TryGetValue(future.Key, out Season? actual)) {
|
|
||||||
return ScriptResult.Fail($"No such season \"{future}\"");
|
|
||||||
}
|
|
||||||
|
|
||||||
Season expected = new(match.Groups[2].Value);
|
|
||||||
if (actual != expected) return ScriptResult.Fail(
|
|
||||||
$"Expected past of {future} to be {expected}, but it was {actual}");
|
|
||||||
return ScriptResult.Succeed(this);
|
|
||||||
|
|
||||||
case "not-dislodged":
|
|
||||||
case "dislodged":
|
|
||||||
re = new(World);
|
|
||||||
prov = new($"^{re.FullLocation}$", RegexOptions.IgnoreCase);
|
|
||||||
match = prov.Match(args[1]);
|
|
||||||
if (!match.Success) return ScriptResult.Fail($"Could not parse province from \"{args[1]}\"", this);
|
|
||||||
|
|
||||||
timeline = match.Groups[1].Length > 0
|
|
||||||
? match.Groups[1].Value
|
|
||||||
: Season.First.Timeline;
|
|
||||||
seasonsInTimeline = World.Timelines.Seasons.Where(season => season.Timeline == timeline);
|
|
||||||
if (!seasonsInTimeline.Any()) return ScriptResult.Fail($"No seasons in timeline {timeline}", this);
|
|
||||||
|
|
||||||
turn = match.Groups[4].Length > 0
|
|
||||||
? int.Parse(match.Groups[4].Value)
|
|
||||||
// If turn is unspecified, use the second-latest turn in the timeline,
|
|
||||||
// since we want to assert against the subjects of the orders just adjudicated,
|
|
||||||
// and adjudication created a new set of seasons.
|
|
||||||
: seasonsInTimeline.Max(season => season.Turn) - 1;
|
|
||||||
season = new(timeline, turn);
|
|
||||||
|
|
||||||
province = World.Map.Provinces.Single(province => province.Is(match.Groups[2].Value));
|
|
||||||
|
|
||||||
var matchingDislodges = Adjudications.Where(adj
|
|
||||||
=> adj is IsDislodged dislodge
|
|
||||||
&& dislodge.Order.Unit.Season == season
|
|
||||||
&& World.Map.GetLocation(dislodge.Order.Unit.Location).ProvinceName == province.Name);
|
|
||||||
if (!matchingDislodges.Any()) return ScriptResult.Fail("No matching dislodge decisions");
|
|
||||||
var isDislodged = matchingDislodges.Cast<IsDislodged>().First();
|
|
||||||
|
|
||||||
if (args[0] == "not-dislodged" && isDislodged.Outcome != false) {
|
|
||||||
return ScriptResult.Fail($"Adjudication {isDislodged} is true");
|
|
||||||
}
|
|
||||||
if (args[0] == "dislodged" && isDislodged.Outcome != true) {
|
|
||||||
return ScriptResult.Fail($"Adjudication {isDislodged} is false");
|
|
||||||
}
|
|
||||||
return ScriptResult.Succeed(this);
|
|
||||||
|
|
||||||
case "moves":
|
|
||||||
case "no-move":
|
|
||||||
re = new(World);
|
|
||||||
prov = new($"^{re.FullLocation}$", RegexOptions.IgnoreCase);
|
|
||||||
match = prov.Match(args[1]);
|
|
||||||
if (!match.Success) return ScriptResult.Fail($"Could not parse province from \"{args[1]}\"", this);
|
|
||||||
|
|
||||||
timeline = match.Groups[1].Length > 0
|
|
||||||
? match.Groups[1].Value
|
|
||||||
: Season.First.Timeline;
|
|
||||||
seasonsInTimeline = World.Timelines.Seasons.Where(season => season.Timeline == timeline);
|
|
||||||
if (!seasonsInTimeline.Any()) return ScriptResult.Fail($"No seasons in timeline {timeline}", this);
|
|
||||||
|
|
||||||
turn = match.Groups[4].Length > 0
|
|
||||||
? int.Parse(match.Groups[4].Value)
|
|
||||||
// If turn is unspecified, use the second-latest turn in the timeline,
|
|
||||||
// since we want to assert against the subjects of the orders just adjudicated,
|
|
||||||
// and adjudication created a new set of seasons.
|
|
||||||
: seasonsInTimeline.Max(season => season.Turn) - 1;
|
|
||||||
season = new(timeline, turn);
|
|
||||||
|
|
||||||
province = World.Map.Provinces.Single(province => province.Is(match.Groups[2].Value));
|
|
||||||
|
|
||||||
var matchingMoves = Adjudications.Where(adj
|
|
||||||
=> adj is DoesMove moves
|
|
||||||
&& moves.Order.Unit.Season == season
|
|
||||||
&& World.Map.GetLocation(moves.Order.Unit.Location).ProvinceName == province.Name);
|
|
||||||
if (!matchingMoves.Any()) return ScriptResult.Fail("No matching movement decisions");
|
|
||||||
var doesMove = matchingMoves.Cast<DoesMove>().First();
|
|
||||||
|
|
||||||
if (args[0] == "moves" && doesMove.Outcome != true) {
|
|
||||||
return ScriptResult.Fail($"Adjudication {doesMove} is false");
|
|
||||||
}
|
|
||||||
if (args[0] == "no-move" && doesMove.Outcome != false) {
|
|
||||||
return ScriptResult.Fail($"Adjudication {doesMove} is true");
|
|
||||||
}
|
|
||||||
return ScriptResult.Succeed(this);
|
|
||||||
|
|
||||||
case "support-given":
|
|
||||||
case "support-cut":
|
|
||||||
re = new(World);
|
|
||||||
prov = new($"^{re.FullLocation}$", RegexOptions.IgnoreCase);
|
|
||||||
match = prov.Match(args[1]);
|
|
||||||
if (!match.Success) return ScriptResult.Fail($"Could not parse province from \"{args[1]}\"", this);
|
|
||||||
|
|
||||||
timeline = match.Groups[1].Length > 0
|
|
||||||
? match.Groups[1].Value
|
|
||||||
: Season.First.Timeline;
|
|
||||||
seasonsInTimeline = World.Timelines.Seasons.Where(season => season.Timeline == timeline);
|
|
||||||
if (!seasonsInTimeline.Any()) return ScriptResult.Fail($"No seasons in timeline {timeline}", this);
|
|
||||||
|
|
||||||
turn = match.Groups[4].Length > 0
|
|
||||||
? int.Parse(match.Groups[4].Value)
|
|
||||||
// If turn is unspecified, use the second-latest turn in the timeline,
|
|
||||||
// since we want to assert against the subjects of the orders just adjudicated,
|
|
||||||
// and adjudication created a new set of seasons.
|
|
||||||
: seasonsInTimeline.Max(season => season.Turn) - 1;
|
|
||||||
season = new(timeline, turn);
|
|
||||||
|
|
||||||
province = World.Map.Provinces.Single(province => province.Is(match.Groups[2].Value));
|
|
||||||
|
|
||||||
var matchingSupports = Adjudications.Where(adj
|
|
||||||
=> adj is GivesSupport sup
|
|
||||||
&& sup.Order.Unit.Season == season
|
|
||||||
&& World.Map.GetLocation(sup.Order.Unit.Location).ProvinceName == province.Name);
|
|
||||||
if (!matchingSupports.Any()) return ScriptResult.Fail("No matching support decisions");
|
|
||||||
var supports = matchingSupports.Cast<GivesSupport>().First();
|
|
||||||
|
|
||||||
if (args[0] == "support-given" && supports.Outcome != true) {
|
|
||||||
return ScriptResult.Fail($"Adjudication {supports} is false");
|
|
||||||
}
|
|
||||||
if (args[0] == "support-cut" && supports.Outcome != false) {
|
|
||||||
return ScriptResult.Fail($"Adjudication {supports} is true");
|
|
||||||
}
|
|
||||||
return ScriptResult.Succeed(this);
|
|
||||||
|
|
||||||
default:
|
|
||||||
return ScriptResult.Fail($"Unknown assertion \"{args[0]}\"", this);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -6,31 +6,33 @@ using MultiversalDiplomacy.Orders;
|
||||||
|
|
||||||
namespace MultiversalDiplomacy.Script;
|
namespace MultiversalDiplomacy.Script;
|
||||||
|
|
||||||
public class GameScriptHandler(
|
public class GameScriptHandler(World world, bool strict = false) : IScriptHandler
|
||||||
Action<string> WriteLine,
|
|
||||||
World world,
|
|
||||||
IPhaseAdjudicator adjudicator)
|
|
||||||
: IScriptHandler
|
|
||||||
{
|
{
|
||||||
public string Prompt => "orders> ";
|
public string Prompt => "orders> ";
|
||||||
|
|
||||||
public World World { get; private set; } = world;
|
public World World { get; private set; } = world;
|
||||||
|
|
||||||
|
/// <summary>
|
||||||
|
/// Whether unsuccessful commands should terminate the script.
|
||||||
|
/// </summary>
|
||||||
|
public bool Strict { get; } = strict;
|
||||||
|
|
||||||
private string? CurrentPower { get; set; } = null;
|
private string? CurrentPower { get; set; } = null;
|
||||||
|
|
||||||
public List<Order> Orders { get; } = [];
|
public List<Order> Orders { get; } = [];
|
||||||
|
|
||||||
public ScriptResult HandleInput(string input)
|
public IScriptHandler? HandleInput(string input)
|
||||||
{
|
{
|
||||||
if (input == "") {
|
if (input == "") {
|
||||||
CurrentPower = null;
|
CurrentPower = null;
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
if (input.StartsWith('#')) return ScriptResult.Succeed(this);
|
if (input.StartsWith('#')) return this;
|
||||||
|
|
||||||
// "---" submits the orders and allows queries about the outcome
|
// "---" submits the orders and allows queries about the outcome
|
||||||
if (input == "---") {
|
if (input == "---") {
|
||||||
WriteLine("Submitting orders for adjudication");
|
Console.WriteLine("Submitting orders for adjudication");
|
||||||
|
var adjudicator = MovementPhaseAdjudicator.Instance;
|
||||||
var validation = adjudicator.ValidateOrders(World, Orders);
|
var validation = adjudicator.ValidateOrders(World, Orders);
|
||||||
var validOrders = validation
|
var validOrders = validation
|
||||||
.Where(v => v.Valid)
|
.Where(v => v.Valid)
|
||||||
|
@ -38,14 +40,14 @@ public class GameScriptHandler(
|
||||||
.ToList();
|
.ToList();
|
||||||
var adjudication = adjudicator.AdjudicateOrders(World, validOrders);
|
var adjudication = adjudicator.AdjudicateOrders(World, validOrders);
|
||||||
var newWorld = adjudicator.UpdateWorld(World, adjudication);
|
var newWorld = adjudicator.UpdateWorld(World, adjudication);
|
||||||
return ScriptResult.Succeed(new AdjudicationQueryScriptHandler(
|
return new AdjudicationQueryScriptHandler(newWorld, Strict);
|
||||||
WriteLine, validation, adjudication, newWorld, adjudicator));
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// "===" submits the orders and moves immediately to taking the next set of orders
|
// "===" submits the orders and moves immediately to taking the next set of orders
|
||||||
// i.e. it's "---" twice
|
// i.e. it's "---" twice
|
||||||
if (input == "===") {
|
if (input == "===") {
|
||||||
WriteLine("Submitting orders for adjudication");
|
Console.WriteLine("Submitting orders for adjudication");
|
||||||
|
var adjudicator = MovementPhaseAdjudicator.Instance;
|
||||||
var validation = adjudicator.ValidateOrders(World, Orders);
|
var validation = adjudicator.ValidateOrders(World, Orders);
|
||||||
var validOrders = validation
|
var validOrders = validation
|
||||||
.Where(v => v.Valid)
|
.Where(v => v.Valid)
|
||||||
|
@ -53,14 +55,14 @@ public class GameScriptHandler(
|
||||||
.ToList();
|
.ToList();
|
||||||
var adjudication = adjudicator.AdjudicateOrders(World, validOrders);
|
var adjudication = adjudicator.AdjudicateOrders(World, validOrders);
|
||||||
World = adjudicator.UpdateWorld(World, adjudication);
|
World = adjudicator.UpdateWorld(World, adjudication);
|
||||||
WriteLine("Ready for orders");
|
Console.WriteLine("Ready for orders");
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
|
|
||||||
// A block of orders for a single power beginning with "{name}:"
|
// A block of orders for a single power beginning with "{name}:"
|
||||||
if (World.Powers.FirstOrDefault(p => input.EqualsAnyCase($"{p}:"), null) is string power) {
|
if (World.Powers.FirstOrDefault(p => input.EqualsAnyCase($"{p}:"), null) is string power) {
|
||||||
CurrentPower = power;
|
CurrentPower = power;
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
|
|
||||||
// If it's not a comment, submit, or order block, assume it's an order.
|
// If it's not a comment, submit, or order block, assume it's an order.
|
||||||
|
@ -74,17 +76,21 @@ public class GameScriptHandler(
|
||||||
// Outside a power block, the power is prefixed to each order.
|
// Outside a power block, the power is prefixed to each order.
|
||||||
Regex re = new($"^{World.Map.PowerRegex}(?:[:])? (.*)$", RegexOptions.IgnoreCase);
|
Regex re = new($"^{World.Map.PowerRegex}(?:[:])? (.*)$", RegexOptions.IgnoreCase);
|
||||||
var match = re.Match(input);
|
var match = re.Match(input);
|
||||||
if (!match.Success) return ScriptResult.Fail($"Could not determine ordering power in \"{input}\"", this);
|
if (!match.Success) {
|
||||||
|
Console.WriteLine($"Could not determine ordering power in \"{input}\"");
|
||||||
|
return Strict ? null : this;
|
||||||
|
}
|
||||||
orderPower = match.Groups[1].Value;
|
orderPower = match.Groups[1].Value;
|
||||||
orderText = match.Groups[2].Value;
|
orderText = match.Groups[2].Value;
|
||||||
}
|
}
|
||||||
|
|
||||||
if (OrderParser.TryParseOrder(World, orderPower, orderText, out Order? order)) {
|
if (OrderParser.TryParseOrder(World, orderPower, orderText, out Order? order)) {
|
||||||
WriteLine($"Parsed {orderPower} order: {order}");
|
Console.WriteLine($"Parsed {orderPower} order: {order}");
|
||||||
Orders.Add(order);
|
Orders.Add(order);
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
|
|
||||||
return ScriptResult.Fail($"Failed to parse \"{orderText}\"", this);
|
Console.WriteLine($"Failed to parse \"{orderText}\"");
|
||||||
|
return Strict ? null : this;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -14,5 +14,8 @@ public interface IScriptHandler
|
||||||
/// <summary>
|
/// <summary>
|
||||||
/// Process a line of input.
|
/// Process a line of input.
|
||||||
/// </summary>
|
/// </summary>
|
||||||
public ScriptResult HandleInput(string input);
|
/// <returns>
|
||||||
|
/// The handler that should handle the next line of input, or null if script handling should end.
|
||||||
|
/// </returns>
|
||||||
|
public IScriptHandler? HandleInput(string input);
|
||||||
}
|
}
|
||||||
|
|
|
@ -1,4 +1,3 @@
|
||||||
using MultiversalDiplomacy.Adjudicate;
|
|
||||||
using MultiversalDiplomacy.Model;
|
using MultiversalDiplomacy.Model;
|
||||||
|
|
||||||
namespace MultiversalDiplomacy.Script;
|
namespace MultiversalDiplomacy.Script;
|
||||||
|
@ -6,16 +5,16 @@ namespace MultiversalDiplomacy.Script;
|
||||||
/// <summary>
|
/// <summary>
|
||||||
/// A script handler for the interactive repl.
|
/// A script handler for the interactive repl.
|
||||||
/// </summary>
|
/// </summary>
|
||||||
public class ReplScriptHandler(Action<string> WriteLine) : IScriptHandler
|
public class ReplScriptHandler : IScriptHandler
|
||||||
{
|
{
|
||||||
public string Prompt => "5dp> ";
|
public string Prompt => "5dp> ";
|
||||||
|
|
||||||
public ScriptResult HandleInput(string input)
|
public IScriptHandler? HandleInput(string input)
|
||||||
{
|
{
|
||||||
var args = input.Split(' ', StringSplitOptions.RemoveEmptyEntries);
|
var args = input.Split(' ', StringSplitOptions.RemoveEmptyEntries);
|
||||||
if (args.Length == 0 || input.StartsWith('#'))
|
if (args.Length == 0 || input.StartsWith('#'))
|
||||||
{
|
{
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
|
|
||||||
var command = args[0];
|
var command = args[0];
|
||||||
|
@ -23,42 +22,40 @@ public class ReplScriptHandler(Action<string> WriteLine) : IScriptHandler
|
||||||
{
|
{
|
||||||
case "help":
|
case "help":
|
||||||
case "?":
|
case "?":
|
||||||
WriteLine("Commands:");
|
Console.WriteLine("Commands:");
|
||||||
WriteLine(" help, ?: print this message");
|
Console.WriteLine(" help, ?: print this message");
|
||||||
WriteLine(" map <variant>: start a new game of the given variant");
|
Console.WriteLine(" map <variant>: start a new game of the given variant");
|
||||||
WriteLine(" stab: stab");
|
Console.WriteLine(" stab: stab");
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case "stab":
|
case "stab":
|
||||||
WriteLine("stab");
|
Console.WriteLine("stab");
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case "map" when args.Length == 1:
|
case "map" when args.Length == 1:
|
||||||
WriteLine("Usage:");
|
Console.WriteLine("Usage:");
|
||||||
WriteLine(" map <variant>");
|
Console.WriteLine(" map <variant>");
|
||||||
WriteLine("Available variants:");
|
Console.WriteLine("Available variants:");
|
||||||
WriteLine($" {string.Join(", ", Enum.GetNames<MapType>().Select(s => s.ToLowerInvariant()))}");
|
Console.WriteLine($" {string.Join(", ", Enum.GetNames<MapType>().Select(s => s.ToLowerInvariant()))}");
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case "map" when args.Length > 1:
|
case "map" when args.Length > 1:
|
||||||
string mapType = args[1].Trim();
|
string mapType = args[1].Trim();
|
||||||
if (!Enum.TryParse(mapType, ignoreCase: true, out MapType map)) {
|
if (!Enum.TryParse(mapType, ignoreCase: true, out MapType map)) {
|
||||||
WriteLine($"Unknown variant \"{mapType}\"");
|
Console.WriteLine($"Unknown variant \"{mapType}\"");
|
||||||
WriteLine("Available variants:");
|
Console.WriteLine("Available variants:");
|
||||||
WriteLine($" {string.Join(", ", Enum.GetNames<MapType>().Select(s => s.ToLowerInvariant()))}");
|
Console.WriteLine($" {string.Join(", ", Enum.GetNames<MapType>().Select(s => s.ToLowerInvariant()))}");
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
World world = World.WithMap(Map.FromType(map));
|
World world = World.WithMap(Map.FromType(map));
|
||||||
WriteLine($"Created a new {map} game");
|
Console.WriteLine($"Created a new {map} game");
|
||||||
return ScriptResult.Succeed(new SetupScriptHandler(
|
return new SetupScriptHandler(world);
|
||||||
WriteLine,
|
|
||||||
world,
|
|
||||||
MovementPhaseAdjudicator.Instance));
|
|
||||||
|
|
||||||
default:
|
default:
|
||||||
return ScriptResult.Fail($"Unrecognized command: \"{command}\"", this);
|
Console.WriteLine($"Unrecognized command: \"{command}\"");
|
||||||
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -1,36 +0,0 @@
|
||||||
namespace MultiversalDiplomacy.Script;
|
|
||||||
|
|
||||||
/// <summary>
|
|
||||||
/// The result of an <see cref="IScriptHandler"/> processing a line of input.
|
|
||||||
/// </summary>
|
|
||||||
/// <param name="success">Whether processing was successful.</param>
|
|
||||||
/// <param name="next">The handler to continue script processing with.</param>
|
|
||||||
/// <param name="message">If processing failed, the error message.</param>
|
|
||||||
public class ScriptResult(bool success, IScriptHandler? next, string message)
|
|
||||||
{
|
|
||||||
/// <summary>
|
|
||||||
/// Whether processing was successful.
|
|
||||||
/// </summary>
|
|
||||||
public bool Success { get; } = success;
|
|
||||||
|
|
||||||
/// <summary>
|
|
||||||
/// The handler to continue script processing with.
|
|
||||||
/// </summary>
|
|
||||||
public IScriptHandler? NextHandler { get; } = next;
|
|
||||||
|
|
||||||
/// <summary>
|
|
||||||
/// If processing failed, the error message.
|
|
||||||
/// </summary>
|
|
||||||
public string Message { get; } = message;
|
|
||||||
|
|
||||||
/// <summary>
|
|
||||||
/// Mark the processing as successful and continue processing with the next handler.
|
|
||||||
/// </summary>
|
|
||||||
public static ScriptResult Succeed(IScriptHandler next) => new(true, next, "");
|
|
||||||
|
|
||||||
/// <summary>
|
|
||||||
/// Mark the processing as a failure and optionally continue with the next handler.
|
|
||||||
/// </summary>
|
|
||||||
/// <param name="message">The reason for the processing failure.</param>
|
|
||||||
public static ScriptResult Fail(string message, IScriptHandler? next = null) => new(false, next, message);
|
|
||||||
}
|
|
|
@ -1,4 +1,3 @@
|
||||||
using MultiversalDiplomacy.Adjudicate;
|
|
||||||
using MultiversalDiplomacy.Model;
|
using MultiversalDiplomacy.Model;
|
||||||
|
|
||||||
namespace MultiversalDiplomacy.Script;
|
namespace MultiversalDiplomacy.Script;
|
||||||
|
@ -6,22 +5,23 @@ namespace MultiversalDiplomacy.Script;
|
||||||
/// <summary>
|
/// <summary>
|
||||||
/// A script handler for modifying a game before it begins.
|
/// A script handler for modifying a game before it begins.
|
||||||
/// </summary>
|
/// </summary>
|
||||||
public class SetupScriptHandler(
|
public class SetupScriptHandler(World world, bool strict = false) : IScriptHandler
|
||||||
Action<string> WriteLine,
|
|
||||||
World world,
|
|
||||||
IPhaseAdjudicator adjudicator)
|
|
||||||
: IScriptHandler
|
|
||||||
{
|
{
|
||||||
public string Prompt => "setup> ";
|
public string Prompt => "setup> ";
|
||||||
|
|
||||||
public World World { get; private set; } = world;
|
public World World { get; private set; } = world;
|
||||||
|
|
||||||
public ScriptResult HandleInput(string input)
|
/// <summary>
|
||||||
|
/// Whether unsuccessful commands should terminate the script.
|
||||||
|
/// </summary>
|
||||||
|
public bool Strict { get; } = strict;
|
||||||
|
|
||||||
|
public IScriptHandler? HandleInput(string input)
|
||||||
{
|
{
|
||||||
var args = input.Split(' ', StringSplitOptions.RemoveEmptyEntries);
|
var args = input.Split(' ', StringSplitOptions.RemoveEmptyEntries);
|
||||||
if (args.Length == 0 || input.StartsWith('#'))
|
if (args.Length == 0 || input.StartsWith('#'))
|
||||||
{
|
{
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
|
|
||||||
var command = args[0];
|
var command = args[0];
|
||||||
|
@ -29,39 +29,39 @@ public class SetupScriptHandler(
|
||||||
{
|
{
|
||||||
case "help":
|
case "help":
|
||||||
case "?":
|
case "?":
|
||||||
WriteLine("commands:");
|
Console.WriteLine("commands:");
|
||||||
WriteLine(" begin: complete setup and start the game (alias: ---)");
|
Console.WriteLine(" begin: complete setup and start the game (alias: ---)");
|
||||||
WriteLine(" list <type>: list things in a game category");
|
Console.WriteLine(" list <type>: list things in a game category");
|
||||||
WriteLine(" option <name> <value>: set a game option");
|
Console.WriteLine(" option <name> <value>: set a game option");
|
||||||
WriteLine(" unit <power> <type> <province> [location]: add a unit to the game");
|
Console.WriteLine(" unit <power> <type> <province> [location]: add a unit to the game");
|
||||||
WriteLine(" <province> may be \"province/location\"");
|
Console.WriteLine(" <province> may be \"province/location\"");
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case "begin":
|
case "begin":
|
||||||
case "---":
|
case "---":
|
||||||
WriteLine("Starting game");
|
Console.WriteLine("Starting game");
|
||||||
WriteLine("Ready for orders");
|
Console.WriteLine("Ready for orders");
|
||||||
return ScriptResult.Succeed(new GameScriptHandler(WriteLine, World, adjudicator));
|
return new GameScriptHandler(World, Strict);
|
||||||
|
|
||||||
case "list" when args.Length == 1:
|
case "list" when args.Length == 1:
|
||||||
WriteLine("usage:");
|
Console.WriteLine("usage:");
|
||||||
WriteLine(" list powers: the powers in the game");
|
Console.WriteLine(" list powers: the powers in the game");
|
||||||
WriteLine(" list units: units created so far");
|
Console.WriteLine(" list units: units created so far");
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case "list" when args[1] == "powers":
|
case "list" when args[1] == "powers":
|
||||||
WriteLine("Powers:");
|
Console.WriteLine("Powers:");
|
||||||
foreach (string powerName in World.Powers)
|
foreach (string powerName in World.Powers)
|
||||||
{
|
{
|
||||||
WriteLine($" {powerName}");
|
Console.WriteLine($" {powerName}");
|
||||||
}
|
}
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case "list" when args[1] == "units":
|
case "list" when args[1] == "units":
|
||||||
WriteLine("Units:");
|
Console.WriteLine("Units:");
|
||||||
foreach (Unit unit in World.Units)
|
foreach (Unit unit in World.Units)
|
||||||
{
|
{
|
||||||
WriteLine($" {unit}");
|
Console.WriteLine($" {unit}");
|
||||||
}
|
}
|
||||||
break;
|
break;
|
||||||
|
|
||||||
|
@ -69,23 +69,26 @@ public class SetupScriptHandler(
|
||||||
throw new NotImplementedException("There are no supported options yet");
|
throw new NotImplementedException("There are no supported options yet");
|
||||||
|
|
||||||
case "unit" when args.Length < 2:
|
case "unit" when args.Length < 2:
|
||||||
WriteLine("usage: unit [power] [type] [province]</location>");
|
Console.WriteLine("usage: unit [power] [type] [province]</location>");
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case "unit":
|
case "unit":
|
||||||
string unitSpec = input["unit ".Length..];
|
string unitSpec = input["unit ".Length..];
|
||||||
if (OrderParser.TryParseUnit(World, unitSpec, out Unit? newUnit)) {
|
if (OrderParser.TryParseUnit(World, unitSpec, out Unit? newUnit)) {
|
||||||
World = World.Update(units: World.Units.Append(newUnit));
|
World = World.Update(units: World.Units.Append(newUnit));
|
||||||
WriteLine($"Created {newUnit}");
|
Console.WriteLine($"Created {newUnit}");
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
return ScriptResult.Fail($"Could not match unit spec \"{unitSpec}\"", this);
|
Console.WriteLine($"Could not match unit spec \"{unitSpec}\"");
|
||||||
|
if (Strict) return null;
|
||||||
|
break;
|
||||||
|
|
||||||
default:
|
default:
|
||||||
ScriptResult.Fail($"Unrecognized command: \"{command}\"", this);
|
Console.WriteLine($"Unrecognized command: \"{command}\"");
|
||||||
|
if (Strict) return null;
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
return ScriptResult.Succeed(this);
|
return this;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -1,8 +0,0 @@
|
||||||
using MultiversalDiplomacy.Adjudicate;
|
|
||||||
|
|
||||||
namespace MultiversalDiplomacyTests;
|
|
||||||
|
|
||||||
public static class Adjudicator
|
|
||||||
{
|
|
||||||
public static MovementPhaseAdjudicator MovementPhase { get; } = new MovementPhaseAdjudicator(NullLogger.Instance);
|
|
||||||
}
|
|
|
@ -3,8 +3,6 @@ using MultiversalDiplomacy.Model;
|
||||||
using MultiversalDiplomacy.Orders;
|
using MultiversalDiplomacy.Orders;
|
||||||
using NUnit.Framework;
|
using NUnit.Framework;
|
||||||
|
|
||||||
using static MultiversalDiplomacyTests.Adjudicator;
|
|
||||||
|
|
||||||
namespace MultiversalDiplomacyTests;
|
namespace MultiversalDiplomacyTests;
|
||||||
|
|
||||||
public class DATC_A
|
public class DATC_A
|
||||||
|
@ -19,7 +17,7 @@ public class DATC_A
|
||||||
.Fleet("North Sea").MovesTo("Picardy").GetReference(out var order);
|
.Fleet("North Sea").MovesTo("Picardy").GetReference(out var order);
|
||||||
|
|
||||||
// Order should fail.
|
// Order should fail.
|
||||||
setup.ValidateOrders(MovementPhase);
|
setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(order, Is.Invalid(ValidationReason.UnreachableDestination));
|
Assert.That(order, Is.Invalid(ValidationReason.UnreachableDestination));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -61,7 +59,7 @@ public class DATC_A
|
||||||
.Fleet("Kiel").MovesTo("Kiel").GetReference(out var order);
|
.Fleet("Kiel").MovesTo("Kiel").GetReference(out var order);
|
||||||
|
|
||||||
// Program should not crash.
|
// Program should not crash.
|
||||||
setup.ValidateOrders(MovementPhase);
|
setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(order, Is.Invalid(ValidationReason.DestinationMatchesOrigin));
|
Assert.That(order, Is.Invalid(ValidationReason.DestinationMatchesOrigin));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -79,14 +77,14 @@ public class DATC_A
|
||||||
.Army("Wales").Supports.Fleet("London").MoveTo("Yorkshire");
|
.Army("Wales").Supports.Fleet("London").MoveTo("Yorkshire");
|
||||||
|
|
||||||
// The move of the army in Yorkshire is illegal. This makes the support of Liverpool also illegal.
|
// The move of the army in Yorkshire is illegal. This makes the support of Liverpool also illegal.
|
||||||
setup.ValidateOrders(MovementPhase);
|
setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(orderLon, Is.Valid);
|
Assert.That(orderLon, Is.Valid);
|
||||||
Assert.That(orderNth, Is.Invalid(ValidationReason.DestinationMatchesOrigin));
|
Assert.That(orderNth, Is.Invalid(ValidationReason.DestinationMatchesOrigin));
|
||||||
Assert.That(orderYor, Is.Invalid(ValidationReason.DestinationMatchesOrigin));
|
Assert.That(orderYor, Is.Invalid(ValidationReason.DestinationMatchesOrigin));
|
||||||
var orderYorRepl = orderYor.GetReplacementReference<HoldOrder>();
|
var orderYorRepl = orderYor.GetReplacementReference<HoldOrder>();
|
||||||
|
|
||||||
// Without the support, the Germans have a stronger force. The army in London dislodges the army in Yorkshire.
|
// Without the support, the Germans have a stronger force. The army in London dislodges the army in Yorkshire.
|
||||||
setup.AdjudicateOrders(MovementPhase);
|
setup.AdjudicateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(orderLon, Is.Victorious);
|
Assert.That(orderLon, Is.Victorious);
|
||||||
Assert.That(orderYorRepl, Is.Dislodged);
|
Assert.That(orderYorRepl, Is.Dislodged);
|
||||||
}
|
}
|
||||||
|
@ -100,7 +98,7 @@ public class DATC_A
|
||||||
.Fleet("London", powerName: "England").MovesTo("North Sea").GetReference(out var order);
|
.Fleet("London", powerName: "England").MovesTo("North Sea").GetReference(out var order);
|
||||||
|
|
||||||
// Order should fail.
|
// Order should fail.
|
||||||
setup.ValidateOrders(MovementPhase);
|
setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(order, Is.Invalid(ValidationReason.InvalidUnitForPower));
|
Assert.That(order, Is.Invalid(ValidationReason.InvalidUnitForPower));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -114,7 +112,7 @@ public class DATC_A
|
||||||
.Fleet("North Sea").Convoys.Army("London").To("Belgium").GetReference(out var order);
|
.Fleet("North Sea").Convoys.Army("London").To("Belgium").GetReference(out var order);
|
||||||
|
|
||||||
// Move from London to Belgium should fail.
|
// Move from London to Belgium should fail.
|
||||||
setup.ValidateOrders(MovementPhase);
|
setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(order, Is.Invalid(ValidationReason.InvalidOrderTypeForUnit));
|
Assert.That(order, Is.Invalid(ValidationReason.InvalidOrderTypeForUnit));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -129,12 +127,12 @@ public class DATC_A
|
||||||
["Austria"]
|
["Austria"]
|
||||||
.Fleet("Trieste").Supports.Fleet("Trieste").Hold().GetReference(out var orderTri);
|
.Fleet("Trieste").Supports.Fleet("Trieste").Hold().GetReference(out var orderTri);
|
||||||
|
|
||||||
setup.ValidateOrders(MovementPhase);
|
setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(orderTri, Is.Invalid(ValidationReason.NoSelfSupport));
|
Assert.That(orderTri, Is.Invalid(ValidationReason.NoSelfSupport));
|
||||||
var orderTriRepl = orderTri.GetReplacementReference<HoldOrder>();
|
var orderTriRepl = orderTri.GetReplacementReference<HoldOrder>();
|
||||||
|
|
||||||
// The army in Trieste should be dislodged.
|
// The army in Trieste should be dislodged.
|
||||||
setup.AdjudicateOrders(MovementPhase);
|
setup.AdjudicateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(orderTriRepl, Is.Dislodged);
|
Assert.That(orderTriRepl, Is.Dislodged);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -147,7 +145,7 @@ public class DATC_A
|
||||||
.Fleet("Rome").MovesTo("Venice").GetReference(out var order);
|
.Fleet("Rome").MovesTo("Venice").GetReference(out var order);
|
||||||
|
|
||||||
// Move fails. An army can go from Rome to Venice, but a fleet can not.
|
// Move fails. An army can go from Rome to Venice, but a fleet can not.
|
||||||
setup.ValidateOrders(MovementPhase);
|
setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(order, Is.Invalid(ValidationReason.UnreachableDestination));
|
Assert.That(order, Is.Invalid(ValidationReason.UnreachableDestination));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -162,13 +160,13 @@ public class DATC_A
|
||||||
.Army("Apulia").MovesTo("Venice")
|
.Army("Apulia").MovesTo("Venice")
|
||||||
.Fleet("Rome").Supports.Army("Apulia").MoveTo("Venice").GetReference(out var orderRom);
|
.Fleet("Rome").Supports.Army("Apulia").MoveTo("Venice").GetReference(out var orderRom);
|
||||||
|
|
||||||
setup.ValidateOrders(MovementPhase);
|
setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
|
|
||||||
// The support of Rome is illegal, because Venice can not be reached from Rome by a fleet.
|
// The support of Rome is illegal, because Venice can not be reached from Rome by a fleet.
|
||||||
Assert.That(orderRom, Is.Invalid(ValidationReason.UnreachableSupport));
|
Assert.That(orderRom, Is.Invalid(ValidationReason.UnreachableSupport));
|
||||||
|
|
||||||
// Venice is not dislodged.
|
// Venice is not dislodged.
|
||||||
setup.AdjudicateOrders(MovementPhase);
|
setup.AdjudicateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(orderVen, Is.NotDislodged);
|
Assert.That(orderVen, Is.NotDislodged);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -182,12 +180,12 @@ public class DATC_A
|
||||||
["Italy"]
|
["Italy"]
|
||||||
.Army("Venice").MovesTo("Tyrolia").GetReference(out var orderVen);
|
.Army("Venice").MovesTo("Tyrolia").GetReference(out var orderVen);
|
||||||
|
|
||||||
setup.ValidateOrders(MovementPhase);
|
setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(orderVie, Is.Valid);
|
Assert.That(orderVie, Is.Valid);
|
||||||
Assert.That(orderVen, Is.Valid);
|
Assert.That(orderVen, Is.Valid);
|
||||||
|
|
||||||
// The two units bounce.
|
// The two units bounce.
|
||||||
var adjudications = setup.AdjudicateOrders(MovementPhase);
|
var adjudications = setup.AdjudicateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(orderVie, Is.Repelled);
|
Assert.That(orderVie, Is.Repelled);
|
||||||
Assert.That(orderVie, Is.NotDislodged);
|
Assert.That(orderVie, Is.NotDislodged);
|
||||||
Assert.That(orderVen, Is.Repelled);
|
Assert.That(orderVen, Is.Repelled);
|
||||||
|
@ -206,12 +204,12 @@ public class DATC_A
|
||||||
["Italy"]
|
["Italy"]
|
||||||
.Army("Venice").MovesTo("Tyrolia").GetReference(out var orderVen);
|
.Army("Venice").MovesTo("Tyrolia").GetReference(out var orderVen);
|
||||||
|
|
||||||
var validations = setup.ValidateOrders(MovementPhase);
|
var validations = setup.ValidateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
Assert.That(orderVie, Is.Valid);
|
Assert.That(orderVie, Is.Valid);
|
||||||
Assert.That(orderMun, Is.Valid);
|
Assert.That(orderMun, Is.Valid);
|
||||||
Assert.That(orderVen, Is.Valid);
|
Assert.That(orderVen, Is.Valid);
|
||||||
|
|
||||||
var adjudications = setup.AdjudicateOrders(MovementPhase);
|
var adjudications = setup.AdjudicateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
// The three units bounce.
|
// The three units bounce.
|
||||||
Assert.That(orderVie, Is.Repelled);
|
Assert.That(orderVie, Is.Repelled);
|
||||||
Assert.That(orderVie, Is.NotDislodged);
|
Assert.That(orderVie, Is.NotDislodged);
|
||||||
|
|
|
@ -1,8 +1,7 @@
|
||||||
using MultiversalDiplomacy.Adjudicate;
|
using MultiversalDiplomacy.Adjudicate;
|
||||||
|
using MultiversalDiplomacy.Adjudicate.Decision;
|
||||||
using MultiversalDiplomacy.Model;
|
using MultiversalDiplomacy.Model;
|
||||||
|
|
||||||
using static MultiversalDiplomacyTests.Adjudicator;
|
|
||||||
|
|
||||||
using NUnit.Framework;
|
using NUnit.Framework;
|
||||||
|
|
||||||
namespace MultiversalDiplomacyTests;
|
namespace MultiversalDiplomacyTests;
|
||||||
|
@ -12,7 +11,7 @@ public class TimeTravelTest
|
||||||
[Test]
|
[Test]
|
||||||
public void MDATC_3_A_1_MoveIntoOwnPastForksTimeline()
|
public void MDATC_3_A_1_MoveIntoOwnPastForksTimeline()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
|
|
||||||
// Hold to move into the future, then move back into the past.
|
// Hold to move into the future, then move back into the past.
|
||||||
setup[("a", 0)]
|
setup[("a", 0)]
|
||||||
|
@ -58,7 +57,7 @@ public class TimeTravelTest
|
||||||
[Test]
|
[Test]
|
||||||
public void MDATC_3_A_2_SupportToRepelledPastMoveForksTimeline()
|
public void MDATC_3_A_2_SupportToRepelledPastMoveForksTimeline()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
|
|
||||||
// Fail to dislodge on the first turn, then support the move so it succeeds.
|
// Fail to dislodge on the first turn, then support the move so it succeeds.
|
||||||
setup[("a", 0)]
|
setup[("a", 0)]
|
||||||
|
@ -108,7 +107,7 @@ public class TimeTravelTest
|
||||||
[Test]
|
[Test]
|
||||||
public void MDATC_3_A_3_FailedMoveDoesNotForkTimeline()
|
public void MDATC_3_A_3_FailedMoveDoesNotForkTimeline()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
|
|
||||||
// Hold to create a future, then attempt to attack in the past.
|
// Hold to create a future, then attempt to attack in the past.
|
||||||
setup[("a", 0)]
|
setup[("a", 0)]
|
||||||
|
@ -148,7 +147,7 @@ public class TimeTravelTest
|
||||||
[Test]
|
[Test]
|
||||||
public void MDATC_3_A_4_SuperfluousSupportDoesNotForkTimeline()
|
public void MDATC_3_A_4_SuperfluousSupportDoesNotForkTimeline()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
|
|
||||||
// Move, then support the past move even though it succeeded already.
|
// Move, then support the past move even though it succeeded already.
|
||||||
setup[("a", 0)]
|
setup[("a", 0)]
|
||||||
|
@ -190,7 +189,7 @@ public class TimeTravelTest
|
||||||
[Test]
|
[Test]
|
||||||
public void MDATC_3_A_5_CrossTimelineSupportDoesNotForkHead()
|
public void MDATC_3_A_5_CrossTimelineSupportDoesNotForkHead()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
|
|
||||||
// London creates two timelines by moving into the past.
|
// London creates two timelines by moving into the past.
|
||||||
setup[("a", 0)]
|
setup[("a", 0)]
|
||||||
|
@ -243,7 +242,7 @@ public class TimeTravelTest
|
||||||
[Test]
|
[Test]
|
||||||
public void MDATC_3_A_6_CuttingCrossTimelineSupportDoesNotFork()
|
public void MDATC_3_A_6_CuttingCrossTimelineSupportDoesNotFork()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
|
|
||||||
// As above, only now London creates three timelines.
|
// As above, only now London creates three timelines.
|
||||||
setup[("a", 0)]
|
setup[("a", 0)]
|
||||||
|
|
|
@ -1,10 +1,9 @@
|
||||||
|
using MultiversalDiplomacy.Adjudicate;
|
||||||
using MultiversalDiplomacy.Adjudicate.Decision;
|
using MultiversalDiplomacy.Adjudicate.Decision;
|
||||||
using MultiversalDiplomacy.Model;
|
using MultiversalDiplomacy.Model;
|
||||||
|
|
||||||
using NUnit.Framework;
|
using NUnit.Framework;
|
||||||
|
|
||||||
using static MultiversalDiplomacyTests.Adjudicator;
|
|
||||||
|
|
||||||
namespace MultiversalDiplomacyTests;
|
namespace MultiversalDiplomacyTests;
|
||||||
|
|
||||||
public class MovementAdjudicatorTest
|
public class MovementAdjudicatorTest
|
||||||
|
@ -12,7 +11,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Validation_ValidHold()
|
public void Validation_ValidHold()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup["Germany"]
|
setup["Germany"]
|
||||||
.Army("Mun").Holds().GetReference(out var order);
|
.Army("Mun").Holds().GetReference(out var order);
|
||||||
|
|
||||||
|
@ -25,7 +24,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Validation_ValidMove()
|
public void Validation_ValidMove()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup["Germany"]
|
setup["Germany"]
|
||||||
.Army("Mun").MovesTo("Tyr").GetReference(out var order);
|
.Army("Mun").MovesTo("Tyr").GetReference(out var order);
|
||||||
|
|
||||||
|
@ -38,7 +37,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Validation_ValidConvoy()
|
public void Validation_ValidConvoy()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup["Germany"]
|
setup["Germany"]
|
||||||
.Fleet("Nth").Convoys.Army("Hol").To("Lon").GetReference(out var order);
|
.Fleet("Nth").Convoys.Army("Hol").To("Lon").GetReference(out var order);
|
||||||
|
|
||||||
|
@ -51,7 +50,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Validation_ValidSupportHold()
|
public void Validation_ValidSupportHold()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup["Germany"]
|
setup["Germany"]
|
||||||
.Army("Mun").Supports.Army("Kie").Hold().GetReference(out var order);
|
.Army("Mun").Supports.Army("Kie").Hold().GetReference(out var order);
|
||||||
|
|
||||||
|
@ -64,7 +63,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Validation_ValidSupportMove()
|
public void Validation_ValidSupportMove()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup["Germany"]
|
setup["Germany"]
|
||||||
.Army("Mun").Supports.Army("Kie").MoveTo("Ber").GetReference(out var order);
|
.Army("Mun").Supports.Army("Kie").MoveTo("Ber").GetReference(out var order);
|
||||||
|
|
||||||
|
@ -77,12 +76,12 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Adjudication_Hold()
|
public void Adjudication_Hold()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup["Germany"]
|
setup["Germany"]
|
||||||
.Army("Mun").Holds().GetReference(out var order);
|
.Army("Mun").Holds().GetReference(out var order);
|
||||||
|
|
||||||
setup.ValidateOrders();
|
setup.ValidateOrders();
|
||||||
setup.AdjudicateOrders(MovementPhase);
|
setup.AdjudicateOrders(MovementPhaseAdjudicator.Instance);
|
||||||
|
|
||||||
var adjMun = order.Adjudications;
|
var adjMun = order.Adjudications;
|
||||||
Assert.That(adjMun.All(adj => adj.Resolved), Is.True);
|
Assert.That(adjMun.All(adj => adj.Resolved), Is.True);
|
||||||
|
@ -97,7 +96,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Adjudication_Move()
|
public void Adjudication_Move()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup["Germany"]
|
setup["Germany"]
|
||||||
.Army("Mun").MovesTo("Tyr").GetReference(out var order);
|
.Army("Mun").MovesTo("Tyr").GetReference(out var order);
|
||||||
|
|
||||||
|
@ -123,7 +122,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Adjudication_Support()
|
public void Adjudication_Support()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup["Germany"]
|
setup["Germany"]
|
||||||
.Army("Mun").MovesTo("Tyr").GetReference(out var move)
|
.Army("Mun").MovesTo("Tyr").GetReference(out var move)
|
||||||
.Army("Boh").Supports.Army("Mun").MoveTo("Tyr").GetReference(out var support);
|
.Army("Boh").Supports.Army("Mun").MoveTo("Tyr").GetReference(out var support);
|
||||||
|
@ -157,7 +156,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Update_SingleHold()
|
public void Update_SingleHold()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup["Germany"]
|
setup["Germany"]
|
||||||
.Army("Mun").Holds().GetReference(out var mun);
|
.Army("Mun").Holds().GetReference(out var mun);
|
||||||
|
|
||||||
|
@ -184,7 +183,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Update_DoubleHold()
|
public void Update_DoubleHold()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup[("a", 0)]
|
setup[("a", 0)]
|
||||||
.GetReference(out Season s1)
|
.GetReference(out Season s1)
|
||||||
["Germany"]
|
["Germany"]
|
||||||
|
@ -234,7 +233,7 @@ public class MovementAdjudicatorTest
|
||||||
[Test]
|
[Test]
|
||||||
public void Update_DoubleMove()
|
public void Update_DoubleMove()
|
||||||
{
|
{
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup[("a", 0)]
|
setup[("a", 0)]
|
||||||
.GetReference(out Season s1)
|
.GetReference(out Season s1)
|
||||||
["Germany"]
|
["Germany"]
|
||||||
|
|
|
@ -1,10 +0,0 @@
|
||||||
using MultiversalDiplomacy.Adjudicate.Logging;
|
|
||||||
|
|
||||||
namespace MultiversalDiplomacyTests;
|
|
||||||
|
|
||||||
public class NullLogger : IAdjudicatorLogger
|
|
||||||
{
|
|
||||||
public static NullLogger Instance { get; } = new();
|
|
||||||
|
|
||||||
public void Log(int contextLevel, string message, params object[] args) {}
|
|
||||||
}
|
|
|
@ -5,7 +5,7 @@ using MultiversalDiplomacy.Orders;
|
||||||
|
|
||||||
namespace MultiversalDiplomacyTests;
|
namespace MultiversalDiplomacyTests;
|
||||||
|
|
||||||
public class OrderParserTest
|
public class RegexTest
|
||||||
{
|
{
|
||||||
private static TestCaseData Test(string order, params string[] expected)
|
private static TestCaseData Test(string order, params string[] expected)
|
||||||
=> new TestCaseData(order, expected).SetName($"{{m}}(\"{order}\")");
|
=> new TestCaseData(order, expected).SetName($"{{m}}(\"{order}\")");
|
||||||
|
@ -216,120 +216,4 @@ public class OrderParserTest
|
||||||
Assert.That(move.Location, Is.EqualTo("Tyrolia/l"));
|
Assert.That(move.Location, Is.EqualTo("Tyrolia/l"));
|
||||||
Assert.That(move.Season.Key, Is.EqualTo("a0"));
|
Assert.That(move.Season.Key, Is.EqualTo("a0"));
|
||||||
}
|
}
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void OrderDisambiguation()
|
|
||||||
{
|
|
||||||
World world = World.WithStandardMap().AddUnits("Germany A Mun");
|
|
||||||
OrderParser.TryParseOrder(world, "Germany", "Mun h", out Order? parsed);
|
|
||||||
Assert.That(parsed?.ToString(), Is.EqualTo("G A a-Munich/l@0 holds"));
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void UnitTypeDisambiguatesCoastalLocation()
|
|
||||||
{
|
|
||||||
World world = World.WithStandardMap().AddUnits("England F Nth", "Germany A Ruhr");
|
|
||||||
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "England", "North Sea - Holland", out Order? fleetOrder),
|
|
||||||
"Failed to parse fleet order");
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "Germany", "Ruhr - Holland", out Order? armyOrder),
|
|
||||||
"Failed to parse army order");
|
|
||||||
|
|
||||||
Assert.That(fleetOrder, Is.TypeOf<MoveOrder>(), "Unexpected fleet order");
|
|
||||||
Assert.That(armyOrder, Is.TypeOf<MoveOrder>(), "Unexpected army order");
|
|
||||||
Location fleetDest = world.Map.GetLocation(((MoveOrder)fleetOrder!).Location);
|
|
||||||
Location armyDest = world.Map.GetLocation(((MoveOrder)armyOrder!).Location);
|
|
||||||
|
|
||||||
Assert.That(fleetDest.ProvinceName, Is.EqualTo(armyDest.ProvinceName));
|
|
||||||
Assert.That(fleetDest.Type, Is.EqualTo(LocationType.Water), "Unexpected fleet movement location");
|
|
||||||
Assert.That(armyDest.Type, Is.EqualTo(LocationType.Land), "Unexpected army movement location");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void UnitTypeOverrulesNonsenseLocation()
|
|
||||||
{
|
|
||||||
World world = World.WithStandardMap().AddUnits("England F Nth", "Germany A Ruhr");
|
|
||||||
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "England", "F North Sea - Holland/l", out Order? fleetOrder),
|
|
||||||
"Failed to parse fleet order");
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "Germany", "A Ruhr - Holland/w", out Order? armyOrder),
|
|
||||||
"Failed to parse army order");
|
|
||||||
|
|
||||||
Assert.That(fleetOrder, Is.TypeOf<MoveOrder>(), "Unexpected fleet order");
|
|
||||||
Assert.That(armyOrder, Is.TypeOf<MoveOrder>(), "Unexpected army order");
|
|
||||||
Location fleetDest = world.Map.GetLocation(((MoveOrder)fleetOrder!).Location);
|
|
||||||
Location armyDest = world.Map.GetLocation(((MoveOrder)armyOrder!).Location);
|
|
||||||
|
|
||||||
Assert.That(fleetDest.ProvinceName, Is.EqualTo(armyDest.ProvinceName));
|
|
||||||
Assert.That(fleetDest.Type, Is.EqualTo(LocationType.Water), "Unexpected fleet movement location");
|
|
||||||
Assert.That(armyDest.Type, Is.EqualTo(LocationType.Land), "Unexpected army movement location");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void DisambiguateSingleAccessibleCoast()
|
|
||||||
{
|
|
||||||
World world = World.WithStandardMap().AddUnits("France F Gascony", "France F Marseilles");
|
|
||||||
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "France", "Gascony - Spain", out Order? northOrder),
|
|
||||||
"Failed to parse north coast order");
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "France", "Marseilles - Spain", out Order? southOrder),
|
|
||||||
"Failed to parse south coast order");
|
|
||||||
|
|
||||||
Assert.That(northOrder, Is.TypeOf<MoveOrder>(), "Unexpected north coast order");
|
|
||||||
Assert.That(southOrder, Is.TypeOf<MoveOrder>(), "Unexpected south coast order");
|
|
||||||
Location north = world.Map.GetLocation(((MoveOrder)northOrder!).Location);
|
|
||||||
Location south = world.Map.GetLocation(((MoveOrder)southOrder!).Location);
|
|
||||||
|
|
||||||
Assert.That(north.Name, Is.EqualTo("north coast"), "Unexpected disambiguation");
|
|
||||||
Assert.That(south.Name, Is.EqualTo("south coast"), "Unexpected disambiguation");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void DisambiguateMultipleAccessibleCoasts()
|
|
||||||
{
|
|
||||||
World world = World.WithStandardMap().AddUnits("France F Portugal");
|
|
||||||
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "France", "Portugal - Spain", out Order? _),
|
|
||||||
Is.False,
|
|
||||||
"Should not parse ambiguous coastal move");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void DisambiguateSupportToSingleAccessibleCoast()
|
|
||||||
{
|
|
||||||
World world = World.WithStandardMap().AddUnits("France F Gascony", "France F Marseilles");
|
|
||||||
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "France", "Gascony S Marseilles - Spain", out Order? northOrder),
|
|
||||||
"Failed to parse north coast order");
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "France", "Marseilles S Gascony - Spain", out Order? southOrder),
|
|
||||||
"Failed to parse south coast order");
|
|
||||||
|
|
||||||
Assert.That(northOrder, Is.TypeOf<SupportMoveOrder>(), "Unexpected north coast order");
|
|
||||||
Assert.That(southOrder, Is.TypeOf<SupportMoveOrder>(), "Unexpected south coast order");
|
|
||||||
Location northTarget = ((SupportMoveOrder)northOrder!).Location;
|
|
||||||
Location southTarget = ((SupportMoveOrder)southOrder!).Location;
|
|
||||||
|
|
||||||
Assert.That(northTarget.Name, Is.EqualTo("south coast"), "Unexpected disambiguation");
|
|
||||||
Assert.That(southTarget.Name, Is.EqualTo("north coast"), "Unexpected disambiguation");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void DisambiguateSupportToMultipleAccessibleCoasts()
|
|
||||||
{
|
|
||||||
World world = World.WithStandardMap().AddUnits("France F Portugal", "France F Marseilles");
|
|
||||||
|
|
||||||
Assert.That(
|
|
||||||
OrderParser.TryParseOrder(world, "France", "Marseilles S Portugal - Spain", out Order? _),
|
|
||||||
Is.False,
|
|
||||||
"Should not parse ambiguous coastal support");
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -15,9 +15,15 @@ public class ReplDriver(IScriptHandler initialHandler, bool echo = false)
|
||||||
/// </summary>
|
/// </summary>
|
||||||
bool Echo { get; } = echo;
|
bool Echo { get; } = echo;
|
||||||
|
|
||||||
|
/// <summary>
|
||||||
|
/// Input a multiline string into the repl. Call <see cref="Ready"/> or <see cref="Closed"/> at the end so the
|
||||||
|
/// statement is valid.
|
||||||
|
/// </summary>
|
||||||
|
public ReplDriver this[string input] => ExecuteAll(input);
|
||||||
|
|
||||||
public ReplDriver ExecuteAll(string multiline)
|
public ReplDriver ExecuteAll(string multiline)
|
||||||
{
|
{
|
||||||
var lines = multiline.Split('\n', StringSplitOptions.TrimEntries);
|
var lines = multiline.Split('\n', StringSplitOptions.RemoveEmptyEntries | StringSplitOptions.TrimEntries);
|
||||||
return lines.Aggregate(this, (repl, line) => repl.Execute(line));
|
return lines.Aggregate(this, (repl, line) => repl.Execute(line));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -27,22 +33,19 @@ public class ReplDriver(IScriptHandler initialHandler, bool echo = false)
|
||||||
$"Cannot execute \"{inputLine}\", handler quit. Last input was \"{LastInput}\"");
|
$"Cannot execute \"{inputLine}\", handler quit. Last input was \"{LastInput}\"");
|
||||||
if (Echo) Console.WriteLine($"{Handler.Prompt}{inputLine}");
|
if (Echo) Console.WriteLine($"{Handler.Prompt}{inputLine}");
|
||||||
|
|
||||||
var result = Handler.HandleInput(inputLine);
|
Handler = Handler.HandleInput(inputLine);
|
||||||
if (!result.Success) Assert.Fail($"Script failed at \"{inputLine}\": {result.Message}");
|
|
||||||
|
|
||||||
Handler = result.NextHandler;
|
|
||||||
LastInput = inputLine;
|
LastInput = inputLine;
|
||||||
|
|
||||||
return this;
|
return this;
|
||||||
}
|
}
|
||||||
|
|
||||||
public void AssertFails(string inputLine)
|
public void Ready()
|
||||||
{
|
{
|
||||||
if (Handler is null) throw new AssertionException(
|
Assert.That(Handler, Is.Not.Null, "Handler is closed");
|
||||||
$"Cannot execute \"{inputLine}\", handler quit. Last input was \"{LastInput}\"");
|
}
|
||||||
if (Echo) Console.WriteLine($"{Handler.Prompt}{inputLine}");
|
|
||||||
|
|
||||||
var result = Handler.HandleInput(inputLine);
|
public void Closed()
|
||||||
if (result.Success) Assert.Fail($"Expected \"{inputLine}\" to fail, but it succeeded.");
|
{
|
||||||
|
Assert.That(Handler, Is.Null, "Handler is not closed");
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -8,22 +8,17 @@ namespace MultiversalDiplomacyTests;
|
||||||
|
|
||||||
public class ReplTest
|
public class ReplTest
|
||||||
{
|
{
|
||||||
private static ReplDriver StandardRepl() => new(
|
|
||||||
new SetupScriptHandler(
|
|
||||||
(msg) => {/* discard */},
|
|
||||||
World.WithStandardMap(),
|
|
||||||
Adjudicator.MovementPhase));
|
|
||||||
|
|
||||||
[Test]
|
[Test]
|
||||||
public void SetupHandler()
|
public void SetupHandler()
|
||||||
{
|
{
|
||||||
var repl = StandardRepl();
|
SetupScriptHandler setup = new(World.WithStandardMap(), strict: true);
|
||||||
|
ReplDriver repl = new(setup);
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
repl["""
|
||||||
unit Germany A Munich
|
unit Germany A Munich
|
||||||
unit Austria Army Tyrolia
|
unit Austria Army Tyrolia
|
||||||
unit England F Lon
|
unit England F Lon
|
||||||
""");
|
"""].Ready();
|
||||||
|
|
||||||
Assert.That(repl.Handler, Is.TypeOf<SetupScriptHandler>());
|
Assert.That(repl.Handler, Is.TypeOf<SetupScriptHandler>());
|
||||||
SetupScriptHandler handler = (SetupScriptHandler)repl.Handler!;
|
SetupScriptHandler handler = (SetupScriptHandler)repl.Handler!;
|
||||||
|
@ -32,7 +27,9 @@ public class ReplTest
|
||||||
Assert.That(handler.World.GetUnitAt("Tyr"), Is.Not.Null);
|
Assert.That(handler.World.GetUnitAt("Tyr"), Is.Not.Null);
|
||||||
Assert.That(handler.World.GetUnitAt("Lon"), Is.Not.Null);
|
Assert.That(handler.World.GetUnitAt("Lon"), Is.Not.Null);
|
||||||
|
|
||||||
repl.Execute("---");
|
repl["""
|
||||||
|
---
|
||||||
|
"""].Ready();
|
||||||
|
|
||||||
Assert.That(repl.Handler, Is.TypeOf<GameScriptHandler>());
|
Assert.That(repl.Handler, Is.TypeOf<GameScriptHandler>());
|
||||||
}
|
}
|
||||||
|
@ -40,18 +37,20 @@ public class ReplTest
|
||||||
[Test]
|
[Test]
|
||||||
public void SubmitOrders()
|
public void SubmitOrders()
|
||||||
{
|
{
|
||||||
var repl = StandardRepl();
|
SetupScriptHandler setup = new(World.WithStandardMap(), strict: true);
|
||||||
|
ReplDriver repl = new ReplDriver(setup)["""
|
||||||
repl.ExecuteAll("""
|
|
||||||
unit Germany A Mun
|
unit Germany A Mun
|
||||||
unit Austria A Tyr
|
unit Austria A Tyr
|
||||||
unit England F Lon
|
unit England F Lon
|
||||||
---
|
begin
|
||||||
|
"""];
|
||||||
|
|
||||||
|
repl["""
|
||||||
Germany A Mun hold
|
Germany A Mun hold
|
||||||
Austria: Army Tyrolia - Vienna
|
Austria: Army Tyrolia - Vienna
|
||||||
England:
|
England:
|
||||||
Lon h
|
Lon h
|
||||||
""");
|
"""].Ready();
|
||||||
|
|
||||||
Assert.That(repl.Handler, Is.TypeOf<GameScriptHandler>());
|
Assert.That(repl.Handler, Is.TypeOf<GameScriptHandler>());
|
||||||
GameScriptHandler handler = (GameScriptHandler)repl.Handler!;
|
GameScriptHandler handler = (GameScriptHandler)repl.Handler!;
|
||||||
|
@ -63,214 +62,13 @@ public class ReplTest
|
||||||
|
|
||||||
World before = handler.World;
|
World before = handler.World;
|
||||||
|
|
||||||
repl.Execute("---");
|
repl["""
|
||||||
|
---
|
||||||
|
"""].Ready();
|
||||||
|
|
||||||
Assert.That(repl.Handler, Is.TypeOf<AdjudicationQueryScriptHandler>());
|
Assert.That(repl.Handler, Is.TypeOf<AdjudicationQueryScriptHandler>());
|
||||||
var newHandler = (AdjudicationQueryScriptHandler)repl.Handler!;
|
var newHandler = (AdjudicationQueryScriptHandler)repl.Handler!;
|
||||||
Assert.That(newHandler.World, Is.Not.EqualTo(before));
|
Assert.That(newHandler.World, Is.Not.EqualTo(before));
|
||||||
Assert.That(newHandler.World.Timelines.Pasts.Count, Is.EqualTo(2));
|
Assert.That(newHandler.World.Timelines.Pasts.Count, Is.EqualTo(2));
|
||||||
}
|
}
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void AssertBasic()
|
|
||||||
{
|
|
||||||
var repl = StandardRepl();
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
unit Germany A Munich
|
|
||||||
---
|
|
||||||
---
|
|
||||||
assert true
|
|
||||||
""");
|
|
||||||
|
|
||||||
repl.AssertFails("assert false");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void AssertOrderValidity()
|
|
||||||
{
|
|
||||||
var repl = StandardRepl();
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
unit Germany A Mun
|
|
||||||
---
|
|
||||||
Germany A Mun - Stp
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Order should be invalid
|
|
||||||
repl.Execute("assert order-invalid Mun");
|
|
||||||
repl.AssertFails("assert order-valid Mun");
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
---
|
|
||||||
Germany A Mun - Tyr
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Order should be valid
|
|
||||||
repl.Execute("assert order-valid Mun");
|
|
||||||
repl.AssertFails("assert order-invalid Mun");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void AssertSeasonPast()
|
|
||||||
{
|
|
||||||
var repl = StandardRepl();
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
unit England F London
|
|
||||||
---
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Expected past
|
|
||||||
repl.Execute("assert has-past a1>a0");
|
|
||||||
// Incorrect past
|
|
||||||
repl.AssertFails("assert has-past a0>a1");
|
|
||||||
repl.AssertFails("assert has-past a1>a1");
|
|
||||||
// Missing season
|
|
||||||
repl.AssertFails("assert has-past a2>a1");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void AssertHoldOrder()
|
|
||||||
{
|
|
||||||
var repl = StandardRepl();
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
unit Germany A Mun
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
repl.AssertFails("Germany A Mun - The Sun");
|
|
||||||
repl.Execute("---");
|
|
||||||
|
|
||||||
// Order is invalid
|
|
||||||
repl.Execute("assert hold-order Mun");
|
|
||||||
// order-invalid requires the order be parsable, which this isn't
|
|
||||||
repl.AssertFails("assert order-invalid Mun");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void AssertMovement()
|
|
||||||
{
|
|
||||||
var repl = StandardRepl();
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
unit Germany A Mun
|
|
||||||
unit Austria A Tyr
|
|
||||||
---
|
|
||||||
Germany Mun - Tyr
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Movement fails
|
|
||||||
repl.Execute("assert no-move Mun");
|
|
||||||
repl.AssertFails("assert moves Mun");
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
---
|
|
||||||
Germany Mun - Boh
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Movement succeeds
|
|
||||||
repl.Execute("assert moves Mun");
|
|
||||||
repl.AssertFails("assert no-move Mun");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void AssertSupportHold()
|
|
||||||
{
|
|
||||||
var repl = StandardRepl();
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
unit Germany A Mun
|
|
||||||
unit Germany A Boh
|
|
||||||
unit Austria A Tyr
|
|
||||||
---
|
|
||||||
Germany Mun s Boh
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Support is given
|
|
||||||
repl.Execute("assert support-given Mun");
|
|
||||||
repl.AssertFails("assert support-cut Mun");
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
---
|
|
||||||
Germany Mun s Boh
|
|
||||||
Austria Tyr - Mun
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Support is cut
|
|
||||||
repl.Execute("assert support-cut Mun");
|
|
||||||
repl.AssertFails("assert support-given Mun");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void AssertSupportMove()
|
|
||||||
{
|
|
||||||
var repl = StandardRepl();
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
unit Germany A Berlin
|
|
||||||
unit Germany A Bohemia
|
|
||||||
unit Austria A Tyrolia
|
|
||||||
---
|
|
||||||
Germany:
|
|
||||||
Berlin - Silesia
|
|
||||||
Bohemia s Berlin - Silesia
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Support is given
|
|
||||||
repl.Execute("assert support-given Boh");
|
|
||||||
repl.AssertFails("assert support-cut Boh");
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
---
|
|
||||||
Germany:
|
|
||||||
Silesia - Munich
|
|
||||||
Bohemia s Silesia - Munich
|
|
||||||
|
|
||||||
Austria Tyrolia - Bohemia
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Support is cut
|
|
||||||
repl.AssertFails("assert support-given Boh");
|
|
||||||
repl.Execute("assert support-cut Boh");
|
|
||||||
}
|
|
||||||
|
|
||||||
[Test]
|
|
||||||
public void AssertDislodged()
|
|
||||||
{
|
|
||||||
var repl = StandardRepl();
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
unit Germany A Mun
|
|
||||||
unit Germany A Boh
|
|
||||||
unit Austria A Tyr
|
|
||||||
---
|
|
||||||
Germany Mun - Tyr
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Move repelled
|
|
||||||
repl.Execute("assert not-dislodged Tyr");
|
|
||||||
repl.AssertFails("assert dislodged Tyr");
|
|
||||||
|
|
||||||
repl.ExecuteAll("""
|
|
||||||
---
|
|
||||||
Germany Mun - Tyr
|
|
||||||
Germany Boh s Mun - Tyr
|
|
||||||
---
|
|
||||||
""");
|
|
||||||
|
|
||||||
// Move succeeds
|
|
||||||
repl.Execute("assert dislodged Tyr");
|
|
||||||
repl.AssertFails("assert not-dislodged Tyr");
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -19,37 +19,14 @@ public class ScriptTests
|
||||||
[TestCaseSource(nameof(DatcTestCases))]
|
[TestCaseSource(nameof(DatcTestCases))]
|
||||||
public void Test_DATC(string testScriptPath)
|
public void Test_DATC(string testScriptPath)
|
||||||
{
|
{
|
||||||
|
Assert.Ignore("Script tests postponed until parsing tests are done");
|
||||||
string filename = Path.GetFileName(testScriptPath);
|
string filename = Path.GetFileName(testScriptPath);
|
||||||
int line = 0;
|
int line = 0;
|
||||||
bool expectFailure = false;
|
IScriptHandler? handler = new SetupScriptHandler(World.WithStandardMap(), strict: true);
|
||||||
|
|
||||||
IScriptHandler handler = new SetupScriptHandler(
|
|
||||||
(msg) => {/* discard */},
|
|
||||||
World.WithStandardMap(),
|
|
||||||
Adjudicator.MovementPhase);
|
|
||||||
|
|
||||||
foreach (string input in File.ReadAllLines(testScriptPath)) {
|
foreach (string input in File.ReadAllLines(testScriptPath)) {
|
||||||
line++;
|
line++;
|
||||||
|
handler = handler?.HandleInput(input);
|
||||||
// Handle test directives
|
if (handler is null) Assert.Fail($"Script {filename} quit unexpectedly at line {line}: \"{input}\"");
|
||||||
if (input == "#test:skip") {
|
|
||||||
Assert.Ignore($"Script {filename} skipped at line {line}");
|
|
||||||
}
|
|
||||||
if (input == "#test:fails") {
|
|
||||||
expectFailure = true;
|
|
||||||
continue;
|
|
||||||
}
|
|
||||||
|
|
||||||
var result = handler.HandleInput(input);
|
|
||||||
if (expectFailure && result.Success) throw new AssertionException(
|
|
||||||
$"Script {filename} expected line {line} to fail, but it succeeded");
|
|
||||||
if (!expectFailure && !result.Success) throw new AssertionException(
|
|
||||||
$"Script {filename} error at line {line}: {result.Message}");
|
|
||||||
if (result.NextHandler is null) throw new AssertionException(
|
|
||||||
$"Script {filename} quit unexpectedly at line {line}: \"{input}\"");
|
|
||||||
|
|
||||||
handler = result.NextHandler;
|
|
||||||
expectFailure = false;
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -11,4 +11,4 @@ F North Sea - Picardy
|
||||||
---
|
---
|
||||||
|
|
||||||
# Order should fail.
|
# Order should fail.
|
||||||
assert hold-order North Sea
|
assert North Sea holds
|
||||||
|
|
|
@ -1,21 +0,0 @@
|
||||||
# 6.A.10. TEST CASE, SUPPORT ON UNREACHABLE DESTINATION NOT POSSIBLE
|
|
||||||
# The destination of the move that is supported must be reachable by the supporting unit.
|
|
||||||
|
|
||||||
unit Austria A Venice
|
|
||||||
unit Italy F Rome
|
|
||||||
unit Italy A Apulia
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
Austria:
|
|
||||||
A Venice Hold
|
|
||||||
|
|
||||||
Italy:
|
|
||||||
F Rome Supports A Apulia - Venice
|
|
||||||
A Apulia - Venice
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
# The support of Rome is illegal, because Venice cannot be reached from Rome by a fleet. Venice is not dislodged.
|
|
||||||
assert hold-order Rome
|
|
||||||
assert not-dislodged Venice
|
|
|
@ -1,19 +0,0 @@
|
||||||
# 6.A.11. TEST CASE, SIMPLE BOUNCE
|
|
||||||
# Two armies bouncing on each other.
|
|
||||||
|
|
||||||
unit Austria A Vienna
|
|
||||||
unit Italy A Venice
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
Austria:
|
|
||||||
A Vienna - Tyrolia
|
|
||||||
|
|
||||||
Italy:
|
|
||||||
A Venice - Tyrolia
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
# The two units bounce.
|
|
||||||
assert no-move Vienna
|
|
||||||
assert no-move Venice
|
|
|
@ -1,24 +0,0 @@
|
||||||
# 6.A.12. TEST CASE, BOUNCE OF THREE UNITS
|
|
||||||
# If three units move to the same area, the adjudicator should not bounce the first two units and then let the third unit go to the now open area.
|
|
||||||
|
|
||||||
unit Austria A Vienna
|
|
||||||
unit Germany A Munich
|
|
||||||
unit Italy A Venice
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
Austria:
|
|
||||||
A Vienna - Tyrolia
|
|
||||||
|
|
||||||
Germany:
|
|
||||||
A Munich - Tyrolia
|
|
||||||
|
|
||||||
Italy:
|
|
||||||
A Venice - Tyrolia
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
# The three units bounce.
|
|
||||||
assert no-move Vienna
|
|
||||||
assert no-move Munich
|
|
||||||
assert no-move Venice
|
|
|
@ -6,10 +6,9 @@ unit England A Liverpool
|
||||||
---
|
---
|
||||||
|
|
||||||
England:
|
England:
|
||||||
#test:fails
|
|
||||||
A Liverpool - Irish Sea
|
A Liverpool - Irish Sea
|
||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
# Order should fail.
|
# Order should fail.
|
||||||
assert hold-order Liverpool
|
assert Liverpool holds
|
||||||
|
|
|
@ -1,15 +1,14 @@
|
||||||
# 6.A.3. TEST CASE, MOVE FLEET TO LAND
|
# 6.A.3. TEST CASE, MOVE FLEET TO LAND
|
||||||
# Check whether a fleet cannot move to land.
|
# Check whether a fleet cannot move to land.
|
||||||
|
|
||||||
unit Germany F Kiel
|
unit Germany Army Kiel
|
||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
Germany:
|
Germany:
|
||||||
#test:fails
|
|
||||||
F Kiel - Munich
|
F Kiel - Munich
|
||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
# Order should fail.
|
# Order should fail.
|
||||||
assert hold-order Kiel
|
assert Kiel holds
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
# 6.A.4. TEST CASE, MOVE TO OWN SECTOR
|
# 6.A.4. TEST CASE, MOVE TO OWN SECTOR
|
||||||
# Moving to the same sector is an illegal move (2023 rulebook, page 7, "An Army can be ordered to move into an adjacent inland or coastal province.").
|
# Moving to the same sector is an illegal move (2023 rulebook, page 7, "An Army can be ordered to move into an adjacent inland or coastal province.").
|
||||||
|
|
||||||
unit Germany F Kiel
|
unit Germany Army Kiel
|
||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
|
@ -11,4 +11,4 @@ F Kiel - Kiel
|
||||||
---
|
---
|
||||||
|
|
||||||
# Program should not crash.
|
# Program should not crash.
|
||||||
assert hold-order Kiel
|
assert Kiel holds
|
||||||
|
|
|
@ -1,9 +1,6 @@
|
||||||
# 6.A.5. TEST CASE, MOVE TO OWN SECTOR WITH CONVOY
|
# 6.A.5. TEST CASE, MOVE TO OWN SECTOR WITH CONVOY
|
||||||
# Moving to the same sector is still illegal with convoy (2023 rulebook, page 7, "Note: An Army can move across water provinces from one coastal province to another...").
|
# Moving to the same sector is still illegal with convoy (2023 rulebook, page 7, "Note: An Army can move across water provinces from one coastal province to another...").
|
||||||
|
|
||||||
# TODO convoy order parsing
|
|
||||||
#test:skip
|
|
||||||
|
|
||||||
unit England F North Sea
|
unit England F North Sea
|
||||||
unit England A Yorkshire
|
unit England A Yorkshire
|
||||||
unit England A Liverpool
|
unit England A Liverpool
|
||||||
|
@ -24,11 +21,11 @@ A Wales Supports F London - Yorkshire
|
||||||
---
|
---
|
||||||
|
|
||||||
# The move of the army in Yorkshire is illegal.
|
# The move of the army in Yorkshire is illegal.
|
||||||
assert hold-order Yorkshire
|
assert Yorkshire holds
|
||||||
# This makes the support of Liverpool also illegal and without the support, the Germans have a stronger force.
|
# This makes the support of Liverpool also illegal and without the support, the Germans have a stronger force.
|
||||||
assert hold-order North Sea
|
assert North Sea holds
|
||||||
assert hold-order Liverpool
|
assert Liverpool holds
|
||||||
assert moves London
|
assert London moves
|
||||||
# The army in London dislodges the army in Yorkshire.
|
# The army in London dislodges the army in Yorkshire.
|
||||||
assert support-given Wales
|
assert Wales supports
|
||||||
assert dislodged Yorkshire
|
assert Yorkshire dislodged
|
||||||
|
|
|
@ -13,4 +13,4 @@ F London - North Sea
|
||||||
---
|
---
|
||||||
|
|
||||||
# Order should fail.
|
# Order should fail.
|
||||||
assert hold-order London
|
assert London holds
|
||||||
|
|
|
@ -1,11 +1,8 @@
|
||||||
# 6.A.7. TEST CASE, ONLY ARMIES CAN BE CONVOYED
|
# 6.A.7. TEST CASE, ONLY ARMIES CAN BE CONVOYED
|
||||||
# A fleet cannot be convoyed.
|
# A fleet cannot be convoyed.
|
||||||
|
|
||||||
# TODO convoy order parsing
|
|
||||||
#test:skip
|
|
||||||
|
|
||||||
unit England F London
|
unit England F London
|
||||||
unit England F North Sea
|
unit England North Sea
|
||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
|
@ -16,4 +13,4 @@ F North Sea Convoys A London - Belgium
|
||||||
---
|
---
|
||||||
|
|
||||||
# Move from London to Belgium should fail.
|
# Move from London to Belgium should fail.
|
||||||
assert hold-order London
|
assert London holds
|
||||||
|
|
|
@ -1,20 +0,0 @@
|
||||||
# 6.A.8. TEST CASE, SUPPORT TO HOLD YOURSELF IS NOT POSSIBLE
|
|
||||||
# An army cannot get an additional hold power by supporting itself.
|
|
||||||
|
|
||||||
unit Italy A Venice
|
|
||||||
unit Italy A Tyrolia
|
|
||||||
unit Austria F Trieste
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
Italy:
|
|
||||||
A Venice - Trieste
|
|
||||||
A Tyrolia Supports A Venice - Trieste
|
|
||||||
|
|
||||||
Austria:
|
|
||||||
F Trieste Supports F Trieste
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
# The army in Trieste should be dislodged.
|
|
||||||
assert dislodged Trieste
|
|
|
@ -1,14 +0,0 @@
|
||||||
# 6.A.9. TEST CASE, FLEETS MUST FOLLOW COAST IF NOT ON SEA
|
|
||||||
# If two provinces are adjacent, that does not mean that a fleet can move between those two provinces. An implementation that only holds one list of adjacent provinces for each province is incorrect.
|
|
||||||
|
|
||||||
unit Italy F Rome
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
Italy:
|
|
||||||
F Rome - Venice
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
# Move fails. An army can go from Rome to Venice, but a fleet cannot.
|
|
||||||
assert hold-order Rome
|
|
|
@ -1,12 +1,11 @@
|
||||||
using System.Text.Json;
|
using System.Text.Json;
|
||||||
|
|
||||||
|
using MultiversalDiplomacy.Adjudicate;
|
||||||
using MultiversalDiplomacy.Adjudicate.Decision;
|
using MultiversalDiplomacy.Adjudicate.Decision;
|
||||||
using MultiversalDiplomacy.Model;
|
using MultiversalDiplomacy.Model;
|
||||||
|
|
||||||
using NUnit.Framework;
|
using NUnit.Framework;
|
||||||
|
|
||||||
using static MultiversalDiplomacyTests.Adjudicator;
|
|
||||||
|
|
||||||
namespace MultiversalDiplomacyTests;
|
namespace MultiversalDiplomacyTests;
|
||||||
|
|
||||||
public class SerializationTest
|
public class SerializationTest
|
||||||
|
@ -75,7 +74,7 @@ public class SerializationTest
|
||||||
public void SerializeRoundTrip_MDATC_3_A_2()
|
public void SerializeRoundTrip_MDATC_3_A_2()
|
||||||
{
|
{
|
||||||
// Set up MDATC 3.A.2
|
// Set up MDATC 3.A.2
|
||||||
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhase);
|
TestCaseBuilder setup = new(World.WithStandardMap(), MovementPhaseAdjudicator.Instance);
|
||||||
setup[("a", 0)]
|
setup[("a", 0)]
|
||||||
.GetReference(out Season s0)
|
.GetReference(out Season s0)
|
||||||
["Germany"]
|
["Germany"]
|
||||||
|
@ -108,7 +107,7 @@ public class SerializationTest
|
||||||
});
|
});
|
||||||
|
|
||||||
// Resume the test case
|
// Resume the test case
|
||||||
setup = new(reserialized, MovementPhase);
|
setup = new(reserialized, MovementPhaseAdjudicator.Instance);
|
||||||
setup[("a", 1)]
|
setup[("a", 1)]
|
||||||
["Germany"]
|
["Germany"]
|
||||||
.Army("Mun").Supports.Army("Mun", season: s0).MoveTo("Tyr").GetReference(out var mun1)
|
.Army("Mun").Supports.Army("Mun", season: s0).MoveTo("Tyr").GetReference(out var mun1)
|
||||||
|
|
Loading…
Reference in New Issue