Type system

Exactly has a type system designed to help writing common test case scenarios.

Values may be assigned to symbols using the def instruction.

(See Symbols.)

Overview

Types are divided into two categories:

Data types:

• string
• list
• path

and types involving logic:

• text-matcher
• text-transformer
• text-source
• line-matcher
• integer-matcher
• file-matcher
• files-matcher
• files-condition
• program

Data type values are simple dumb constants, and logic type values involve logic that is executed.

string

File names, frequently used strings, integer values

list

Command line arguments for the system under test (sut), or the run instruction.

path

Absolute paths, with support for referencing files in the home and sandbox directories

text-matcher

Matching of contents of files, output from programs, etc.

text-transformer

Helps match on transformed versions of texts, etc.

text-source

Produces text, for use as stdin to programs, contents of files, etc.

line-matcher

Selection of lines of a text file.

integer-matcher

Matching of number of lines, number of files, exit code, etc.

file-matcher

Selection of files in a directory.

files-matcher

Matching of the contents of a directory.

files-condition

A condition on the the contents of a directory, used by "files-matcher"s.

program

A reusable program.

Data types and Logic types are described separately.