-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat!: create aplib.net alpha release
- Loading branch information
Showing
73 changed files
with
4,992 additions
and
1,244 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -446,3 +446,6 @@ fabric.properties | |
|
|
||
| *.iml | ||
| modules.xml | ||
|
|
||
| # JetBrains IDE files | ||
| **/.idea/ | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
5 changes: 3 additions & 2 deletions
5
Aplib.Tests/BdiAgentTests.cs → Aplib.Core.Tests/BdiAgentTests.cs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,269 @@ | ||
| using Aplib.Core.Belief.Beliefs; | ||
| using FluentAssertions; | ||
| using Moq; | ||
| using System; | ||
| using System.Collections; | ||
| using System.Collections.Generic; | ||
| using System.Linq; | ||
|
|
||
| namespace Aplib.Core.Tests.Belief; | ||
|
|
||
| /// <summary> | ||
| /// Describes a set of tests for the <see cref="Belief{TReference,TObservation}" /> class. | ||
| /// </summary> | ||
| public class BeliefTests | ||
| { | ||
| // For testing a C# bug, see `Belief_ConstructedWithAValueTypeViaAnInterface_IsRejected` | ||
| private struct MyEnumerable : IEnumerable<int> | ||
| { | ||
| private readonly int _number; | ||
|
|
||
| private const int _max = 3; | ||
|
|
||
| public MyEnumerable(int number) => _number = number; | ||
|
|
||
| public IEnumerator<int> GetEnumerator() | ||
| { | ||
| for (int i = 0; i < _max; i++) | ||
| { | ||
| yield return _number; | ||
| } | ||
| } | ||
|
|
||
| IEnumerator IEnumerable.GetEnumerator() => GetEnumerator(); | ||
| } | ||
|
|
||
| public class TestBelief : Belief<object, object> | ||
| { | ||
| public object Reference => _reference; | ||
|
|
||
| public Func<object, object> GetObservationFromReference => _getObservationFromReference; | ||
|
|
||
| public Func<bool> ShouldUpdate => _shouldUpdate; | ||
|
|
||
| public TestBelief | ||
| ( | ||
| Metadata metadata, | ||
| object reference, | ||
| Func<object, object> getObservationFromReference, | ||
| Func<bool> shouldUpdate | ||
| ) | ||
| : base(metadata, reference, getObservationFromReference, shouldUpdate) | ||
| { | ||
| } | ||
|
|
||
| public TestBelief(object reference, Func<object, object> getObservationFromReference, Func<bool> shouldUpdate) | ||
| : base(reference, getObservationFromReference, shouldUpdate) | ||
| { | ||
| } | ||
|
|
||
| public TestBelief(Metadata metadata, object reference, Func<object, object> getObservationFromReference) | ||
| : base(metadata, reference, getObservationFromReference) | ||
| { | ||
| } | ||
|
|
||
| public TestBelief(object reference, Func<object, object> getObservationFromReference) | ||
| : base(reference, getObservationFromReference) | ||
| { | ||
| } | ||
| } | ||
|
|
||
| [Fact] | ||
| public void Belief_WhenConstructed_HasExpectedData() | ||
| { | ||
| // Arrange | ||
| Metadata metadata = It.IsAny<Metadata>(); | ||
| object reference = new Mock<object>().Object; | ||
| Func<object, object> getObservationFromReference = new Mock<Func<object, object>>().Object; | ||
| Func<bool> shouldUpdate = It.IsAny<Func<bool>>(); | ||
|
|
||
| // Act | ||
| TestBelief belief = new(metadata, reference, getObservationFromReference, shouldUpdate); | ||
|
|
||
| // Assert | ||
| belief.Metadata.Should().Be(metadata); | ||
| belief.Reference.Should().Be(reference); | ||
| belief.GetObservationFromReference.Should().Be(getObservationFromReference); | ||
| ((object)belief.ShouldUpdate).Should().Be(shouldUpdate); | ||
| } | ||
|
|
||
| [Fact] | ||
| public void Belief_WithoutMetadata_HasExpectedData() | ||
| { | ||
| // Arrange | ||
| object reference = new Mock<object>().Object; | ||
| Func<object, object> getObservationFromReference = new Mock<Func<object, object>>().Object; | ||
| Func<bool> shouldUpdate = It.IsAny<Func<bool>>(); | ||
|
|
||
| // Act | ||
| TestBelief belief = new(reference, getObservationFromReference, shouldUpdate); | ||
|
|
||
| // Assert | ||
| belief.Metadata.Id.Should().NotBeEmpty(); | ||
| belief.Metadata.Name.Should().BeNull(); | ||
| belief.Metadata.Description.Should().BeNull(); | ||
| belief.Reference.Should().Be(reference); | ||
| belief.GetObservationFromReference.Should().Be(getObservationFromReference); | ||
| ((object)belief.ShouldUpdate).Should().Be(shouldUpdate); | ||
| } | ||
|
|
||
| [Fact] | ||
| public void Belief_WithoutShouldUpdate_HasExpectedData() | ||
| { | ||
| // Arrange | ||
| Metadata metadata = It.IsAny<Metadata>(); | ||
| object reference = new Mock<object>().Object; | ||
| Func<object, object> getObservationFromReference = new Mock<Func<object, object>>().Object; | ||
|
|
||
| // Act | ||
| TestBelief belief = new(metadata, reference, getObservationFromReference); | ||
|
|
||
| // Assert | ||
| belief.Metadata.Should().Be(metadata); | ||
| belief.Reference.Should().Be(reference); | ||
| belief.GetObservationFromReference.Should().Be(getObservationFromReference); | ||
| belief.ShouldUpdate().Should().BeTrue(); | ||
| } | ||
|
|
||
| [Fact] | ||
| public void Belief_WithoutMetadataWithoutShouldUpdate_HasExpectedData() | ||
| { | ||
| // Arrange | ||
| object reference = new Mock<object>().Object; | ||
| Func<object, object> getObservationFromReference = new Mock<Func<object, object>>().Object; | ||
|
|
||
| // Act | ||
| TestBelief belief = new(reference, getObservationFromReference); | ||
|
|
||
| // Assert | ||
| belief.Metadata.Id.Should().NotBeEmpty(); | ||
| belief.Metadata.Name.Should().BeNull(); | ||
| belief.Metadata.Description.Should().BeNull(); | ||
| belief.Reference.Should().Be(reference); | ||
| belief.GetObservationFromReference.Should().Be(getObservationFromReference); | ||
| belief.ShouldUpdate().Should().BeTrue(); | ||
| } | ||
|
|
||
| /// <summary> | ||
| /// Given a Belief instance, | ||
| /// When it is assigned to a variable of its observation type, | ||
| /// Then it is implicitly converted to its observation type. | ||
| /// </summary> | ||
| [Fact] | ||
| public void Belief_AssignedToObservationType_IsCorrectlyImplicitlyConvertedToObservationType() | ||
| { | ||
| // Arrange | ||
| // ReSharper disable once ConvertToConstant.Local | ||
| string def = "def"; | ||
|
|
||
| // Observation: Get the first letter. | ||
| Belief<string, char> belief = new(def, reference => reference[0]); | ||
|
|
||
| // Act, Assert | ||
| Assert.Equal(belief.Observation, belief); | ||
| } | ||
|
|
||
| /// <summary> | ||
| /// Given a reference that is actually a value type, hidden behind an interface, | ||
| /// When a new Belief is constructed from this reference, | ||
| /// The constructor throws an ArgumentException. | ||
| /// </summary> | ||
| [Fact] | ||
| public void Belief_ConstructedWithAValueTypeViaAnInterface_IsRejected() | ||
| { | ||
| // Arrange | ||
| MyEnumerable value = new(1); | ||
| const string paramName = "reference"; | ||
|
|
||
| // ReSharper disable once ConvertToLocalFunction | ||
| Action construction = () => | ||
| { | ||
| // The bug is the fact that we can get around the constraint that `TReference` should be a reference type. | ||
| _ = new Belief<IEnumerable<int>, List<int>>(value, values => values.ToList()); | ||
| }; | ||
|
|
||
| // Act, Assert | ||
| Assert.Throws<ArgumentException>(paramName, construction); | ||
| } | ||
|
|
||
| /// <summary> | ||
| /// Given a reference, | ||
| /// When a new Belief is constructed, | ||
| /// Then the observation is also initialized. | ||
| /// </summary> | ||
| [Fact] | ||
| public void Belief_DuringConstruction_UpdatesTheObservation() | ||
| { | ||
| // Arrange | ||
| // ReSharper disable once ConvertToConstant.Local | ||
| string def = "def"; | ||
|
|
||
| // Act | ||
| Belief<string, string> belief = new(def, str => str); | ||
|
|
||
| // Assert | ||
| Assert.Equal(def, belief.Observation); | ||
| } | ||
|
|
||
| /// <summary> | ||
| /// Given a Belief instance with a reference, | ||
| /// When the reference is assigned to and UpdateBelief is called, | ||
| /// Then the observation is not updated. | ||
| /// </summary> | ||
| [Fact] | ||
| public void UpdateBelief_ReferenceIsAssignedTo_DoesNotUpdateObservation() | ||
| { | ||
| // Arrange | ||
| string def = "def"; | ||
| Belief<string, string> belief = new(def, reference => reference, () => true); | ||
|
|
||
| // Act | ||
| def = "abc"; | ||
| belief.UpdateBelief(); | ||
|
|
||
| // Assert | ||
| Assert.NotEqual(def, belief.Observation); | ||
| } | ||
|
|
||
| /// <summary> | ||
| /// Given a Belief instance with an shouldUpdate condition that is not satisfied, | ||
| /// When UpdateBelief is called, | ||
| /// Then the observation is not updated. | ||
| /// </summary> | ||
| [Fact] | ||
| public void UpdateBelief_ShouldUpdateConditionIsNotSatisfied_DoesNotUpdateObservation() | ||
| { | ||
| // Arrange | ||
| List<int> list = []; | ||
| Belief<List<int>, int> belief = new(list, reference => reference.Count, () => false); | ||
|
|
||
| // Act | ||
| list.Add(420); | ||
| belief.UpdateBelief(); | ||
|
|
||
| // Assert | ||
| Assert.NotEqual(list.Count, belief); | ||
| Assert.NotEqual(list.Count, belief.Observation); | ||
| } | ||
|
|
||
| /// <summary> | ||
| /// Given a Belief instance with an shouldUpdate condition that is satisfied, | ||
| /// When UpdateBelief is called, | ||
| /// Then the observation is updated. | ||
| /// </summary> | ||
| [Fact] | ||
| public void UpdateBelief_ShouldUpdateConditionIsSatisfied_UpdatesObservation() | ||
| { | ||
| // Arrange | ||
| List<int> list = []; | ||
| Belief<List<int>, int> belief = new(list, reference => reference.Count, () => true); | ||
|
|
||
| // Act | ||
| list.Add(69); | ||
| belief.UpdateBelief(); | ||
|
|
||
| // Assert | ||
| Assert.Equal(list.Count, belief); | ||
| Assert.Equal(list.Count, belief.Observation); | ||
| } | ||
| } |
Oops, something went wrong.