public void SpecialBlocks_Using_Statement()
{
const string code = @"
public class Class1
{
public void Foo(Func<IDisposable> factory)
{
using (var x = factory()) // Jump(Next:UsingEnd) | Basic#0(Jump:#1)
{
// UsingEnd(Next:Exit) | Basic#1(Jump:#2)
}
// Exit | Basic#2(Ret:Const)
}
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1" }),
b => ValidateJmpBlock(b, expectedId: "1", expectedJumps: new[] { "2" }),
b => ValidateRetBlock(b, expectedId: "2", expectedReturnExpression: ConstValue)
);
}
public void SpecialBlocks_For()
{
const string code = @"
public class Class1
{
public void Foo(string[] items)
{
for (int i = 0; i < items.Length; i++) // For(BinaryBranch) | Basic#0(Jump:#1)
// BinaryBranch(Simple,Exit) | Basic#1(Jump:#2,#3)
{ // Simple(BinaryBranch) | Basic#2(Jump:#1)
}
} // Exit | Basic#3(Ret)
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1", }),
b => ValidateJmpBlock(b, expectedId: "1", expectedJumps: new[] { "2", "3" }),
b => ValidateJmpBlock(b, expectedId: "2", expectedJumps: new[] { "1" }),
b => ValidateRetBlock(b, expectedId: "3", expectedReturnExpression: ConstValue)
);
}
public void Serialize_Some_Method()
{
var code = @"
class C
{
void Foo(string a, string b)
{
var x = a + b;
if (true)
{
Bar(a, 1);
}
else
{
Bar(b, 2);
}
}
void Bar(string a, int x) { }
}
";
var dot = UcfgSerializer.Serialize(UcfgVerifier.GetUcfgForMethod(code, "Foo"));
dot.Should().BeIgnoringLineEndings(@"digraph ""C.Foo(string, string)"" {
ENTRY [shape=record label=""{ENTRY|a|b}""]
ENTRY -> 0
0 [shape=record label=""{BLOCK:0|\{ \""name\"": \""%0\"" \} __concat a,b|\{ \""name\"": \""x\"" \} __id %0|TERMINATOR JUMP: 1, 2}""]
0 -> 1
0 -> 2
1 [shape=record label=""{BLOCK:1|\{ \""name\"": \""%1\"" \} C.Bar(string, int) _this_,a,\""\""\""\""|TERMINATOR JUMP: 3}""]
1 -> 3
2 [shape=record label=""{BLOCK:2|\{ \""name\"": \""%2\"" \} C.Bar(string, int) _this_,b,\""\""\""\""|TERMINATOR JUMP: 3}""]
2 -> 3
3 [shape=record label=""{BLOCK:3|TERMINATOR RET: \""\""\""\""}""]
3 -> END
END [shape=record label=""{END}""]
}
");
}
public void Void_Method_Branch1()
{
const string code = @"
using System;
public class Class1
{
public void Foo(string s)
{
if (true) // Branch (Next:Jump,Exit) | Block#0(Jump:#1,#2)
return; // Jump (Next:Exit) | Block#1(Ret)
// Exit | Block#2(Ret)
}
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
ucfg.Entries.Should().BeEquivalentTo(new[] { "0" });
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1", "2" }),
b => ValidateRetBlock(b, expectedId: "1", expectedReturnExpression: ConstValue),
b => ValidateRetBlock(b, expectedId: "2", expectedReturnExpression: ConstValue)
);
}
public void Throw_Exception()
{
const string code = @"
public class Class1
{
public string Foo(string s)
{
if (true) // Branch(Jump,Exit) | Basic#0(Jump:#1,#2)
{
throw new Exception(); // Jump(Exit) | Basic#1(Jump:#3)
}
return s; // Jump(Exit) | Basic#2(Ret:s)
} // Exit | Basic#3(Ret:Const)
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
ucfg.Entries.Should().BeEquivalentTo(new[] { "0" });
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1", "2" }),
b => ValidateJmpBlock(b, expectedId: "1", expectedJumps: "3"),
b => ValidateRetBlock(b, expectedId: "2", expectedReturnExpression: "s"),
b => ValidateRetBlock(b, expectedId: "3", expectedReturnExpression: ConstValue));
}
