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.

파일 보기 프로젝트 열기: p-org/PSharp 1 사용 예제들

비공개 메소드들

메소드	설명
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