| 
 | 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.ref_send.brand.Brand<T>
T - purpose of this brandpublic class Brand<T>
An opaque, globally unique identifier.
| Method Summary | ||
|---|---|---|
| static
 | equal(P a,
           P b)Is one object equalto another? | |
| static
 | make()Constructs an instance. | |
| static
 | require(Brand<T> expected,
               Brand<T> actual)Requires that one brand is the same as another. | |
| Methods inherited from class java.lang.Object | 
|---|
| equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
| Method Detail | 
|---|
public static <T> Brand<T> make()
T - purpose of this brand
public static <P> boolean equal(P a,
                                P b)
equal to another?
P - compared object typea - object compared againstb - object compared to
true if a claims b is
         equal, else false
public static <T> void require(Brand<T> expected,
                               Brand<T> actual)
                    throws WrongBrand
T - purpose of this brandexpected - brand compared againstactual - brand compared to
WrongBrand - actual is not expected| 
 | 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.