lftraining · chilikm4n · Nov 15, 2024 · Nov 15, 2024 · Nov 15, 2024 · Nov 15, 2024
diff --git a/.scannerwork/.sonar_lock b/.scannerwork/.sonar_lock
diff --git a/.scannerwork/architecture-ir/java/cu-0.ir b/.scannerwork/architecture-ir/java/cu-0.ir
diff --git a/.scannerwork/architecture-ir/java/cu-1.ir b/.scannerwork/architecture-ir/java/cu-1.ir
diff --git a/.scannerwork/architecture-ir/java/index.ir b/.scannerwork/architecture-ir/java/index.ir
diff --git a/.scannerwork/ir/java/collected.typedefs b/.scannerwork/ir/java/collected.typedefs
diff --git a/.scannerwork/ir/java/ir_000000000.ir b/.scannerwork/ir/java/ir_000000000.ir
diff --git a/.scannerwork/ir/java/ir_000000000.metadata b/.scannerwork/ir/java/ir_000000000.metadata
@@ -0,0 +1,3 @@
+java.util.StringTokenizer#nextToken(Ljava/lang/String;)Ljava/lang/String;
+true
+c40b18dde30df9538e41bde706376854
diff --git a/.scannerwork/ir/java/ir_000000001.ir b/.scannerwork/ir/java/ir_000000001.ir
diff --git a/.scannerwork/ir/java/ir_000000001.metadata b/.scannerwork/ir/java/ir_000000001.metadata
@@ -0,0 +1,3 @@
+java.util.StringTokenizer#nextToken()Ljava/lang/String;
+true
+fa7c675e7e26ad81312e103c06bbfb14
diff --git a/.scannerwork/ir/java/ir_000000002.ir b/.scannerwork/ir/java/ir_000000002.ir
diff --git a/.scannerwork/ir/java/ir_000000002.metadata b/.scannerwork/ir/java/ir_000000002.metadata
@@ -0,0 +1,3 @@
+java.util.StringTokenizer#nextElement()Ljava/lang/Object;
+true
+baf5de3627439666b84cc7c266c072fc
diff --git a/.scannerwork/ir/java/ir_000000003.ir b/.scannerwork/ir/java/ir_000000003.ir
diff --git a/.scannerwork/ir/java/ir_000000003.metadata b/.scannerwork/ir/java/ir_000000003.metadata
@@ -0,0 +1,5 @@
+java.util.StringTokenizer#<init>(Ljava/lang/String;Ljava/lang/String;Z)V
+true
+bf4cb66a7c94356d591f929a5b9b490e
+java.lang.NullPointerException#<init>()V
+java.lang.NullPointerException#instance-init#
diff --git a/.scannerwork/ir/java/ir_000000004.ir b/.scannerwork/ir/java/ir_000000004.ir
diff --git a/.scannerwork/ir/java/ir_000000004.metadata b/.scannerwork/ir/java/ir_000000004.metadata
@@ -0,0 +1,5 @@
+java.util.StringTokenizer#<init>(Ljava/lang/String;Ljava/lang/String;)V
+true
+03a3c7464e7c64f02ce4e9f0de47bd5a
+java.lang.NullPointerException#<init>()V
+java.lang.NullPointerException#instance-init#
diff --git a/.scannerwork/ir/java/ir_000000005.ir b/.scannerwork/ir/java/ir_000000005.ir
diff --git a/.scannerwork/ir/java/ir_000000005.metadata b/.scannerwork/ir/java/ir_000000005.metadata
@@ -0,0 +1,5 @@
+java.util.StringTokenizer#<init>(Ljava/lang/String;)V
+true
+784f0210c39ff0ab35584e798ed18d5b
+java.lang.NullPointerException#<init>()V
+java.lang.NullPointerException#instance-init#
diff --git a/.scannerwork/ir/java/ir_000000006.ir b/.scannerwork/ir/java/ir_000000006.ir
@@ -0,0 +1,10 @@
+
+=
+#instance-init#(java.util.StringTokenizer#instance-init#(/-this
+ 
+(""java.util.StringTokenizer-this
+ 
+(""java.util.StringTokenizer"
+
+
+ 4(*StringTokenizer.java
diff --git a/.scannerwork/ir/java/ir_000000006.metadata b/.scannerwork/ir/java/ir_000000006.metadata
@@ -0,0 +1,3 @@
+java.util.StringTokenizer#instance-init#
+true
+611591759f4048482d2d5eb7ac9ad260
diff --git a/.scannerwork/ir/java/ir_000000007.ir b/.scannerwork/ir/java/ir_000000007.ir
diff --git a/.scannerwork/ir/java/ir_000000007.metadata b/.scannerwork/ir/java/ir_000000007.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#nextLine()Ljava/lang/String;
+true
+6c752e87a701e15b07d98af9ed2572fe
diff --git a/.scannerwork/ir/java/ir_000000008.ir b/.scannerwork/ir/java/ir_000000008.ir
diff --git a/.scannerwork/ir/java/ir_000000008.metadata b/.scannerwork/ir/java/ir_000000008.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#next()Ljava/lang/String;
+true
+c361adbfbf17fef2aeb00d183f4c8d6b
diff --git a/.scannerwork/ir/java/ir_000000009.ir b/.scannerwork/ir/java/ir_000000009.ir
@@ -0,0 +1,7 @@
+
+,
+nextLongjava.util.Scanner#nextLong(I)J(A%this. .("java.util.Scannerradix. .( "int%this. .("java.util.Scannerradix. .( "int"N<
+:
+/ /(""&
+#dependent-value##dependent-value#2long
+/ /(#*Scanner.java
diff --git a/.scannerwork/ir/java/ir_000000009.metadata b/.scannerwork/ir/java/ir_000000009.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#nextLong(I)J
+true
+d7234e1d1395e76e0babf7a874d33ab9
diff --git a/.scannerwork/ir/java/ir_000000010.ir b/.scannerwork/ir/java/ir_000000010.ir
@@ -0,0 +1,7 @@
+
++
+nextLongjava.util.Scanner#nextLong()J('%this* *("java.util.Scanner%this* *("java.util.Scanner"N<
+:
++ +(""&
+#dependent-value##dependent-value#2long
++ +(#*Scanner.java
diff --git a/.scannerwork/ir/java/ir_000000010.metadata b/.scannerwork/ir/java/ir_000000010.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#nextLong()J
+true
+e42a4feab9cb53509b2a0e89a0f45f57
diff --git a/.scannerwork/ir/java/ir_000000011.ir b/.scannerwork/ir/java/ir_000000011.ir
@@ -0,0 +1,7 @@
+
+*
+nextIntjava.util.Scanner#nextInt(I)I(A%this& &("java.util.Scannerradix& &("int%this& &("java.util.Scannerradix& &("int"M;
+9
+' '(!"&
+#dependent-value##dependent-value#2int
+' '("*Scanner.java

diff --git a/.scannerwork/ir/java/ir_000000011.metadata b/.scannerwork/ir/java/ir_000000011.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#nextInt(I)I
+true
+930cc2b9b95b4315b71e7f1f85e6c4a2
diff --git a/.scannerwork/ir/java/ir_000000012.ir b/.scannerwork/ir/java/ir_000000012.ir
@@ -0,0 +1,7 @@
+
+)
+nextIntjava.util.Scanner#nextInt()I('%this" "("java.util.Scanner%this" "("java.util.Scanner"M;
+9
+# #(!"&
+#dependent-value##dependent-value#2int
+# #("*Scanner.java

diff --git a/.scannerwork/ir/java/ir_000000012.metadata b/.scannerwork/ir/java/ir_000000012.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#nextInt()I
+true
+e4e0d28766dc097cd904cd2ab23343e0
diff --git a/.scannerwork/ir/java/ir_000000013.ir b/.scannerwork/ir/java/ir_000000013.ir
@@ -0,0 +1,7 @@
+
+.
+	nextShortjava.util.Scanner#nextShort(I)S(A%this ("java.util.Scannerradix (""int%this ("java.util.Scannerradix (""int"O=
+;
+ (#"&
+#dependent-value##dependent-value#2short
+ ($*Scanner.java
diff --git a/.scannerwork/ir/java/ir_000000013.metadata b/.scannerwork/ir/java/ir_000000013.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#nextShort(I)S
+true
+3b4de34175a22c00b8778a3baba87ffe
diff --git a/.scannerwork/ir/java/ir_000000014.ir b/.scannerwork/ir/java/ir_000000014.ir
@@ -0,0 +1,7 @@
+
+-
+	nextShortjava.util.Scanner#nextShort()S('%this ("java.util.Scanner%this ("java.util.Scanner"O=
+;
+ (#"&
+#dependent-value##dependent-value#2short
+ ($*Scanner.java
diff --git a/.scannerwork/ir/java/ir_000000014.metadata b/.scannerwork/ir/java/ir_000000014.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#nextShort()S
+true
+5109d159a4988ee19d30e7bf42d007b8
diff --git a/.scannerwork/ir/java/ir_000000015.ir b/.scannerwork/ir/java/ir_000000015.ir
@@ -0,0 +1,7 @@
+
+,
+nextBytejava.util.Scanner#nextByte(I)B(A%this ("java.util.Scannerradix ( "int%this ("java.util.Scannerradix ( "int"N<
+:
+ (""&
+#dependent-value##dependent-value#2byte
+ (#*Scanner.java
diff --git a/.scannerwork/ir/java/ir_000000015.metadata b/.scannerwork/ir/java/ir_000000015.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#nextByte(I)B
+true
+91b0204dc0f9e4c16943c74f19d3d313
diff --git a/.scannerwork/ir/java/ir_000000016.ir b/.scannerwork/ir/java/ir_000000016.ir
@@ -0,0 +1,7 @@
+
++
+nextBytejava.util.Scanner#nextByte()B('%this ("java.util.Scanner%this ("java.util.Scanner"N<
+:
+ (""&
+#dependent-value##dependent-value#2byte
+ (#*Scanner.java
diff --git a/.scannerwork/ir/java/ir_000000016.metadata b/.scannerwork/ir/java/ir_000000016.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#nextByte()B
+true
+1ff2beeceb18af5a23cc339ced6a26c6
diff --git a/.scannerwork/ir/java/ir_000000017.ir b/.scannerwork/ir/java/ir_000000017.ir
@@ -0,0 +1,8 @@
+
+:
+Scanner-java.util.Scanner#<init>(Ljava/lang/String;)V(L%this	 ("java.util.Scanner#str ("java.lang.String%this	 ("java.util.Scanner#str ("java.lang.String"J:
+8
+ ("&
+#set-field# input#set-field# input*
+
+ (*Scanner.java
diff --git a/.scannerwork/ir/java/ir_000000017.metadata b/.scannerwork/ir/java/ir_000000017.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#<init>(Ljava/lang/String;)V
+true
+4a2067633838c6faae710e889bd6f14b
diff --git a/.scannerwork/ir/java/ir_000000018.ir b/.scannerwork/ir/java/ir_000000018.ir
@@ -0,0 +1,10 @@
+
+5
+#instance-init# java.util.Scanner#instance-init#('%this
+ 
+("java.util.Scanner%this
+ 
+("java.util.Scanner"
+
+
+ 9(*Scanner.java
diff --git a/.scannerwork/ir/java/ir_000000018.metadata b/.scannerwork/ir/java/ir_000000018.metadata
@@ -0,0 +1,3 @@
+java.util.Scanner#instance-init#
+true
+1095d207715f69611d351e0de9fa1559
diff --git a/.scannerwork/ir/java/ir_000000019.ir b/.scannerwork/ir/java/ir_000000019.ir
@@ -0,0 +1,7 @@
+
+*
+nextLongjava.util.Random#nextLong()J(&$this ("java.util.Random$this ("java.util.Random"N<
+:
+ (""&
+#dependent-value##dependent-value#2long
+ (#*Random.java
diff --git a/.scannerwork/ir/java/ir_000000019.metadata b/.scannerwork/ir/java/ir_000000019.metadata
@@ -0,0 +1,3 @@
+java.util.Random#nextLong()J
+true
+4d52eaf1efb7d9c149806180f13d8277
diff --git a/.scannerwork/ir/java/ir_000000020.ir b/.scannerwork/ir/java/ir_000000020.ir
@@ -0,0 +1,39 @@
+
+)
+nextIntjava.util.Random#nextInt(I)I(L
+0int$this ("java.util.Randombound ("int$this ("java.util.Randombound ("int"U5
+3
+ ("
+
+#binop <=#
+#binop <=#*2boolean"
+ ( * ("�P
+N
+ (*"
+#new-object##new-object#2"java.lang.IllegalArgumentException[
+Y
+ (*"F
+#instance-init#1java.lang.IllegalArgumentException#instance-init#(*8M
+K
+ (*"8
+<init>,java.lang.IllegalArgumentException#<init>()V(*82
+ (+"�C
+A
+ ('result"&
+#dependent-value##dependent-value#2int5
+3
+ ($	"
+
+#binop <=#
+#binop <=#*2boolean-
++
+ (%
+"
+#assume##assume#*	2void3
+1
+ ('"
+	#binop <#	#binop <#*2boolean-
++
+ (("
+#assume##assume#*2void
+ (*Random.java

diff --git a/.scannerwork/ir/java/ir_000000020.metadata b/.scannerwork/ir/java/ir_000000020.metadata
@@ -0,0 +1,5 @@
+java.util.Random#nextInt(I)I
+true
+978c0552eb957112c201f55d66e5d78a
+java.lang.IllegalArgumentException#<init>()V
+java.lang.IllegalArgumentException#instance-init#
diff --git a/.scannerwork/ir/java/ir_000000021.ir b/.scannerwork/ir/java/ir_000000021.ir
@@ -0,0 +1,7 @@
+
+(
+nextIntjava.util.Random#nextInt()I(&$this ("java.util.Random$this ("java.util.Random"M;
+9
+ (!"&
+#dependent-value##dependent-value#2int
+ ("*Random.java

diff --git a/.scannerwork/ir/java/ir_000000021.metadata b/.scannerwork/ir/java/ir_000000021.metadata
@@ -0,0 +1,3 @@
+java.util.Random#nextInt()I
+true
+0c1d2c5f239291e23b1310139410034c
diff --git a/.scannerwork/ir/java/ir_000000022.ir b/.scannerwork/ir/java/ir_000000022.ir
@@ -0,0 +1,7 @@
+
+0
+nextBooleanjava.util.Random#nextBoolean()Z(&$this ("java.util.Random$this ("java.util.Random"Q?
+=
+ (%"&
+#dependent-value##dependent-value#2boolean
+ (&*Random.java
diff --git a/.scannerwork/ir/java/ir_000000022.metadata b/.scannerwork/ir/java/ir_000000022.metadata
@@ -0,0 +1,3 @@
+java.util.Random#nextBoolean()Z
+true
+9349203e9d9596d81118d60eee7ddb4d
diff --git a/.scannerwork/ir/java/ir_000000023.ir b/.scannerwork/ir/java/ir_000000023.ir
@@ -0,0 +1,10 @@
+
+(
+Randomjava.util.Random#<init>()V (&$this
+ 
+("java.util.Random$this
+ 
+("java.util.Random"
+
+
+ !(*Random.java
diff --git a/.scannerwork/ir/java/ir_000000023.metadata b/.scannerwork/ir/java/ir_000000023.metadata
@@ -0,0 +1,3 @@
+java.util.Random#<init>()V
+true
+ce5bbd0178128d0731f33c9317cb712c
diff --git a/.scannerwork/ir/java/ir_000000024.ir b/.scannerwork/ir/java/ir_000000024.ir
@@ -0,0 +1,10 @@
+
+4
+#instance-init#java.util.Random#instance-init#(&$this
+ 
+("java.util.Random$this
+ 
+("java.util.Random"
+
+
+ !(*Random.java
diff --git a/.scannerwork/ir/java/ir_000000024.metadata b/.scannerwork/ir/java/ir_000000024.metadata
@@ -0,0 +1,3 @@
+java.util.Random#instance-init#
+true
+39f1ff74b2b633bb410f9a4238d9af33
diff --git a/.scannerwork/ir/java/ir_000000025.ir b/.scannerwork/ir/java/ir_000000025.ir
@@ -0,0 +1,15 @@
+
+`
+orElseThrowOjava.util.Optional#orElseThrow(Ljava/util/function/Supplier;)Ljava/lang/Object;(f&thisq! q(,"java.util.Optional<exceptionSupplierq- q(T"java.util.function.Supplier&thisq! q(,"java.util.Optional<exceptionSupplierq- q(T"java.util.function.Supplier"hH
+F
+r r("*
+isEmptyjava.util.Optional#isEmpty()Z(*2boolean8"
+r r( *r r("r^
+\
+s s(#">
+get3java.util.function.Supplier#get()Ljava/lang/Object; (*2	!capture!82
+s s($"P<
+:
+u u("&
+#get-field# value#get-field# value*2T
+u u(*Optional.java

diff --git a/.scannerwork/ir/java/ir_000000025.metadata b/.scannerwork/ir/java/ir_000000025.metadata
@@ -0,0 +1,6 @@
+java.util.Optional#orElseThrow(Ljava/util/function/Supplier;)Ljava/lang/Object;
+true
+700bdc75101e23d676f054bde013e3c0
+java.util.Optional#isEmpty()Z
+==
+get java.util.function.Supplier#get()Ljava/lang/Object;
diff --git a/.scannerwork/ir/java/ir_000000026.ir b/.scannerwork/ir/java/ir_000000026.ir
@@ -0,0 +1,21 @@
+
+C
+orElseThrow2java.util.Optional#orElseThrow()Ljava/lang/Object;(R("No value present"java.lang.String&thisj j("java.util.Optional&thisj j("java.util.Optional"hH
+F
+k k("*
+isEmptyjava.util.Optional#isEmpty()Z(*2boolean8"
+k k( *k k("�N
+L
+l l(:"
+#new-object##new-object#2 java.util.NoSuchElementExceptionY
+W
+l l(:"D
+#instance-init#/java.util.NoSuchElementException#instance-init#(*8^
+\
+l l(:"H
+<init><java.util.NoSuchElementException#<init>(Ljava/lang/String;)V(*82
+l l(;"P<
+:
+n n("&
+#get-field# value#get-field# value*2T
+n n(*Optional.java

diff --git a/.scannerwork/ir/java/ir_000000026.metadata b/.scannerwork/ir/java/ir_000000026.metadata
@@ -0,0 +1,6 @@
+java.util.Optional#orElseThrow()Ljava/lang/Object;
+true
+15e5b2ea7d85de4b11af138ac0910ee2
+java.util.NoSuchElementException#<init>(Ljava/lang/String;)V
+java.util.NoSuchElementException#instance-init#
+java.util.Optional#isEmpty()Z