vigil 1.0

Implore

Functions can state the oaths they promise to uphold via vigil.implore:

import math
import vigil

# The 0th argument to sqrt must always be greater than or equal to zero.
@vigil.implore(">=", 0, 0)
def sqrt(x):
    return math.sqrt(x)

If a caller fails to meet the requirement, a VigilError will be thrown and the caller will be punished as defined in the vigil.conf.

Swear

Functions can state the oaths they promise to uphold via vigil.swear:

import math
import vigil

# The output must be greater than 0
@vigil.swear(">=", 0)
def sqr(x):
    return x*x

If a function fails to meet its oath, a VigilError will be thrown and the function will be punished as defined in the vigil.conf.

Punishment

The punishment for misbehaving functions is defined in a vigil.conf. vigil.conf can either say deleteFunctions = False or deleteFunctions = True.

FAQ