@diotoborg/rerum-similique-ex

3.9.98 • Public • Published

@diotoborg/rerum-similique-ex 👊 js

NPM version

A human-readable, fast and boilerplate-free contract programming library for JavaScript.

Why would I want it?

  1. It reduces the boilerplate of writing assertion messsages to zero,
  2. Provides very intuitive and extensible DSL for writing assertions,
  3. Low core bundle size (22.5kB minified) and a way of bundling only needed assertions,
  4. Has zero runtime dependencies which greatly increases package security,
  5. It's TypeScript-friendly (contains its own .d.ts files).

Installation

npm install --save @diotoborg/rerum-similique-ex

Loading The Library

// node-style require
const { contract } = require('@diotoborg/rerum-similique-ex');
// or (with all assertions pre-loaded)
const { contract } = require('@diotoborg/rerum-similique-ex/all');

// es6-style default import
import { contract } from '@diotoborg/rerum-similique-ex';
// or (with all assertions pre-loaded)
import { contract } from '@diotoborg/rerum-similique-ex/all';

Loading Assertions

In order to minimize the bundle payload, each assertion can be imported separately, either during application bootup or in each file where the specific assertions are used. The same assertion can be safely imported multiple times (importing an assertion second time is a no op).

// node-style require
require('@diotoborg/rerum-similique-ex/assertions/aString/register');

// es6-style import
import '@diotoborg/rerum-similique-ex/assertions/aString/register';

When using the library on server-side, the bundle size is typically of no concern. For those situations, the library supports loading all assertions at once.

import '@diotoborg/rerum-similique-ex/assertions/register';
import { contract } from '@diotoborg/rerum-similique-ex';

// or even shorter
import { contract } from '@diotoborg/rerum-similique-ex/all';

Usage Examples

Precondition Checks A.K.A. Offensive Programming

Programming @diotoborg/rerum-similique-exly is about throwing exceptions a lot. As soon as corrupted state or illegal parameter is detected, program is crashed with a descriptive error message. This technique greatly helps in finding bugs at their cause.

import '@diotoborg/rerum-similique-ex/assertions/fieldThat/register';
import '@diotoborg/rerum-similique-ex/assertions/aNumber/register';

import { contract } from '@diotoborg/rerum-similique-ex';

class Point2D {
  /**
   * @param init initializer object containing `x` and `y` properties.
   */
  constructor(init) {
    // Contract is satisfied if init contains
    // `x` and `y` property of type number.
    contract('init', init)
      .has.fieldThat('x', x => x.is.aNumber)
      .and.fieldThat('y', y => y.is.aNumber)
      .check();
    this.x = init.x;
    this.y = init.y;
  }
}

Now, following erroneus call...

const point = new Point2D({ x: 'a', y: null });

...will result in throwing following exception.

ContractError: init.x must be a number (got 'a') and init.y be a number (got null)
  at operatorContext (@diotoborg/rerum-similique-exs/ContextFactory.js:34:33)
  at new Point2D (example.js:16:7)
  at Object.<anonymous> (example.js:22:15)

Alternatively, above contract could be implemented using multiple checks, but the error would only contain information about first failed check.

contract('init', init).is.anObject.check();
contract('init.x', init.x).is.aNumber.check();
contract('init.y', init.y).is.aNumber.check();

Above examples use only .anObject, .aNumber and .fieldThat assertions.

See full list of @diotoborg/rerum-similique-ex.js built-in assertions.

Defensive Programming

Offensive programming is not applicable when collaborating with external components. A program should not crash in response to a bug in another program. Logging an error and trying to correct it by using default value or simply ignoring erroneus input would be a better way of handling such cases.

Ping Server

Following example is a fully functional HTTP-based ping server implemented using express.js with defensive checks on HTTP request implemented using @diotoborg/rerum-similique-ex.js.

import * as express from 'express';
import * as bodyParser from 'body-parser';

import '@diotoborg/rerum-similique-ex/assertions/aString/register';
import '@diotoborg/rerum-similique-ex/assertions/fieldThat/register';
import { contract } from '@diotoborg/rerum-similique-ex';

const app = express();
app.use(bodyParser.json());

// A simple ping service which reflects messages sent to it.
app.post('/ping', function (req, res, next) {
  // Contract is satisfied if body has a message which is a string
  // (.propertyThat is an alias of .fieldThat assertion)
  const error = contract('req.body', req.body)
    .contains.propertyThat('message', message => message.is.aString)
    .getError();
  if (error) {
    res.status(400).json({ error });
    return;
  }

  const { message } = body;
  res.json({ message });
});

Above code presents defensive programming on the server side, but the same technique is applicable in the client. Client-server contract should be tested both, after receiving request from the client, and after receiving response from the server.

API Reference

Table of Contents

  1. Contract Function
  2. .check()
  3. .getError()
  4. Assertions
  5. Boolean Operators
  6. Legacy Call Operator

Contract Function

function contract<T>(varName : string, testedValue : T) : AssertionBuilder<T>;

Creates an instance of AssertionBuilder. Methods of returned instance add assertions to the builder. Requested assertions will be checked against given testedValue after [executing assertion expression][call-operator]. In case some assertions fail, given name will be used as part of error message.

import { contract } from '@diotoborg/rerum-similique-ex';
...

contract('arg', arg)...

.check() aliases: throwIfUnmet()

interface AssertionBuilder<T> {
  check(errorName?: string = 'ContractError') : T;
}

Executes built assert expression. Returns testedValue if assertion succeeds. Throws ContractError in case it fails. intended for @diotoborg/rerum-similique-ex programming.

import '@diotoborg/rerum-similique-ex/assertions/length';
import { contract } from '@diotoborg/rerum-similique-ex';

contract('arg', arg)
  .has.length(10)
  .check(); // <- executes built assert expression

NOTE: Assertion will not be run unless this method or .getError() is invoked.

.getError()

interface AssertionBuilder<T> {
  getError(errorName?: string = 'ContractError') : string | null;
}

Executes built assert expression. Returns error message if assertion fails. Returns null in case it succeeds. Intended for defensive programming.

import '@diotoborg/rerum-similique-ex/assertions/length';
import { contract } from '@diotoborg/rerum-similique-ex';

const error = contract('arg', arg)
  .has.length(10)
  .getError(); // <- executes built assert expression

NOTE: Assertion will not be run unless this method or .check() is invoked.

Assertions

@diotoborg/rerum-similique-ex.js contains following built-in assertions.

Table of Contents

  1. .Null
  2. .Undefined
  3. .Empty
  4. .ofType(requiredType)
  5. .aBoolean
  6. .aNumber
  7. .anInteger
  8. .aString
  9. .anObject
  10. .aFunction
  11. .anArray
  12. .anInstanceOf(RequiredClass)
  13. .aDate
  14. .aRegExp
  15. .True
  16. .False
  17. .truthy
  18. .falsy
  19. .matches(regexp)
  20. .anEmail
  21. .anEmptyString
  22. .aNonEmptyString
  23. .anIntegerString
  24. .startsWith(substring)
  25. .endsWith(substring)
  26. .substring(substring)
  27. .equalTo
  28. .exactly
  29. .lessThan(rightBounds)
  30. .lessThanOrEqualTo(rightBounds)
  31. .greaterThan(leftBounds)
  32. .greaterThanOrEqualTo(leftBounds)
  33. .inRange(leftBounds, rightBounds)
  34. .before(rightBounds, boundsVarName?)
  35. .after(leftBounds, boundsVarName?)
  36. .field(fieldName)
  37. .fieldThat(fieldName, condition)
  38. .allFieldsThat(condition)
  39. .method(methodName)
  40. .length(requiredLength)
  41. .oneOf(set, name)
  42. .elementThat(index, assertName, condition)
  43. .allElementsThat(assertName, condition)
  44. .includes(element)
  45. .includesAllOf(element)
  46. .includesElementThat(condition)

.Null aliases: .null, .Nil, .nil

Asserts that checked value is null using ===. Typically used in combination with .not operator.

contract('arg', arg).is.not.Null.check();

.Undefined aliases: .undefined

Asserts that checked value is undefined. Typically used in combination with .not operator.

contract('arg', arg).is.not.Undefined.check();

.Empty aliases: .empty

Asserts that checked value is null or undefined. Typically used in combination with .not operator.

contract('arg', arg).is.not.Empty.check();

.ofType(requiredType : string) aliases: .type

Asserts that checked value is of requiredType by ivoking typeof operator.

contract('arg', arg).is.ofType('boolean').check();

.aBoolean aliases: .Boolean, .boolean

Asserts that checked value is a boolean by ivoking typeof operator.

contract('arg', arg).is.aBoolean.check();

.aNumber aliases: .Number, .number

Asserts that checked value is a number by ivoking typeof operator.

contract('arg', arg).is.aNumber.check();

.anInteger aliases: .Integer, .anInt, .int

Asserts that checked value is an integer by ivoking Number.isInteger.

contract('arg', arg).is.anInteger.check();

.aString aliases: .String, .string

Asserts that checked value is a string by ivoking typeof operator.

contract('arg', arg).is.aString.check();

.anObject aliases: .Object, .object

Asserts that checked value is an object by ivoking typeof operator. Be wary that this will be true also for array instances and null. Use .anArray and .Null in order to test for these specific cases.

contract('arg', arg).is.anObject.check();

.aFunction aliases: .Function, .function

Asserts that checked value is a function by ivoking typeof operator.

contract('arg', arg).is.aFunction.check();

.anArray aliases: .Array, .array

Asserts that checked value is an array by invoking Array.isArray.

contract('arg', arg).is.anArray.check();

.anInstanceOf(RequiredClass : Function) aliases: .instanceOf

Asserts that checked value is a instance of RequiredClass, by using instanceof operator.

contract('arg', arg).is.anInstanceOf(RegExp).check();

.aDate aliases: .Date, .date

Asserts that checked value is a instance of Date, by using instanceof operator.

contract('arg', arg).is.aDate.check();

.aRegExp aliases: .RegExp, .regexp

Asserts that checked value is a instance of RegExp, by using instanceof operator.

contract('arg', arg).is.aRegExp.check();

.True aliases: .true

Asserts that checked value is a boolean of value true.

contract('arg', arg).is.True.check();

.False aliases: .false

Asserts that checked value is a boolean of value false.

contract('arg', arg).is.False.check();

.truthy aliases: .Truthy, .truethy, .Truethy

Asserts that checked value is truthy (converts to true).

contract('arg', arg).is.truthy.check();

.falsy aliases: .Falsy, .falsey, .Falsey

Asserts that checked value is falsy (converts to false).

contract('arg', arg).is.falsy.check();

.matches(regexp : RegExp) aliases: .matchesRegexp, .matchesRegExp

Asserts that checked value fully matches given regexp.

contract('arg', arg).matches(/[a-z]+/).check();

.anEmail aliases: .Email, .email

Asserts that checked value is a valid email.

contract('arg', arg).is.anEmail();

.anEmptyString aliases: .emptyString

Asserts that checked value is an empty string (string of length 0).

contract('arg', arg).is.anEmptyString.check();

.aNonEmptyString aliases: .nonEmptyString

Asserts that checked value is an non-empty string (string of length > 0).

contract('arg', arg).is.aNonEmptyString.check();

.anIntegerString aliases: .IntegerString, .intString

Asserts that checked value is a valid string form of an integer.

contract('arg', arg).is.anIntegerString.check();

.startsWith(substring : string) aliases: .startWith, .startingWith

Asserts that checked value is a string that starts with given substring.

contract('arg', arg).is.startsWith('abc').check();

.endsWith(substring : string) aliases: .endWith, .endingWith

Asserts that checked value is a string that ends with given substring.

contract('arg', arg).is.endsWith('xyz').check();

.substring(substring : string) aliases: .substr

Asserts that checked value is a string that is contains given substring.

contract('arg', arg).has.substring('xyz').check();

.equalTo(another : any) aliases: .equal, .equals

Asserts that checked value is equal to another. Comparison is made with == (double equals) operator.

contract('arg', arg).is.equalTo(100).check();

.exactly(another : any)

Asserts that checked value is exactly the same as another. Comparison is made with === (triple equals) operator.

contract('arg', arg).is.exactly(instance).check();

.lessThan(rightBounds : number) aliases: .lt, .less

Asserts that checked value is less than rightBounds.

contract('arg', arg).is.lessThan(100).check();

.lessThanOrEqualTo(rightBounds : number) aliases: .lte, .lessThanEqual

Asserts that checked value is less than or equal to rightBounds.

contract('arg', arg).is.lessThanOrEqualTo(100).check();

.greaterThan(leftBounds : number) aliases: .gt, .greater

Asserts that checked value is greater than leftBounds.

contract('arg', arg).is.greaterThan(0).check();

.greaterThanOrEqualTo(leftBounds : number) aliases: .gte, .greaterThanEqual

Asserts that checked value is greater than or equal to leftBounds.

contract('arg', arg).is.greaterThanOrEqualTo(0).check();

.inRange(leftBounds : number, rightBounds : number) aliases: .between

Asserts that checked value is grater than or equal to leftBounds and less than rightBounds.

contract('arg', arg).is.inRange(0, 100).check();

.before(rightBounds : Date, boundsVarName ?: string)

Asserts that checked value a Date chronologically before rightBounds.

contract('arg', arg).is.before(new Date(0), 'Epoch').check();

.after(leftBounds : Date, boundsVarName ?: string)

Asserts that checked value a Date chronologically after leftBounds.

contract('arg', arg).is.after(new Date(0), 'Epoch').check();

.field(fieldName : string) aliases: .property

Asserts that checked value has field of name propertyName.

contract('arg', arg).has.property('length').check();

.fieldThat(fieldName : string, builder : FieldAssertionBuilder)

Asserts that checked value has field of name propertyName, which satisfied assertion created in gived builder.

contract('arg', arg)
  .has.propertyThat('x', x => x.is.aNumber)
  .check();

.allFieldsThat(builder : FieldAssertionBuilder)

Asserts that:

  1. Checked value is not null or undefined,
  2. Value of each field of this object satisfies assertuin created by given builder.
contract('arg', arg)
  .has.allFieldsThat(field => field.is.aNumber)
  .check();

.method(methodName : string)

Asserts that checked value has field of name methodName which is a function.

contract('arg', arg).has.method('toString').check();

.length(requiredLength : number) aliases: .len

Asserts that checked value has property of name "length" and value of requiredLength.

contract('arg', arg).has.length(0).check();

.oneOf(set : any[], name ?: string) aliases: .elementOf, .containedIn

Asserts that checked value is contained in given set. Given name (if present) is used as a name of set in produced error message.

contract('arg', arg)
  .is.oneOf([ 'started', 'running', 'finished' ])
  .check();

// or (with set name used in the error message)
contract('arg', arg)
  .is.oneOf([ 'started', 'running', 'finished' ], 'valid status')
  .check();

.elementThat(index : number, builder : ElemAssertionBuilder) aliases: .elementWhichIs

Asserts that:

  1. Checked value is an array of length at least index + 1,
  2. Element under index satisfies assertion created by given builder.
contract('arg', arg)
  .has.elementThat(0, elem => elem.is.anInteger)
  .check();

.allElementsThat(builder : ElemAssertionBuilder) aliases: .allElementsWhich

Asserts that:

  1. Checked value is an array,
  2. Each element of this array satisfies assertion created by given builder.
contract('arg', arg)
  .has.allElementsThat(elem => elem.is.anInteger)
  .check();

.includes(element : any) aliases: .contains

Asserts that:

  1. Checked value is an array,
  2. The array contains given element.
contract('arg', arg)
  .has.includes(elem)
  .check();

.includesAllOf(elements : any[]) aliases: .includesAll

Asserts that:

  1. Checked value is an array,
  2. The array contains all elements of elements.
contract('categories', categories)
  .has.includesAlOf(['functional', 'performance'])
  .check();

.includesElementThat(builder: ElemAssertionBuilder) aliases: .includesElement

Asserts that:

  1. Checked value is an array,
  2. The array contains at least one element that satisfies assertion created by given builder.
contract('arg', arg)
  .includesElementThat(elem => elem.is.anInteger)
  .check();

Boolean Operators

@diotoborg/rerum-similique-ex.js implements following operators.

Table of Contents

  1. .and
  2. .or
  3. .not

.and aliases: .of, .with

Logical conjunction of two boolean values which are separated by call to .and operator.

contract('arg', arg)
  .has.length(2)
  .and.allElementsThat(elem => elem.is.aNumber)
  .check();

.or()

Logical alternative of two (or more) values which are separated by call to .or operator.

contract('arg', arg)
  .is.anObject.or.aFunction
  .check();

.not aliases: .no, .dont, .doesnt

Logical negation of an assertion after .not operator.

contract('arg', arg).is.not.Undefined.check();

Legacy Call Operator

interface AssertionBuilder<T> {
  () : T;
}

Alias for .check().

import '@diotoborg/rerum-similique-ex/assertions/aString';
import { contract } from '@diotoborg/rerum-similique-ex';

contract('arg', arg).is.aString.check(); // <- executes the expression
contract('arg', arg).is.aString(); // <- the same but with a call operator

The call operator was the only way to execute an @diotoborg/rerum-similique-ex expression until version 2. Initially, it was seen as an elegant API with the least amount of boilerplate possible. While this is true for all assertions without arguments, assertions with arguments have their own call operator. This led to situations where two consecutive call operators were needed in order to execute the expression.

import '@diotoborg/rerum-similique-ex/assertions/length';
import { contract } from '@diotoborg/rerum-similique-ex';

contract('arg', arg).has.length(3)(); // <- double call operators weirdness
contract('arg', arg).has.length(3).check(); // <- this looks much better

.check() (introduced in version 3) solves the problem of readability and adds a bit of explicitness at the cost of a little bit more code. The call operator is still supported for backwards compatilibity.

Extension API

@diotoborg/rerum-similique-ex.js is extensible, but extension API is not documented yet. If you wish to write an extension, take a look at the implementation of built-in assertions, operators and also at the interface of Registry class.

License

Released under MIT license.

Package Sidebar

Install

npm i @diotoborg/rerum-similique-ex

Weekly Downloads

112

Version

3.9.98

License

MIT

Unpacked Size

251 kB

Total Files

636

Last publish

Collaborators

  • quochoanglm58