@prefix schema: .
@prefix skos: .
@prefix rdf: .
@prefix ks: .
schema:about , , ;
schema:mentions , , , , , , , , , , , .
a skos:Concept ;
skos:prefLabel "Roslyn(.NET Compiler Platform)"@ja ;
skos:definition "C#とVisual Basicのコンパイラ実装であると同時に、コード解析ツールを作るためのAPI群でもある基盤。"@ja ;
skos:altLabel ".NET Compiler Platform" ;
skos:altLabel "Roslynコンパイラ"@ja ;
ks:uses ;
ks:uses ;
ks:uses .
a skos:Concept ;
skos:prefLabel "Syntax Tree"@ja ;
skos:definition "ソースコードの構文構造を、クラス・メソッド・式・ステートメントなどのC#の構文要素として表すRoslynの木構造。"@ja ;
skos:altLabel "構文木"@ja .
a skos:Concept ;
skos:prefLabel "SemanticModel"@ja ;
skos:definition "構文木の各ノードが実際にどのシンボル(型・メソッドなど)に解決されたかなど、コードの意味をコンパイラの名前解決結果として取得できるRoslynのAPI。"@ja ;
ks:requires ;
ks:requires ;
ks:uses .
a skos:Concept ;
skos:prefLabel "Workspace(Roslyn)"@ja ;
skos:definition "Solution・Project・Documentという単位で、単一ファイルではなくソリューションやプロジェクト全体のコードを扱うためのRoslynのAPI。"@ja ;
ks:uses .
a skos:Concept ;
skos:prefLabel "Compilation(Roslyn)"@ja ;
skos:definition "SyntaxTreeの集合・参照アセンブリ・コンパイルオプション・言語バージョンなど、型解決や参照解決に必要な情報をまとめたRoslynの型。"@ja ;
skos:altLabel "CSharpCompilation" .
a skos:Concept ;
skos:prefLabel "Symbol(Roslyn)"@ja ;
skos:definition "型・メソッド・プロパティ・フィールド・引数・ローカル変数などを、ソースコード上の見た目ではなくコンパイラが解決した意味として表すRoslynのインターフェイス群。"@ja ;
skos:altLabel "INamedTypeSymbol" ;
skos:altLabel "IMethodSymbol" .
a skos:Concept ;
skos:prefLabel "MSBuildWorkspace"@ja ;
skos:definition "MSBuildを使ってソリューション・プロジェクトファイルを読み込む、RoslynのWorkspaceの実装。"@ja ;
ks:implements .
a skos:Concept ;
skos:prefLabel "Analyzer(Roslyn)"@ja ;
skos:definition "特定の構文やシンボルを検出し、Diagnostic(警告・エラー)としてコンパイラやIDEに報告する仕組み。"@ja ;
skos:altLabel "DiagnosticAnalyzer" ;
ks:uses ;
ks:uses ;
ks:configuredBy .
a skos:Concept ;
skos:prefLabel ".editorconfig"@ja ;
skos:definition "Analyzerの診断IDごとの重大度やコードスタイル規則を、プロジェクト単位で調整するための設定ファイル。"@ja .
a skos:Concept ;
skos:prefLabel "Code Fix(Roslyn)"@ja ;
skos:definition "Analyzerが検出した問題に対して、安全に適用できる修正案を提示する仕組み。"@ja ;
ks:uses .
a skos:Concept ;
skos:prefLabel "Source Generator(Roslyn)"@ja ;
skos:definition "コンパイル時に実行され、生成したC#コードを同じコンパイルに追加する仕組み。既存コードの書き換えではなく追加コードの生成を行う。"@ja ;
ks:uses .
a skos:Concept ;
skos:prefLabel "IIncrementalGenerator"@ja ;
skos:definition "変更差分を効率よく扱えるよう設計された、Source Generatorの実装インターフェイス。"@ja ;
skos:altLabel "Incremental Generator" ;
ks:implements .
a skos:Concept ;
skos:prefLabel ".NET SDK同梱Analyzer"@ja ;
skos:definition ".NET 5以降のプロジェクトで既定で有効になる、.NET SDKに同梱されたコード分析機能。コード品質・信頼性・性能・セキュリティ(CAxxxx)とコードスタイル(IDExxxx)の診断を含む。"@ja ;
skos:altLabel "CAxxxx" ;
skos:altLabel "IDExxxx" ;
ks:uses ;
ks:configuredBy .
a skos:Concept ;
skos:prefLabel ".NET Framework"@ja ;
skos:definition "Windowsのコンポーネントとして扱われ、インストールされているOSのライフサイクルに沿ってサポートされるランタイム。System.Messagingの対象範囲。"@ja .
a skos:Concept ;
skos:prefLabel ".NET(Core以降)"@ja ;
skos:definition ".NET Frameworkの後継となる、クロスプラットフォーム対応の.NETランタイム(.NET 5以降)。"@ja ;
skos:altLabel ".NET Core" ;
skos:altLabel "モダンな.NET"@ja .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description "Roslynはソースコードの構文構造を、クラス・メソッド・式などのC#の構文要素として整理されたSyntax Treeとして表す"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description "Roslynはコードの意味(このコードが何を指しているか)を、SemanticModelというAPIとして構文とは別に提供する"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description "Roslynは単一ファイルではなくソリューションやプロジェクト全体を扱うためにWorkspaceを提供する"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:requires ;
rdf:object ;
schema:description "SemanticModelを取得するには、SyntaxTreeと参照アセンブリから構成されたCompilationが必要になる"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:requires ;
rdf:object ;
schema:description "SemanticModelはCompilation.GetSemanticModel(tree)のようにSyntaxTreeを指定して取り出すもので、意味を問い合わせる対象のSyntaxTreeを前提とする"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description "SemanticModelは、構文ノードが実際にどのSymbol(型・メソッドなど)に解決されたかを取得する手段を提供する"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:implements ;
rdf:object ;
schema:description "MSBuildWorkspaceは、MSBuildプロジェクトファイルからソリューションを読み込むという形でWorkspaceのAPIの実装を担う"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description "Analyzerはまず構文(SyntaxKind)で候補ノードを絞り込んでから、その先の判定に進む設計が推奨される"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description "Analyzerは、構文で絞った候補が本当に対象のAPIかをSemanticModelでの名前解決によって確定させる"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:configuredBy ;
rdf:object ;
schema:description "Analyzerが報告する診断の重大度は、dotnet_diagnostic..severityのように.editorconfigで調整できる"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:requires ;
rdf:object ;
schema:description "Analyzerが検出した問題に対する修正案を提示する場合、Code FixはそのAnalyzerの診断IDを前提とする。CodeFixProviderは修正対象の診断IDを登録する仕組みなので、コンパイラ自身が出す診断に対するCode Fixも書ける。"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "context-dependent" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description "Source Generatorはユーザーのソースコードを読み、生成したコードを同じCompilationに追加する"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:implements ;
rdf:object ;
schema:description "IIncrementalGeneratorは、変更差分を効率よく扱える形でSource Generatorの実装を担うインターフェイスである"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description ".NET SDK同梱の.NETコード分析は、CAxxxx/IDExxxxの診断としてAnalyzerの仕組みの上に実装されている"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:configuredBy ;
rdf:object ;
schema:description ".NET SDK同梱Analyzerの重大度も、他のAnalyzer同様に.editorconfigで調整できる"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description "Workspace上の各Projectは、型解決や参照解決に使うCompilationを取得できる"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:notRecommendedFor ;
rdf:object ;
schema:description ".NET Frameworkの既存資産に対しては、最初からSource Generatorを組み込むよりRoslynベースの調査ツールやAnalyzerから始める方が安全とされる"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "context-dependent" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:uses ;
rdf:object ;
schema:description "Code Fixは不変なSyntax Treeに対し、WithIdentifierのような呼び出しで新しいノードを作る形で修正を適用する"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "established" .
[] a rdf:Statement ;
rdf:subject ;
rdf:predicate ks:requires ;
rdf:object ;
schema:description ".NET SDK同梱のコード分析は、.NET 5以降のプロジェクトで既定で有効になる。.NET Framework等の他のターゲットでは既定で有効ではなく、EnableNETAnalyzersを明示的にtrueにすれば利用できる"@ja ;
ks:evidence ;
ks:verifiedAt "2026-08-01" ;
ks:certainty "context-dependent" .