Contract - Prismatic Platform

Contract

code-quality Intermediate Updated recently
Back to Glossary

Definition

A behavioral specification that defines the expected interface, types, and invariants of a module or function, enforced at compile-time by Dialyzer or at runtime by contract tests

Term Analytics

Domain Distribution

Complexity Distribution

Interconnections Network

Tap nodes to explore connections. Pinch to zoom.

Platform Integration

References & Citations

  1. [1]
    API Reference - contract

    JSON API endpoint for this glossary term

Quick Stats

Domain code-quality
Complexity Intermediate
Related Terms 5
Tags 3

Share This Term