Skip to content
/ pcond Public

pcond is a library that allows you to write a program in the "Design by Contract"[DbC] style. Not only that, it gives a very informative message when a check you defined fails.

License

Notifications You must be signed in to change notification settings

dakusui/pcond

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

A Library for Uniformed Value Checking: pcond

pcond is a library to build "printable" predicates to build conditions that generate informative messages on failures of value checks.

Check pcond documentation for more detail.

Build

Build steps

To build and install the jar in local maven repository. This also builds the documentation.

mvn clean compile test install site

Build-time dependencies

sudo apt install openjdk-8-jdk
sudo apt install maven
sudo apt install -y ruby
export JAVA_HOME=/usr/lib/jvm/java-8-openjdk-amd64 && export PATH=$JAVA_HOME/bin:$PATH

About

pcond is a library that allows you to write a program in the "Design by Contract"[DbC] style. Not only that, it gives a very informative message when a check you defined fails.

Resources

License

Stars

Watchers

Forks

Packages

No packages published