Correction lock c#

klee-contrib · Nov 29, 2024 · 160661c · 160661c
1 parent 462994b
commit 160661c
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 4 deletions.
diff --git a/TopModel.Generator.Jpa/JpaEntityGenerator.cs b/TopModel.Generator.Jpa/JpaEntityGenerator.cs
@@ -2,7 +2,6 @@
 using TopModel.Core;
 using TopModel.Core.Model.Implementation;
 using TopModel.Generator.Core;
-using TopModel.Utils;
 
 namespace TopModel.Generator.Jpa;
 

diff --git a/TopModel.Generator.Jpa/JpaModelPropertyGenerator.cs b/TopModel.Generator.Jpa/JpaModelPropertyGenerator.cs
@@ -163,7 +163,7 @@ public void WriteProperty(JavaWriter fw, IProperty property, string tag)
         fw.WriteAnnotations(1, annotations);
         string defaultValue = GetDefaultValue(property);
         fw.AddImports(GetDefaultValueImports(property, tag));
-        fw.WriteLine(1, $"private {GetPropertyType(property)} {GetPropertyName(property)}{defaultValue};"); ;
+        fw.WriteLine(1, $"private {GetPropertyType(property)} {GetPropertyName(property)}{defaultValue};");
     }
 
     public void WriteSetter(JavaWriter fw, string tag, IProperty property, int indentLevel = 1)

diff --git a/samples/model/csharp.topmodel.lock b/samples/model/csharp.topmodel.lock
@@ -4,7 +4,7 @@
 
 version: 2.1.3
 custom:
-  ../../../TopModel.Generator.Csharp: 1f47b333bf3d8c8acce3ee5d40956cc9
+  ../../../TopModel.Generator.Csharp: 31ed4ff61fbd77556e82c0834df6afc4
 generatedFiles:
   - ../generators/csharp/src/Clients/CSharp.Clients.Db/generated/CSharpDbContext.comments.cs
   - ../generators/csharp/src/Clients/CSharp.Clients.Db/generated/CSharpDbContext.cs

diff --git a/samples/model/jpa.topmodel.lock b/samples/model/jpa.topmodel.lock
@@ -4,7 +4,7 @@
 
 version: 2.1.3
 custom:
-  ../../../TopModel.Generator.Jpa: 0335b3f662fbe0264e7b12e38b2f8b3e
+  ../../../TopModel.Generator.Jpa: 92a0e54adbe0afae0ea6eb16ff619f46
 generatedFiles:
   - ../generators/jpa/src/main/javagen/topmodel/jpa/sample/demo/api/client/securite/profil/ProfilClient.java
   - ../generators/jpa/src/main/javagen/topmodel/jpa/sample/demo/api/client/securite/utilisateur/UtilisateurClient.java