generator

Documentation

Overview

Package generator provides the functions necessary for generating contracts

Index

• func GenerateCode(input io.Reader, output io.Writer) error

Functions

func GenerateCode

func GenerateCode(input io.Reader, output io.Writer) error

GenerateCode produces the contract enforcing code for the given source file.

Contract:

• requires input != nil
• requires output != nil