Paket: libboost-contract1.83-dev (1.83.0-3.2) [debports]

[ Quellcode:  ]

Contract library for C++ - dev files

This package forms part of the Boost C++ Libraries collection.

All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.

Andere Pakete mit Bezug zu libboost-contract1.83-dev

• dep: libboost-contract1.83.0 (= 1.83.0-3.2)

  Contract library for C++

• dep: libboost1.83-dev (= 1.83.0-3.2)

  Boost C++ Libraries development files

libboost-contract1.83-dev herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
hppa (inoffizielle Portierung)	258,7 kB	2.378,0 kB	[Liste der Dateien]