Identificatori di riga, file e percorso di origine (F#)
Gli identificatori __LINE__, __SOURCE_DIRECTORY__ e __SOURCE_FILE__ sono valori incorporati che consentono di accedere a directory, nome file e numero di riga di origine nel codice.
__LINE__
__SOURCE_DIRECTORY__
__SOURCE_FILE__
Note
Ognuno di questi valori è di tipo string.
Nella tabella seguente vengono riepilogati gli identificatori di riga, file e percorso di origine disponibili in F#.Questi identificatori non sono macro del preprocessore, ma sono valori incorporati riconosciuti dal compilatore.
Identificatore predefinito |
Descrizione |
|---|---|
__LINE__ |
Restituisce il numero di riga corrente, considerando le direttive #line. |
__SOURCE_DIRECTORY__ |
Restituisce il percorso completo corrente della directory di origine, considerando le direttive #line. |
__SOURCE_FILE__ |
Restituisce il nome del file di origine corrente e il relativo percorso, considerando le direttive #line. |
Per ulteriori informazioni sulla direttiva #line, vedere Direttive per il compilatore (F#).
Nell'esempio di codice seguente viene illustrato l'utilizzo di questi valori.
let printSourceLocation() =
printfn "Line: %s" __LINE__
printfn "Source Directory: %s" __SOURCE_DIRECTORY__
printfn "Source File: %s" __SOURCE_FILE__
printSourceLocation()
Output:
Line: 4
Source Directory: C:\Users\username\Documents\Visual Studio 2010\Projects\SourceInfo\SourceInfo
Source File: C:\Users\username\Documents\Visual Studio 2010\Projects\SourceInfo\SourceInfo\Program.fs