mirror of
https://github.com/boostorg/logic.git
synced 2025-06-25 20:11:34 +02:00
Compare commits
62 Commits
svn-branch
...
boost-1.79
Author | SHA1 | Date | |
---|---|---|---|
a5b56ff6fe | |||
61b2358066 | |||
85fd15029d | |||
7733430893 | |||
2a26a8b94d | |||
cbbc9ae994 | |||
1a0a89c5bd | |||
832731f5ab | |||
4c26c6ee3f | |||
3a9110fc34 | |||
fd021e5eb7 | |||
c305a4a1e4 | |||
82a233bee1 | |||
d76d7dc4d2 | |||
fd1146f735 | |||
b65ddb430a | |||
f890fcdf66 | |||
23cd89d4c8 | |||
bffcf0c4db | |||
5d622865d3 | |||
bab21e89b2 | |||
e824ad54e0 | |||
3233579d46 | |||
8cb4972256 | |||
45b4578110 | |||
addbcdb81a | |||
b3adfec7ff | |||
1e220fccf3 | |||
6e391684a9 | |||
e1f476eaba | |||
bf0907a227 | |||
1dab9cd10a | |||
2afd1a9ec6 | |||
95baf1910a | |||
9f9a1e7656 | |||
aede53315c | |||
31af87e6ae | |||
5ad06c7370 | |||
c053ade60f | |||
9c4577cce3 | |||
9e230b17ef | |||
62e9529e09 | |||
6c6cc7dce3 | |||
b86917fe43 | |||
987080a8c7 | |||
5aaba307a6 | |||
a582587b22 | |||
bd737d03b0 | |||
246d1ee6df | |||
58cd700623 | |||
233cfca75c | |||
951486c794 | |||
44aa483237 | |||
84313760a5 | |||
9df9f3daf6 | |||
f1d8f513bf | |||
9db33f9dcf | |||
02caed268b | |||
5749fb9ef1 | |||
03a2600bf5 | |||
9e9489c7bd | |||
73cce598c7 |
41
.drone.star
Normal file
41
.drone.star
Normal file
@ -0,0 +1,41 @@
|
||||
# Use, modification, and distribution are
|
||||
# subject to the Boost Software License, Version 1.0. (See accompanying
|
||||
# file LICENSE.txt)
|
||||
#
|
||||
# Copyright Rene Rivera 2020.
|
||||
|
||||
# For Drone CI we use the Starlark scripting language to reduce duplication.
|
||||
# As the yaml syntax for Drone CI is rather limited.
|
||||
#
|
||||
#
|
||||
globalenv={'B2_VARIANT': 'variant=release'}
|
||||
linuxglobalimage="cppalliance/droneubuntu1604:1"
|
||||
windowsglobalimage="cppalliance/dronevs2019"
|
||||
|
||||
def main(ctx):
|
||||
return [
|
||||
linux_cxx("B2_TOOLSET=gcc-4.8 B2_CXXSTD=03,11 Job 0", "g++-4.8", packages="g++-4.8", buildtype="boost", buildscript="drone", image="cppalliance/droneubuntu1404:1", environment={'B2_TOOLSET': 'gcc-4.8', 'B2_CXXSTD': '03,11', 'DRONE_JOB_UUID': 'b6589fc6ab'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=gcc-4.9 B2_CXXSTD=03,11 Job 1", "g++-4.9", packages="g++-4.9", buildtype="boost", buildscript="drone", image="cppalliance/droneubuntu1404:1", environment={'B2_TOOLSET': 'gcc-4.9', 'B2_CXXSTD': '03,11', 'DRONE_JOB_UUID': '356a192b79'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=gcc-5 B2_CXXSTD=03,11 Job 2", "g++-5", packages="g++-5", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'gcc-5', 'B2_CXXSTD': '03,11', 'DRONE_JOB_UUID': 'da4b9237ba'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=gcc-6 B2_CXXSTD=11,14 Job 3", "g++-6", packages="g++-6", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'gcc-6', 'B2_CXXSTD': '11,14', 'DRONE_JOB_UUID': '77de68daec'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=gcc-7 B2_CXXSTD=14,17 Job 4", "g++-7", packages="g++-7", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'gcc-7', 'B2_CXXSTD': '14,17', 'DRONE_JOB_UUID': '1b64538924'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=gcc-8 B2_CXXSTD=17,2a Job 5", "g++-8", packages="g++-8", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'gcc-8', 'B2_CXXSTD': '17,2a', 'DRONE_JOB_UUID': 'ac3478d69a'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=gcc-9 B2_CXXSTD=17,2a Job 6", "g++-9", packages="g++-9", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'gcc-9', 'B2_CXXSTD': '17,2a', 'DRONE_JOB_UUID': 'c1dfd96eea'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=clang-3.8 B2_CXXSTD=03,11 Job 7", "clang++-3.8", packages="clang-3.8 libstdc++-6-dev", llvm_os="xenial", llvm_ver="3.8", buildtype="boost", buildscript="drone", image="cppalliance/droneubuntu1404:1", environment={'B2_TOOLSET': 'clang-3.8', 'B2_CXXSTD': '03,11', 'DRONE_JOB_UUID': '902ba3cda1'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=clang-4.0 B2_CXXSTD=11,14 Job 8", "clang++-4.0", packages="clang-4.0 libstdc++-6-dev", llvm_os="xenial", llvm_ver="4.0", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'clang-4.0', 'B2_CXXSTD': '11,14', 'DRONE_JOB_UUID': 'fe5dbbcea5'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=clang-5.0 B2_CXXSTD=11,14 Job 9", "clang++-5.0", packages="clang-5.0 libstdc++-7-dev", llvm_os="xenial", llvm_ver="5.0", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'clang-5.0', 'B2_CXXSTD': '11,14', 'DRONE_JOB_UUID': '0ade7c2cf9'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=clang-6.0 B2_CXXSTD=14,17 Job 10", "clang++-6.0", packages="clang-6.0 libc6-dbg libc++-dev libstdc++-8-dev", llvm_os="xenial", llvm_ver="6.0", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'clang-6.0', 'B2_CXXSTD': '14,17', 'DRONE_JOB_UUID': 'b1d5781111'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=clang-7 B2_CXXSTD=17,2a Job 11", "clang++-7", packages="clang-7 libc6-dbg libc++-dev libstdc++-8-dev", llvm_os="xenial", llvm_ver="7", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'clang-7', 'B2_CXXSTD': '17,2a', 'DRONE_JOB_UUID': '17ba079149'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=clang-8 B2_CXXSTD=17,2a Job 12", "clang++-8", packages="clang-8 libc6-dbg libc++-dev libstdc++-8-dev", llvm_os="xenial", llvm_ver="8", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'clang-8', 'B2_CXXSTD': '17,2a', 'DRONE_JOB_UUID': '7b52009b64'}, globalenv=globalenv),
|
||||
linux_cxx("B2_TOOLSET=clang-6.0 B2_CXXSTD=03,11,14 Job 13", "clang++-6.0", packages="clang-6.0 libc6-dbg libc++-dev libstdc++-8-dev", llvm_os="xenial", llvm_ver="6.0", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'B2_TOOLSET': 'clang-6.0', 'B2_CXXSTD': '03,11,14', 'B2_CXXFLAGS': '-stdlib=libc++', 'DRONE_JOB_UUID': 'bd307a3ec3'}, globalenv=globalenv),
|
||||
osx_cxx("B2_TOOLSET=clang B2_CXXSTD=03,11,17 Job 14", "g++", packages="", buildtype="boost", buildscript="drone", environment={'B2_TOOLSET': 'clang', 'B2_CXXSTD': '03,11,17', 'DRONE_JOB_UUID': 'fa35e19212'}, globalenv=globalenv),
|
||||
linux_cxx("COMMENT=codecov.io B2_CXXSTD=03,11 B2_TOOLSET Job 15", "g++-8", packages="g++-8", buildtype="b5847f804b-0fcaf592f9", buildscript="drone", image=linuxglobalimage, environment={'COMMENT': 'codecov.io', 'B2_CXXSTD': '03,11', 'B2_TOOLSET': 'gcc-8', 'B2_DEFINES': 'define=BOOST_NO_STRESS_TEST=1', 'DRONE_JOB_UUID': 'f1abd67035'}, globalenv=globalenv),
|
||||
linux_cxx("COMMENT=asan B2_VARIANT=variant=debug B2_TOOL Job 16", "g++-8", packages="g++-8", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'COMMENT': 'asan', 'B2_VARIANT': 'variant=debug', 'B2_TOOLSET': 'gcc-8', 'B2_CXXSTD': '03,11,14', 'B2_CXXFLAGS': 'address-sanitizer=norecover', 'B2_DEFINES': 'define=BOOST_NO_STRESS_TEST=1', 'DRONE_EXTRA_PRIVILEGED': 'True', 'DRONE_JOB_UUID': '1574bddb75'}, globalenv=globalenv, privileged=True),
|
||||
linux_cxx("COMMENT=tsan B2_VARIANT=variant=debug B2_TOOL Job 17", "g++-8", packages="g++-8", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'COMMENT': 'tsan', 'B2_VARIANT': 'variant=debug', 'B2_TOOLSET': 'gcc-8', 'B2_CXXSTD': '03,11,14', 'B2_CXXFLAGS': 'thread-sanitizer=norecover', 'B2_DEFINES': 'define=BOOST_NO_STRESS_TEST=1', 'DRONE_JOB_UUID': '0716d9708d'}, globalenv=globalenv),
|
||||
linux_cxx("COMMENT=ubsan B2_VARIANT=variant=debug B2_TOO Job 18", "g++-8", packages="g++-8", buildtype="boost", buildscript="drone", image=linuxglobalimage, environment={'COMMENT': 'ubsan', 'B2_VARIANT': 'variant=debug', 'B2_TOOLSET': 'gcc-8', 'B2_CXXSTD': '03,11,14', 'B2_CXXFLAGS': 'undefined-sanitizer=norecover', 'B2_DEFINES': 'define=BOOST_NO_STRESS_TEST=1', 'B2_LINKFLAGS': 'linkflags=-fuse-ld=gold', 'UBSAN_OPTIONS': 'print_stacktrace=1', 'DRONE_JOB_UUID': '9e6a55b6b4'}, globalenv=globalenv),
|
||||
linux_cxx("COMMENT=valgrind B2_TOOLSET=clang-6.0 B2_CXXS Job 19", "clang++-6.0", packages="clang-6.0 libc6-dbg libc++-dev libstdc++-8-dev", llvm_os="xenial", llvm_ver="6.0", buildtype="b5847f804b-db180b7bd2", buildscript="drone", image=linuxglobalimage, environment={'COMMENT': 'valgrind', 'B2_TOOLSET': 'clang-6.0', 'B2_CXXSTD': '03,11,14', 'B2_DEFINES': 'define=BOOST_NO_STRESS_TEST=1', 'B2_VARIANT': 'variant=debug', 'B2_TESTFLAGS': 'testing.launcher=valgrind', 'VALGRIND_OPTS': '--error-exitcode=1', 'DRONE_JOB_UUID': 'b3f0c7f6bb'}, globalenv=globalenv),
|
||||
linux_cxx("COMMENT=Coverity Scan B2_TOOLSET=clang Job 20", "g++", packages="binutils-gold gdb libc6-dbg qemu-user-static", buildtype="b5847f804b-cce9827eb5", buildscript="drone", image=linuxglobalimage, environment={'COMMENT': 'Coverity Scan', 'B2_TOOLSET': 'clang', 'DRONE_JOB_UUID': '91032ad7bb'}, globalenv=globalenv),
|
||||
]
|
||||
|
||||
# from https://github.com/boostorg/boost-ci
|
||||
load("@boost_ci//ci/drone/:functions.star", "linux_cxx","windows_cxx","osx_cxx","freebsd_cxx")
|
106
.drone/drone.sh
Executable file
106
.drone/drone.sh
Executable file
@ -0,0 +1,106 @@
|
||||
#!/bin/bash
|
||||
|
||||
# Copyright 2020 Rene Rivera, Sam Darwin
|
||||
# Distributed under the Boost Software License, Version 1.0.
|
||||
# (See accompanying file LICENSE.txt or copy at http://boost.org/LICENSE_1_0.txt)
|
||||
|
||||
set -e
|
||||
export TRAVIS_BUILD_DIR=$(pwd)
|
||||
export DRONE_BUILD_DIR=$(pwd)
|
||||
export TRAVIS_BRANCH=$DRONE_BRANCH
|
||||
export VCS_COMMIT_ID=$DRONE_COMMIT
|
||||
export GIT_COMMIT=$DRONE_COMMIT
|
||||
export REPO_NAME=$DRONE_REPO
|
||||
export PATH=~/.local/bin:/usr/local/bin:$PATH
|
||||
|
||||
if [ "$DRONE_JOB_BUILDTYPE" == "boost" ]; then
|
||||
|
||||
echo '==================================> INSTALL'
|
||||
|
||||
git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
|
||||
if [ "$TRAVIS_OS_NAME" == "osx" ]; then
|
||||
unset -f cd
|
||||
fi
|
||||
|
||||
export SELF=`basename $REPO_NAME`
|
||||
export BOOST_CI_TARGET_BRANCH="$TRAVIS_BRANCH"
|
||||
export BOOST_CI_SRC_FOLDER=$(pwd)
|
||||
|
||||
. ./ci/common_install.sh
|
||||
|
||||
echo '==================================> SCRIPT'
|
||||
|
||||
cd $BOOST_ROOT/libs/$SELF
|
||||
ci/travis/build.sh
|
||||
|
||||
elif [ "$DRONE_JOB_BUILDTYPE" == "b5847f804b-0fcaf592f9" ]; then
|
||||
|
||||
echo '==================================> INSTALL'
|
||||
|
||||
git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
|
||||
if [ "$TRAVIS_OS_NAME" == "osx" ]; then
|
||||
unset -f cd
|
||||
fi
|
||||
|
||||
export SELF=`basename $REPO_NAME`
|
||||
export BOOST_CI_TARGET_BRANCH="$TRAVIS_BRANCH"
|
||||
export BOOST_CI_SRC_FOLDER=$(pwd)
|
||||
|
||||
. ./ci/common_install.sh
|
||||
|
||||
echo '==================================> SCRIPT'
|
||||
|
||||
cd $BOOST_ROOT/libs/$SELF
|
||||
ci/travis/codecov.sh
|
||||
|
||||
elif [ "$DRONE_JOB_BUILDTYPE" == "b5847f804b-db180b7bd2" ]; then
|
||||
|
||||
echo '==================================> INSTALL'
|
||||
|
||||
git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
|
||||
if [ "$TRAVIS_OS_NAME" == "osx" ]; then
|
||||
unset -f cd
|
||||
fi
|
||||
|
||||
export SELF=`basename $REPO_NAME`
|
||||
export BOOST_CI_TARGET_BRANCH="$TRAVIS_BRANCH"
|
||||
export BOOST_CI_SRC_FOLDER=$(pwd)
|
||||
|
||||
. ./ci/common_install.sh
|
||||
|
||||
echo '==================================> SCRIPT'
|
||||
|
||||
cd $BOOST_ROOT/libs/$SELF
|
||||
ci/travis/valgrind.sh
|
||||
|
||||
elif [ "$DRONE_JOB_BUILDTYPE" == "b5847f804b-cce9827eb5" ]; then
|
||||
|
||||
echo '==================================> INSTALL'
|
||||
|
||||
git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
|
||||
if [ "$TRAVIS_OS_NAME" == "osx" ]; then
|
||||
unset -f cd
|
||||
fi
|
||||
|
||||
export SELF=`basename $REPO_NAME`
|
||||
export BOOST_CI_TARGET_BRANCH="$TRAVIS_BRANCH"
|
||||
export BOOST_CI_SRC_FOLDER=$(pwd)
|
||||
|
||||
. ./ci/common_install.sh
|
||||
|
||||
echo '==================================> SCRIPT'
|
||||
|
||||
if [ -n "${COVERITY_SCAN_NOTIFICATION_EMAIL}" -a \( "$DRONE_BRANCH" = "develop" -o "$DRONE_BRANCH" = "master" \) -a "$DRONE_BUILD_EVENT" = "push" ] ; then
|
||||
cd $BOOST_ROOT/libs/$SELF
|
||||
ci/travis/coverity.sh
|
||||
fi
|
||||
|
||||
fi
|
525
.github/workflows/ci.yml
vendored
Normal file
525
.github/workflows/ci.yml
vendored
Normal file
@ -0,0 +1,525 @@
|
||||
name: GitHub Actions CI
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
push:
|
||||
branches:
|
||||
- master
|
||||
- develop
|
||||
- githubactions*
|
||||
- feature/**
|
||||
- fix/**
|
||||
- pr/**
|
||||
|
||||
env:
|
||||
B2_VARIANT: variant=release
|
||||
|
||||
jobs:
|
||||
posix:
|
||||
strategy:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
include:
|
||||
- name: "B2_TOOLSET=gcc-4.8 B2_CXXSTD=03,11 Job 0"
|
||||
buildtype: "boost"
|
||||
packages: "g++-4.8"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
container: "ubuntu:14.04"
|
||||
cxx: "g++-4.8"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
b2_toolset: "gcc-4.8"
|
||||
b2_cxxstd: "03,11"
|
||||
- name: "B2_TOOLSET=gcc-4.9 B2_CXXSTD=03,11 Job 1"
|
||||
buildtype: "boost"
|
||||
packages: "g++-4.9"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-4.9"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
b2_toolset: "gcc-4.9"
|
||||
b2_cxxstd: "03,11"
|
||||
- name: "B2_TOOLSET=gcc-5 B2_CXXSTD=03,11 Job 2"
|
||||
buildtype: "boost"
|
||||
packages: "g++-5"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-5"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
b2_toolset: "gcc-5"
|
||||
b2_cxxstd: "03,11"
|
||||
- name: "B2_TOOLSET=gcc-6 B2_CXXSTD=11,14 Job 3"
|
||||
buildtype: "boost"
|
||||
packages: "g++-6"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-6"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
b2_toolset: "gcc-6"
|
||||
b2_cxxstd: "11,14"
|
||||
- name: "B2_TOOLSET=gcc-7 B2_CXXSTD=14,17 Job 4"
|
||||
buildtype: "boost"
|
||||
packages: "g++-7"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-7"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
b2_toolset: "gcc-7"
|
||||
b2_cxxstd: "14,17"
|
||||
- name: "B2_TOOLSET=gcc-8 B2_CXXSTD=17,2a Job 5"
|
||||
buildtype: "boost"
|
||||
packages: "g++-8"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-8"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
b2_toolset: "gcc-8"
|
||||
b2_cxxstd: "17,2a"
|
||||
- name: "B2_TOOLSET=gcc-9 B2_CXXSTD=17,2a Job 6"
|
||||
buildtype: "boost"
|
||||
packages: "g++-9"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-9"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
b2_toolset: "gcc-9"
|
||||
b2_cxxstd: "17,2a"
|
||||
- name: "B2_TOOLSET=clang-3.8 B2_CXXSTD=03,11 Job 7"
|
||||
buildtype: "boost"
|
||||
packages: "clang-3.8 libstdc++-6-dev"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
container: "ubuntu:14.04"
|
||||
cxx: "clang++-3.8"
|
||||
sources: ""
|
||||
llvm_os: "xenial"
|
||||
llvm_ver: "3.8"
|
||||
b2_toolset: "clang-3.8"
|
||||
b2_cxxstd: "03,11"
|
||||
- name: "B2_TOOLSET=clang-4.0 B2_CXXSTD=11,14 Job 8"
|
||||
buildtype: "boost"
|
||||
packages: "clang-4.0 libstdc++-6-dev"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "clang++-4.0"
|
||||
sources: ""
|
||||
llvm_os: "xenial"
|
||||
llvm_ver: "4.0"
|
||||
b2_toolset: "clang-4.0"
|
||||
b2_cxxstd: "11,14"
|
||||
- name: "B2_TOOLSET=clang-5.0 B2_CXXSTD=11,14 Job 9"
|
||||
buildtype: "boost"
|
||||
packages: "clang-5.0 libstdc++-7-dev"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "clang++-5.0"
|
||||
sources: ""
|
||||
llvm_os: "xenial"
|
||||
llvm_ver: "5.0"
|
||||
b2_toolset: "clang-5.0"
|
||||
b2_cxxstd: "11,14"
|
||||
- name: "B2_TOOLSET=clang-6.0 B2_CXXSTD=14,17 Job 10"
|
||||
buildtype: "boost"
|
||||
packages: "clang-6.0 libc6-dbg libc++-dev libstdc++-8-dev"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "clang++-6.0"
|
||||
sources: ""
|
||||
llvm_os: "xenial"
|
||||
llvm_ver: "6.0"
|
||||
b2_toolset: "clang-6.0"
|
||||
b2_cxxstd: "14,17"
|
||||
- name: "B2_TOOLSET=clang-7 B2_CXXSTD=17,2a Job 11"
|
||||
buildtype: "boost"
|
||||
packages: "clang-7 libc6-dbg libc++-dev libstdc++-8-dev"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "clang++-7"
|
||||
sources: ""
|
||||
llvm_os: "xenial"
|
||||
llvm_ver: "7"
|
||||
b2_toolset: "clang-7"
|
||||
b2_cxxstd: "17,2a"
|
||||
- name: "B2_TOOLSET=clang-8 B2_CXXSTD=17,2a Job 12"
|
||||
buildtype: "boost"
|
||||
packages: "clang-8 libc6-dbg libc++-dev libstdc++-8-dev"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "clang++-8"
|
||||
sources: ""
|
||||
llvm_os: "xenial"
|
||||
llvm_ver: "8"
|
||||
b2_toolset: "clang-8"
|
||||
b2_cxxstd: "17,2a"
|
||||
- name: "B2_TOOLSET=clang-6.0 B2_CXXSTD=03,11,14 Job 13"
|
||||
buildtype: "boost"
|
||||
packages: "clang-6.0 libc6-dbg libc++-dev libstdc++-8-dev"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "clang++-6.0"
|
||||
sources: ""
|
||||
llvm_os: "xenial"
|
||||
llvm_ver: "6.0"
|
||||
b2_toolset: "clang-6.0"
|
||||
b2_cxxstd: "03,11,14"
|
||||
b2_cxxflags: "-stdlib=libc++"
|
||||
- name: "COMMENT=codecov.io B2_CXXSTD=03,11 B2_TOOLSET Job 15"
|
||||
buildtype: "b5847f804b-0fcaf592f9"
|
||||
packages: "g++-8"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-8"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
comment: "codecov.io"
|
||||
b2_cxxstd: "03,11"
|
||||
b2_toolset: "gcc-8"
|
||||
b2_defines: "define=BOOST_NO_STRESS_TEST=1"
|
||||
- name: "COMMENT=asan B2_VARIANT=variant=debug B2_TOOL Job 16"
|
||||
buildtype: "boost"
|
||||
packages: "g++-8"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-8"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
comment: "asan"
|
||||
b2_variant: "variant=debug"
|
||||
b2_toolset: "gcc-8"
|
||||
b2_cxxstd: "03,11,14"
|
||||
b2_cxxflags: "address-sanitizer=norecover"
|
||||
b2_defines: "define=BOOST_NO_STRESS_TEST=1"
|
||||
- name: "COMMENT=tsan B2_VARIANT=variant=debug B2_TOOL Job 17"
|
||||
buildtype: "boost"
|
||||
packages: "g++-8"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-8"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
comment: "tsan"
|
||||
b2_variant: "variant=debug"
|
||||
b2_toolset: "gcc-8"
|
||||
b2_cxxstd: "03,11,14"
|
||||
b2_cxxflags: "thread-sanitizer=norecover"
|
||||
b2_defines: "define=BOOST_NO_STRESS_TEST=1"
|
||||
- name: "COMMENT=ubsan B2_VARIANT=variant=debug B2_TOO Job 18"
|
||||
buildtype: "boost"
|
||||
packages: "g++-8"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++-8"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
comment: "ubsan"
|
||||
b2_variant: "variant=debug"
|
||||
b2_toolset: "gcc-8"
|
||||
b2_cxxstd: "03,11,14"
|
||||
b2_cxxflags: "undefined-sanitizer=norecover"
|
||||
b2_defines: "define=BOOST_NO_STRESS_TEST=1"
|
||||
b2_linkflags: "linkflags=-fuse-ld=gold"
|
||||
ubsan_options: "print_stacktrace=1"
|
||||
- name: "COMMENT=valgrind B2_TOOLSET=clang-6.0 B2_CXXS Job 19"
|
||||
buildtype: "b5847f804b-db180b7bd2"
|
||||
packages: "clang-6.0 libc6-dbg libc++-dev libstdc++-8-dev"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "clang++-6.0"
|
||||
sources: ""
|
||||
llvm_os: "xenial"
|
||||
llvm_ver: "6.0"
|
||||
comment: "valgrind"
|
||||
b2_toolset: "clang-6.0"
|
||||
b2_cxxstd: "03,11,14"
|
||||
b2_defines: "define=BOOST_NO_STRESS_TEST=1"
|
||||
b2_variant: "variant=debug"
|
||||
b2_testflags: "testing.launcher=valgrind"
|
||||
valgrind_opts: "--error-exitcode=1"
|
||||
- name: "COMMENT=Coverity Scan B2_TOOLSET=clang Job 20"
|
||||
buildtype: "b5847f804b-cce9827eb5"
|
||||
packages: "binutils-gold gdb libc6-dbg qemu-user-static"
|
||||
packages_to_remove: ""
|
||||
os: "ubuntu-16.04"
|
||||
cxx: "g++"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
comment: "Coverity Scan"
|
||||
b2_toolset: "clang"
|
||||
|
||||
runs-on: ${{ matrix.os }}
|
||||
container: ${{ matrix.container }}
|
||||
|
||||
steps:
|
||||
- name: Check if running in container
|
||||
if: matrix.container != ''
|
||||
run: echo "GHA_CONTAINER=${{ matrix.container }}" >> $GITHUB_ENV
|
||||
- name: If running in container, upgrade packages
|
||||
if: matrix.container != ''
|
||||
run: |
|
||||
sudo apt-get -o Acquire::Retries=3 update && DEBIAN_FRONTEND=noninteractive apt-get -y install tzdata && apt-get -o Acquire::Retries=3 install -y sudo software-properties-common wget curl apt-transport-https make apt-file sudo unzip libssl-dev build-essential autotools-dev autoconf automake g++ libc++-helpers python python-pip ruby cpio gcc-multilib g++-multilib pkgconf python3 python3-pip ccache libpython-dev
|
||||
sudo apt-add-repository ppa:git-core/ppa
|
||||
sudo apt-get -o Acquire::Retries=3 update && apt-get -o Acquire::Retries=3 -y install git
|
||||
sudo python -m pip install --upgrade pip==20.3.4
|
||||
sudo /usr/local/bin/pip install cmake
|
||||
|
||||
- uses: actions/checkout@v2
|
||||
|
||||
- name: linux
|
||||
shell: bash
|
||||
env:
|
||||
CXX: ${{ matrix.cxx }}
|
||||
SOURCES: ${{ matrix.sources }}
|
||||
LLVM_OS: ${{ matrix.llvm_os }}
|
||||
LLVM_VER: ${{ matrix.llvm_ver }}
|
||||
PACKAGES: ${{ matrix.packages }}
|
||||
PACKAGES_TO_REMOVE: ${{ matrix.packages_to_remove }}
|
||||
JOB_BUILDTYPE: ${{ matrix.buildtype }}
|
||||
B2_TOOLSET: ${{ matrix.b2_toolset }}
|
||||
B2_CXXSTD: ${{ matrix.b2_cxxstd }}
|
||||
B2_CXXFLAGS: ${{ matrix.b2_cxxflags }}
|
||||
COMMENT: ${{ matrix.comment }}
|
||||
B2_DEFINES: ${{ matrix.b2_defines }}
|
||||
B2_VARIANT: ${{ matrix.b2_variant }}
|
||||
B2_LINKFLAGS: ${{ matrix.b2_linkflags }}
|
||||
UBSAN_OPTIONS: ${{ matrix.ubsan_options }}
|
||||
B2_TESTFLAGS: ${{ matrix.b2_testflags }}
|
||||
VALGRIND_OPTS: ${{ matrix.valgrind_opts }}
|
||||
TRAVIS_BRANCH: ${{ github.base_ref }}
|
||||
TRAVIS_OS_NAME: "linux"
|
||||
run: |
|
||||
echo '==================================> SETUP'
|
||||
echo '==================================> PACKAGES'
|
||||
set -e
|
||||
if [ -n "$PACKAGES_TO_REMOVE" ]; then sudo apt-get purge -y $PACKAGES_TO_REMOVE; fi
|
||||
echo ">>>>> APT: REPO.."
|
||||
for i in {1..3}; do sudo -E apt-add-repository -y "ppa:ubuntu-toolchain-r/test" && break || sleep 2; done
|
||||
|
||||
if test -n "${LLVM_OS}" ; then
|
||||
wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
|
||||
if test -n "${LLVM_VER}" ; then
|
||||
sudo -E apt-add-repository "deb http://apt.llvm.org/${LLVM_OS}/ llvm-toolchain-${LLVM_OS}-${LLVM_VER} main"
|
||||
else
|
||||
# Snapshot (i.e. trunk) build of clang
|
||||
sudo -E apt-add-repository "deb http://apt.llvm.org/${LLVM_OS}/ llvm-toolchain-${LLVM_OS} main"
|
||||
fi
|
||||
fi
|
||||
echo ">>>>> APT: UPDATE.."
|
||||
sudo -E apt-get -o Acquire::Retries=3 update
|
||||
if test -n "${SOURCES}" ; then
|
||||
echo ">>>>> APT: INSTALL SOURCES.."
|
||||
for SOURCE in $SOURCES; do
|
||||
sudo -E apt-add-repository ppa:$SOURCE
|
||||
done
|
||||
fi
|
||||
echo ">>>>> APT: INSTALL ${PACKAGES}.."
|
||||
sudo -E DEBIAN_FRONTEND=noninteractive apt-get -o Acquire::Retries=3 -y --no-install-suggests --no-install-recommends install ${PACKAGES}
|
||||
|
||||
echo '==================================> INSTALL AND COMPILE'
|
||||
set -e
|
||||
export TRAVIS_BUILD_DIR=$(pwd)
|
||||
export TRAVIS_BRANCH=${TRAVIS_BRANCH:-$(echo $GITHUB_REF | awk 'BEGIN { FS = "/" } ; { print $3 }')}
|
||||
export VCS_COMMIT_ID=$GITHUB_SHA
|
||||
export GIT_COMMIT=$GITHUB_SHA
|
||||
export REPO_NAME=$(basename $GITHUB_REPOSITORY)
|
||||
export USER=$(whoami)
|
||||
export CC=${CC:-gcc}
|
||||
export PATH=~/.local/bin:/usr/local/bin:$PATH
|
||||
|
||||
if [ "$JOB_BUILDTYPE" == "boost" ]; then
|
||||
|
||||
echo '==================================> INSTALL'
|
||||
|
||||
git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
|
||||
if [ "$TRAVIS_OS_NAME" == "osx" ]; then
|
||||
unset -f cd
|
||||
fi
|
||||
|
||||
export SELF=`basename $REPO_NAME`
|
||||
export BOOST_CI_TARGET_BRANCH="$TRAVIS_BRANCH"
|
||||
export BOOST_CI_SRC_FOLDER=$(pwd)
|
||||
|
||||
. ./ci/common_install.sh
|
||||
|
||||
echo '==================================> SCRIPT'
|
||||
|
||||
cd $BOOST_ROOT/libs/$SELF
|
||||
ci/travis/build.sh
|
||||
|
||||
elif [ "$JOB_BUILDTYPE" == "b5847f804b-0fcaf592f9" ]; then
|
||||
|
||||
echo '==================================> INSTALL'
|
||||
|
||||
git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
|
||||
if [ "$TRAVIS_OS_NAME" == "osx" ]; then
|
||||
unset -f cd
|
||||
fi
|
||||
|
||||
export SELF=`basename $REPO_NAME`
|
||||
export BOOST_CI_TARGET_BRANCH="$TRAVIS_BRANCH"
|
||||
export BOOST_CI_SRC_FOLDER=$(pwd)
|
||||
|
||||
. ./ci/common_install.sh
|
||||
|
||||
echo '==================================> SCRIPT'
|
||||
|
||||
cd $BOOST_ROOT/libs/$SELF
|
||||
ci/travis/codecov.sh
|
||||
|
||||
elif [ "$JOB_BUILDTYPE" == "b5847f804b-db180b7bd2" ]; then
|
||||
|
||||
echo '==================================> INSTALL'
|
||||
|
||||
git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
|
||||
if [ "$TRAVIS_OS_NAME" == "osx" ]; then
|
||||
unset -f cd
|
||||
fi
|
||||
|
||||
export SELF=`basename $REPO_NAME`
|
||||
export BOOST_CI_TARGET_BRANCH="$TRAVIS_BRANCH"
|
||||
export BOOST_CI_SRC_FOLDER=$(pwd)
|
||||
|
||||
. ./ci/common_install.sh
|
||||
|
||||
echo '==================================> SCRIPT'
|
||||
|
||||
cd $BOOST_ROOT/libs/$SELF
|
||||
ci/travis/valgrind.sh
|
||||
|
||||
elif [ "$JOB_BUILDTYPE" == "b5847f804b-cce9827eb5" ]; then
|
||||
|
||||
echo '==================================> INSTALL'
|
||||
|
||||
git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
|
||||
if [ "$TRAVIS_OS_NAME" == "osx" ]; then
|
||||
unset -f cd
|
||||
fi
|
||||
|
||||
export SELF=`basename $REPO_NAME`
|
||||
export BOOST_CI_TARGET_BRANCH="$TRAVIS_BRANCH"
|
||||
export BOOST_CI_SRC_FOLDER=$(pwd)
|
||||
|
||||
. ./ci/common_install.sh
|
||||
|
||||
echo '==================================> SCRIPT'
|
||||
|
||||
if [ -n "${COVERITY_SCAN_NOTIFICATION_EMAIL}" -a \( "$TRAVIS_BRANCH" = "develop" -o "$TRAVIS_BRANCH" = "master" \) -a \("$GITHUB_EVENT_NAME" = "push" -o "$GITHUB_EVENT_NAME" = "cron" \) ] ; then
|
||||
cd $BOOST_ROOT/libs/$SELF
|
||||
ci/travis/coverity.sh
|
||||
fi
|
||||
|
||||
fi
|
||||
osx:
|
||||
strategy:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
include:
|
||||
- name: "B2_TOOLSET=clang B2_CXXSTD=03,11,17 Job 14"
|
||||
buildtype: "boost"
|
||||
packages: ""
|
||||
os: "macos-10.15"
|
||||
cxx: "g++"
|
||||
sources: ""
|
||||
llvm_os: ""
|
||||
llvm_ver: ""
|
||||
xcode_version: 11.7
|
||||
b2_toolset: "clang"
|
||||
b2_cxxstd: "03,11,17"
|
||||
|
||||
runs-on: ${{ matrix.os }}
|
||||
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
|
||||
- name: Set DEVELOPER_DIR
|
||||
if: matrix.xcode_version != ''
|
||||
run: echo "DEVELOPER_DIR=/Applications/Xcode_${{ matrix.xcode_version }}.app/Contents/Developer" >> $GITHUB_ENV
|
||||
- name: Test DEVELOPER_DIR
|
||||
run: echo $DEVELOPER_DIR
|
||||
|
||||
- name: "osx"
|
||||
shell: bash
|
||||
env:
|
||||
CXX: ${{ matrix.cxx }}
|
||||
SOURCES: ${{ matrix.sources }}
|
||||
LLVM_OS: ${{ matrix.llvm_os }}
|
||||
LLVM_VER: ${{ matrix.llvm_ver }}
|
||||
PACKAGES: ${{ matrix.packages }}
|
||||
JOB_BUILDTYPE: ${{ matrix.buildtype }}
|
||||
B2_TOOLSET: ${{ matrix.b2_toolset }}
|
||||
B2_CXXSTD: ${{ matrix.b2_cxxstd }}
|
||||
B2_CXXFLAGS: ${{ matrix.b2_cxxflags }}
|
||||
COMMENT: ${{ matrix.comment }}
|
||||
B2_DEFINES: ${{ matrix.b2_defines }}
|
||||
B2_VARIANT: ${{ matrix.b2_variant }}
|
||||
B2_LINKFLAGS: ${{ matrix.b2_linkflags }}
|
||||
UBSAN_OPTIONS: ${{ matrix.ubsan_options }}
|
||||
B2_TESTFLAGS: ${{ matrix.b2_testflags }}
|
||||
VALGRIND_OPTS: ${{ matrix.valgrind_opts }}
|
||||
TRAVIS_BRANCH: ${{ github.base_ref }}
|
||||
TRAVIS_OS_NAME: "osx"
|
||||
run: |
|
||||
echo '==================================> SETUP'
|
||||
set -e
|
||||
sudo mv /Library/Developer/CommandLineTools /Library/Developer/CommandLineTools.bck
|
||||
echo '==================================> PACKAGES'
|
||||
echo '==================================> INSTALL AND COMPILE'
|
||||
set -e
|
||||
export TRAVIS_BUILD_DIR=$(pwd)
|
||||
export TRAVIS_BRANCH=${TRAVIS_BRANCH:-$(echo $GITHUB_REF | awk 'BEGIN { FS = "/" } ; { print $3 }')}
|
||||
export VCS_COMMIT_ID=$GITHUB_SHA
|
||||
export GIT_COMMIT=$GITHUB_SHA
|
||||
export REPO_NAME=$(basename $GITHUB_REPOSITORY)
|
||||
export USER=$(whoami)
|
||||
export CC=${CC:-gcc}
|
||||
export PATH=~/.local/bin:/usr/local/bin:$PATH
|
||||
|
||||
if [ "$JOB_BUILDTYPE" == "boost" ]; then
|
||||
|
||||
echo '==================================> INSTALL'
|
||||
|
||||
git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
|
||||
if [ "$TRAVIS_OS_NAME" == "osx" ]; then
|
||||
unset -f cd
|
||||
fi
|
||||
|
||||
export SELF=`basename $REPO_NAME`
|
||||
export BOOST_CI_TARGET_BRANCH="$TRAVIS_BRANCH"
|
||||
export BOOST_CI_SRC_FOLDER=$(pwd)
|
||||
|
||||
. ./ci/common_install.sh
|
||||
|
||||
echo '==================================> SCRIPT'
|
||||
|
||||
cd $BOOST_ROOT/libs/$SELF
|
||||
ci/travis/build.sh
|
||||
|
||||
fi
|
235
.travis.yml
Normal file
235
.travis.yml
Normal file
@ -0,0 +1,235 @@
|
||||
# Copyright 2016 Peter Dimov
|
||||
# Copyright 2017 - 2019 James E. King III
|
||||
# Distributed under the Boost Software License, Version 1.0.
|
||||
# (See accompanying file LICENSE_1_0.txt or copy at http://boost.org/LICENSE_1_0.txt)
|
||||
|
||||
#
|
||||
# Generic Travis CI build script for boostorg repositories
|
||||
# See: https://github.com/boostorg/boost-ci
|
||||
#
|
||||
# Instructions for customizing this script for your library:
|
||||
#
|
||||
# 1. Customize the compilers and language levels you want in the 'jobs'.
|
||||
# 2. If you have more than include/, src/, test/, example/, examples/, or
|
||||
# tools/ directories, modify your Travis CI project and add the environment
|
||||
# variable DEPINST. For example if your build uses code in "bench/" and
|
||||
# "fog/" directories, then set DEPINST to the following:
|
||||
# --include bench --include fog
|
||||
# 3. If you want to enable Coverity Scan, you need to provide the environment
|
||||
# variables COVERITY_SCAN_TOKEN and COVERITY_SCAN_NOTIFICATION_EMAIL in
|
||||
# your github settings.
|
||||
# 4. If you want to enable a big-endian build, you need to uncomment the
|
||||
# big-endian build job.
|
||||
# 5. Enable pull request builds in your boostorg/<library> account.
|
||||
#
|
||||
# That's it - the scripts will do everything else for you.
|
||||
|
||||
dist: xenial
|
||||
language: cpp
|
||||
|
||||
env:
|
||||
global:
|
||||
# see: http://www.boost.org/build/doc/html/bbv2/overview/invocation.html#bbv2.overview.invocation.properties
|
||||
# - B2_ADDRESS_MODEL=address-model=64,32
|
||||
# - B2_LINK=link=shared,static
|
||||
# - B2_THREADING=threading=multi,single
|
||||
- B2_VARIANT=variant=release
|
||||
|
||||
install:
|
||||
- git clone https://github.com/boostorg/boost-ci.git boost-ci
|
||||
- cp -pr boost-ci/ci boost-ci/.codecov.yml .
|
||||
- source ci/travis/install.sh
|
||||
|
||||
addons:
|
||||
apt:
|
||||
packages:
|
||||
- binutils-gold
|
||||
- gdb
|
||||
- libc6-dbg
|
||||
- qemu-user-static
|
||||
|
||||
services:
|
||||
- docker
|
||||
|
||||
branches:
|
||||
only:
|
||||
- master
|
||||
- develop
|
||||
- /bugfix\/.*/
|
||||
- /feature\/.*/
|
||||
- /fix\/.*/
|
||||
- /pr\/.*/
|
||||
|
||||
script:
|
||||
- cd $BOOST_ROOT/libs/$SELF
|
||||
- ci/travis/build.sh
|
||||
|
||||
#
|
||||
# Default toolsets in Ubuntu
|
||||
#
|
||||
# trusty xenial bionic
|
||||
# 14.04 16.04 18.04
|
||||
# ------ ------ ------
|
||||
# clang 3.4 3.8 6.0
|
||||
# gcc 4.8.2 5.3.1 7.3.0
|
||||
#
|
||||
|
||||
anchors:
|
||||
clang-38: &clang-38 { apt: { packages: [ "clang-3.8",
|
||||
"libstdc++-6-dev" ], sources: [ "llvm-toolchain-xenial-3.8",
|
||||
"ubuntu-toolchain-r-test" ] } }
|
||||
clang-4: &clang-4 { apt: { packages: [ "clang-4.0",
|
||||
"libstdc++-6-dev" ], sources: [ "llvm-toolchain-xenial-4.0",
|
||||
"ubuntu-toolchain-r-test" ] } }
|
||||
clang-5: &clang-5 { apt: { packages: [ "clang-5.0",
|
||||
"libstdc++-7-dev" ], sources: [ "llvm-toolchain-xenial-5.0",
|
||||
"ubuntu-toolchain-r-test" ] } }
|
||||
clang-6: &clang-6 { apt: { packages: [ "clang-6.0",
|
||||
"libc6-dbg",
|
||||
"libc++-dev",
|
||||
"libstdc++-8-dev" ], sources: [ "llvm-toolchain-xenial-6.0",
|
||||
"ubuntu-toolchain-r-test" ] } }
|
||||
clang-7: &clang-7 { apt: { packages: [ "clang-7",
|
||||
"libc6-dbg",
|
||||
"libc++-dev",
|
||||
"libstdc++-8-dev" ], sources: [ "llvm-toolchain-xenial-7",
|
||||
"ubuntu-toolchain-r-test" ] } }
|
||||
clang-8: &clang-8 { apt: { packages: [ "clang-8",
|
||||
"libc6-dbg",
|
||||
"libc++-dev",
|
||||
"libstdc++-8-dev" ], sources: [ "llvm-toolchain-xenial-8",
|
||||
"ubuntu-toolchain-r-test" ] } }
|
||||
gcc-48: &gcc-48 { apt: { packages: [ "g++-4.8" ] } }
|
||||
gcc-49: &gcc-49 { apt: { packages: [ "g++-4.9" ], sources: [ "ubuntu-toolchain-r-test" ] } }
|
||||
gcc-5: &gcc-5 { apt: { packages: [ "g++-5" ] } }
|
||||
gcc-6: &gcc-6 { apt: { packages: [ "g++-6" ], sources: [ "ubuntu-toolchain-r-test" ] } }
|
||||
gcc-7: &gcc-7 { apt: { packages: [ "g++-7" ], sources: [ "ubuntu-toolchain-r-test" ] } }
|
||||
gcc-8: &gcc-8 { apt: { packages: [ "g++-8" ], sources: [ "ubuntu-toolchain-r-test" ] } }
|
||||
gcc-9: &gcc-9 { apt: { packages: [ "g++-9" ], sources: [ "ubuntu-toolchain-r-test" ] } }
|
||||
|
||||
jobs:
|
||||
allow_failures:
|
||||
- env:
|
||||
- COPY="all the environment settings from your job"
|
||||
|
||||
include:
|
||||
# libstdc++
|
||||
- { os: "linux", dist: "trusty", # xenial has libstdc++ from gcc 5.4.0 with newer ABI
|
||||
env: [ "B2_TOOLSET=gcc-4.8", "B2_CXXSTD=03,11" ], addons: *gcc-48 }
|
||||
- { os: "linux", dist: "trusty", # xenial has libstdc++ from gcc 5.4.0 with newer ABI
|
||||
env: [ "B2_TOOLSET=gcc-4.9", "B2_CXXSTD=03,11" ], addons: *gcc-49 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=gcc-5", "B2_CXXSTD=03,11" ], addons: *gcc-5 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=gcc-6", "B2_CXXSTD=11,14" ], addons: *gcc-6 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=gcc-7", "B2_CXXSTD=14,17" ], addons: *gcc-7 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=gcc-8", "B2_CXXSTD=17,2a" ], addons: *gcc-8 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=gcc-9", "B2_CXXSTD=17,2a" ], addons: *gcc-9 }
|
||||
- { os: "linux", dist: "trusty", # xenial has libstdc++ from gcc 5.4.0 with newer ABI
|
||||
env: [ "B2_TOOLSET=clang-3.8", "B2_CXXSTD=03,11" ], addons: *clang-38 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=clang-4.0", "B2_CXXSTD=11,14" ], addons: *clang-4 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=clang-5.0", "B2_CXXSTD=11,14" ], addons: *clang-5 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=clang-6.0", "B2_CXXSTD=14,17" ], addons: *clang-6 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=clang-7", "B2_CXXSTD=17,2a" ], addons: *clang-7 }
|
||||
- { os: "linux", env: [ "B2_TOOLSET=clang-8", "B2_CXXSTD=17,2a" ], addons: *clang-8 }
|
||||
|
||||
# libc++
|
||||
- { os: "linux", env: [ "B2_TOOLSET=clang-6.0", "B2_CXXSTD=03,11,14",
|
||||
"B2_CXXFLAGS=-stdlib=libc++" ], addons: *clang-6 }
|
||||
- { os: "osx" , env: [ "B2_TOOLSET=clang", "B2_CXXSTD=03,11,17" ] }
|
||||
|
||||
# to enable Intel ICC define INTEL_ICC_SERIAL_NUMBER and the following (under development):
|
||||
# - { os: "linux", env: [ "B2_TOOLSET=intel-linux", "B2_CXXSTD=11,14,17" ], addons: *gcc-7,
|
||||
# script: cd $BOOST_ROOT/libs/$SELF && ci/travis/intelicc.sh }
|
||||
|
||||
# uncomment to enable a big-endian build job, just note that it is 5-10 times slower
|
||||
# than a regular build and travis has a 50 minute time limit per job
|
||||
# - os: linux
|
||||
# env:
|
||||
# - COMMENT=big-endian
|
||||
# - B2_CXXSTD=03
|
||||
# - B2_TOOLSET=gcc
|
||||
# - B2_DEFINES="define=BOOST_NO_STRESS_TEST=1"
|
||||
# - BDDE_OS=red
|
||||
# - BDDE_ARCH=ppc64
|
||||
# script:
|
||||
# - cd $BOOST_ROOT/libs/$SELF
|
||||
# - ci/travis/bdde.sh
|
||||
|
||||
- os: linux
|
||||
env:
|
||||
- COMMENT=codecov.io
|
||||
- B2_CXXSTD=03,11
|
||||
- B2_TOOLSET=gcc-8
|
||||
- B2_DEFINES="define=BOOST_NO_STRESS_TEST=1"
|
||||
addons: *gcc-8
|
||||
script:
|
||||
- cd $BOOST_ROOT/libs/$SELF
|
||||
- ci/travis/codecov.sh
|
||||
|
||||
- os: linux
|
||||
env:
|
||||
- COMMENT=asan
|
||||
- B2_VARIANT=variant=debug
|
||||
- B2_TOOLSET=gcc-8
|
||||
- B2_CXXSTD=03,11,14
|
||||
- B2_CXXFLAGS="address-sanitizer=norecover"
|
||||
- B2_DEFINES="define=BOOST_NO_STRESS_TEST=1"
|
||||
addons: *gcc-8
|
||||
|
||||
- os: linux
|
||||
env:
|
||||
- COMMENT=tsan
|
||||
- B2_VARIANT=variant=debug
|
||||
- B2_TOOLSET=gcc-8
|
||||
- B2_CXXSTD=03,11,14
|
||||
- B2_CXXFLAGS="thread-sanitizer=norecover"
|
||||
- B2_DEFINES="define=BOOST_NO_STRESS_TEST=1"
|
||||
addons: *gcc-8
|
||||
|
||||
- os: linux
|
||||
env:
|
||||
- COMMENT=ubsan
|
||||
- B2_VARIANT=variant=debug
|
||||
- B2_TOOLSET=gcc-8
|
||||
- B2_CXXSTD=03,11,14
|
||||
- B2_CXXFLAGS="undefined-sanitizer=norecover"
|
||||
- B2_DEFINES="define=BOOST_NO_STRESS_TEST=1"
|
||||
- B2_LINKFLAGS="linkflags=-fuse-ld=gold"
|
||||
- UBSAN_OPTIONS=print_stacktrace=1
|
||||
addons: *gcc-8
|
||||
|
||||
- os: linux
|
||||
env:
|
||||
- COMMENT=valgrind
|
||||
- B2_TOOLSET=clang-6.0
|
||||
- B2_CXXSTD=03,11,14
|
||||
- B2_DEFINES="define=BOOST_NO_STRESS_TEST=1"
|
||||
- B2_VARIANT=variant=debug
|
||||
- B2_TESTFLAGS=testing.launcher=valgrind
|
||||
- VALGRIND_OPTS=--error-exitcode=1
|
||||
addons: *clang-6
|
||||
script:
|
||||
- cd $BOOST_ROOT/libs/$SELF
|
||||
- ci/travis/valgrind.sh
|
||||
|
||||
# - os: linux
|
||||
# env:
|
||||
# - COMMENT=cppcheck
|
||||
# script:
|
||||
# - cd $BOOST_ROOT/libs/$SELF
|
||||
# - ci/travis/cppcheck.sh
|
||||
|
||||
#################### Jobs to run on pushes to master, develop ###################
|
||||
|
||||
# Coverity Scan
|
||||
- os: linux
|
||||
if: (env(COVERITY_SCAN_NOTIFICATION_EMAIL) IS present) AND (branch IN (develop, master)) AND (type IN (cron, push))
|
||||
env:
|
||||
- COMMENT="Coverity Scan"
|
||||
- B2_TOOLSET=clang
|
||||
script:
|
||||
- cd $BOOST_ROOT/libs/$SELF
|
||||
- ci/travis/coverity.sh
|
||||
|
||||
notifications:
|
||||
email:
|
||||
false
|
17
CMakeLists.txt
Normal file
17
CMakeLists.txt
Normal file
@ -0,0 +1,17 @@
|
||||
# Copyright 2018 Mike Dev
|
||||
# Distributed under the Boost Software License, Version 1.0.
|
||||
# See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt
|
||||
|
||||
cmake_minimum_required( VERSION 3.5...3.20 )
|
||||
project( boost_logic VERSION "${BOOST_SUPERPROJECT_VERSION}" LANGUAGES CXX )
|
||||
|
||||
add_library( boost_logic INTERFACE )
|
||||
add_library( Boost::logic ALIAS boost_logic )
|
||||
|
||||
target_include_directories( boost_logic INTERFACE include )
|
||||
|
||||
target_link_libraries( boost_logic
|
||||
INTERFACE
|
||||
Boost::config
|
||||
Boost::core
|
||||
)
|
10
Jamfile
Normal file
10
Jamfile
Normal file
@ -0,0 +1,10 @@
|
||||
# Boost.Logic Library Jamfile
|
||||
#
|
||||
# Copyright (c) 2018 James E. King III
|
||||
#
|
||||
# Use, modification, and distribution are subject to the
|
||||
# Boost Software License, Version 1.0. (See accompanying file
|
||||
# LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
||||
|
||||
# please order by name to ease maintenance
|
||||
build-project test ;
|
23
LICENSE
Normal file
23
LICENSE
Normal file
@ -0,0 +1,23 @@
|
||||
Boost Software License - Version 1.0 - August 17th, 2003
|
||||
|
||||
Permission is hereby granted, free of charge, to any person or organization
|
||||
obtaining a copy of the software and accompanying documentation covered by
|
||||
this license (the "Software") to use, reproduce, display, distribute,
|
||||
execute, and transmit the Software, and to prepare derivative works of the
|
||||
Software, and to permit third-parties to whom the Software is furnished to
|
||||
do so, all subject to the following:
|
||||
|
||||
The copyright notices in the Software and this entire statement, including
|
||||
the above license grant, this restriction and the following disclaimer,
|
||||
must be included in all copies of the Software, in whole or in part, and
|
||||
all derivative works of the Software, unless such copies or derivative
|
||||
works are solely in the form of machine-executable object code generated by
|
||||
a source language processor.
|
||||
|
||||
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
||||
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
||||
FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT
|
||||
SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE
|
||||
FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE,
|
||||
ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
|
||||
DEALINGS IN THE SOFTWARE.
|
34
README.md
Normal file
34
README.md
Normal file
@ -0,0 +1,34 @@
|
||||
Logic, part of collection of the [Boost C++ Libraries](http://github.com/boostorg), provides `boost::logic::tribool` for 3-state boolean logic.
|
||||
|
||||
### License
|
||||
|
||||
Distributed under the [Boost Software License, Version 1.0](http://www.boost.org/LICENSE_1_0.txt).
|
||||
|
||||
### Properties
|
||||
|
||||
* C++03
|
||||
* Header Only
|
||||
|
||||
### Build Status
|
||||
|
||||
Branch | Travis | Appveyor | Coverity Scan | codecov.io | Deps | Docs | Tests |
|
||||
:-------------: | ------ | -------- | ------------- | ---------- | ---- | ---- | ----- |
|
||||
[`master`](https://github.com/boostorg/logic/tree/master) | [](https://travis-ci.org/boostorg/logic) | [](https://ci.appveyor.com/project/jeking3/logic-vv3ct/branch/master) | [](https://scan.coverity.com/projects/boostorg-logic) | [](https://codecov.io/gh/boostorg/logic/branch/master)| [](https://pdimov.github.io/boostdep-report/master/logic.html) | [](http://www.boost.org/doc/libs/master/doc/html/logic.html) | [](http://www.boost.org/development/tests/master/developer/logic.html)
|
||||
[`develop`](https://github.com/boostorg/logic/tree/develop) | [](https://travis-ci.org/boostorg/logic) | [](https://ci.appveyor.com/project/jeking3/logic-vv3ct/branch/develop) | [](https://scan.coverity.com/projects/boostorg-logic) | [](https://codecov.io/gh/boostorg/logic/branch/develop) | [](https://pdimov.github.io/boostdep-report/develop/logic.html) | [](http://www.boost.org/doc/libs/develop/doc/html/logic.html) | [](http://www.boost.org/development/tests/develop/developer/logic.html)
|
||||
|
||||
### Directories
|
||||
|
||||
| Name | Purpose |
|
||||
| ----------- | ------------------------------ |
|
||||
| `doc` | documentation |
|
||||
| `example` | examples |
|
||||
| `include` | headers |
|
||||
| `test` | unit tests |
|
||||
|
||||
### More information
|
||||
|
||||
* [Ask questions](http://stackoverflow.com/questions/ask?tags=c%2B%2B,boost,boost-logic)
|
||||
* [Report bugs](https://github.com/boostorg/logic/issues): Be sure to mention Boost version, platform and compiler you're using. A small compilable code sample to reproduce the problem is always good as well.
|
||||
* Submit your patches as pull requests against **develop** branch. Note that by submitting patches you agree to license your modifications under the [Boost Software License, Version 1.0](http://www.boost.org/LICENSE_1_0.txt).
|
||||
* Discussions about the library are held on the [Boost developers mailing list](http://www.boost.org/community/groups.html#main). Be sure to read the [discussion policy](http://www.boost.org/community/policy.html) before posting and add the `[logic]` tag at the beginning of the subject line.
|
||||
|
149
appveyor.yml
Normal file
149
appveyor.yml
Normal file
@ -0,0 +1,149 @@
|
||||
# Copyright 2016, 2017 Peter Dimov
|
||||
# Copyright (C) 2017 - 2019 James E. King III
|
||||
# Distributed under the Boost Software License, Version 1.0.
|
||||
# (See accompanying file LICENSE_1_0.txt or copy at http://boost.org/LICENSE_1_0.txt)
|
||||
|
||||
#
|
||||
# Generic Appveyor build script for boostorg repositories
|
||||
# See: https://github.com/boostorg/boost-ci/
|
||||
#
|
||||
# Instructions for customizing this script for your library:
|
||||
#
|
||||
# 1. Customize the compilers and language levels you want.
|
||||
# 2. If you have more than include/, src/, test/, example/, examples/,
|
||||
# benchmark/ or tools/ directories, set the environment variable DEPINST.
|
||||
# For example if your build uses code in "bench/" and "fog/" directories:
|
||||
# - DEPINST: --include bench --include fog
|
||||
# 3. Enable pull request builds in your boostorg/<library> account.
|
||||
#
|
||||
# That's it - the script will do everything else for you.
|
||||
#
|
||||
|
||||
version: 1.0.{build}-{branch}
|
||||
|
||||
shallow_clone: true
|
||||
|
||||
branches:
|
||||
only:
|
||||
- master
|
||||
- develop
|
||||
- /bugfix\/.*/
|
||||
- /feature\/.*/
|
||||
- /fix\/.*/
|
||||
- /pr\/.*/
|
||||
|
||||
matrix:
|
||||
# Adding MAYFAIL to any matrix job allows it to fail but the build stays green:
|
||||
allow_failures:
|
||||
- MAYFAIL: true
|
||||
|
||||
environment:
|
||||
global:
|
||||
# see: http://www.boost.org/build/doc/html/bbv2/overview/invocation.html#bbv2.overview.invocation.properties
|
||||
# to use the default for a given environment, comment it out; recommend you build debug and release however:
|
||||
# on Windows it is important to exercise all the possibilities, especially shared vs static, however most
|
||||
# libraries that care about this exercise it in their Jamfiles...
|
||||
# B2_ADDRESS_MODEL: address-model=64,32
|
||||
# B2_LINK: link=shared,static
|
||||
# B2_THREADING: threading=multi,single
|
||||
B2_VARIANT: variant=release
|
||||
|
||||
matrix:
|
||||
- FLAVOR: Visual Studio 2019
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2019
|
||||
B2_ADDRESS_MODEL: address-model=64
|
||||
B2_CXXFLAGS: cxxflags=-permissive-
|
||||
B2_CXXSTD: latest # 2a
|
||||
B2_TOOLSET: msvc-14.2
|
||||
|
||||
- FLAVOR: Visual Studio 2017 C++2a Strict
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
|
||||
B2_ADDRESS_MODEL: address-model=64
|
||||
B2_CXXFLAGS: cxxflags=-permissive-
|
||||
B2_CXXSTD: latest # 2a
|
||||
B2_TOOLSET: msvc-14.1
|
||||
|
||||
- FLAVOR: Visual Studio 2017 C++17
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
|
||||
B2_ADDRESS_MODEL: address-model=64
|
||||
B2_CXXSTD: 17
|
||||
B2_TOOLSET: msvc-14.1
|
||||
B2_VARIANT: variant=debug
|
||||
|
||||
- FLAVOR: Visual Studio 2017 C++14 (Default)
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
|
||||
B2_ADDRESS_MODEL: address-model=64,32
|
||||
B2_TOOLSET: msvc-14.1
|
||||
|
||||
- FLAVOR: clang-cl
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
|
||||
B2_ADDRESS_MODEL: address-model=64
|
||||
B2_CXXSTD: 11
|
||||
B2_TOOLSET: clang-win
|
||||
|
||||
- FLAVOR: Visual Studio 2015 C++14 (Default)
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2015
|
||||
B2_ADDRESS_MODEL: address-model=64,32
|
||||
B2_TOOLSET: msvc-14.0
|
||||
B2_VARIANT: variant=debug
|
||||
|
||||
- FLAVOR: Visual Studio 2010, 2012, 2013
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2015
|
||||
B2_TOOLSET: msvc-10.0,msvc-11.0,msvc-12.0
|
||||
MAYFAIL: true
|
||||
REASON: https://github.com/boostorg/logic/issues/8
|
||||
|
||||
- FLAVOR: cygwin (32-bit)
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
|
||||
ADDPATH: C:\cygwin\bin;
|
||||
B2_ADDRESS_MODEL: address-model=32
|
||||
B2_CXXSTD: 03,11
|
||||
# https://github.com/boostorg/test/issues/144
|
||||
B2_DEFINES: define=_POSIX_C_SOURCE=200112L
|
||||
B2_THREADING: threadapi=pthread
|
||||
B2_TOOLSET: gcc
|
||||
B2_VARIANT: variant=debug
|
||||
|
||||
- FLAVOR: cygwin (64-bit)
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
|
||||
ADDPATH: C:\cygwin64\bin;
|
||||
B2_ADDRESS_MODEL: address-model=64
|
||||
B2_CXXSTD: 11,17
|
||||
# https://github.com/boostorg/test/issues/144
|
||||
B2_DEFINES: define=_POSIX_C_SOURCE=200112L define=__USE_ISOC99
|
||||
B2_THREADING: threadapi=pthread
|
||||
B2_TOOLSET: gcc
|
||||
|
||||
- FLAVOR: mingw32
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
|
||||
ARCH: i686
|
||||
B2_ADDRESS_MODEL: address-model=32
|
||||
B2_CXXSTD: 03,11
|
||||
SCRIPT: ci\appveyor\mingw.bat
|
||||
B2_VARIANT: variant=debug
|
||||
|
||||
- FLAVOR: mingw64
|
||||
APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
|
||||
ARCH: x86_64
|
||||
B2_ADDRESS_MODEL: address-model=64
|
||||
B2_CXXSTD: 11,17
|
||||
B2_DEFINES: define=__USE_ISOC99
|
||||
SCRIPT: ci\appveyor\mingw.bat
|
||||
|
||||
install:
|
||||
- set SELF=%APPVEYOR_PROJECT_NAME:-=_%
|
||||
- git clone https://github.com/boostorg/boost-ci.git C:\boost-ci
|
||||
- xcopy /s /e /q /i C:\boost-ci\ci .\ci
|
||||
- ci\appveyor\install.bat
|
||||
|
||||
build: off
|
||||
|
||||
test_script:
|
||||
- set SELF=%APPVEYOR_PROJECT_NAME:-=_%
|
||||
- PATH=%ADDPATH%%PATH%
|
||||
# The definition of B2_TOOLCXX omits B2_CXXSTD= if it was not defined above
|
||||
- IF NOT DEFINED B2_CXXSTD (SET B2_TOOLCXX=toolset=%B2_TOOLSET%) ELSE (SET B2_TOOLCXX=toolset=%B2_TOOLSET% cxxstd=%B2_CXXSTD%)
|
||||
# Echo the complete build command to the build log
|
||||
- IF NOT DEFINED SCRIPT (ECHO b2 libs/%SELF:\=/% %B2_TOOLCXX% %B2_CXXFLAGS% %B2_DEFINES% %B2_THREADING% %B2_ADDRESS_MODEL% %B2_LINK% %B2_THREADING% %B2_VARIANT% -j3)
|
||||
# Now go build...
|
||||
- IF DEFINED SCRIPT (call libs\%SELF%\%SCRIPT%) ELSE (b2 libs/%SELF:\=/% %B2_TOOLCXX% %B2_CXXFLAGS% %B2_DEFINES% %B2_THREADING% %B2_ADDRESS_MODEL% %B2_LINK% %B2_THREADING% %B2_VARIANT% -j3)
|
@ -1,3 +1,13 @@
|
||||
# Tribool library
|
||||
|
||||
# Copyright (C) 2002-2003 Douglas Gregor
|
||||
|
||||
# Use, modification and distribution is subject to the Boost Software License,
|
||||
# Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
||||
# http://www.boost.org/LICENSE_1_0.txt)
|
||||
|
||||
# For more information, see http://www.boost.org/
|
||||
|
||||
project boost-sandbox/utility/doc ;
|
||||
import boostbook ;
|
||||
import doxygen ;
|
||||
@ -6,4 +16,21 @@ doxygen reference : [ glob ../../../boost/logic/tribool.hpp ]
|
||||
[ glob ../../../boost/logic/tribool_fwd.hpp ]
|
||||
[ glob ../../../boost/logic/tribool_io.hpp ]
|
||||
;
|
||||
boostbook tribool : tribool.boostbook ;
|
||||
boostbook tribool
|
||||
:
|
||||
tribool.boostbook
|
||||
:
|
||||
<xsl:param>boost.root=../../../..
|
||||
<format>pdf:<xsl:param>boost.url.prefix=http://www.boost.org/doc/libs/release/doc/html
|
||||
<dependency>reference
|
||||
;
|
||||
|
||||
###############################################################################
|
||||
alias boostdoc
|
||||
: tribool/<format>docbook
|
||||
:
|
||||
:
|
||||
: ;
|
||||
explicit boostdoc ;
|
||||
alias boostrelease ;
|
||||
explicit boostrelease ;
|
||||
|
@ -138,6 +138,18 @@ if (<functionname>indeterminate</functionname>(x)) {
|
||||
else {
|
||||
// report success or failure of x
|
||||
}</programlisting>
|
||||
|
||||
<para> All the logical operators and methods of <code><classname>tribool</classname></code> are marked
|
||||
as <code>constexpr</code> in C++11. It means that <code><classname>tribool</classname></code> can
|
||||
be used in compile time expressions:</para>
|
||||
|
||||
<programlisting>constexpr <classname>tribool</classname> x = (tribool(true) || tribool(indeterminate));
|
||||
<functionname>static_assert</functionname>(x, "Must be true!");
|
||||
</programlisting>
|
||||
|
||||
<note>Some compilers may have troubles with evaluating <code>tribool::operator safe_bool()</code> at compile time.</note>
|
||||
|
||||
|
||||
</section>
|
||||
|
||||
<section>
|
||||
|
@ -14,7 +14,7 @@
|
||||
#include <boost/config.hpp>
|
||||
#include <boost/detail/workaround.hpp>
|
||||
|
||||
#if BOOST_WORKAROUND(_MSC_VER, >= 1200)
|
||||
#ifdef BOOST_HAS_PRAGMA_ONCE
|
||||
# pragma once
|
||||
#endif
|
||||
|
||||
@ -30,7 +30,7 @@ namespace detail {
|
||||
*/
|
||||
struct indeterminate_t
|
||||
{
|
||||
#if BOOST_WORKAROUND(__BORLANDC__, < 0x0600)
|
||||
#if BOOST_WORKAROUND(BOOST_BORLANDC, < 0x0600)
|
||||
char dummy_; // BCB would use 8 bytes by default
|
||||
#endif
|
||||
};
|
||||
@ -59,9 +59,9 @@ typedef bool (*indeterminate_keyword_t)(tribool, detail::indeterminate_t);
|
||||
* \returns <tt>x.value == tribool::indeterminate_value</tt>
|
||||
* \throws nothrow
|
||||
*/
|
||||
inline bool
|
||||
BOOST_CONSTEXPR inline bool
|
||||
indeterminate(tribool x,
|
||||
detail::indeterminate_t dummy = detail::indeterminate_t());
|
||||
detail::indeterminate_t dummy = detail::indeterminate_t()) BOOST_NOEXCEPT;
|
||||
|
||||
/**
|
||||
* \brief A 3-state boolean type.
|
||||
@ -71,6 +71,7 @@ indeterminate(tribool x,
|
||||
*/
|
||||
class tribool
|
||||
{
|
||||
#if defined( BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS )
|
||||
private:
|
||||
/// INTERNAL ONLY
|
||||
struct dummy {
|
||||
@ -78,6 +79,7 @@ private:
|
||||
};
|
||||
|
||||
typedef void (dummy::*safe_bool)();
|
||||
#endif
|
||||
|
||||
public:
|
||||
/**
|
||||
@ -85,7 +87,7 @@ public:
|
||||
*
|
||||
* \throws nothrow
|
||||
*/
|
||||
tribool() : value(false_value) {}
|
||||
BOOST_CONSTEXPR tribool() BOOST_NOEXCEPT : value(false_value) {}
|
||||
|
||||
/**
|
||||
* Construct a new 3-state boolean value with the given boolean
|
||||
@ -93,14 +95,14 @@ public:
|
||||
*
|
||||
* \throws nothrow
|
||||
*/
|
||||
tribool(bool value) : value(value? true_value : false_value) {}
|
||||
BOOST_CONSTEXPR tribool(bool initial_value) BOOST_NOEXCEPT : value(initial_value? true_value : false_value) {}
|
||||
|
||||
/**
|
||||
* Construct a new 3-state boolean value with an indeterminate value.
|
||||
*
|
||||
* \throws nothrow
|
||||
*/
|
||||
tribool(indeterminate_keyword_t) : value(indeterminate_value) {}
|
||||
BOOST_CONSTEXPR tribool(indeterminate_keyword_t) BOOST_NOEXCEPT : value(indeterminate_value) {}
|
||||
|
||||
/**
|
||||
* Use a 3-state boolean in a boolean context. Will evaluate true in a
|
||||
@ -109,11 +111,22 @@ public:
|
||||
* \returns true if the 3-state boolean is true, false otherwise
|
||||
* \throws nothrow
|
||||
*/
|
||||
operator safe_bool() const
|
||||
#if !defined( BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS )
|
||||
|
||||
BOOST_CONSTEXPR explicit operator bool () const BOOST_NOEXCEPT
|
||||
{
|
||||
return value == true_value;
|
||||
}
|
||||
|
||||
#else
|
||||
|
||||
BOOST_CONSTEXPR operator safe_bool() const BOOST_NOEXCEPT
|
||||
{
|
||||
return value == true_value? &dummy::nonnull : 0;
|
||||
}
|
||||
|
||||
#endif
|
||||
|
||||
/**
|
||||
* The actual stored value in this 3-state boolean, which may be false, true,
|
||||
* or indeterminate.
|
||||
@ -123,7 +136,7 @@ public:
|
||||
|
||||
// Check if the given tribool has an indeterminate value. Also doubles as a
|
||||
// keyword for the 'indeterminate' value
|
||||
inline bool indeterminate(tribool x, detail::indeterminate_t)
|
||||
BOOST_CONSTEXPR inline bool indeterminate(tribool x, detail::indeterminate_t) BOOST_NOEXCEPT
|
||||
{
|
||||
return x.value == tribool::indeterminate_value;
|
||||
}
|
||||
@ -156,7 +169,7 @@ inline bool indeterminate(tribool x, detail::indeterminate_t)
|
||||
* </table>
|
||||
* \throws nothrow
|
||||
*/
|
||||
inline tribool operator!(tribool x)
|
||||
BOOST_CONSTEXPR inline tribool operator!(tribool x) BOOST_NOEXCEPT
|
||||
{
|
||||
return x.value == tribool::false_value? tribool(true)
|
||||
:x.value == tribool::true_value? tribool(false)
|
||||
@ -164,7 +177,7 @@ inline tribool operator!(tribool x)
|
||||
}
|
||||
|
||||
/**
|
||||
* \brief Computes the logical conjuction of two tribools
|
||||
* \brief Computes the logical conjunction of two tribools
|
||||
*
|
||||
* \returns the result of logically ANDing the two tribool values,
|
||||
* according to the following table:
|
||||
@ -196,38 +209,36 @@ inline tribool operator!(tribool x)
|
||||
* </table>
|
||||
* \throws nothrow
|
||||
*/
|
||||
inline tribool operator&&(tribool x, tribool y)
|
||||
BOOST_CONSTEXPR inline tribool operator&&(tribool x, tribool y) BOOST_NOEXCEPT
|
||||
{
|
||||
if (static_cast<bool>(!x) || static_cast<bool>(!y))
|
||||
return false;
|
||||
else if (static_cast<bool>(x) && static_cast<bool>(y))
|
||||
return true;
|
||||
else
|
||||
return indeterminate;
|
||||
return (static_cast<bool>(!x) || static_cast<bool>(!y))
|
||||
? tribool(false)
|
||||
: ((static_cast<bool>(x) && static_cast<bool>(y)) ? tribool(true) : indeterminate)
|
||||
;
|
||||
}
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator&&(tribool x, bool y)
|
||||
BOOST_CONSTEXPR inline tribool operator&&(tribool x, bool y) BOOST_NOEXCEPT
|
||||
{ return y? x : tribool(false); }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator&&(bool x, tribool y)
|
||||
BOOST_CONSTEXPR inline tribool operator&&(bool x, tribool y) BOOST_NOEXCEPT
|
||||
{ return x? y : tribool(false); }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator&&(indeterminate_keyword_t, tribool x)
|
||||
BOOST_CONSTEXPR inline tribool operator&&(indeterminate_keyword_t, tribool x) BOOST_NOEXCEPT
|
||||
{ return !x? tribool(false) : tribool(indeterminate); }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator&&(tribool x, indeterminate_keyword_t)
|
||||
BOOST_CONSTEXPR inline tribool operator&&(tribool x, indeterminate_keyword_t) BOOST_NOEXCEPT
|
||||
{ return !x? tribool(false) : tribool(indeterminate); }
|
||||
|
||||
/**
|
||||
@ -263,38 +274,36 @@ inline tribool operator&&(tribool x, indeterminate_keyword_t)
|
||||
* </table>
|
||||
* \throws nothrow
|
||||
*/
|
||||
inline tribool operator||(tribool x, tribool y)
|
||||
BOOST_CONSTEXPR inline tribool operator||(tribool x, tribool y) BOOST_NOEXCEPT
|
||||
{
|
||||
if (static_cast<bool>(!x) && static_cast<bool>(!y))
|
||||
return false;
|
||||
else if (static_cast<bool>(x) || static_cast<bool>(y))
|
||||
return true;
|
||||
else
|
||||
return indeterminate;
|
||||
return (static_cast<bool>(!x) && static_cast<bool>(!y))
|
||||
? tribool(false)
|
||||
: ((static_cast<bool>(x) || static_cast<bool>(y)) ? tribool(true) : tribool(indeterminate))
|
||||
;
|
||||
}
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator||(tribool x, bool y)
|
||||
BOOST_CONSTEXPR inline tribool operator||(tribool x, bool y) BOOST_NOEXCEPT
|
||||
{ return y? tribool(true) : x; }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator||(bool x, tribool y)
|
||||
BOOST_CONSTEXPR inline tribool operator||(bool x, tribool y) BOOST_NOEXCEPT
|
||||
{ return x? tribool(true) : y; }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator||(indeterminate_keyword_t, tribool x)
|
||||
BOOST_CONSTEXPR inline tribool operator||(indeterminate_keyword_t, tribool x) BOOST_NOEXCEPT
|
||||
{ return x? tribool(true) : tribool(indeterminate); }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator||(tribool x, indeterminate_keyword_t)
|
||||
BOOST_CONSTEXPR inline tribool operator||(tribool x, indeterminate_keyword_t) BOOST_NOEXCEPT
|
||||
{ return x? tribool(true) : tribool(indeterminate); }
|
||||
//@}
|
||||
|
||||
@ -331,34 +340,34 @@ inline tribool operator||(tribool x, indeterminate_keyword_t)
|
||||
* </table>
|
||||
* \throws nothrow
|
||||
*/
|
||||
inline tribool operator==(tribool x, tribool y)
|
||||
BOOST_CONSTEXPR inline tribool operator==(tribool x, tribool y) BOOST_NOEXCEPT
|
||||
{
|
||||
if (indeterminate(x) || indeterminate(y))
|
||||
return indeterminate;
|
||||
else
|
||||
return (x && y) || (!x && !y);
|
||||
return (indeterminate(x) || indeterminate(y))
|
||||
? indeterminate
|
||||
: ((x && y) || (!x && !y))
|
||||
;
|
||||
}
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator==(tribool x, bool y) { return x == tribool(y); }
|
||||
BOOST_CONSTEXPR inline tribool operator==(tribool x, bool y) BOOST_NOEXCEPT { return x == tribool(y); }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator==(bool x, tribool y) { return tribool(x) == y; }
|
||||
BOOST_CONSTEXPR inline tribool operator==(bool x, tribool y) BOOST_NOEXCEPT { return tribool(x) == y; }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator==(indeterminate_keyword_t, tribool x)
|
||||
BOOST_CONSTEXPR inline tribool operator==(indeterminate_keyword_t, tribool x) BOOST_NOEXCEPT
|
||||
{ return tribool(indeterminate) == x; }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator==(tribool x, indeterminate_keyword_t)
|
||||
BOOST_CONSTEXPR inline tribool operator==(tribool x, indeterminate_keyword_t) BOOST_NOEXCEPT
|
||||
{ return tribool(indeterminate) == x; }
|
||||
|
||||
/**
|
||||
@ -394,34 +403,34 @@ inline tribool operator==(tribool x, indeterminate_keyword_t)
|
||||
* </table>
|
||||
* \throws nothrow
|
||||
*/
|
||||
inline tribool operator!=(tribool x, tribool y)
|
||||
BOOST_CONSTEXPR inline tribool operator!=(tribool x, tribool y) BOOST_NOEXCEPT
|
||||
{
|
||||
if (indeterminate(x) || indeterminate(y))
|
||||
return indeterminate;
|
||||
else
|
||||
return !((x && y) || (!x && !y));
|
||||
return (indeterminate(x) || indeterminate(y))
|
||||
? indeterminate
|
||||
: !((x && y) || (!x && !y))
|
||||
;
|
||||
}
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator!=(tribool x, bool y) { return x != tribool(y); }
|
||||
BOOST_CONSTEXPR inline tribool operator!=(tribool x, bool y) BOOST_NOEXCEPT { return x != tribool(y); }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator!=(bool x, tribool y) { return tribool(x) != y; }
|
||||
BOOST_CONSTEXPR inline tribool operator!=(bool x, tribool y) BOOST_NOEXCEPT { return tribool(x) != y; }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator!=(indeterminate_keyword_t, tribool x)
|
||||
BOOST_CONSTEXPR inline tribool operator!=(indeterminate_keyword_t, tribool x) BOOST_NOEXCEPT
|
||||
{ return tribool(indeterminate) != x; }
|
||||
|
||||
/**
|
||||
* \overload
|
||||
*/
|
||||
inline tribool operator!=(tribool x, indeterminate_keyword_t)
|
||||
BOOST_CONSTEXPR inline tribool operator!=(tribool x, indeterminate_keyword_t) BOOST_NOEXCEPT
|
||||
{ return x != tribool(indeterminate); }
|
||||
|
||||
} } // end namespace boost::logic
|
||||
@ -452,7 +461,7 @@ namespace boost {
|
||||
#define BOOST_TRIBOOL_THIRD_STATE(Name) \
|
||||
inline bool \
|
||||
Name(boost::logic::tribool x, \
|
||||
boost::logic::detail::indeterminate_t dummy = \
|
||||
boost::logic::detail::indeterminate_t = \
|
||||
boost::logic::detail::indeterminate_t()) \
|
||||
{ return x.value == boost::logic::tribool::indeterminate_value; }
|
||||
|
||||
|
@ -11,7 +11,7 @@
|
||||
#include <boost/detail/workaround.hpp>
|
||||
#include <boost/noncopyable.hpp>
|
||||
|
||||
#if BOOST_WORKAROUND(_MSC_VER, >= 1200)
|
||||
#if defined(_MSC_VER)
|
||||
# pragma once
|
||||
#endif
|
||||
|
||||
@ -45,7 +45,7 @@ template<>
|
||||
inline std::basic_string<char> default_false_name<char>()
|
||||
{ return "false"; }
|
||||
|
||||
# ifndef BOOST_NO_WCHAR_T
|
||||
# if !defined(BOOST_NO_CWCHAR)
|
||||
/**
|
||||
* \brief Returns the wide character string L"false".
|
||||
*
|
||||
@ -76,7 +76,7 @@ template<>
|
||||
inline std::basic_string<char> default_true_name<char>()
|
||||
{ return "true"; }
|
||||
|
||||
# ifndef BOOST_NO_WCHAR_T
|
||||
# if !defined(BOOST_NO_CWCHAR)
|
||||
/**
|
||||
* \brief Returns the wide character string L"true".
|
||||
*
|
||||
@ -104,17 +104,11 @@ template<>
|
||||
inline std::basic_string<char> get_default_indeterminate_name<char>()
|
||||
{ return "indeterminate"; }
|
||||
|
||||
#if BOOST_WORKAROUND(BOOST_MSVC, < 1300)
|
||||
// VC++ 6.0 chokes on the specialization below, so we're stuck without
|
||||
// wchar_t support. What a pain. TODO: it might just need a the template
|
||||
// parameter as function parameter...
|
||||
#else
|
||||
# ifndef BOOST_NO_WCHAR_T
|
||||
#if !defined(BOOST_NO_CWCHAR)
|
||||
/// Returns the wide character string L"indeterminate".
|
||||
template<>
|
||||
inline std::basic_string<wchar_t> get_default_indeterminate_name<wchar_t>()
|
||||
{ return L"indeterminate"; }
|
||||
# endif
|
||||
#endif
|
||||
|
||||
// http://www.cantrip.org/locale.html
|
||||
@ -140,7 +134,8 @@ public:
|
||||
indeterminate_name() : name_(get_default_indeterminate_name<CharT>()) {}
|
||||
|
||||
/// Construct the facet with the given name for the indeterminate value
|
||||
explicit indeterminate_name(const string_type& name) : name_(name) {}
|
||||
explicit indeterminate_name(const string_type& initial_name)
|
||||
: name_(initial_name) {}
|
||||
|
||||
/// Returns the name for the indeterminate value
|
||||
string_type name() const { return name_; }
|
||||
@ -284,9 +279,9 @@ operator>>(std::basic_istream<CharT, Traits>& in, tribool& x)
|
||||
bool falsename_ok = true, truename_ok = true, othername_ok = true;
|
||||
|
||||
// Modeled after the code from Library DR 17
|
||||
while (falsename_ok && pos < falsename.size()
|
||||
|| truename_ok && pos < truename.size()
|
||||
|| othername_ok && pos < othername.size()) {
|
||||
while ((falsename_ok && pos < falsename.size())
|
||||
|| (truename_ok && pos < truename.size())
|
||||
|| (othername_ok && pos < othername.size())) {
|
||||
typename Traits::int_type c = in.get();
|
||||
if (c == Traits::eof())
|
||||
return in;
|
||||
|
16
index.html
Normal file
16
index.html
Normal file
@ -0,0 +1,16 @@
|
||||
|
||||
<!--
|
||||
Copyright 2011 Daniel James.
|
||||
Distributed under the Boost Software License, Version 1.0. (See accompanying
|
||||
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
||||
-->
|
||||
|
||||
<html>
|
||||
<head>
|
||||
<meta http-equiv="refresh" content="0; URL=../../doc/html/tribool.html">
|
||||
</head>
|
||||
<body>
|
||||
Automatic redirection failed, please go to
|
||||
<a href="../../doc/html/tribool.html">../../doc/html/tribool.html</a>
|
||||
</body>
|
||||
</html>
|
16
meta/libraries.json
Normal file
16
meta/libraries.json
Normal file
@ -0,0 +1,16 @@
|
||||
{
|
||||
"key": "logic/tribool",
|
||||
"name": "Tribool",
|
||||
"authors": [
|
||||
"Doug Gregor"
|
||||
],
|
||||
"description": "3-state boolean type library.",
|
||||
"documentation": "/doc/html/tribool.html",
|
||||
"category": [
|
||||
"Miscellaneous"
|
||||
],
|
||||
"maintainers": [
|
||||
"Douglas Gregor <dgregor -at- cs.indiana.edu>"
|
||||
],
|
||||
"cxxstd": "03"
|
||||
}
|
@ -8,10 +8,55 @@
|
||||
|
||||
# For more information, see http://www.boost.org/
|
||||
|
||||
import path ;
|
||||
import os ;
|
||||
import regex ;
|
||||
import testing ;
|
||||
|
||||
local self = logic ;
|
||||
|
||||
rule test-expected-failures
|
||||
{
|
||||
local all_rules = ;
|
||||
local file ;
|
||||
local tests_path = [ path.make $(BOOST_ROOT)/libs/$(self)/test/compile-fail ] ;
|
||||
for file in [ path.glob-tree $(tests_path) : *.cpp ]
|
||||
{
|
||||
local rel_file = [ path.relative-to $(tests_path) $(file) ] ;
|
||||
local test_name = [ regex.replace [ regex.replace $(rel_file) "/" "-" ] ".cpp" "" ] ;
|
||||
local decl_test_name = cf-$(test_name) ;
|
||||
# ECHO $(rel_file) ;
|
||||
all_rules += [ compile-fail $(file) : : $(decl_test_name) ] ;
|
||||
}
|
||||
|
||||
# ECHO All rules: $(all_rules) ;
|
||||
return $(all_rules) ;
|
||||
}
|
||||
|
||||
rule test-header-isolation
|
||||
{
|
||||
local all_rules = ;
|
||||
local file ;
|
||||
local headers_path = [ path.make $(BOOST_ROOT)/libs/$(self)/include ] ;
|
||||
for file in [ path.glob-tree $(headers_path) : *.hpp ]
|
||||
{
|
||||
local rel_file = [ path.relative-to $(headers_path) $(file) ] ;
|
||||
# Note: The test name starts with '~' in order to group these tests in the test report table, preferably at the end.
|
||||
# All '/' are replaced with '-' because apparently test scripts have a problem with test names containing slashes.
|
||||
local test_name = [ regex.replace $(rel_file) "/" "-" ] ;
|
||||
local decl_test_name = ~hdr-decl-$(test_name) ;
|
||||
# ECHO $(rel_file) ;
|
||||
all_rules += [ compile compile/decl_header.cpp : <define>"BOOST_TEST_HEADER=$(rel_file)" <dependency>$(file) : $(decl_test_name) ] ;
|
||||
}
|
||||
|
||||
# ECHO All rules: $(all_rules) ;
|
||||
return $(all_rules) ;
|
||||
}
|
||||
|
||||
test-suite logic :
|
||||
[ test-expected-failures ]
|
||||
[ test-header-isolation ]
|
||||
[ run tribool_test.cpp ]
|
||||
[ run tribool_rename_test.cpp ]
|
||||
[ run tribool_io_test.cpp ]
|
||||
;
|
||||
|
||||
|
23
test/compile-fail/implicit.cpp
Normal file
23
test/compile-fail/implicit.cpp
Normal file
@ -0,0 +1,23 @@
|
||||
// Copyright 2018 James E. King III. Use, modification and
|
||||
// distribution is subject to the Boost Software License, Version
|
||||
// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
||||
// http://www.boost.org/LICENSE_1_0.txt)
|
||||
|
||||
#include <boost/logic/tribool.hpp>
|
||||
|
||||
int main(int, char*[])
|
||||
{
|
||||
using boost::logic::indeterminate;
|
||||
using boost::logic::tribool;
|
||||
|
||||
tribool i(indeterminate);
|
||||
|
||||
#if !defined( BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS )
|
||||
bool b = i; // expect to see: no viable conversion from 'boost::logic::tribool' to 'bool'
|
||||
return (int)b;
|
||||
#else
|
||||
#error in c++03 explicit conversions are allowed
|
||||
#endif
|
||||
// NOTREACHED
|
||||
return 0;
|
||||
}
|
16
test/compile-fail/implicit_int_1.cpp
Normal file
16
test/compile-fail/implicit_int_1.cpp
Normal file
@ -0,0 +1,16 @@
|
||||
// Copyright 2018 James E. King III. Use, modification and
|
||||
// distribution is subject to the Boost Software License, Version
|
||||
// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
||||
// http://www.boost.org/LICENSE_1_0.txt)
|
||||
|
||||
#include <boost/logic/tribool.hpp>
|
||||
|
||||
int main(int, char*[])
|
||||
{
|
||||
using boost::logic::indeterminate;
|
||||
using boost::logic::tribool;
|
||||
|
||||
tribool i(indeterminate);
|
||||
|
||||
return i; // expect to see: error: no viable conversion from returned value of type 'boost::logic::tribool' to function return type 'int'
|
||||
}
|
16
test/compile-fail/implicit_int_2.cpp
Normal file
16
test/compile-fail/implicit_int_2.cpp
Normal file
@ -0,0 +1,16 @@
|
||||
// Copyright 2018 James E. King III. Use, modification and
|
||||
// distribution is subject to the Boost Software License, Version
|
||||
// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
||||
// http://www.boost.org/LICENSE_1_0.txt)
|
||||
|
||||
#include <boost/logic/tribool.hpp>
|
||||
|
||||
int main(int, char*[])
|
||||
{
|
||||
using boost::logic::indeterminate;
|
||||
using boost::logic::tribool;
|
||||
|
||||
tribool i(indeterminate);
|
||||
|
||||
return i + 1; // expect to see: error: invalid operands to binary expression ('boost::logic::tribool' and 'int')
|
||||
}
|
16
test/compile-fail/implicit_int_3.cpp
Normal file
16
test/compile-fail/implicit_int_3.cpp
Normal file
@ -0,0 +1,16 @@
|
||||
// Copyright 2018 James E. King III. Use, modification and
|
||||
// distribution is subject to the Boost Software License, Version
|
||||
// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
||||
// http://www.boost.org/LICENSE_1_0.txt)
|
||||
|
||||
#include <boost/logic/tribool.hpp>
|
||||
|
||||
int main(int, char*[])
|
||||
{
|
||||
using boost::logic::indeterminate;
|
||||
using boost::logic::tribool;
|
||||
|
||||
tribool i(indeterminate);
|
||||
|
||||
return i << 1; // expect to see: error: invalid operands to binary expression ('boost::logic::tribool' and 'int')
|
||||
}
|
16
test/compile-fail/operator_less_1.cpp
Normal file
16
test/compile-fail/operator_less_1.cpp
Normal file
@ -0,0 +1,16 @@
|
||||
// Copyright 2018 James E. King III. Use, modification and
|
||||
// distribution is subject to the Boost Software License, Version
|
||||
// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
||||
// http://www.boost.org/LICENSE_1_0.txt)
|
||||
|
||||
#include <boost/logic/tribool.hpp>
|
||||
|
||||
int main(int, char*[])
|
||||
{
|
||||
using boost::logic::tribool;
|
||||
|
||||
tribool f; // false
|
||||
tribool t(true); // true
|
||||
|
||||
return f < t; // expect to see: error: invalid operands to binary expression ('boost::logic::tribool' and 'boost::logic::tribool')
|
||||
}
|
15
test/compile-fail/operator_less_2.cpp
Normal file
15
test/compile-fail/operator_less_2.cpp
Normal file
@ -0,0 +1,15 @@
|
||||
// Copyright 2018 James E. King III. Use, modification and
|
||||
// distribution is subject to the Boost Software License, Version
|
||||
// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
||||
// http://www.boost.org/LICENSE_1_0.txt)
|
||||
|
||||
#include <boost/logic/tribool.hpp>
|
||||
|
||||
int main(int, char*[])
|
||||
{
|
||||
using boost::logic::tribool;
|
||||
|
||||
tribool t(true);
|
||||
|
||||
return t < 1; // expect to see: error: invalid operands to binary expression ('boost::logic::tribool' and 'int')
|
||||
}
|
24
test/compile/decl_header.cpp
Normal file
24
test/compile/decl_header.cpp
Normal file
@ -0,0 +1,24 @@
|
||||
/*
|
||||
* Copyright Andrey Semashev 2015.
|
||||
* Distributed under the Boost Software License, Version 1.0.
|
||||
* (See accompanying file LICENSE_1_0.txt or copy at
|
||||
* http://www.boost.org/LICENSE_1_0.txt)
|
||||
*/
|
||||
/*!
|
||||
* \file decl_header.cpp
|
||||
* \author Andrey Semashev
|
||||
* \date 21.06.2015
|
||||
*
|
||||
* \brief This file contains a test boilerplate for checking that every
|
||||
* public header is self-contained and does not have any missing
|
||||
* #includes.
|
||||
*/
|
||||
|
||||
#define BOOST_TEST_INCLUDE_HEADER() <BOOST_TEST_HEADER>
|
||||
|
||||
#include BOOST_TEST_INCLUDE_HEADER()
|
||||
|
||||
int main(int, char*[])
|
||||
{
|
||||
return 0;
|
||||
}
|
@ -4,7 +4,7 @@
|
||||
// http://www.boost.org/LICENSE_1_0.txt)
|
||||
#include <boost/logic/tribool.hpp>
|
||||
#include <boost/logic/tribool_io.hpp>
|
||||
#include <boost/test/minimal.hpp>
|
||||
#include <boost/core/lightweight_test.hpp>
|
||||
#include <sstream>
|
||||
#include <string>
|
||||
#include <iostream>
|
||||
@ -14,12 +14,24 @@
|
||||
# include <locale>
|
||||
#endif
|
||||
|
||||
int test_main(int, char*[])
|
||||
int main()
|
||||
{
|
||||
using namespace boost::logic;
|
||||
|
||||
tribool x;
|
||||
|
||||
#if !defined(BOOST_NO_CWCHAR) && !defined(BOOST_NO_STD_WSTRING)
|
||||
std::wostringstream wout;
|
||||
wout << std::boolalpha << tribool(false);
|
||||
BOOST_TEST(wout.str() == L"false");
|
||||
wout.str(std::wstring());
|
||||
wout << std::boolalpha << tribool(true);
|
||||
BOOST_TEST(wout.str() == L"true");
|
||||
wout.str(std::wstring());
|
||||
wout << std::boolalpha << tribool(indeterminate);
|
||||
BOOST_TEST(wout.str() == L"indeterminate");
|
||||
#endif
|
||||
|
||||
// Check tribool output
|
||||
std::ostringstream out;
|
||||
|
||||
@ -28,14 +40,14 @@ int test_main(int, char*[])
|
||||
x = false;
|
||||
out << x;
|
||||
std::cout << "Output false (noboolalpha): " << out.str() << std::endl;
|
||||
BOOST_CHECK(out.str() == "0");
|
||||
BOOST_TEST(out.str() == "0");
|
||||
|
||||
// Output true (noboolalpha)
|
||||
out.str(std::string());
|
||||
x = true;
|
||||
out << x;
|
||||
std::cout << "Output true (noboolalpha): " << out.str() << std::endl;
|
||||
BOOST_CHECK(out.str() == "1");
|
||||
BOOST_TEST(out.str() == "1");
|
||||
|
||||
// Output indeterminate (noboolalpha)
|
||||
out.str(std::string());
|
||||
@ -43,14 +55,14 @@ int test_main(int, char*[])
|
||||
out << x;
|
||||
std::cout << "Output indeterminate (noboolalpha): " << out.str()
|
||||
<< std::endl;
|
||||
BOOST_CHECK(out.str() == "2");
|
||||
BOOST_TEST(out.str() == "2");
|
||||
|
||||
// Output indeterminate (noboolalpha)
|
||||
out.str(std::string());
|
||||
out << indeterminate;
|
||||
std::cout << "Output indeterminate (noboolalpha): " << out.str()
|
||||
<< std::endl;
|
||||
BOOST_CHECK(out.str() == "2");
|
||||
BOOST_TEST(out.str() == "2");
|
||||
|
||||
#ifndef BOOST_NO_STD_LOCALE
|
||||
const std::numpunct<char>& punct =
|
||||
@ -61,7 +73,7 @@ int test_main(int, char*[])
|
||||
x = false;
|
||||
out << std::boolalpha << x;
|
||||
std::cout << "Output false (boolalpha): " << out.str() << std::endl;
|
||||
BOOST_CHECK(out.str() == punct.falsename());
|
||||
BOOST_TEST(out.str() == punct.falsename());
|
||||
|
||||
// Output true (boolalpha)
|
||||
out.str(std::string());
|
||||
@ -69,7 +81,7 @@ int test_main(int, char*[])
|
||||
out << std::boolalpha << x;
|
||||
std::cout << "Output true (boolalpha): " << out.str() << std::endl;
|
||||
|
||||
BOOST_CHECK(out.str() == punct.truename());
|
||||
BOOST_TEST(out.str() == punct.truename());
|
||||
|
||||
// Output indeterminate (boolalpha - default name)
|
||||
out.str(std::string());
|
||||
@ -77,14 +89,14 @@ int test_main(int, char*[])
|
||||
out << std::boolalpha << x;
|
||||
std::cout << "Output indeterminate (boolalpha - default name): " << out.str()
|
||||
<< std::endl;
|
||||
BOOST_CHECK(out.str() == "indeterminate");
|
||||
BOOST_TEST(out.str() == "indeterminate");
|
||||
|
||||
// Output indeterminate (boolalpha - default name)
|
||||
out.str(std::string());
|
||||
out << std::boolalpha << indeterminate;
|
||||
std::cout << "Output indeterminate (boolalpha - default name): " << out.str()
|
||||
<< std::endl;
|
||||
BOOST_CHECK(out.str() == "indeterminate");
|
||||
BOOST_TEST(out.str() == "indeterminate");
|
||||
|
||||
# if BOOST_WORKAROUND(BOOST_DINKUMWARE_STDLIB, == 1)
|
||||
// No template constructors, so we can't build the test locale
|
||||
@ -97,7 +109,7 @@ int test_main(int, char*[])
|
||||
out << std::boolalpha << x;
|
||||
std::cout << "Output indeterminate (boolalpha - \"maybe\"): " << out.str()
|
||||
<< std::endl;
|
||||
BOOST_CHECK(out.str() == "maybe");
|
||||
BOOST_TEST(out.str() == "maybe");
|
||||
# endif
|
||||
#endif // ! BOOST_NO_STD_LOCALE
|
||||
|
||||
@ -108,7 +120,7 @@ int test_main(int, char*[])
|
||||
std::istringstream in("0");
|
||||
std::cout << "Input \"0\" (checks for false)" << std::endl;
|
||||
in >> x;
|
||||
BOOST_CHECK(x == false);
|
||||
BOOST_TEST(x == false);
|
||||
}
|
||||
|
||||
// Input true (noboolalpha)
|
||||
@ -116,7 +128,7 @@ int test_main(int, char*[])
|
||||
std::istringstream in("1");
|
||||
std::cout << "Input \"1\" (checks for true)" << std::endl;
|
||||
in >> x;
|
||||
BOOST_CHECK(x == true);
|
||||
BOOST_TEST(x == true);
|
||||
}
|
||||
|
||||
// Input false (noboolalpha)
|
||||
@ -124,14 +136,14 @@ int test_main(int, char*[])
|
||||
std::istringstream in("2");
|
||||
std::cout << "Input \"2\" (checks for indeterminate)" << std::endl;
|
||||
in >> x;
|
||||
BOOST_CHECK(indeterminate(x));
|
||||
BOOST_TEST(indeterminate(x));
|
||||
}
|
||||
|
||||
// Input bad number (noboolalpha)
|
||||
{
|
||||
std::istringstream in("3");
|
||||
std::cout << "Input \"3\" (checks for failure)" << std::endl;
|
||||
BOOST_CHECK(!(in >> x));
|
||||
BOOST_TEST(!(in >> x));
|
||||
}
|
||||
|
||||
// Input false (boolalpha)
|
||||
@ -139,7 +151,7 @@ int test_main(int, char*[])
|
||||
std::istringstream in("false");
|
||||
std::cout << "Input \"false\" (checks for false)" << std::endl;
|
||||
in >> std::boolalpha >> x;
|
||||
BOOST_CHECK(x == false);
|
||||
BOOST_TEST(x == false);
|
||||
}
|
||||
|
||||
// Input true (boolalpha)
|
||||
@ -147,7 +159,7 @@ int test_main(int, char*[])
|
||||
std::istringstream in("true");
|
||||
std::cout << "Input \"true\" (checks for true)" << std::endl;
|
||||
in >> std::boolalpha >> x;
|
||||
BOOST_CHECK(x == true);
|
||||
BOOST_TEST(x == true);
|
||||
}
|
||||
|
||||
// Input indeterminate (boolalpha)
|
||||
@ -156,7 +168,7 @@ int test_main(int, char*[])
|
||||
std::cout << "Input \"indeterminate\" (checks for indeterminate)"
|
||||
<< std::endl;
|
||||
in >> std::boolalpha >> x;
|
||||
BOOST_CHECK(indeterminate(x));
|
||||
BOOST_TEST(indeterminate(x));
|
||||
}
|
||||
|
||||
// Input bad string (boolalpha)
|
||||
@ -164,7 +176,7 @@ int test_main(int, char*[])
|
||||
std::istringstream in("bad");
|
||||
std::cout << "Input \"bad\" (checks for failure)"
|
||||
<< std::endl;
|
||||
BOOST_CHECK(!(in >> std::boolalpha >> x));
|
||||
BOOST_TEST(!(in >> std::boolalpha >> x));
|
||||
}
|
||||
|
||||
#if BOOST_WORKAROUND(BOOST_DINKUMWARE_STDLIB, == 1)
|
||||
@ -178,7 +190,7 @@ int test_main(int, char*[])
|
||||
std::cout << "Input \"maybe\" (checks for indeterminate, uses locales)"
|
||||
<< std::endl;
|
||||
in >> std::boolalpha >> x;
|
||||
BOOST_CHECK(indeterminate(x));
|
||||
BOOST_TEST(indeterminate(x));
|
||||
}
|
||||
|
||||
// Input indeterminate named "true_or_false" (boolalpha)
|
||||
@ -190,9 +202,9 @@ int test_main(int, char*[])
|
||||
std::cout << "Input \"true_or_false\" (checks for indeterminate)"
|
||||
<< std::endl;
|
||||
in >> std::boolalpha >> x;
|
||||
BOOST_CHECK(indeterminate(x));
|
||||
BOOST_TEST(indeterminate(x));
|
||||
}
|
||||
#endif
|
||||
|
||||
return 0;
|
||||
return boost::report_errors();
|
||||
}
|
||||
|
@ -6,12 +6,12 @@
|
||||
// For more information, see http://www.boost.org
|
||||
|
||||
#include <boost/logic/tribool.hpp>
|
||||
#include <boost/test/minimal.hpp>
|
||||
#include <boost/core/lightweight_test.hpp>
|
||||
#include <iostream>
|
||||
|
||||
BOOST_TRIBOOL_THIRD_STATE(maybe)
|
||||
|
||||
int test_main(int,char*[])
|
||||
int main()
|
||||
{
|
||||
using namespace boost::logic;
|
||||
|
||||
@ -19,105 +19,104 @@ int test_main(int,char*[])
|
||||
tribool y(true); // true
|
||||
tribool z(maybe); // maybe
|
||||
|
||||
BOOST_CHECK(!x);
|
||||
BOOST_CHECK(x == false);
|
||||
BOOST_CHECK(false == x);
|
||||
BOOST_CHECK(x != true);
|
||||
BOOST_CHECK(true != x);
|
||||
BOOST_CHECK(maybe(x == maybe));
|
||||
BOOST_CHECK(maybe(maybe == x));
|
||||
BOOST_CHECK(maybe(x != maybe));
|
||||
BOOST_CHECK(maybe(maybe != x));
|
||||
BOOST_CHECK(x == x);
|
||||
BOOST_CHECK(!(x != x));
|
||||
BOOST_CHECK(!(x && true));
|
||||
BOOST_CHECK(!(true && x));
|
||||
BOOST_CHECK(x || true);
|
||||
BOOST_CHECK(true || x);
|
||||
BOOST_TEST(!x);
|
||||
BOOST_TEST(x == false);
|
||||
BOOST_TEST(false == x);
|
||||
BOOST_TEST(x != true);
|
||||
BOOST_TEST(true != x);
|
||||
BOOST_TEST(maybe(x == maybe));
|
||||
BOOST_TEST(maybe(maybe == x));
|
||||
BOOST_TEST(maybe(x != maybe));
|
||||
BOOST_TEST(maybe(maybe != x));
|
||||
BOOST_TEST(x == x);
|
||||
BOOST_TEST(!(x != x));
|
||||
BOOST_TEST(!(x && true));
|
||||
BOOST_TEST(!(true && x));
|
||||
BOOST_TEST(x || true);
|
||||
BOOST_TEST(true || x);
|
||||
|
||||
BOOST_CHECK(y);
|
||||
BOOST_CHECK(y == true);
|
||||
BOOST_CHECK(true == y);
|
||||
BOOST_CHECK(y != false);
|
||||
BOOST_CHECK(false != y);
|
||||
BOOST_CHECK(maybe(y == maybe));
|
||||
BOOST_CHECK(maybe(maybe == y));
|
||||
BOOST_CHECK(maybe(y != maybe));
|
||||
BOOST_CHECK(maybe(maybe != y));
|
||||
BOOST_CHECK(y == y);
|
||||
BOOST_CHECK(!(y != y));
|
||||
BOOST_TEST(y);
|
||||
BOOST_TEST(y == true);
|
||||
BOOST_TEST(true == y);
|
||||
BOOST_TEST(y != false);
|
||||
BOOST_TEST(false != y);
|
||||
BOOST_TEST(maybe(y == maybe));
|
||||
BOOST_TEST(maybe(maybe == y));
|
||||
BOOST_TEST(maybe(y != maybe));
|
||||
BOOST_TEST(maybe(maybe != y));
|
||||
BOOST_TEST(y == y);
|
||||
BOOST_TEST(!(y != y));
|
||||
|
||||
BOOST_CHECK(maybe(z || !z));
|
||||
BOOST_CHECK(maybe(z == true));
|
||||
BOOST_CHECK(maybe(true == z));
|
||||
BOOST_CHECK(maybe(z == false));
|
||||
BOOST_CHECK(maybe(false == z));
|
||||
BOOST_CHECK(maybe(z == maybe));
|
||||
BOOST_CHECK(maybe(maybe == z));
|
||||
BOOST_CHECK(maybe(z != maybe));
|
||||
BOOST_CHECK(maybe(maybe != z));
|
||||
BOOST_CHECK(maybe(z == z));
|
||||
BOOST_CHECK(maybe(z != z));
|
||||
BOOST_TEST(maybe(z || !z));
|
||||
BOOST_TEST(maybe(z == true));
|
||||
BOOST_TEST(maybe(true == z));
|
||||
BOOST_TEST(maybe(z == false));
|
||||
BOOST_TEST(maybe(false == z));
|
||||
BOOST_TEST(maybe(z == maybe));
|
||||
BOOST_TEST(maybe(maybe == z));
|
||||
BOOST_TEST(maybe(z != maybe));
|
||||
BOOST_TEST(maybe(maybe != z));
|
||||
BOOST_TEST(maybe(z == z));
|
||||
BOOST_TEST(maybe(z != z));
|
||||
|
||||
BOOST_CHECK(!(x == y));
|
||||
BOOST_CHECK(x != y);
|
||||
BOOST_CHECK(maybe(x == z));
|
||||
BOOST_CHECK(maybe(x != z));
|
||||
BOOST_CHECK(maybe(y == z));
|
||||
BOOST_CHECK(maybe(y != z));
|
||||
BOOST_TEST(!(x == y));
|
||||
BOOST_TEST(x != y);
|
||||
BOOST_TEST(maybe(x == z));
|
||||
BOOST_TEST(maybe(x != z));
|
||||
BOOST_TEST(maybe(y == z));
|
||||
BOOST_TEST(maybe(y != z));
|
||||
|
||||
BOOST_CHECK(!(x && y));
|
||||
BOOST_CHECK(x || y);
|
||||
BOOST_CHECK(!(x && z));
|
||||
BOOST_CHECK(maybe(y && z));
|
||||
BOOST_CHECK(maybe(z && z));
|
||||
BOOST_CHECK(maybe(z || z));
|
||||
BOOST_CHECK(maybe(x || z));
|
||||
BOOST_CHECK(y || z);
|
||||
BOOST_TEST(!(x && y));
|
||||
BOOST_TEST(x || y);
|
||||
BOOST_TEST(!(x && z));
|
||||
BOOST_TEST(maybe(y && z));
|
||||
BOOST_TEST(maybe(z && z));
|
||||
BOOST_TEST(maybe(z || z));
|
||||
BOOST_TEST(maybe(x || z));
|
||||
BOOST_TEST(y || z);
|
||||
|
||||
BOOST_CHECK(maybe(y && maybe));
|
||||
BOOST_CHECK(maybe(maybe && y));
|
||||
BOOST_CHECK(!(x && maybe));
|
||||
BOOST_CHECK(!(maybe && x));
|
||||
BOOST_TEST(maybe(y && maybe));
|
||||
BOOST_TEST(maybe(maybe && y));
|
||||
BOOST_TEST(!(x && maybe));
|
||||
BOOST_TEST(!(maybe && x));
|
||||
|
||||
BOOST_CHECK(maybe || y);
|
||||
BOOST_CHECK(y || maybe);
|
||||
BOOST_CHECK(maybe(x || maybe));
|
||||
BOOST_CHECK(maybe(maybe || x));
|
||||
BOOST_TEST(maybe || y);
|
||||
BOOST_TEST(y || maybe);
|
||||
BOOST_TEST(maybe(x || maybe));
|
||||
BOOST_TEST(maybe(maybe || x));
|
||||
|
||||
// Test the if (z) ... else (!z) ... else ... idiom
|
||||
if (z) {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
else if (!z) {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
else {
|
||||
BOOST_CHECK(true);
|
||||
BOOST_TEST(true);
|
||||
}
|
||||
|
||||
z = true;
|
||||
if (z) {
|
||||
BOOST_CHECK(true);
|
||||
BOOST_TEST(true);
|
||||
}
|
||||
else if (!z) {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
else {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
|
||||
z = false;
|
||||
if (z) {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
else if (!z) {
|
||||
BOOST_CHECK(true);
|
||||
BOOST_TEST(true);
|
||||
}
|
||||
else {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
|
||||
std::cout << "no errors detected\n";
|
||||
return 0;
|
||||
return boost::report_errors();
|
||||
}
|
||||
|
@ -3,11 +3,13 @@
|
||||
// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
||||
// http://www.boost.org/LICENSE_1_0.txt)
|
||||
|
||||
#include <boost/config.hpp>
|
||||
#include <boost/logic/tribool.hpp>
|
||||
#include <boost/test/minimal.hpp>
|
||||
#include <boost/core/lightweight_test.hpp>
|
||||
#include <boost/static_assert.hpp>
|
||||
#include <iostream>
|
||||
|
||||
int test_main(int, char*[])
|
||||
int main()
|
||||
{
|
||||
using namespace boost::logic;
|
||||
|
||||
@ -15,105 +17,138 @@ int test_main(int, char*[])
|
||||
tribool y(true); // true
|
||||
tribool z(indeterminate); // indeterminate
|
||||
|
||||
BOOST_CHECK(!x);
|
||||
BOOST_CHECK(x == false);
|
||||
BOOST_CHECK(false == x);
|
||||
BOOST_CHECK(x != true);
|
||||
BOOST_CHECK(true != x);
|
||||
BOOST_CHECK(indeterminate(x == indeterminate));
|
||||
BOOST_CHECK(indeterminate(indeterminate == x));
|
||||
BOOST_CHECK(indeterminate(x != indeterminate));
|
||||
BOOST_CHECK(indeterminate(indeterminate != x));
|
||||
BOOST_CHECK(x == x);
|
||||
BOOST_CHECK(!(x != x));
|
||||
BOOST_CHECK(!(x && true));
|
||||
BOOST_CHECK(!(true && x));
|
||||
BOOST_CHECK(x || true);
|
||||
BOOST_CHECK(true || x);
|
||||
#if defined( BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS )
|
||||
// c++03 allows for implicit conversion to bool
|
||||
// c++11 uses an explicit conversion operator so this would not compile
|
||||
// and that is tested in the compile-fail/implicit.cpp file
|
||||
// so we check the conversion to ensure it is sane
|
||||
bool bx = x;
|
||||
BOOST_TEST(bx == false);
|
||||
bool by = y;
|
||||
BOOST_TEST(by == true);
|
||||
bool bz = z;
|
||||
BOOST_TEST(bz == false);
|
||||
#endif
|
||||
|
||||
BOOST_CHECK(y);
|
||||
BOOST_CHECK(y == true);
|
||||
BOOST_CHECK(true == y);
|
||||
BOOST_CHECK(y != false);
|
||||
BOOST_CHECK(false != y);
|
||||
BOOST_CHECK(indeterminate(y == indeterminate));
|
||||
BOOST_CHECK(indeterminate(indeterminate == y));
|
||||
BOOST_CHECK(indeterminate(y != indeterminate));
|
||||
BOOST_CHECK(indeterminate(indeterminate != y));
|
||||
BOOST_CHECK(y == y);
|
||||
BOOST_CHECK(!(y != y));
|
||||
BOOST_TEST(!x);
|
||||
BOOST_TEST(x == false);
|
||||
BOOST_TEST(false == x);
|
||||
BOOST_TEST(x != true);
|
||||
BOOST_TEST(true != x);
|
||||
BOOST_TEST(indeterminate(x == indeterminate));
|
||||
BOOST_TEST(indeterminate(indeterminate == x));
|
||||
BOOST_TEST(indeterminate(x != indeterminate));
|
||||
BOOST_TEST(indeterminate(indeterminate != x));
|
||||
BOOST_TEST(x == x);
|
||||
BOOST_TEST(!(x != x));
|
||||
BOOST_TEST(!(x && true));
|
||||
BOOST_TEST(!(true && x));
|
||||
BOOST_TEST(x || true);
|
||||
BOOST_TEST(true || x);
|
||||
|
||||
BOOST_CHECK(indeterminate(z || !z));
|
||||
BOOST_CHECK(indeterminate(z == true));
|
||||
BOOST_CHECK(indeterminate(true == z));
|
||||
BOOST_CHECK(indeterminate(z == false));
|
||||
BOOST_CHECK(indeterminate(false == z));
|
||||
BOOST_CHECK(indeterminate(z == indeterminate));
|
||||
BOOST_CHECK(indeterminate(indeterminate == z));
|
||||
BOOST_CHECK(indeterminate(z != indeterminate));
|
||||
BOOST_CHECK(indeterminate(indeterminate != z));
|
||||
BOOST_CHECK(indeterminate(z == z));
|
||||
BOOST_CHECK(indeterminate(z != z));
|
||||
BOOST_TEST(y);
|
||||
BOOST_TEST(y == true);
|
||||
BOOST_TEST(true == y);
|
||||
BOOST_TEST(y != false);
|
||||
BOOST_TEST(false != y);
|
||||
BOOST_TEST(indeterminate(y == indeterminate));
|
||||
BOOST_TEST(indeterminate(indeterminate == y));
|
||||
BOOST_TEST(indeterminate(y != indeterminate));
|
||||
BOOST_TEST(indeterminate(indeterminate != y));
|
||||
BOOST_TEST(y == y);
|
||||
BOOST_TEST(!(y != y));
|
||||
|
||||
BOOST_CHECK(!(x == y));
|
||||
BOOST_CHECK(x != y);
|
||||
BOOST_CHECK(indeterminate(x == z));
|
||||
BOOST_CHECK(indeterminate(x != z));
|
||||
BOOST_CHECK(indeterminate(y == z));
|
||||
BOOST_CHECK(indeterminate(y != z));
|
||||
BOOST_TEST(indeterminate(z || !z));
|
||||
BOOST_TEST(indeterminate(z == true));
|
||||
BOOST_TEST(indeterminate(true == z));
|
||||
BOOST_TEST(indeterminate(z == false));
|
||||
BOOST_TEST(indeterminate(false == z));
|
||||
BOOST_TEST(indeterminate(z == indeterminate));
|
||||
BOOST_TEST(indeterminate(indeterminate == z));
|
||||
BOOST_TEST(indeterminate(z != indeterminate));
|
||||
BOOST_TEST(indeterminate(indeterminate != z));
|
||||
BOOST_TEST(indeterminate(z == z));
|
||||
BOOST_TEST(indeterminate(z != z));
|
||||
|
||||
BOOST_CHECK(!(x && y));
|
||||
BOOST_CHECK(x || y);
|
||||
BOOST_CHECK(!(x && z));
|
||||
BOOST_CHECK(indeterminate(y && z));
|
||||
BOOST_CHECK(indeterminate(z && z));
|
||||
BOOST_CHECK(indeterminate(z || z));
|
||||
BOOST_CHECK(indeterminate(x || z));
|
||||
BOOST_CHECK(y || z);
|
||||
BOOST_TEST(!(x == y));
|
||||
BOOST_TEST(x != y);
|
||||
BOOST_TEST(indeterminate(x == z));
|
||||
BOOST_TEST(indeterminate(x != z));
|
||||
BOOST_TEST(indeterminate(y == z));
|
||||
BOOST_TEST(indeterminate(y != z));
|
||||
|
||||
BOOST_CHECK(indeterminate(y && indeterminate));
|
||||
BOOST_CHECK(indeterminate(indeterminate && y));
|
||||
BOOST_CHECK(!(x && indeterminate));
|
||||
BOOST_CHECK(!(indeterminate && x));
|
||||
BOOST_TEST(!(x && y));
|
||||
BOOST_TEST(x || y);
|
||||
BOOST_TEST(!(x && z));
|
||||
BOOST_TEST(indeterminate(y && z));
|
||||
BOOST_TEST(indeterminate(z && z));
|
||||
BOOST_TEST(indeterminate(z || z));
|
||||
BOOST_TEST(indeterminate(x || z));
|
||||
BOOST_TEST(y || z);
|
||||
|
||||
BOOST_CHECK(indeterminate || y);
|
||||
BOOST_CHECK(y || indeterminate);
|
||||
BOOST_CHECK(indeterminate(x || indeterminate));
|
||||
BOOST_CHECK(indeterminate(indeterminate || x));
|
||||
BOOST_TEST(indeterminate(y && indeterminate));
|
||||
BOOST_TEST(indeterminate(indeterminate && y));
|
||||
BOOST_TEST(!(x && indeterminate));
|
||||
BOOST_TEST(!(indeterminate && x));
|
||||
|
||||
BOOST_TEST(indeterminate || y);
|
||||
BOOST_TEST(y || indeterminate);
|
||||
BOOST_TEST(indeterminate(x || indeterminate));
|
||||
BOOST_TEST(indeterminate(indeterminate || x));
|
||||
|
||||
// Test the if (z) ... else (!z) ... else ... idiom
|
||||
if (z) {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
else if (!z) {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
else {
|
||||
BOOST_CHECK(true);
|
||||
BOOST_TEST(true);
|
||||
}
|
||||
|
||||
z = true;
|
||||
if (z) {
|
||||
BOOST_CHECK(true);
|
||||
BOOST_TEST(true);
|
||||
}
|
||||
else if (!z) {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
else {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
|
||||
z = false;
|
||||
if (z) {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
else if (!z) {
|
||||
BOOST_CHECK(true);
|
||||
BOOST_TEST(true);
|
||||
}
|
||||
else {
|
||||
BOOST_CHECK(false);
|
||||
BOOST_TEST(false);
|
||||
}
|
||||
|
||||
std::cout << "no errors detected\n";
|
||||
return 0;
|
||||
#if !defined(BOOST_NO_CXX11_CONSTEXPR)
|
||||
constexpr bool res_ors = indeterminate(false || tribool(false) || false || indeterminate); // true
|
||||
BOOST_TEST(res_ors);
|
||||
char array_ors[res_ors ? 2 : 3];
|
||||
BOOST_TEST(sizeof(array_ors) / sizeof(char) == 2);
|
||||
|
||||
constexpr bool res_ands = !indeterminate(!(true && tribool(true) && true && indeterminate)); // false
|
||||
BOOST_TEST(!res_ands);
|
||||
char array_ands[res_ands ? 2 : 3];
|
||||
BOOST_TEST(sizeof(array_ands) / sizeof(char) == 3);
|
||||
|
||||
constexpr bool res_safe_bool = static_cast<bool>( tribool(true) );
|
||||
BOOST_STATIC_ASSERT(res_safe_bool);
|
||||
|
||||
// gcc 4.6 chokes on the xxx assignment
|
||||
# if !BOOST_WORKAROUND(BOOST_GCC, < 40700)
|
||||
constexpr tribool xxx = (tribool(true) || tribool(indeterminate));
|
||||
BOOST_STATIC_ASSERT(xxx);
|
||||
# endif
|
||||
#endif
|
||||
|
||||
return boost::report_errors();
|
||||
}
|
||||
|
Reference in New Issue
Block a user