Offset and other information that will be used to create the VS language service projection buffers for the P# to C# rewritten form.
ProjectionNode Class Documentation
コード例 #1
0
ファイル: ProjectionTree.cs プロジェクト: p-org/PSharp 
 internal void AddRootChild(ProjectionNode child)
 {
 }
コード例 #2
0
ファイル: ProjectionNode.cs プロジェクト: p-org/PSharp 
 internal void AddChild(ProjectionNode child, ProjectionNode csharpParent = null)
 {
 }