C# Class Microsoft.PSharp.LanguageServices.Rewriting.PSharp.ProjectionNode

Offset and other information that will be used to create the VS language service projection buffers for the P# to C# rewritten form.

Mostra file Open project: p-org/PSharp Class Usage Examples

Private Methods

Method	Description
AddChild ( ProjectionNode child, ProjectionNode csharpParent = null ) : void
ProjectionNode ( object node, Microsoft.PSharp.LanguageServices.Rewriting.PSharp.ProjectionTree projectionTree = null ) : Microsoft.PSharp.LanguageServices.Parsing
SetCodeChunkInfo ( int originalStart, string originalString, int rewrittenOffset ) : void
SetHeaderInfo ( TokenRange originalTokenRange, int rewrittenOffset, string rewrittenString ) : void
SetOffsetInParent ( int offsetInParent ) : void