[uast] a test for finally

GitOrigin-RevId: 1d1fef5c0c6cad88a96380fd06907d26f51815d2
This commit is contained in:
Nicolay Mitropolsky
2020-03-22 15:12:22 +00:00
committed by intellij-monorepo-bot
parent 9735198431
commit 7b7bcd4a57
4 changed files with 16 additions and 3 deletions
@@ -28,6 +28,9 @@ public class TryCatch {
catch (@Deprecated NullPointerException e){
b = 2;
}
finally {
b = 3;
}
int c = b;
}
return sum;
@@ -43,6 +43,10 @@ UFile (package = )
UBinaryExpression (operator = =)
USimpleNameReferenceExpression (identifier = b)
ULiteralExpression (value = 2)
UBlockExpression
UBinaryExpression (operator = =)
USimpleNameReferenceExpression (identifier = b)
ULiteralExpression (value = 3)
UDeclarationsExpression
ULocalVariable (name = c)
USimpleNameReferenceExpression (identifier = b)
@@ -13,7 +13,9 @@ public class TryCatch {
catch (@java.lang.Deprecated var e: java.lang.NullPointerException) {
b = 2
}
finally {
b = 3
}
var c: int = b
}
return sum
@@ -16,7 +16,7 @@ UFile (package = ) [public class TryCatch {...]
UDeclarationsExpression [var b: int = 0] = Undetermined
ULocalVariable (name = b) [var b: int = 0]
ULiteralExpression (value = 0) [0] = 0
UTryExpression [try {...] = Undetermined
UTryExpression [try {...}] = 3
UBlockExpression [{...}] = 1
UBinaryExpression (operator = =) [sum = sum + Integer.parseInt(part)] = Undetermined (depending on: (var sum = Undetermined))
USimpleNameReferenceExpression (identifier = sum) [sum] = (var sum = Undetermined)
@@ -43,8 +43,12 @@ UFile (package = ) [public class TryCatch {...]
UBinaryExpression (operator = =) [b = 2] = 2
USimpleNameReferenceExpression (identifier = b) [b] = Undetermined
ULiteralExpression (value = 2) [2] = 2
UBlockExpression [{...}] = 3
UBinaryExpression (operator = =) [b = 3] = 3
USimpleNameReferenceExpression (identifier = b) [b] = (var b = Phi(1, 0))
ULiteralExpression (value = 3) [3] = 3
UDeclarationsExpression [var c: int = b] = Undetermined
ULocalVariable (name = c) [var c: int = b]
USimpleNameReferenceExpression (identifier = b) [b] = (var b = Phi(1, 0))
USimpleNameReferenceExpression (identifier = b) [b] = (var b = 3)
UReturnExpression [return sum] = Nothing
USimpleNameReferenceExpression (identifier = sum) [sum] = (var sum = Undetermined)