Documentation

• Example: * Underdescribed - A minimal sort of game which will produce output with Property Checking

To use Property Checking, we simply include the extension and compile; before the first move, the game will produce a list of those things that are not yet described, and those rooms that do not yet have an initial appearance.

The section that writes out content occurs only in a "not for release" segment of Property Checking, so it is safe to include Property Checking in a game for release, as the messages will not appear in the final build.

To add additional checks to Property Checking, we may add our own rules to the property-check rulebook. If, for instance, we wanted to guarantee that all people in the game had an initial appearance:

    A property-check rule for a person (called the target) (this is the people must have initial appearances rule):
        if the initial appearance of the target is empty:
            say "[target] has no initial appearance.".