本文整理汇总了C#中StatementSyntax.ToString方法的典型用法代码示例。如果您正苦于以下问题：C# StatementSyntax.ToString方法的具体用法？C# StatementSyntax.ToString怎么用？C# StatementSyntax.ToString使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类StatementSyntax的用法示例。
在下文中一共展示了StatementSyntax.ToString方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: IsPayloadIllegallyAccessed
/// <summary>
/// Returns true and reports an error if the payload was illegally accessed.
/// </summary>
/// <param name="expr">Expression</param>
/// <param name="stmt">Statement</param>
/// <param name="model">SemanticModel</param>
/// <param name="log">Log</param>
/// <returns></returns>
private bool IsPayloadIllegallyAccessed(BinaryExpressionSyntax expr,
StatementSyntax stmt, SemanticModel model, Log log)
{
ISymbol payloadSymbol = null;
if (expr.Right is MemberAccessExpressionSyntax)
{
payloadSymbol = model.GetSymbolInfo((expr.Right as MemberAccessExpressionSyntax).
Name).Symbol;
}
else if (expr.Right is IdentifierNameSyntax)
{
payloadSymbol = model.GetSymbolInfo(expr.Right).Symbol;
}
else
{
return false;
}
if (payloadSymbol.ToString().Equals("Microsoft.PSharp.Machine.Payload") ||
payloadSymbol.ToString().Equals("Microsoft.PSharp.MachineState.Payload"))
{
ISymbol leftSymbol = null;
if (expr.Left is IdentifierNameSyntax)
{
leftSymbol = model.GetSymbolInfo(expr.Left
as IdentifierNameSyntax).Symbol;
}
else if (expr.Left is MemberAccessExpressionSyntax)
{
leftSymbol = model.GetSymbolInfo((expr.Left
as MemberAccessExpressionSyntax).Name).Symbol;
}
var leftDef = SymbolFinder.FindSourceDefinitionAsync(leftSymbol,
this.AnalysisContext.Solution).Result;
if (leftDef != null && leftDef.Kind == SymbolKind.Field)
{
Log newLog = new Log();
newLog.Merge(log);
newLog.AddTrace(stmt.ToString(), stmt.SyntaxTree.FilePath, stmt.SyntaxTree.
GetLineSpan(stmt.Span).StartLinePosition.Line + 1);
AnalysisErrorReporter.ReportPayloadFieldAssignment(newLog);
return true;
}
}
return false;
}