Format from extension unless contradicted

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

A file is taken to be in the format its extension names, when that extension means one format and nothing else, unless its contents begin the way another format does; a container the format is built on, such as HDF5 or ZIP, does not count.

format_from_extension_unless_contradicted version 1

• Kind of rule: What files are (classifies). Says what a file or a folder is, by placing it in a class.

• What it concludes: a class

• Reasoning: defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.

• What it reads: one file at a time

Is it available in this version?

Yes. The engine runs it.

What would defeat it

What this rule concludes about something is withdrawn when any of these rules concludes about the same thing:

• content_contradicts_extension: A file is flagged when its contents begin the way one format does and its extension names another, leaving out containers such as PDF, HDF5 or ZIP that other formats are built on.

Parameters

Parameter	Shipped value	May be	What it does
theme_kind	"format"	text	The axis an extension is matched on, as the shipped rule declares it: an extension slot may match a format and nothing else.