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 — Annotations AnnotationsLiquidJava extends Java with logical predicates and object protocol specifications. This section covers the different annotations for writing specifications. @RefinementLearn about how to use refinements to specify constraints on variables, fields, parameters, and return values. @RefinementAliasLearn how to reuse common refinement predicates with aliases to keep contracts shorter and easier to maintain. @StateRefinementLearn how to model protocol-oriented object states and valid method transitions. @ExternalRefinementsForLearn how to refine external libraries that cannot be annotated directly. @GhostLearn how to track logical state that helps express and verify richer object invariants. @RefinementPredicateLearn how to declare custom ghost functions and how they relate to ghosts and states. |
| 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. |