| 
 | ref_send API 2.17 defensive programming in Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.waterken.eq.SoundCheck
public final class SoundCheck
Checks invariants of the ref_send API.
| Method Summary | |
|---|---|
| static void | main(java.lang.String[] args)Executes the test. | 
| static Promise<?> | make(Eventual _)Runs a unit test. | 
| Methods inherited from class java.lang.Object | 
|---|
| equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
| Method Detail | 
|---|
public static Promise<?> make(Eventual _)
                       throws java.lang.Exception
_ - eventual operator
java.lang.Exception
public static void main(java.lang.String[] args)
                 throws java.lang.Exception
args - ignored
java.lang.Exception - test failed| 
 | ref_send API 2.17 defensive programming in Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Copyright 1998-2009 Waterken Inc. under the terms of the MIT X license.