verify.t file | source file

TADS 3 Library: verification

This module defines classes related to "verification," which is the phase of command execution where the parser attempts to determine how logical a command is.

Summary of Classes

`DangerousVerifyResult IllogicalAlreadyVerifyResult IllogicalNowVerifyResult IllogicalSelfVerifyResult IllogicalVerifyResult InaccessibleVerifyResult LogicalVerifyResult NonObviousVerifyResult VerifyResult VerifyResultList`

Summary of Global Objects

`defaultLogicalVerifyResult`

Summary of Global Functions

(none)

Global Functions

(none)

TADS 3 Library Manual
Generated on 8/21/2012 from TADS version 3.1.2