JetBrains · Quattro8 · Sep 6, 2024 · Aug 19, 2024 · Sep 6, 2024
diff --git a/docs/cfg/buildprofiles.xml b/docs/cfg/buildprofiles.xml
@@ -1,5 +1,4 @@
 <?xml version="1.0" encoding="UTF-8"?>
-
 <!--
   ~ Lincheck
   ~
@@ -9,12 +8,11 @@
   ~ Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed
   ~ with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
   -->
-
-<buildprofiles>
-    <variables>
-        <enable-browser-edits>true</enable-browser-edits>
-        <browser-edits-url>https://github.com/Kotlin/kotlinx-lincheck/edit/master/docs/</browser-edits-url>
-        <allow-indexable-eaps>true</allow-indexable-eaps>
-    </variables>
-    <build-profile product="kl"/>
-</buildprofiles>
+<buildprofiles xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="https://resources.jetbrains.com/writerside/1.0/build-profiles.xsd">
+	<variables>
+		<enable-browser-edits>true</enable-browser-edits>
+		<browser-edits-url>https://github.com/Kotlin/kotlinx-lincheck/edit/master/docs/</browser-edits-url>
+		<allow-indexable-eaps>true</allow-indexable-eaps>
+	</variables>
+	<build-profile instance="kl"/>
+</buildprofiles>
diff --git a/docs/kl.tree b/docs/kl.tree
@@ -1,18 +1,13 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE product-profile
-        SYSTEM "https://resources.jetbrains.com/stardust/product-profile.dtd">
-
-<product-profile id="kl"
-                 name="kotlinx-lincheck"
-                 start-page="lincheck-guide.md">
-
-    <chunk include-id="lincheck">
-        <toc-element id="lincheck-guide.md"/>
-        <toc-element id="introduction.md"/>
-        <toc-element id="testing-strategies.md" toc-title="Testing strategies"/>
-        <toc-element id="operation-arguments.md"/>
-        <toc-element id="constraints.md"/>
-        <toc-element id="progress-guarantees.md"/>
-        <toc-element id="sequential-specification.md"/>
-    </chunk>
-</product-profile>
+<?xml version='1.0' encoding='utf-8'?>
+<!DOCTYPE instance-profile SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd">
+<instance-profile id="lincheck" name="kotlinx-lincheck" start-page="lincheck-guide.md">
+	<snippet id="lincheck">
+		<toc-element topic="lincheck-guide.md"/>
+		<toc-element topic="introduction.md"/>
+		<toc-element toc-title="Testing strategies" topic="testing-strategies.md"/>
+		<toc-element topic="operation-arguments.md"/>
+		<toc-element topic="constraints.md"/>
+		<toc-element topic="progress-guarantees.md"/>
+		<toc-element topic="sequential-specification.md"/>
+	</snippet>
+</instance-profile>
diff --git a/docs/project.ihp b/docs/project.ihp
diff --git a/docs/topics/constraints.md b/docs/topics/constraints.md
@@ -98,7 +98,7 @@ Note that all consuming `poll()` and `peek()` invocations are performed from a s
 
 > [Get the full code](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/MPSCQueueTest.kt).
 >
-{type="note"}
+{style="note"}
 
 ## Next step
 

diff --git a/docs/topics/introduction.md b/docs/topics/introduction.md
@@ -172,7 +172,7 @@ The updated `BasicCounterTest` class will look like this:
 
 > [Get the full code](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/BasicCounterTest.kt).
 >
-{type="note"}
+{style="note"}
 
 ## Test the Java standard library
 
@@ -254,7 +254,7 @@ The following interleaving leads to the error:
 
 > [Get the full code](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/ConcurrentLinkedDequeTest.kt).
 >
-{type="note"}
+{style="note"}
 
 ## Next step
 

diff --git a/docs/topics/operation-arguments.md b/docs/topics/operation-arguments.md
@@ -132,7 +132,7 @@ one of the values may be overwritten and lost.
 
 > [Get the full code](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/MultiMapTest.kt).
 >
-{type="note"}
+{style="note"}
 
 
 ## Next step

diff --git a/docs/topics/progress-guarantees.md b/docs/topics/progress-guarantees.md
@@ -98,7 +98,7 @@ class ConcurrentSkipListMapTest {
 >   steps while a particular operation may be stuck.
 > * **obstruction-freedom**, when any operation is completed in a bounded number of steps if all the other threads pause.
 >
-{type="tip"}
+{style="tip"}
 
 At the moment, Lincheck supports only the obstruction-freedom progress guarantees. However, most real-life liveness bugs
 add unexpected blocking code, so the obstruction-freedom check will also help with lock-free and wait-free algorithms.
@@ -107,7 +107,7 @@ add unexpected blocking code, so the obstruction-freedom check will also help wi
 > * See [another example](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/ObstructionFreedomViolationTest.kt)
 >   where the Michael-Scott queue implementation is tested for progress guarantees.
 >
-{type="note"}
+{style="note"}
 
 ## Next step
 

diff --git a/docs/topics/sequential-specification.md b/docs/topics/sequential-specification.md
@@ -5,7 +5,7 @@ by writing a straightforward sequential implementation of the testing data struc
 
 > This feature also allows you to write a single test instead of two separate sequential and concurrent tests.
 >
-{type="tip"}
+{style="tip"}
 
 To provide a sequential specification of the algorithm for verification:
 
@@ -51,4 +51,4 @@ class SequentialQueue {
 
 > Get the [full code of the examples](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/ConcurrentLinkedQueueTest.kt).
 >
-{type="note"}
+{style="note"}
diff --git a/docs/topics/testing-strategies.md b/docs/topics/testing-strategies.md
@@ -48,7 +48,7 @@ class CounterTest {
 }
 ```
 
-### How stress testing works {initial-collapse-state="collapsed"}
+### How stress testing works {initial-collapse-state="collapsed" collapsible="true"}
 
 At first, Lincheck generates a set of concurrent scenarios using the operations marked with `@Operation`. Then it launches
 native threads, synchronizing them at the beginning to guarantee that operations start simultaneously. Finally, Lincheck
@@ -93,7 +93,7 @@ class CounterTest {
 }
 ```
 
-### How model checking works {initial-collapse-state="collapsed"}
+### How model checking works {initial-collapse-state="collapsed" collapsible="true"}
 
 Most bugs in complicated concurrent algorithms can be reproduced with classic interleavings, switching the execution from
 one thread to another. Besides, model checkers for weak memory models are very complicated, 
@@ -270,7 +270,7 @@ as well as at the end.
 > * Get the [full code of these examples](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/CounterTest.kt)
 > * See more [test examples](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/StackTest.kt)
 >
-{type="note"}
+{style="note"}
 
 ## Next step
 

diff --git a/docs/writerside.cfg b/docs/writerside.cfg
@@ -0,0 +1,15 @@
+<?xml version='1.0' encoding='utf-8'?>
+<!DOCTYPE ihp SYSTEM "https://resources.jetbrains.com/writerside/1.0/ihp.dtd">
+<ihp version="2.0">
+    <!-- <categories src="c.list"/> -->
+    <module name="lincheck"/>
+    <topics dir="topics"/>
+    <images dir="images"/>
+    <vars src="v.list"/>
+    <settings>
+        <default-property element-name="toc-element" property-name="show-structure-depth" value="2"/>
+        <wrs-supernova use-version="2.1.1946-p6630"/>
+        <propbundle-cache type="file" location="file:properties/propmap-dominators.xml" enabled="true"/>
+    </settings>
+    <instance src="kl.tree" version="1.0"/>
+</ihp>