ソース行、ファイル、およびパスの識別子 (F#)

__LINE__、__SOURCE_DIRECTORY__、および __SOURCE_FILE__ の各識別子は、コード内のソースの行番号、ディレクトリ、およびファイル名にアクセスするための組み込みの値です。

__LINE__
__SOURCE_DIRECTORY__
__SOURCE_FILE__

解説

これらの各値の型は string です。

次の表に、F# で利用できるソース行、ファイル、およびパスの識別子の概要を示します。これらの識別子はプリプロセッサ マクロではなく、コンパイラで認識される組み込みの値です。

定義済み識別子

Description

__LINE__

#line ディレクティブを考慮して、現在の行番号へと評価されます。

__SOURCE_DIRECTORY__

#line ディレクティブを考慮して、現在のソース ディレクトリの完全パスへと評価されます。

__SOURCE_FILE__

#line ディレクティブを考慮して、現在のソース ファイルの名前およびパスへと評価されます。

#line ディレクティブの詳細については、「コンパイラ ディレクティブ (F#)」を参照してください。

これらの値の使用方法を示すコード例を次に示します。

let printSourceLocation() =
    printfn "Line: %s" __LINE__
    printfn "Source Directory: %s" __SOURCE_DIRECTORY__
    printfn "Source File: %s" __SOURCE_FILE__
printSourceLocation()

出力

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

参照

その他の技術情報

コンパイラ ディレクティブ (F#)

F# 言語リファレンス