GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing liquid-java.github.io — Examples ExamplesIn this section you can explore various example usages of LiquidJava, with focused code snippets to illustrate specific features and use cases. CounterA simple refinement example for ensuring a counter never decrements below zero. PaginationPlain refinements with aliases for page numbers, page sizes, and computed offsets. Media PlayerA typestate protocol for a simple media player. A typestate protocol for an Email builder API. OrderA typestate protocol for a simple order processing system. DownloaderA typestate protocol for a downloader object. ConnectionA typestate protocol with a value-dependent conditional transition. ArrayListAn external refinement for ArrayList that prevents out-of-bounds access. |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |