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.