diff --git a/godbc_prod.go b/godbc_prod.go index f3d63b2..6820394 100644 --- a/godbc_prod.go +++ b/godbc_prod.go @@ -17,68 +17,26 @@ package godbc -// InvariantSimpleTester is an interface which provides a receiver to -// test the object type InvariantSimpleTester interface { Invariant() bool } -// InvariantTester is an interface which provides not only an Invariant(), -// but also a receiver to print the structure type InvariantTester interface { InvariantSimpleTester String() string } -// Require checks that the preconditions are satisfied before -// executing the function -// -// Example Code -// -// func Divide(a, b int) int { -// godbc.Require(b != 0) -// return a/b -// } -// func Require(b bool, message ...interface{}) { } -// Ensure checks the postconditions are satisfied before returning -// to the caller. -// -// Example Code -// -// type Data struct { -// a int -// } -// -// func (*d Data) Set(a int) { -// d.a = a -// godbc.Ensure(d.a == a) -// } -// func Ensure(b bool, message ...interface{}) { } -// Check provides a simple assert func Check(b bool, message ...interface{}) { } -// InvariantSimple calls the objects Invariant() receiver to test -// the object for correctness. -// -// The caller object must provide an object that supports the -// interface InvariantSimpleTester and does not need to provide -// a String() receiver func InvariantSimple(obj InvariantSimpleTester, message ...interface{}) { } -// Invariant calls the objects Invariant() receiver to test -// the object for correctness. -// -// The caller object must provide an object that supports the -// interface InvariantTester -// -// To see an example, please take a look at the godbc_test.go func Invariant(obj InvariantTester, message ...interface{}) { }