C# (CSharp) Microsoft.PSharp.StaticAnalysis ErrorTraceStep Examples

Example #1

        /// <summary>
        /// Adds new error trace to the trace for
        /// the specified syntax token.
        /// </summary>
        internal void AddErrorTrace(SyntaxToken syntaxToken)
        {
            var errorTraceStep = new ErrorTraceStep(syntaxToken.ToString(), syntaxToken.SyntaxTree.FilePath,
                                                    syntaxToken.SyntaxTree.GetLineSpan(syntaxToken.Span).StartLinePosition.Line + 1);

            this.ErrorTrace.Add(errorTraceStep);
        }

Example #2

File: TraceInfo.cs Project: yonglehou/PSharp

 /// <summary>
 /// Adds new error trace to the trace for
 /// the specified syntax token.
 /// </summary>
 /// <param name="syntaxToken">SyntaxToken</param>
 internal void AddErrorTrace(SyntaxToken syntaxToken)
 {
     var errorTraceStep = new ErrorTraceStep(syntaxToken.ToString(),
         syntaxToken.SyntaxTree.FilePath, syntaxToken.SyntaxTree.GetLineSpan(
             syntaxToken.Span).StartLinePosition.Line + 1);
     this.ErrorTrace.Add(errorTraceStep);
 }