Datei einfügen
Im Ergebnis entspricht diese Funktion einem „include“ (PHP, HTML): Eine Datei aus dem Projektverzeichnis wird wie sie ist in die Ausgabedatei eingefügt. Der »Platzhalter« dient der zweifelsfreien Identifikation der Datei bei einem Fehler.
Die Fehlermeldung mit der Kennung vereinfacht die Fehlersuche. Auf die Anzeige eines ggf. unerwünscht auskunftsfreudigen Dateipfads wird bewusst verzichtet.
$$$ file provozierter-fehler : /gibt/es/nicht.xml $$$
- Ergebnis
-
Ladefehler: $$$ file provozierter-fehler $$$
- Entscheidender Unterschied zum „include“:
-
Die geladene Datei ist fester Bestandteil des erzeugten Dokuments, während bei einem include die Enfügung jeweils im Augenblick des Seitenaufrufs erfolgt, also immer die aktuelle Version der eingefügten Datei verwendet wird.
Grundsätzlich kann eine beliebige, lokale Datei mit dieser Funktion in die Ausgabe integriert werden. Für den Verweis mit korrektem relativen Pfad gibt es den Datei-Befehl „Referenz relativ…“.
Diese Funktion ist ein Behelf für Bedingungen, in denen „include“ keine Option ist (z.B. lokale Anwendung ohne aktive Umgebung, Webseiten mit maximalen Sicherheitseinschränkungen). In diesen Fällen müssen bei Änderungen der eingebetteten Datei(en) die davon betroffenen Seiten neu generiert werden (s. Projekt neu generieren).
Eingefügte Dateien müssen validen Code enthalten, der sich strukturell korrekt in die erzeugte Ausgabe einfügt.
Es findet keine Kontrolle statt, ob die ausgewählte Datei eine funktionsfähige Export-Datei erzeugt.
Definition
$$$ file zuordnung : Dateipfad $$$
- Zuordnung
-
Eindeutiger Bezeichner der Funktion
- Dateipfad
-
Ein relativer (ab Projektverzeichnis) oder absoluter Pfad zur Datei, die eingefügt werden soll.