Add contract interface

Builds/VisualStudio2013/RippleD.vcxproj

@@ -1885,6 +1885,10 @@
     </ClCompile>
     <ClInclude Include="..\..\src\ripple\basics\impl\CheckLibraryVersionsImpl.h">
     </ClInclude>
+    <ClCompile Include="..\..\src\ripple\basics\impl\contract.cpp">
+      <ExcludedFromBuild Condition="'$(Configuration)|$(Platform)'=='debug|x64'">True</ExcludedFromBuild>
+      <ExcludedFromBuild Condition="'$(Configuration)|$(Platform)'=='release|x64'">True</ExcludedFromBuild>
+    </ClCompile>
     <ClCompile Include="..\..\src\ripple\basics\impl\CountedObject.cpp">
       <ExcludedFromBuild Condition="'$(Configuration)|$(Platform)'=='debug|x64'">True</ExcludedFromBuild>
       <ExcludedFromBuild Condition="'$(Configuration)|$(Platform)'=='release|x64'">True</ExcludedFromBuild>

Builds/VisualStudio2013/RippleD.vcxproj.filters

@@ -2616,6 +2616,9 @@
     <ClInclude Include="..\..\src\ripple\basics\impl\CheckLibraryVersionsImpl.h">
       <Filter>ripple\basics\impl</Filter>
     </ClInclude>
+    <ClCompile Include="..\..\src\ripple\basics\impl\contract.cpp">
+      <Filter>ripple\basics\impl</Filter>
+    </ClCompile>
     <ClCompile Include="..\..\src\ripple\basics\impl\CountedObject.cpp">
       <Filter>ripple\basics\impl</Filter>
     </ClCompile>

src/ripple/basics/contract.h

@@ -0,0 +1,64 @@
+//------------------------------------------------------------------------------
+/*
+    This file is part of rippled: https://github.com/ripple/rippled
+    Copyright (c) 2014 Ripple Labs Inc.
+
+    Permission to use, copy, modify, and/or distribute this software for any
+    purpose  with  or without fee is hereby granted, provided that the above
+    copyright notice and this permission notice appear in all copies.
+
+    THE  SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+    WITH  REGARD  TO  THIS  SOFTWARE  INCLUDING  ALL  IMPLIED  WARRANTIES  OF
+    MERCHANTABILITY  AND  FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+    ANY  SPECIAL ,  DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+    WHATSOEVER  RESULTING  FROM  LOSS  OF USE, DATA OR PROFITS, WHETHER IN AN
+    ACTION  OF  CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+    OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+*/
+//==============================================================================
+
+#ifndef RIPPLE_BASICS_CONTRACT_H_INCLUDED
+#define RIPPLE_BASICS_CONTRACT_H_INCLUDED
+
+#include <exception>
+#include <string>
+#include <utility>
+
+namespace ripple {
+
+/*  Programming By Contract
+
+    This routines are used when checking
+    preconditions, postconditions, and invariants.
+*/
+
+namespace detail {
+
+void
+accessViolation();
+
+void
+throwException(
+    std::exception_ptr ep);
+
+} // detail
+
+template <class Exception,
+    class... Args>
+void
+Throw (Args&&... args)
+{
+    throwException(
+        std::make_exception_ptr(
+            Exception(std::forward<
+                Args>(args)...)));
+}
+
+/** Called when faulty logic causes a broken invariant. */
+void
+LogicError (
+    std::string const& how);
+
+} // ripple
+
+#endif

src/ripple/basics/impl/contract.cpp

@@ -0,0 +1,52 @@
+//------------------------------------------------------------------------------
+/*
+    This file is part of rippled: https://github.com/ripple/rippled
+    Copyright (c) 2012, 2013 Ripple Labs Inc.
+
+    Permission to use, copy, modify, and/or distribute this software for any
+    purpose  with  or without fee is hereby granted, provided that the above
+    copyright notice and this permission notice appear in all copies.
+
+    THE  SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+    WITH  REGARD  TO  THIS  SOFTWARE  INCLUDING  ALL  IMPLIED  WARRANTIES  OF
+    MERCHANTABILITY  AND  FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+    ANY  SPECIAL ,  DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+    WHATSOEVER  RESULTING  FROM  LOSS  OF USE, DATA OR PROFITS, WHETHER IN AN
+    ACTION  OF  CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+    OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+*/
+//==============================================================================
+
+#include <BeastConfig.h>
+#include <ripple/basics/contract.h>
+
+namespace ripple {
+
+namespace detail {
+
+void
+accessViolation()
+{
+    // dereference memory
+    // location zero
+    int* j = 0;
+    *j++;
+}
+
+// This hook lets you do pre or post
+// processing on exceptions to suit needs.
+void
+throwException (std::exception_ptr ep)
+{
+    std::rethrow_exception(ep);
+}
+
+} // detail
+
+void
+LogicError (std::string const&)
+{
+    detail::accessViolation();
+}
+
+} // ripple

src/ripple/unity/basics.cpp

@@ -21,6 +21,7 @@
 
 #include <ripple/basics/impl/BasicConfig.cpp>
 #include <ripple/basics/impl/CheckLibraryVersions.cpp>
+#include <ripple/basics/impl/contract.cpp>
 #include <ripple/basics/impl/CountedObject.cpp>
 #include <ripple/basics/impl/Log.cpp>
 #include <ripple/basics/impl/make_SSLContext.cpp>