iframe-proxy | Sunbelt Computer Software

24 lines (18 loc) · 644 Bytes

// Copyright (C) 2008-2018 Lorenzo Caminiti
// Distributed under the Boost Software License, Version 1.0 (see accompanying
// file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
// See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
// Test constructor cannot use `.precondition(...)`.
#include <boost/contract/constructor.hpp>
#include <boost/contract/check.hpp>
        boost::contract::check c = boost::contract::constructor(this)
            .precondition([] {}) // Error (must use constructor_precondition).
int main() {
    return 0;

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

pre_error.cpp

Latest commit

History

pre_error.cpp

File metadata and controls