C# Класс 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.
Показать файл Открыть проект Примеры использования класса

Приватные методы

Метод Описание
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