removing unused classes

Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>
contractautomataproject · Jun 5, 2024 · f594730 · f594730
1 parent 5966bfa
commit f594730
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 348 deletions.
diff --git a/src/main/java/io/github/contractautomata/catlib/unused/DkBricsEncoder.java b/src/main/java/io/github/contractautomata/catlib/unused/DkBricsEncoder.java
diff --git a/src/main/java/io/github/contractautomata/catlib/unused/HideNecessaryModality.java b/src/main/java/io/github/contractautomata/catlib/unused/HideNecessaryModality.java
diff --git a/src/main/java/io/github/contractautomata/catlib/unused/README b/src/main/java/io/github/contractautomata/catlib/unused/README
@@ -0,0 +1,7 @@
+version
+https://github.com/contractautomataproject/ContractAutomataLib/commit/5966bfaa1a04385993b030b15a2592c1db96d922
+
+contains the unused classes DkBricsEncoder, HideNecessaryModality and RemovePrincipalOperator, plus the test
+class for DkBricsEncoder.
+These classes have been removed because they were created whilst developing the SplittingOrchestration and
+ended up being unused, and because their presence worsen the various measures (coverage, analysis).
diff --git a/src/main/java/io/github/contractautomata/catlib/unused/RemovePrincipalOperator.java b/src/main/java/io/github/contractautomata/catlib/unused/RemovePrincipalOperator.java
diff --git a/src/test/java/it/io/github/contractautomata/catlib/encoders/ITDkBricksEncoderTest.java b/src/test/java/it/io/github/contractautomata/catlib/encoders/ITDkBricksEncoderTest.java