Census filesystem containment#

This page is generated from the code and must not be edited by hand.

A folder holds every file and folder the walk found directly inside it.

census.filesystem_containment version 1

  • Kind of rule: What the walk itself records (enumerates). Records a fact while the folders are walked or a container is opened. Run by the walk, not by the reading of the rules.

  • What it concludes: contains, named directory_of

  • Reasoning: entailed. A conclusion cannot be wrong if what it read is right.

  • What it reads: one folder at a time

  • Standing: provisional, in force and waiting for a person to confirm it

Is it available in this version?#

Yes. The engine runs it.

What would defeat it#

Nothing. An entailed conclusion cannot be wrong if what it read is right.

Parameters#

It has no parameters.