v1.3.0-alpha-1 proof, alignment and click to see diff #374
robstollAnnotations
20 errors and 8 warnings
|
build-and-test (zulu, 21, macos-latest, Java 21, zulu, macos):
task ':atrium-core:jvmApiCheck'#L1
Execution failed for task ':atrium-core:jvmApiCheck':
java.lang.IllegalStateException: API check failed for project atrium-core.
--- /Users/runner/work/atrium/atrium/atrium-core/api/main/atrium-core.api
+++ /Users/runner/work/atrium/atrium/atrium-core/build/api/main/atrium-core.api
@@ -1086,7 +1086,7 @@
}
public final class ch/tutteli/atrium/creating/proofs/builders/RowBuilder : ch/tutteli/atrium/creating/proofs/builders/impl/BaseBuilder {
- public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;)V
+ public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;Z)V
public synthetic fun build (Ljava/util/List;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun column (Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;)Lch/tutteli/atrium/reporting/reportables/Column;
public static synthetic fun column$default (Lch/tutteli/atrium/creating/proofs/builders/RowBuilder;Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Column;
@@ -1122,8 +1122,8 @@
public final fun proofExplanation (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun reportableGroup (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun representationOnlyProof (Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
- public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
- public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun simpleProof (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
public final fun text (Ljava/lang/String;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun usageHintGroup (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
@@ -1534,7 +1534,7 @@
public static fun format (Lch/tutteli/atrium/reporting/AssertionPairFormatter;Lch/tutteli/atrium/reporting/AssertionFormatterParameterObject;Lch/tutteli/atrium/reporting/translating/Translatable;Ljava/lang/Object;)V
}
-public final class ch/tutteli/atrium/reporting/AtriumError : java/lang/AssertionError {
+public final class ch/tutteli/atrium/reporting/AtriumError : org/opentest4j/AssertionFailedError {
public static final field Companion Lch/tutteli/atrium/reporting/AtriumError$Companion;
public final fun getCausingProof ()Lch/tutteli/atrium/creating/proofs/Proof;
public fun getLocalizedMessage ()Ljava/lang/String;
@@ -1555,6 +1555,11 @@
public abstract fun adjustOtherThanStacks (Ljava/lang/Throwable;)V
}
+public final class ch/tutteli/atrium/reporting/AtriumErrorJvmKt {
+ public static final fun extractActual (Lch/tutteli/atrium/creating/proofs/Proof;)Ljava/lang/Object;
+ public static final fun extractExpected (Lch/tutteli/atrium/creating/proofs/
|
|
build-and-test (zulu, 21, macos-latest, Java 21, zulu, macos)
Process completed with exit code 1.
|
|
build-and-test (temurin, 11, windows-latest, Java 11, temurin, windows)
The job was canceled because "zulu_21_macos-latest_Java" failed.
|
|
build-and-test (temurin, 11, windows-latest, Java 11, temurin, windows)
The operation was canceled.
|
|
build-and-test (liberica, 11, windows-latest, Java 11, liberica, windows)
The job was canceled because "zulu_21_macos-latest_Java" failed.
|
|
build-and-test (liberica, 11, windows-latest, Java 11, liberica, windows)
The operation was canceled.
|
|
build-and-test (temurin, 21, ubuntu-latest, Java 21, temurin, ubuntu)
The job was canceled because "zulu_21_macos-latest_Java" failed.
|
|
build-and-test (temurin, 21, ubuntu-latest, Java 21, temurin, ubuntu)
The operation was canceled.
|
|
forwardCompatibility (1.5):
task ':atrium-core:jvmApiCheck'#L1
Execution failed for task ':atrium-core:jvmApiCheck':
java.lang.IllegalStateException: API check failed for project atrium-core.
--- /home/runner/work/atrium/atrium/atrium-core/api/main/atrium-core.api
+++ /home/runner/work/atrium/atrium/atrium-core/build/api/main/atrium-core.api
@@ -1086,7 +1086,7 @@
}
public final class ch/tutteli/atrium/creating/proofs/builders/RowBuilder : ch/tutteli/atrium/creating/proofs/builders/impl/BaseBuilder {
- public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;)V
+ public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;Z)V
public synthetic fun build (Ljava/util/List;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun column (Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;)Lch/tutteli/atrium/reporting/reportables/Column;
public static synthetic fun column$default (Lch/tutteli/atrium/creating/proofs/builders/RowBuilder;Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Column;
@@ -1122,8 +1122,8 @@
public final fun proofExplanation (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun reportableGroup (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun representationOnlyProof (Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
- public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
- public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun simpleProof (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
public final fun text (Ljava/lang/String;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun usageHintGroup (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
@@ -1534,7 +1534,7 @@
public static fun format (Lch/tutteli/atrium/reporting/AssertionPairFormatter;Lch/tutteli/atrium/reporting/AssertionFormatterParameterObject;Lch/tutteli/atrium/reporting/translating/Translatable;Ljava/lang/Object;)V
}
-public final class ch/tutteli/atrium/reporting/AtriumError : java/lang/AssertionError {
+public final class ch/tutteli/atrium/reporting/AtriumError : org/opentest4j/AssertionFailedError {
public static final field Companion Lch/tutteli/atrium/reporting/AtriumError$Companion;
public final fun getCausingProof ()Lch/tutteli/atrium/creating/proofs/Proof;
public fun getLocalizedMessage ()Ljava/lang/String;
@@ -1555,6 +1555,11 @@
public abstract fun adjustOtherThanStacks (Ljava/lang/Throwable;)V
}
+public final class ch/tutteli/atrium/reporting/AtriumErrorJvmKt {
+ public static final fun extractActual (Lch/tutteli/atrium/creating/proofs/Proof;)Ljava/lang/Object;
+ public static final fun extractExpected (Lch/tutteli/atrium/creating/proofs/Pr
|
|
forwardCompatibility (1.5)
Process completed with exit code 1.
|
|
forwardCompatibility (1.6):
task ':atrium-core:jvmApiCheck'#L1
Execution failed for task ':atrium-core:jvmApiCheck':
java.lang.IllegalStateException: API check failed for project atrium-core.
--- /home/runner/work/atrium/atrium/atrium-core/api/main/atrium-core.api
+++ /home/runner/work/atrium/atrium/atrium-core/build/api/main/atrium-core.api
@@ -1086,7 +1086,7 @@
}
public final class ch/tutteli/atrium/creating/proofs/builders/RowBuilder : ch/tutteli/atrium/creating/proofs/builders/impl/BaseBuilder {
- public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;)V
+ public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;Z)V
public synthetic fun build (Ljava/util/List;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun column (Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;)Lch/tutteli/atrium/reporting/reportables/Column;
public static synthetic fun column$default (Lch/tutteli/atrium/creating/proofs/builders/RowBuilder;Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Column;
@@ -1122,8 +1122,8 @@
public final fun proofExplanation (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun reportableGroup (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun representationOnlyProof (Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
- public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
- public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun simpleProof (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
public final fun text (Ljava/lang/String;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun usageHintGroup (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
@@ -1534,7 +1534,7 @@
public static fun format (Lch/tutteli/atrium/reporting/AssertionPairFormatter;Lch/tutteli/atrium/reporting/AssertionFormatterParameterObject;Lch/tutteli/atrium/reporting/translating/Translatable;Ljava/lang/Object;)V
}
-public final class ch/tutteli/atrium/reporting/AtriumError : java/lang/AssertionError {
+public final class ch/tutteli/atrium/reporting/AtriumError : org/opentest4j/AssertionFailedError {
public static final field Companion Lch/tutteli/atrium/reporting/AtriumError$Companion;
public final fun getCausingProof ()Lch/tutteli/atrium/creating/proofs/Proof;
public fun getLocalizedMessage ()Ljava/lang/String;
@@ -1555,6 +1555,11 @@
public abstract fun adjustOtherThanStacks (Ljava/lang/Throwable;)V
}
+public final class ch/tutteli/atrium/reporting/AtriumErrorJvmKt {
+ public static final fun extractActual (Lch/tutteli/atrium/creating/proofs/Proof;)Ljava/lang/Object;
+ public static final fun extractExpected (Lch/tutteli/atrium/creating/proofs/Pr
|
|
forwardCompatibility (1.6)
Process completed with exit code 1.
|
|
forwardCompatibility (1.7):
task ':atrium-core:jvmApiCheck'#L1
Execution failed for task ':atrium-core:jvmApiCheck':
java.lang.IllegalStateException: API check failed for project atrium-core.
--- /home/runner/work/atrium/atrium/atrium-core/api/main/atrium-core.api
+++ /home/runner/work/atrium/atrium/atrium-core/build/api/main/atrium-core.api
@@ -1086,7 +1086,7 @@
}
public final class ch/tutteli/atrium/creating/proofs/builders/RowBuilder : ch/tutteli/atrium/creating/proofs/builders/impl/BaseBuilder {
- public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;)V
+ public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;Z)V
public synthetic fun build (Ljava/util/List;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun column (Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;)Lch/tutteli/atrium/reporting/reportables/Column;
public static synthetic fun column$default (Lch/tutteli/atrium/creating/proofs/builders/RowBuilder;Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Column;
@@ -1122,8 +1122,8 @@
public final fun proofExplanation (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun reportableGroup (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun representationOnlyProof (Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
- public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
- public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun simpleProof (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
public final fun text (Ljava/lang/String;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun usageHintGroup (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
@@ -1534,7 +1534,7 @@
public static fun format (Lch/tutteli/atrium/reporting/AssertionPairFormatter;Lch/tutteli/atrium/reporting/AssertionFormatterParameterObject;Lch/tutteli/atrium/reporting/translating/Translatable;Ljava/lang/Object;)V
}
-public final class ch/tutteli/atrium/reporting/AtriumError : java/lang/AssertionError {
+public final class ch/tutteli/atrium/reporting/AtriumError : org/opentest4j/AssertionFailedError {
public static final field Companion Lch/tutteli/atrium/reporting/AtriumError$Companion;
public final fun getCausingProof ()Lch/tutteli/atrium/creating/proofs/Proof;
public fun getLocalizedMessage ()Ljava/lang/String;
@@ -1555,6 +1555,11 @@
public abstract fun adjustOtherThanStacks (Ljava/lang/Throwable;)V
}
+public final class ch/tutteli/atrium/reporting/AtriumErrorJvmKt {
+ public static final fun extractActual (Lch/tutteli/atrium/creating/proofs/Proof;)Ljava/lang/Object;
+ public static final fun extractExpected (Lch/tutteli/atrium/creating/proofs/Pr
|
|
forwardCompatibility (1.7)
Process completed with exit code 1.
|
|
forwardCompatibility (1.8):
task ':atrium-core:jvmApiCheck'#L1
Execution failed for task ':atrium-core:jvmApiCheck':
java.lang.IllegalStateException: API check failed for project atrium-core.
--- /home/runner/work/atrium/atrium/atrium-core/api/main/atrium-core.api
+++ /home/runner/work/atrium/atrium/atrium-core/build/api/main/atrium-core.api
@@ -1086,7 +1086,7 @@
}
public final class ch/tutteli/atrium/creating/proofs/builders/RowBuilder : ch/tutteli/atrium/creating/proofs/builders/impl/BaseBuilder {
- public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;)V
+ public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;Z)V
public synthetic fun build (Ljava/util/List;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun column (Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;)Lch/tutteli/atrium/reporting/reportables/Column;
public static synthetic fun column$default (Lch/tutteli/atrium/creating/proofs/builders/RowBuilder;Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Column;
@@ -1122,8 +1122,8 @@
public final fun proofExplanation (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun reportableGroup (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun representationOnlyProof (Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
- public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
- public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun simpleProof (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
public final fun text (Ljava/lang/String;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun usageHintGroup (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
@@ -1534,7 +1534,7 @@
public static fun format (Lch/tutteli/atrium/reporting/AssertionPairFormatter;Lch/tutteli/atrium/reporting/AssertionFormatterParameterObject;Lch/tutteli/atrium/reporting/translating/Translatable;Ljava/lang/Object;)V
}
-public final class ch/tutteli/atrium/reporting/AtriumError : java/lang/AssertionError {
+public final class ch/tutteli/atrium/reporting/AtriumError : org/opentest4j/AssertionFailedError {
public static final field Companion Lch/tutteli/atrium/reporting/AtriumError$Companion;
public final fun getCausingProof ()Lch/tutteli/atrium/creating/proofs/Proof;
public fun getLocalizedMessage ()Ljava/lang/String;
@@ -1555,6 +1555,11 @@
public abstract fun adjustOtherThanStacks (Ljava/lang/Throwable;)V
}
+public final class ch/tutteli/atrium/reporting/AtriumErrorJvmKt {
+ public static final fun extractActual (Lch/tutteli/atrium/creating/proofs/Proof;)Ljava/lang/Object;
+ public static final fun extractExpected (Lch/tutteli/atrium/creating/proofs/Pr
|
|
forwardCompatibility (1.8)
Process completed with exit code 1.
|
|
forwardCompatibility (1.9):
task ':atrium-core:jvmApiCheck'#L1
Execution failed for task ':atrium-core:jvmApiCheck':
java.lang.IllegalStateException: API check failed for project atrium-core.
--- /home/runner/work/atrium/atrium/atrium-core/api/using-kotlin-1.9-or-newer/atrium-core.api
+++ /home/runner/work/atrium/atrium/atrium-core/build/api/using-kotlin-1.9-or-newer/atrium-core.api
@@ -1087,7 +1087,7 @@
}
public final class ch/tutteli/atrium/creating/proofs/builders/RowBuilder : ch/tutteli/atrium/creating/proofs/builders/impl/BaseBuilder {
- public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;)V
+ public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;Z)V
public synthetic fun build (Ljava/util/List;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun column (Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;)Lch/tutteli/atrium/reporting/reportables/Column;
public static synthetic fun column$default (Lch/tutteli/atrium/creating/proofs/builders/RowBuilder;Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Column;
@@ -1123,8 +1123,8 @@
public final fun proofExplanation (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun reportableGroup (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun representationOnlyProof (Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
- public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
- public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun simpleProof (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
public final fun text (Ljava/lang/String;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun usageHintGroup (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
@@ -1535,7 +1535,7 @@
public static fun format (Lch/tutteli/atrium/reporting/AssertionPairFormatter;Lch/tutteli/atrium/reporting/AssertionFormatterParameterObject;Lch/tutteli/atrium/reporting/translating/Translatable;Ljava/lang/Object;)V
}
-public final class ch/tutteli/atrium/reporting/AtriumError : java/lang/AssertionError {
+public final class ch/tutteli/atrium/reporting/AtriumError : org/opentest4j/AssertionFailedError {
public static final field Companion Lch/tutteli/atrium/reporting/AtriumError$Companion;
public final fun getCausingProof ()Lch/tutteli/atrium/creating/proofs/Proof;
public fun getLocalizedMessage ()Ljava/lang/String;
@@ -1556,6 +1556,11 @@
public abstract fun adjustOtherThanStacks (Ljava/lang/Throwable;)V
}
+public final class ch/tutteli/atrium/reporting/AtriumErrorJvmKt {
+ public static final fun extractActual (Lch/tutteli/atrium/creating/proofs/Proof;)Ljava/lang/Object;
+ public static final fun extractExpec
|
|
forwardCompatibility (1.9)
Process completed with exit code 1.
|
|
forwardCompatibility (2.0):
task ':atrium-core:jvmApiCheck'#L1
Execution failed for task ':atrium-core:jvmApiCheck':
java.lang.IllegalStateException: API check failed for project atrium-core.
--- /home/runner/work/atrium/atrium/atrium-core/api/using-kotlin-1.9-or-newer/atrium-core.api
+++ /home/runner/work/atrium/atrium/atrium-core/build/api/using-kotlin-1.9-or-newer/atrium-core.api
@@ -1087,7 +1087,7 @@
}
public final class ch/tutteli/atrium/creating/proofs/builders/RowBuilder : ch/tutteli/atrium/creating/proofs/builders/impl/BaseBuilder {
- public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;)V
+ public fun <init> (Lch/tutteli/atrium/creating/ProofContainer;Lch/tutteli/atrium/reporting/reportables/Icon;Z)V
public synthetic fun build (Ljava/util/List;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun column (Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;)Lch/tutteli/atrium/reporting/reportables/Column;
public static synthetic fun column$default (Lch/tutteli/atrium/creating/proofs/builders/RowBuilder;Lch/tutteli/atrium/reporting/reportables/InlineElement;Lch/tutteli/atrium/reporting/HorizontalAlignment;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Column;
@@ -1123,8 +1123,8 @@
public final fun proofExplanation (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun reportableGroup (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun representationOnlyProof (Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
- public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
- public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;Lkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public final fun row (Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
+ public static synthetic fun row$default (Lch/tutteli/atrium/creating/proofs/builders/impl/BaseGroupBuilder;Lch/tutteli/atrium/reporting/reportables/Icon;ZLkotlin/jvm/functions/Function1;ILjava/lang/Object;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun simpleProof (Lch/tutteli/atrium/reporting/reportables/InlineElement;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/creating/proofs/Proof;
public final fun text (Ljava/lang/String;)Lch/tutteli/atrium/reporting/reportables/Reportable;
public final fun usageHintGroup (Lkotlin/jvm/functions/Function1;)Lch/tutteli/atrium/reporting/reportables/Reportable;
@@ -1535,7 +1535,7 @@
public static fun format (Lch/tutteli/atrium/reporting/AssertionPairFormatter;Lch/tutteli/atrium/reporting/AssertionFormatterParameterObject;Lch/tutteli/atrium/reporting/translating/Translatable;Ljava/lang/Object;)V
}
-public final class ch/tutteli/atrium/reporting/AtriumError : java/lang/AssertionError {
+public final class ch/tutteli/atrium/reporting/AtriumError : org/opentest4j/AssertionFailedError {
public static final field Companion Lch/tutteli/atrium/reporting/AtriumError$Companion;
public final fun getCausingProof ()Lch/tutteli/atrium/creating/proofs/Proof;
public fun getLocalizedMessage ()Ljava/lang/String;
@@ -1556,6 +1556,11 @@
public abstract fun adjustOtherThanStacks (Ljava/lang/Throwable;)V
}
+public final class ch/tutteli/atrium/reporting/AtriumErrorJvmKt {
+ public static final fun extractActual (Lch/tutteli/atrium/creating/proofs/Proof;)Ljava/lang/Object;
+ public static final fun extractExpec
|
|
forwardCompatibility (2.0)
Process completed with exit code 1.
|
|
generate-matrix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dexer
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
forwardCompatibility (1.5)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
forwardCompatibility (1.6)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
forwardCompatibility (1.7)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
forwardCompatibility (1.8)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
forwardCompatibility (1.9)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
forwardCompatibility (2.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|