PreCondDesc class | action.t[126]

Pre-condition Descriptor. This object encapsulates a precondition object and the argument we want to pass to its condition check method.

`class PreCondDesc : object`

Superclass Tree (in declaration order)

`PreCondDesc`
`object`

Subclass Tree

(none)

Global Objects

(none)

Summary of Properties

`arg_ cond_ index_`

Summary of Methods

`checkPreCondition construct`

Properties

`arg_` | `action.t[145]`

the check argument

`cond_` | `action.t[142]`

the precondition object

`index_` | `action.t[148]`

our list sorting index

Methods

`checkPreCondition (allowImplicit)` | `action.t[135]`

check the precondition

`construct (cond, arg)` | `action.t[127]`

no description available

TADS 3 Library Manual
Generated on 5/16/2013 from TADS version 3.1.3