We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 99ad676 commit 493ab57Copy full SHA for 493ab57
pages/examples/index.md
@@ -23,10 +23,10 @@ cards:
23
description: A typestate protocol for a downloader object.
24
- title: ReentrantLock
25
url: /examples/reentrant-lock/
26
- description: An external typestate refinement for java.util.concurrent.locks.ReentrantLock.
+ description: An external typestate refinement for ReentrantLock to ensure proper lock usage.
27
- title: ArrayList
28
url: /examples/arraylist/
29
- description: An external refinement for java.util.ArrayList that statically prevents out-of-bounds accesses.
+ description: An external refinement for ArrayList that statically prevents out-of-bounds accesses.
30
---
31
32
# Examples
0 commit comments