fix static jsnames in clause collections

tuProlog · May 28, 2020 · 7b77b0d · 7b77b0d
1 parent 8906a14
commit 7b77b0d
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/ClauseMultiSet.kt b/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/ClauseMultiSet.kt
@@ -64,7 +64,7 @@ interface ClauseMultiSet : ClauseCollection {
             ReteClauseMultiSet(clauses)
 
         @JvmStatic
-        @JsName("equals")
+        @JsName("areEquals")
         fun equals(multiSet1: ClauseMultiSet, multiSet2: ClauseMultiSet): Boolean {
             return itemWiseEquals(
                 multiSet1.sortedWith(TermComparator.DefaultComparator),
@@ -73,7 +73,7 @@ interface ClauseMultiSet : ClauseCollection {
         }
 
         @JvmStatic
-        @JsName("hashCode")
+        @JsName("computeHashCode")
         fun hashCode(multiSet: ClauseMultiSet): Int {
             return itemWiseHashCode(
                 ClauseMultiSet::class,

diff --git a/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/ClauseQueue.kt b/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/ClauseQueue.kt
@@ -85,13 +85,13 @@ interface ClauseQueue : ClauseCollection {
             ReteClauseQueue(clauses)
 
         @JvmStatic
-        @JsName("equals")
+        @JsName("areEquals")
         fun equals(queue1: ClauseQueue, queue2: ClauseQueue): Boolean {
             return itemWiseEquals(queue1, queue2)
         }
 
         @JvmStatic
-        @JsName("hashCode")
+        @JsName("computeHashCode")
         fun hashCode(queue: ClauseQueue): Int {
             return itemWiseHashCode(
                 ClauseQueue::class,

diff --git a/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/MutableClauseMultiSet.kt b/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/MutableClauseMultiSet.kt
@@ -55,13 +55,13 @@ interface MutableClauseMultiSet : ClauseMultiSet {
             MutableReteClauseMultiSet(clauses)
 
         @JvmStatic
-        @JsName("equals")
+        @JsName("areEquals")
         fun equals(multiSet1: MutableClauseMultiSet, multiSet2: MutableClauseMultiSet): Boolean {
             return ClauseMultiSet.equals(multiSet1, multiSet2)
         }
 
         @JvmStatic
-        @JsName("hashCode")
+        @JsName("computeHashCode")
         fun hashCode(multiSet: MutableClauseMultiSet): Int {
             return itemWiseHashCode(
                 MutableClauseMultiSet::class,

diff --git a/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/MutableClauseQueue.kt b/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/MutableClauseQueue.kt
@@ -63,13 +63,13 @@ interface MutableClauseQueue : ClauseQueue {
             MutableReteClauseQueue(clauses)
 
         @JvmStatic
-        @JsName("equals")
+        @JsName("areEquals")
         fun equals(queue1: MutableClauseQueue, queue2: MutableClauseQueue): Boolean {
             return ClauseQueue.equals(queue1, queue2)
         }
 
         @JvmStatic
-        @JsName("hashCode")
+        @JsName("computeHashCode")
         fun hashCode(queue: MutableClauseQueue): Int {
             return itemWiseHashCode(
                 MutableClauseQueue::class,