Provide references to invoked methods in summary by onewhl · Pull Request #476 · UnitTestBot/UTBotJava · GitHub
Skip to content

Provide references to invoked methods in summary #476

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
onewhl merged 4 commits into from
Jul 18, 2022
Merged

Provide references to invoked methods in summary #476

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b3b8af5
Add a reference (@link) to the invoked method to summary
onewhl Jul 8, 2022
fcb7bb1
Simplify code
onewhl Jul 11, 2022
3e72126
Fix broken test
onewhl Jul 11, 2022
aad94ba
Fix broken test
onewhl Jul 11, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion utbot-framework/src/test/kotlin/org/utbot/examples/algorithms/SortTest.kt
View file
Open in desktop
40 changes: 20 additions & 20 deletions utbot-summary-tests/src/test/kotlin/examples/algorithms/SummaryReturnExampleTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -165,19 +165,19 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(

@Test
fun testInnerVoidCompareChars() {
val summary1 = "Test calls ReturnExample::compareChars,\n" +
val summary1 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compareChars(char,char,int)},\n" +
" there it executes conditions:\n" +
" (n < 1): True\n" +
" returns from: return ' ';\n" +
" " // TODO: generates empty String or \n a the end
val summary2 = "Test calls ReturnExample::compareChars,\n" +
val summary2 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compareChars(char,char,int)},\n" +
" there it executes conditions:\n" +
" (n < 1): False\n" +
" iterates the loop for(int i = 0; i < n; i++) once,\n" +
" inside this loop, the test executes conditions:\n" +
" (Character.toChars(i)[0] == a): True\n" +
" returns from: return b;"
val summary3 = "Test calls ReturnExample::compareChars,\n" +
val summary3 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compareChars(char,char,int)},\n" +
" there it executes conditions:\n" +
" (n < 1): False\n" +
" iterates the loop for(int i = 0; i < n; i++) once,\n" +
Expand All @@ -186,7 +186,7 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(
" (Character.toChars(i)[0] == b): False\n" +
" Test then returns from: return a;\n" +
" " // TODO: generates empty String or \n a the end
val summary4 = "Test calls ReturnExample::compareChars,\n" +
val summary4 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compareChars(char,char,int)},\n" +
" there it executes conditions:\n" +
" (n < 1): False\n" +
" iterates the loop for(int i = 0; i < n; i++) once,\n" +
Expand Down Expand Up @@ -235,21 +235,21 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(

@Test
fun testInnerReturnCompareChars() {
val summary1 = "Test calls ReturnExample::compareChars,\n" +
val summary1 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compareChars(char,char,int)},\n" +
" there it executes conditions:\n" +
" (n < 1): True\n" +
" returns from: return ' ';\n" +
" \n" +
"Test later returns from: return compareChars(a, b, n);\n"
val summary2 = "Test calls ReturnExample::compareChars,\n" +
val summary2 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compareChars(char,char,int)},\n" +
" there it executes conditions:\n" +
" (n < 1): False\n" +
" iterates the loop for(int i = 0; i < n; i++) once,\n" +
" inside this loop, the test executes conditions:\n" +
" (Character.toChars(i)[0] == a): True\n" +
" returns from: return b;\n" +
"Test later returns from: return compareChars(a, b, n);\n"
val summary3 = "Test calls ReturnExample::compareChars,\n" +
val summary3 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compareChars(char,char,int)},\n" +
" there it executes conditions:\n" +
" (n < 1): False\n" +
" iterates the loop for(int i = 0; i < n; i++) once,\n" +
Expand All @@ -259,7 +259,7 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(
" Test then returns from: return a;\n" +
" \n" + //
"Test afterwards returns from: return compareChars(a, b, n);\n"
val summary4 = "Test calls ReturnExample::compareChars,\n" +
val summary4 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compareChars(char,char,int)},\n" +
" there it executes conditions:\n" +
" (n < 1): False\n" +
" iterates the loop for(int i = 0; i < n; i++) once,\n" +
Expand Down Expand Up @@ -309,33 +309,33 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(

@Test
fun testInnerVoidCompare() {
val summary1 = "Test calls ReturnExample::compare,\n" +
val summary1 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): True\n" +
" returns from: return a;\n" +
" " // TODO: remove blank line
val summary2 = "Test calls ReturnExample::compare,\n" +
val summary2 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): False,\n" +
" (b == 10): False,\n" +
" (a > b): True\n" +
" returns from: return b;\n" +
" " // TODO: remove blank line
val summary3 = "Test calls ReturnExample::compare,\n" +
val summary3 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): False,\n" +
" (b == 10): True\n" +
" returns from: return c;\n" +
" " // TODO: remove blank line
val summary4 = "Test calls ReturnExample::compare,\n" +
val summary4 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): True\n" +
" returns from: return a;\n" +
" " // TODO: remove blank line
val summary5 = "Test calls ReturnExample::compare,\n" +
val summary5 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): False,\n" +
Expand All @@ -344,7 +344,7 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(
" (a < b): True\n" +
" returns from: return a;\n" +
" " // TODO: remove blank line
val summary6 = "Test calls ReturnExample::compare,\n" +
val summary6 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): False,\n" +
Expand Down Expand Up @@ -404,14 +404,14 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(

@Test
fun testInnerReturnCompare() {
val summary1 = "Test calls ReturnExample::compare,\n" +
val summary1 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): True\n" +
" returns from: return a;\n" +
" \n" +
"Test then returns from: return compare(a, b);\n"
val summary2 = "Test calls ReturnExample::compare,\n" +
val summary2 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): False,\n" +
Expand All @@ -420,21 +420,21 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(
" returns from: return b;\n" +
" \n" +
"Test afterwards returns from: return compare(a, b);\n"
val summary3 = "Test calls ReturnExample::compare,\n" +
val summary3 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): False,\n" +
" (b == 10): True\n" +
" returns from: return c;\n" +
" \n" +
"Test then returns from: return compare(a, b);\n"
val summary4 = "Test calls ReturnExample::compare,\n" +
val summary4 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): True\n" +
" returns from: return a;\n" +
" \n" +
"Test next returns from: return compare(a, b);\n"
val summary5 = "Test calls ReturnExample::compare,\n" +
val summary5 = "Test calls{@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): False,\n" +
Expand All @@ -444,7 +444,7 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(
" returns from: return a;\n" +
" \n" +
"Test afterwards returns from: return compare(a, b);\n"
val summary6 = "Test calls ReturnExample::compare,\n" +
val summary6 = "Test calls {@link org.utbot.examples.algorithms.ReturnExample#compare(int,int)},\n" +
" there it executes conditions:\n" +
" (a < 0): False,\n" +
" (b < 0): False,\n" +
Expand Down
2 changes: 1 addition & 1 deletion ...t-summary-tests/src/test/kotlin/examples/collections/SummaryListWrapperReturnsVoidTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@ class SummaryListWrapperReturnsVoidTest : SummaryTestCaseGeneratorTest(
" sum[0] += i;\n" +
" }\n" +
"});"
val summary2 = "Test invokes: List::forEach once\n" +
val summary2 = "Test invokes: {@link java.util.List#forEach(java.util.function.Consumer)} once\n" +
"throws NullPointerException in: list.forEach(i -> {\n" +
" if (i > 0) {\n" +
" sum[0] += i;\n" +
Expand Down
11 changes: 4 additions & 7 deletions utbot-summary-tests/src/test/kotlin/examples/controlflow/SummaryCycleTest.kt
View file
Open in desktop
Loading