![Hoa](http://static.hoa-project.net/Image/Hoa_small.png)

Hoa is a **modular**, **extensible** and **structured** set of PHP libraries.
Moreover, Hoa aims at being a bridge between industrial and research worlds.

# Hoa\Praspel ![state](http://central.hoa-project.net/State/Praspel)

Praspel (PHP Realistic Annotation and Specification Language) is a formal
specification language for PHP. It is based on the design-by-contract paradigm
and uses preconditions, postconditions, invariants etc. Specifications are
written in the comments of the PHP code (always accessible). Praspel is used for
manual or automatic software validation and verification, thanks to realistic
domains.

This library contains compiler, interpreter, visitors, iterators and other tools
around the Praspel language.

An interesting related project is
[`atoum/praspel-extension`](http://central.hoa-project.net/Resource/Contributions/Atoum/PraspelExtension).

## Installation

With [Composer](http://getcomposer.org/), to include this library into your
dependencies, you need to require
[`hoa/praspel`](https://packagist.org/packages/hoa/praspel):

```json
{
    "require": {
        "hoa/praspel": "~1.0"
    }
}
```

Please, read the website to [get more informations about how to
install](http://hoa-project.net/Source.html).

## Documentation

Different documentations can be found on the website:
[http://hoa-project.net/](http://hoa-project.net/).

## License

Hoa is under the New BSD License (BSD-3-Clause). Please, see
[`LICENSE`](http://hoa-project.net/LICENSE).