Skip to content

Commit f85912c

Browse files
Add more facets to branch if (#3003)
1 parent 3413da5 commit f85912c

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

52 files changed

+948
-525
lines changed
Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
if (true) {}
2+
else if (false) {}
3+
else {}
4+
---
5+
6+
[#1 Content] =
7+
[#1 Domain] = 0:0-0:12
8+
>------------<
9+
0| if (true) {}
10+
11+
[#1 Removal] = 0:0-1:5
12+
>------------
13+
0| if (true) {}
14+
1| else if (false) {}
15+
-----<
16+
17+
[#1 Insertion delimiter] = "\n"
18+
19+
20+
[#2 Content] =
21+
[#2 Domain] = 1:0-1:18
22+
>------------------<
23+
1| else if (false) {}
24+
25+
[#2 Removal] = 1:0-2:0
26+
>------------------
27+
1| else if (false) {}
28+
2| else {}
29+
<
30+
31+
[#2 Insertion delimiter] = "\n"
32+
33+
34+
[#3 Content] =
35+
[#3 Domain] = 2:0-2:7
36+
>-------<
37+
2| else {}
38+
39+
[#3 Removal] = 1:18-2:7
40+
>
41+
1| else if (false) {}
42+
2| else {}
43+
-------<
44+
45+
[#3 Insertion delimiter] = "\n"
Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,30 +1,30 @@
1-
@if true { }
2-
@else { }
1+
if (true) {}
2+
else {}
33
---
44

55
[#1 Content] =
66
[#1 Domain] = 0:0-0:12
77
>------------<
8-
0| @if true { }
8+
0| if (true) {}
99

1010
[#1 Removal] = 0:0-1:0
1111
>------------
12-
0| @if true { }
13-
1| @else { }
12+
0| if (true) {}
13+
1| else {}
1414
<
1515

1616
[#1 Insertion delimiter] = "\n"
1717

1818

1919
[#2 Content] =
20-
[#2 Domain] = 1:0-1:9
21-
>---------<
22-
1| @else { }
20+
[#2 Domain] = 1:0-1:7
21+
>-------<
22+
1| else {}
2323

24-
[#2 Removal] = 0:12-1:9
24+
[#2 Removal] = 0:12-1:7
2525
>
26-
0| @if true { }
27-
1| @else { }
28-
---------<
26+
0| if (true) {}
27+
1| else {}
28+
-------<
2929

3030
[#2 Insertion delimiter] = "\n"
Lines changed: 4 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -1,45 +1,10 @@
11
if (true) {}
2-
else if (false) {}
3-
else {}
42
---
53

6-
[#1 Content] =
7-
[#1 Domain] = 0:0-0:12
4+
[Content] =
5+
[Removal] =
6+
[Domain] = 0:0-0:12
87
>------------<
98
0| if (true) {}
109

11-
[#1 Removal] = 0:0-1:5
12-
>------------
13-
0| if (true) {}
14-
1| else if (false) {}
15-
-----<
16-
17-
[#1 Insertion delimiter] = "\n"
18-
19-
20-
[#2 Content] =
21-
[#2 Domain] = 1:0-1:18
22-
>------------------<
23-
1| else if (false) {}
24-
25-
[#2 Removal] = 1:0-2:0
26-
>------------------
27-
1| else if (false) {}
28-
2| else {}
29-
<
30-
31-
[#2 Insertion delimiter] = "\n"
32-
33-
34-
[#3 Content] =
35-
[#3 Domain] = 2:0-2:7
36-
>-------<
37-
2| else {}
38-
39-
[#3 Removal] = 1:18-2:7
40-
>
41-
1| else if (false) {}
42-
2| else {}
43-
-------<
44-
45-
[#3 Insertion delimiter] = "\n"
10+
[Insertion delimiter] = "\n"
Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
if (true) {}
2+
else if (false) {}
3+
else {}
4+
---
5+
6+
[#1 Content] =
7+
[#1 Domain] = 0:0-0:12
8+
>------------<
9+
0| if (true) {}
10+
11+
[#1 Removal] = 0:0-1:5
12+
>------------
13+
0| if (true) {}
14+
1| else if (false) {}
15+
-----<
16+
17+
[#1 Insertion delimiter] = "\n"
18+
19+
20+
[#2 Content] =
21+
[#2 Domain] = 1:0-1:18
22+
>------------------<
23+
1| else if (false) {}
24+
25+
[#2 Removal] = 1:0-2:0
26+
>------------------
27+
1| else if (false) {}
28+
2| else {}
29+
<
30+
31+
[#2 Insertion delimiter] = "\n"
32+
33+
34+
[#3 Content] =
35+
[#3 Domain] = 2:0-2:7
36+
>-------<
37+
2| else {}
38+
39+
[#3 Removal] = 1:18-2:7
40+
>
41+
1| else if (false) {}
42+
2| else {}
43+
-------<
44+
45+
[#3 Insertion delimiter] = "\n"
Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
if (true) {}
2+
else {}
3+
---
4+
5+
[#1 Content] =
6+
[#1 Domain] = 0:0-0:12
7+
>------------<
8+
0| if (true) {}
9+
10+
[#1 Removal] = 0:0-1:0
11+
>------------
12+
0| if (true) {}
13+
1| else {}
14+
<
15+
16+
[#1 Insertion delimiter] = "\n"
17+
18+
19+
[#2 Content] =
20+
[#2 Domain] = 1:0-1:7
21+
>-------<
22+
1| else {}
23+
24+
[#2 Removal] = 0:12-1:7
25+
>
26+
0| if (true) {}
27+
1| else {}
28+
-------<
29+
30+
[#2 Insertion delimiter] = "\n"
Lines changed: 4 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -1,45 +1,10 @@
11
if (true) {}
2-
else if (false) {}
3-
else { }
42
---
53

6-
[#1 Content] =
7-
[#1 Domain] = 0:0-0:12
4+
[Content] =
5+
[Removal] =
6+
[Domain] = 0:0-0:12
87
>------------<
98
0| if (true) {}
109

11-
[#1 Removal] = 0:0-1:5
12-
>------------
13-
0| if (true) {}
14-
1| else if (false) {}
15-
-----<
16-
17-
[#1 Insertion delimiter] = "\n"
18-
19-
20-
[#2 Content] =
21-
[#2 Domain] = 1:0-1:19
22-
>-------------------<
23-
1| else if (false) {}
24-
25-
[#2 Removal] = 1:0-2:0
26-
>-------------------
27-
1| else if (false) {}
28-
2| else { }
29-
<
30-
31-
[#2 Insertion delimiter] = "\n"
32-
33-
34-
[#3 Content] =
35-
[#3 Domain] = 2:0-2:8
36-
>--------<
37-
2| else { }
38-
39-
[#3 Removal] = 1:19-2:8
40-
>
41-
1| else if (false) {}
42-
2| else { }
43-
--------<
44-
45-
[#3 Insertion delimiter] = "\n"
10+
[Insertion delimiter] = "\n"
Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
if (true) {}
2+
else if (false) {}
3+
else {}
4+
---
5+
6+
[#1 Content] =
7+
[#1 Domain] = 0:0-0:12
8+
>------------<
9+
0| if (true) {}
10+
11+
[#1 Removal] = 0:0-1:5
12+
>------------
13+
0| if (true) {}
14+
1| else if (false) {}
15+
-----<
16+
17+
[#1 Insertion delimiter] = "\n"
18+
19+
20+
[#2 Content] =
21+
[#2 Domain] = 1:0-1:18
22+
>------------------<
23+
1| else if (false) {}
24+
25+
[#2 Removal] = 1:0-2:0
26+
>------------------
27+
1| else if (false) {}
28+
2| else {}
29+
<
30+
31+
[#2 Insertion delimiter] = "\n"
32+
33+
34+
[#3 Content] =
35+
[#3 Domain] = 2:0-2:7
36+
>-------<
37+
2| else {}
38+
39+
[#3 Removal] = 1:18-2:7
40+
>
41+
1| else if (false) {}
42+
2| else {}
43+
-------<
44+
45+
[#3 Insertion delimiter] = "\n"
Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
if (true) {}
2+
else {}
3+
---
4+
5+
[#1 Content] =
6+
[#1 Domain] = 0:0-0:12
7+
>------------<
8+
0| if (true) {}
9+
10+
[#1 Removal] = 0:0-1:0
11+
>------------
12+
0| if (true) {}
13+
1| else {}
14+
<
15+
16+
[#1 Insertion delimiter] = "\n"
17+
18+
19+
[#2 Content] =
20+
[#2 Domain] = 1:0-1:7
21+
>-------<
22+
1| else {}
23+
24+
[#2 Removal] = 0:12-1:7
25+
>
26+
0| if (true) {}
27+
1| else {}
28+
-------<
29+
30+
[#2 Insertion delimiter] = "\n"
Lines changed: 4 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -1,45 +1,10 @@
11
if (true) {}
2-
else if (false) {}
3-
else {}
42
---
53

6-
[#1 Content] =
7-
[#1 Domain] = 0:0-0:12
4+
[Content] =
5+
[Removal] =
6+
[Domain] = 0:0-0:12
87
>------------<
98
0| if (true) {}
109

11-
[#1 Removal] = 0:0-1:5
12-
>------------
13-
0| if (true) {}
14-
1| else if (false) {}
15-
-----<
16-
17-
[#1 Insertion delimiter] = "\n"
18-
19-
20-
[#2 Content] =
21-
[#2 Domain] = 1:0-1:18
22-
>------------------<
23-
1| else if (false) {}
24-
25-
[#2 Removal] = 1:0-2:0
26-
>------------------
27-
1| else if (false) {}
28-
2| else {}
29-
<
30-
31-
[#2 Insertion delimiter] = "\n"
32-
33-
34-
[#3 Content] =
35-
[#3 Domain] = 2:0-2:7
36-
>-------<
37-
2| else {}
38-
39-
[#3 Removal] = 1:18-2:7
40-
>
41-
1| else if (false) {}
42-
2| else {}
43-
-------<
44-
45-
[#3 Insertion delimiter] = "\n"
10+
[Insertion delimiter] = "\n"

0 commit comments

Comments
 (0)