Functions

A CVL function provides basic encapsulation for code reuse in a specification.

Syntax

The syntax for CVL functions is given by the following EBNF grammar:

function ::= [ "override" ]
             "function" id
             [ "(" params ")" ]
             [ "returns" type ]
             block

See Basic Syntax for the id production, Types for the type production, and Statements for the block production.

Todo

This documentation is incomplete. See the old documentation.