Toggle navigation
Hot Examples
JP
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
検索
C# (CSharp) Microsoft.PSharp.LanguageServices.Rewriting.PSharp Namespace
Classes
Name
Description
PSharpRewriter
An abstract P# program rewriter.
ProjectionNode
Offset and other information that will be used to create the VS language service projection buffers for the P# to C# rewritten form.