Allow reordering example sentences

backend/FwLite/FwDataMiniLcmBridge/Api/FwDataMiniLcmApi.cs

@@ -206,7 +206,7 @@
         }
         await Cache.DoUsingNewOrCurrentUOW("Update WritingSystem",
             "Revert WritingSystem",
             async () =>
             {
                 var updateProxy = new UpdateWritingSystemProxy(lcmWritingSystem, this)
                 {
@@ -935,6 +935,30 @@
         lexEntry.SensesOS.Add(lexSense);
     }
 
+    internal void InsertExampleSentence(ILexSense lexSense, ILexExampleSentence lexExample, BetweenPosition? between = null)
+    {
+        var previousExampleId = between?.Previous;
+        var nextExampleId = between?.Next;
+
+        var previousExample = previousExampleId.HasValue ? lexSense.ExamplesOS.FirstOrDefault(s => s.Guid == previousExampleId) : null;
+        if (previousExample is not null)
+        {
+            var insertI = lexSense.ExamplesOS.IndexOf(previousExample) + 1;
+            lexSense.ExamplesOS.Insert(insertI, lexExample);
+            return;
+        }
+
+        var nextExample = nextExampleId.HasValue ? lexSense.ExamplesOS.FirstOrDefault(s => s.Guid == nextExampleId) : null;
+        if (nextExample is not null)
+        {
+            var insertI = lexSense.ExamplesOS.IndexOf(nextExample);
+            lexSense.ExamplesOS.Insert(insertI, lexExample);
+            return;
+        }
+
+        lexSense.ExamplesOS.Add(lexExample);
+    }
+
     private void ApplySenseToLexSense(Sense sense, ILexSense lexSense)
     {
         if (lexSense.MorphoSyntaxAnalysisRA.GetPartOfSpeech()?.Guid != sense.PartOfSpeechId)
@@ -1067,9 +1091,10 @@
         return Task.FromResult(lcmExampleSentence is null ? null : FromLexExampleSentence(senseId, lcmExampleSentence));
     }
 
-    internal void CreateExampleSentence(ILexSense lexSense, ExampleSentence exampleSentence)
+    internal void CreateExampleSentence(ILexSense lexSense, ExampleSentence exampleSentence, BetweenPosition? between = null)
     {
-        var lexExampleSentence = LexExampleSentenceFactory.Create(exampleSentence.Id, lexSense);
+        var lexExampleSentence = LexExampleSentenceFactory.Create(exampleSentence.Id);
+        InsertExampleSentence(lexSense, lexExampleSentence, between);
         UpdateLcmMultiString(lexExampleSentence.Example, exampleSentence.Sentence);
         var freeTranslationType = CmPossibilityRepository.GetObject(CmPossibilityTags.kguidTranFreeTranslation);
         var translation = CmTranslationFactory.Create(lexExampleSentence, freeTranslationType);
@@ -1078,7 +1103,7 @@
             lexExampleSentence.Reference.get_WritingSystem(0));
     }
 
-    public async Task<ExampleSentence> CreateExampleSentence(Guid entryId, Guid senseId, ExampleSentence exampleSentence)
+    public async Task<ExampleSentence> CreateExampleSentence(Guid entryId, Guid senseId, ExampleSentence exampleSentence, BetweenPosition? between = null)
     {
         if (exampleSentence.Id == default) exampleSentence.Id = Guid.NewGuid();
         if (!SenseRepository.TryGetObject(senseId, out var lexSense))
@@ -1087,7 +1112,7 @@
         UndoableUnitOfWorkHelper.DoUsingNewOrCurrentUOW("Create Example Sentence",
             "Remove example sentence",
             Cache.ServiceLocator.ActionHandler,
-            () => CreateExampleSentence(lexSense, exampleSentence));
+            () => CreateExampleSentence(lexSense, exampleSentence, between));
         return FromLexExampleSentence(senseId, ExampleSentenceRepository.GetObject(exampleSentence.Id));
     }
 
@@ -1124,6 +1149,28 @@
         return await GetExampleSentence(entryId, senseId, after.Id) ?? throw new NullReferenceException("unable to find example sentence with id " + after.Id);
     }
 
+    public Task MoveExampleSentence(Guid entryId, Guid senseId, Guid exampleSentenceId, BetweenPosition between)
+    {
+        if (!EntriesRepository.TryGetObject(entryId, out var lexEntry))
+            throw new InvalidOperationException("Entry not found");
+        if (!SenseRepository.TryGetObject(senseId, out var lexSense))
+            throw new InvalidOperationException("Sense not found");
+        if (!ExampleSentenceRepository.TryGetObject(exampleSentenceId, out var lexExample))
+            throw new InvalidOperationException("Example sentence not found");
+
+        ValidateOwnership(lexExample, entryId, senseId);
+
+        UndoableUnitOfWorkHelper.DoUsingNewOrCurrentUOW("Move Example sentence",
+            "Move Example sentence back",
+            Cache.ServiceLocator.ActionHandler,
+            () =>
+            {
+                // LibLCM treats an insert as a move if the example sentence is already on the sense
+                InsertExampleSentence(lexSense, lexExample, between);
+            });
+        return Task.CompletedTask;
+    }
+
     public Task DeleteExampleSentence(Guid entryId, Guid senseId, Guid exampleSentenceId)
     {
         var lexExampleSentence = ExampleSentenceRepository.GetObject(exampleSentenceId);

backend/FwLite/FwDataMiniLcmBridge/Api/UpdateProxy/UpdateSenseProxy.cs

@@ -113,15 +113,9 @@ public override required Guid Id
         }
     }
 
-    public override IList<ExampleSentence> ExampleSentences
+    public override List<ExampleSentence> ExampleSentences
     {
-        get =>
-            new UpdateListProxy<ExampleSentence>(
-                sentence => lexboxLcmApi.CreateExampleSentence(sense, sentence),
-                sentence => lexboxLcmApi.DeleteExampleSentence(sense.Owner.Guid, Id, sentence.Id),
-                i => new UpdateExampleSentenceProxy(sense.ExamplesOS[i], lexboxLcmApi),
-                sense.ExamplesOS.Count
-            );
+        get => throw new NotImplementedException();
         set => throw new NotImplementedException();
     }
 }

backend/FwLite/FwLiteProjectSync.Tests/EntrySyncTests.cs

@@ -43,7 +43,9 @@ public async Task CanSyncRandomEntries()
         var actual = await _fixture.CrdtApi.GetEntry(after.Id);
         actual.Should().NotBeNull();
         actual.Should().BeEquivalentTo(after, options => options
-            .For(e => e.Senses).Exclude(s => s.Order));
+            .For(e => e.Senses).Exclude(s => s.Order)
+            .For(e => e.Senses).For(s => s.ExampleSentences).Exclude(s => s.Order)
+            );
     }
 
     [Fact]

backend/FwLite/FwLiteProjectSync.Tests/Sena3SyncTests.cs

@@ -53,7 +53,8 @@ private void ShouldAllBeEquivalentTo(Dictionary<Guid, Entry> crdtEntries, Dictio
                     options => options
                         .For(e => e.Components).Exclude(c => c.Id)
                         .For(e => e.ComplexForms).Exclude(c => c.Id)
-                        .For(e => e.Senses).Exclude(s => s.Order),
+                        .For(e => e.Senses).Exclude(s => s.Order)
+                        .For(e => e.Senses).For(s => s.ExampleSentences).Exclude(s => s.Order),
                     $"CRDT entry {crdtEntry.Id} was synced with FwData");
             }
         }

backend/FwLite/FwLiteProjectSync.Tests/SyncTests.cs

@@ -86,6 +86,7 @@ public async Task FirstSyncJustDoesAnImport()
         crdtEntries.Should().BeEquivalentTo(fwdataEntries,
             options => options
                 .For(e => e.Senses).Exclude(s => s.Order)
+                .For(e => e.Senses).For(s => s.ExampleSentences).Exclude(s => s.Order)
                 .For(e => e.Components).Exclude(c => c.Id)
                 .For(e => e.ComplexForms).Exclude(c => c.Id));
     }
@@ -153,6 +154,7 @@ await crdtApi.CreateEntry(new Entry()
         crdtEntries.Should().BeEquivalentTo(fwdataEntries,
             options => options
                 .For(e => e.Senses).Exclude(s => s.Order)
+                .For(e => e.Senses).For(s => s.ExampleSentences).Exclude(s => s.Order)
                 .For(e => e.Components).Exclude(c => c.Id)
                 .For(e => e.ComplexForms).Exclude(c => c.Id));
     }
@@ -235,6 +237,7 @@ public async Task CreatingAComplexEntryInFwDataSyncsWithoutIssue()
         crdtEntries.Should().BeEquivalentTo(fwdataEntries,
             options => options
                 .For(e => e.Senses).Exclude(s => s.Order)
+                .For(e => e.Senses).For(s => s.ExampleSentences).Exclude(s => s.Order)
                 .For(e => e.Components).Exclude(c => c.Id)
                 .For(e => e.ComplexForms).Exclude(c => c.Id));
 
@@ -321,6 +324,7 @@ await crdtApi.CreateEntry(new Entry()
         crdtEntries.Should().BeEquivalentTo(fwdataEntries,
             options => options
                 .For(e => e.Senses).Exclude(s => s.Order)
+                .For(e => e.Senses).For(s => s.ExampleSentences).Exclude(s => s.Order)
                 .For(e => e.Components).Exclude(c => c.Id)
                 .For(e => e.ComplexForms).Exclude(c => c.Id));
     }
@@ -404,6 +408,7 @@ await crdtApi.CreateEntry(new Entry()
         crdtEntries.Should().BeEquivalentTo(fwdataEntries,
             options => options
                 .For(e => e.Senses).Exclude(s => s.Order)
+                .For(e => e.Senses).For(s => s.ExampleSentences).Exclude(s => s.Order)
                 .For(e => e.Components).Exclude(c => c.Id)
                 .For(e => e.ComplexForms).Exclude(c => c.Id));
     }
@@ -430,6 +435,7 @@ public async Task UpdatingAnEntryInEachProjectSyncsAcrossBoth()
         crdtEntries.Should().BeEquivalentTo(fwdataEntries,
             options => options
                 .For(e => e.Senses).Exclude(s => s.Order)
+                .For(e => e.Senses).For(s => s.ExampleSentences).Exclude(s => s.Order)
                 .For(e => e.Components).Exclude(c => c.Id)
                 //todo the headword should be changed
                 .For(e => e.Components).Exclude(c => c.ComponentHeadword)
@@ -501,6 +507,7 @@ public async Task AddingASenseToAnEntryInEachProjectSyncsAcrossBoth()
         crdtEntries.Should().BeEquivalentTo(fwdataEntries,
             options => options
                 .For(e => e.Senses).Exclude(s => s.Order)
+                .For(e => e.Senses).For(s => s.ExampleSentences).Exclude(s => s.Order)
                 .For(e => e.Components).Exclude(c => c.Id)
                 .For(e => e.ComplexForms).Exclude(c => c.Id));
     }

backend/FwLite/FwLiteProjectSync/DryRunMiniLcmApi.cs

@@ -252,9 +252,9 @@ public Task RemoveSemanticDomainFromSense(Guid senseId, Guid semanticDomainId)
         return api.GetExampleSentence(entryId, senseId, id);
     }
 
-    public Task<ExampleSentence> CreateExampleSentence(Guid entryId, Guid senseId, ExampleSentence exampleSentence)
+    public Task<ExampleSentence> CreateExampleSentence(Guid entryId, Guid senseId, ExampleSentence exampleSentence, BetweenPosition? position = null)
     {
-        DryRunRecords.Add(new DryRunRecord(nameof(CreateExampleSentence), $"Create example sentence {exampleSentence.Sentence}"));
+        DryRunRecords.Add(new DryRunRecord(nameof(CreateExampleSentence), $"Create example sentence {exampleSentence.Sentence} between {position?.Previous} and {position?.Next}"));
         return Task.FromResult(exampleSentence);
     }
 
@@ -278,6 +278,12 @@ public Task<ExampleSentence> UpdateExampleSentence(Guid entryId,
         return Task.FromResult(after);
     }
 
+    public Task MoveExampleSentence(Guid entryId, Guid senseId, Guid exampleId, BetweenPosition between)
+    {
+        DryRunRecords.Add(new DryRunRecord(nameof(MoveExampleSentence), $"Move example sentence {exampleId} between {between.Previous} and {between.Next}"));
+        return Task.CompletedTask;
+    }
+
     public Task DeleteExampleSentence(Guid entryId, Guid senseId, Guid exampleSentenceId)
     {
         DryRunRecords.Add(new DryRunRecord(nameof(DeleteExampleSentence), $"Delete example sentence {exampleSentenceId}"));

backend/FwLite/FwLiteShared/TypeGen/ReinforcedFwLiteTypingConfig.cs

@@ -5,6 +5,7 @@
 using LcmCrdt;
 using Microsoft.JSInterop;
 using MiniLcm;
+using MiniLcm.Attributes;
 using MiniLcm.Models;
 using Reinforced.Typings;
 using Reinforced.Typings.Ast.Dependency;
@@ -50,26 +51,25 @@ private static void ConfigureMiniLcmTypes(ConfigurationBuilder builder)
         builder.ExportAsThirdParty<MultiString>().WithName("IMultiString").Imports([
             new() { From = "$lib/dotnet-types/i-multi-string", Target = "type {IMultiString}" }
         ]);
-        builder.ExportAsInterface<Sense>().WithPublicNonStaticProperties(exportBuilder =>
-        {
-            if (exportBuilder.Member.Name == nameof(Sense.Order))
-            {
-                exportBuilder.Ignore();
-            }
-        });
         builder.ExportAsInterfaces([
                 typeof(Entry),
+                typeof(Sense),
                 typeof(ExampleSentence),
                 typeof(WritingSystem),
                 typeof(WritingSystems),
                 typeof(PartOfSpeech),
                 typeof(SemanticDomain),
                 typeof(ComplexFormType),
                 typeof(ComplexFormComponent),
-
                 typeof(MiniLcmJsInvokable.MiniLcmFeatures),
             ],
-            exportBuilder => exportBuilder.WithPublicNonStaticProperties());
+            exportBuilder => exportBuilder.WithPublicNonStaticProperties(exportBuilder =>
+        {
+            if (exportBuilder.Member.GetCustomAttribute<MiniLcmInternalAttribute>() is not null)
+            {
+                exportBuilder.Ignore();
+            }
+        }));
         builder.ExportAsEnum<WritingSystemType>().UseString();
         builder.ExportAsInterface<MiniLcmJsInvokable>()
             .FlattenHierarchy()

backend/FwLite/LcmCrdt.Tests/DataModelSnapshotTests.VerifyChangeModels.verified.txt

@@ -123,6 +123,10 @@
     {
       DerivedType: SetOrderChange<Sense>,
       TypeDiscriminator: SetOrderChange:Sense
+    },
+    {
+      DerivedType: SetOrderChange<ExampleSentence>,
+      TypeDiscriminator: SetOrderChange:ExampleSentence
     }
   ],
   IgnoreUnrecognizedTypeDiscriminators: false,

backend/FwLite/LcmCrdt.Tests/DataModelSnapshotTests.VerifyDbModel.verified.txt

@@ -117,6 +117,7 @@
     Properties: 
       Id (Guid) Required PK AfterSave:Throw ValueGenerated.OnAdd
       DeletedAt (DateTimeOffset?)
+      Order (double) Required
       Reference (string)
       SenseId (Guid) Required FK Index
       Sentence (MultiString) Required
@@ -208,7 +209,7 @@
           Relational:ColumnType: jsonb
       SnapshotId (no field, Guid?) Shadow FK Index
     Navigations: 
-      ExampleSentences (IList<ExampleSentence>) Collection ToDependent ExampleSentence
+      ExampleSentences (List<ExampleSentence>) Collection ToDependent ExampleSentence
     Keys: 
       Id PK
     Foreign keys: 

backend/FwLite/LcmCrdt/Changes/CreateExampleSentenceChange.cs

@@ -12,6 +12,7 @@ public CreateExampleSentenceChange(ExampleSentence exampleSentence, Guid senseId
     {
         exampleSentence.Id = EntityId;
         SenseId = senseId;
+        Order = exampleSentence.Order;
         Sentence = exampleSentence.Sentence;
         Translation = exampleSentence.Translation;
         Reference = exampleSentence.Reference;
@@ -24,6 +25,7 @@ private CreateExampleSentenceChange(Guid entityId, Guid senseId) : base(entityId
     }
 
     public Guid SenseId { get; init; }
+    public double Order { get; set; }
     public MultiString? Sentence { get; set; }
     public MultiString? Translation { get; set; }
     public string? Reference { get; set; }
@@ -34,6 +36,7 @@ public override async ValueTask<ExampleSentence> NewEntity(Commit commit, Change
         {
             Id = EntityId,
             SenseId = SenseId,
+            Order = Order,
             Sentence = Sentence ?? new MultiString(),
             Translation = Translation ?? new MultiString(),
             Reference = Reference,

backend/FwLite/LcmCrdt/CrdtMiniLcmApi.cs

@@ -16,7 +16,7 @@
 
 namespace LcmCrdt;
 
 public class CrdtMiniLcmApi(DataModel dataModel, CurrentProjectService projectService, LcmCrdtDbContext dbContext, MiniLcmValidators validators) : IMiniLcmApi
 {
     private Guid ClientId { get; } = projectService.ProjectData.ClientId;
     public ProjectData ProjectData => projectService.ProjectData;
@@ -343,7 +343,7 @@
         {
             yield return addComplexFormTypeChange;
         }
-        var i = 1;
+        var senseOrder = 1;
         foreach (var sense in entry.Senses)
         {
             sense.SemanticDomains = sense.SemanticDomains
@@ -357,10 +357,14 @@
             }
             if (sense.Order != default) // we don't anticipate this being necessary, so we'll be strict for now
                 throw new InvalidOperationException("Order should not be provided when creating a sense");
-            sense.Order = i++;
+            sense.Order = senseOrder++;
             yield return new CreateSenseChange(sense, entry.Id);
+            var exampleOrder = 1;
             foreach (var exampleSentence in sense.ExampleSentences)
             {
+                if (exampleSentence.Order != default) // we don't anticipate this being necessary, so we'll be strict for now
+                    throw new InvalidOperationException("Order should not be provided when creating an example sentence");
+                exampleSentence.Order = exampleOrder++;
                 yield return new CreateExampleSentenceChange(exampleSentence, sense.Id);
             }
         }
@@ -387,7 +391,7 @@
         ]);
         return await GetEntry(entry.Id) ?? throw new NullReferenceException();
 
         async IAsyncEnumerable<AddEntryComponentChange> ToComplexFormComponents(IList<ComplexFormComponent> complexFormComponents)
         {
             foreach (var complexFormComponent in complexFormComponents)
             {
@@ -479,10 +483,13 @@
         }
 
         yield return new CreateSenseChange(sense, entryId);
-        foreach (var change in sense.ExampleSentences.Select(sentence =>
-                     new CreateExampleSentenceChange(sentence, sense.Id)))
+        var exampleOrder = 1;
+        foreach (var exampleSentence in sense.ExampleSentences)
         {
-            yield return change;
+            if (exampleSentence.Order != default) // we don't anticipate this being necessary, so we'll be strict for now
+                throw new InvalidOperationException("Order should not be provided when creating an example sentence");
+            exampleSentence.Order = exampleOrder++;
+            yield return new CreateExampleSentenceChange(exampleSentence, sense.Id);
         }
     }
 
@@ -547,9 +554,14 @@
 
     public async Task<ExampleSentence> CreateExampleSentence(Guid entryId,
         Guid senseId,
-        ExampleSentence exampleSentence)
+        ExampleSentence exampleSentence,
+        BetweenPosition? between = null)
     {
         await validators.ValidateAndThrow(exampleSentence);
+        if (exampleSentence.Order != default) // we don't anticipate this being necessary, so we'll be strict for now
+            throw new InvalidOperationException("Order should not be provided when creating an example sentence");
+
+        exampleSentence.Order = await OrderPicker.PickOrder(ExampleSentences.Where(s => s.SenseId == senseId), between);
         await dataModel.AddChange(ClientId, new CreateExampleSentenceChange(exampleSentence, senseId));
         return await dataModel.GetLatest<ExampleSentence>(exampleSentence.Id) ?? throw new NullReferenceException();
     }
@@ -583,6 +595,12 @@
         return await GetExampleSentence(entryId, senseId, after.Id) ?? throw new NullReferenceException();
     }
 
+    public async Task MoveExampleSentence(Guid entryId, Guid senseId, Guid exampleId, BetweenPosition between)
+    {
+        var order = await OrderPicker.PickOrder(ExampleSentences.Where(s => s.SenseId == senseId), between);
+        await dataModel.AddChange(ClientId, new Changes.SetOrderChange<ExampleSentence>(exampleId, order));
+    }
+
     public async Task DeleteExampleSentence(Guid entryId, Guid senseId, Guid exampleSentenceId)
     {
         await dataModel.AddChange(ClientId, new DeleteChange<ExampleSentence>(exampleSentenceId));

backend/FwLite/LcmCrdt/LcmCrdtKernel.cs

@@ -199,7 +199,9 @@ public static void ConfigureCrdt(CrdtConfig config)
             .Add<RemoveComplexFormTypeChange>()
             .Add<SetComplexFormComponentChange>()
             .Add<CreateComplexFormType>()
-            .Add<Changes.SetOrderChange<Sense>>();
+            .Add<Changes.SetOrderChange<Sense>>()
+            .Add<Changes.SetOrderChange<ExampleSentence>>()
+            ;
     }
 
     public static Type[] AllChangeTypes()

backend/FwLite/LcmCrdt/QueryHelpers.cs

@@ -5,6 +5,10 @@ public static class QueryHelpers
     public static void ApplySortOrder(this Entry entry)
     {
         entry.Senses.ApplySortOrder();
+        foreach (var sense in entry.Senses)
+        {
+            sense.ExampleSentences.ApplySortOrder();
+        }
     }
 
     public static void ApplySortOrder<T>(this List<T> items) where T : IOrderable