Program from extension#
This page is generated from the code and must not be edited by hand.
Files whose extensions come from programming or macro languages, such as .py, .R or an ImageJ macro, are recognized as programs, unless their contents say otherwise.
program_from_extension version 3
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.
This rule is named as what would defeat:
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
list of text |
The format senses that mean a program: every one the Dictionary declares a program, scripts and macros among them, so a macro named for the movies it processes is never read as a movie. Named as senses, so a laboratory whose scripts are written in something else extends the Dictionary. |
|
|
one of |
How firmly the extension must have matched: it is a symbol. |
|
|
one of |
Where the match is read: the extension, never a word. |