public void Finds_variable_origins_to_be_parameter_declaration()
{
var codeAsText = File.ReadAllText(@"SyntaxAnalyserExamples/TestFunctions.cs");
var syntaxTree = SyntaxOperations.Parse(codeAsText);
var semanticModel = SemanticOperations.GetSemanticModel(syntaxTree);
var methodSyntax = SyntaxOperations
.FindMethodsOfClass(syntaxTree, nameof(TestFunctions), nameof(TestFunctions.ReturnSameValue))
.Value
.Single();
var methodAnalysis = MethodBlockAnalysis.FromSemanticModel(methodSyntax, semanticModel);
var returnSyntax = methodAnalysis.BodyBlock.DescendantNodes().OfType <ReturnStatementSyntax>().Single();
var identSyntax = SyntaxOperations.GetVariable(returnSyntax);
var origin = SemanticOperations.GetIdentifierDeclarationSyntax(identSyntax, methodAnalysis).Value.A;
var paramDeclarSyntax = origin.D;
var paramName = paramDeclarSyntax.Identifier.ToString();
Assert.AreEqual("x", paramName);
}
public void Throws_when_not_a_simple_data_flow()
{
var codeAsText = File.ReadAllText(@"SyntaxAnalyserExamples/TestFunctions.cs");
var syntaxTree = SyntaxOperations.Parse(codeAsText);
var semanticModel = SemanticOperations.GetSemanticModel(syntaxTree);
var methodSyntax = SyntaxOperations
.FindMethodsOfClass(syntaxTree, nameof(TestFunctions), nameof(TestFunctions.IncrementUntil10))
.Value
.Single();
var methodAnalysis = MethodBlockAnalysis.FromSemanticModel(methodSyntax, semanticModel);
var returnSyntax = methodAnalysis.BodyBlock.DescendantNodes().OfType <ReturnStatementSyntax>().Single();
var identSyntax = SyntaxOperations.GetVariable(returnSyntax);
var res = SemanticOperations.GetIdentifierDeclarationSyntax(identSyntax, methodAnalysis).Value;
Assert.IsTrue(res.IsB);
}
