Parameter name

Mit dem Parameter name können Sie den Dokumentnamen abfragen oder definieren.   Der Name wird als Dateiname für die Befehle save und load verwendet.

Verfügbarkeit

Befehl query
Befehl set

Geltungsbereich

Das Dokument der aktuellen Sicht.

Syntax

query name
set name Dokumentname 

Parameter

Dokumentname Mit dem Parameter Dokumentname geben Sie den gewünschten Namen für das aktuelle Dokument an.  Dieser Name wird als Dateiname für die Befehle save und load verwendet.

Beispiele

query name
set name Test.java 

Zugehöriger Verweis
Befehl load
Befehl query
Befehl save
Befehl set
Parameter sourceName