Модуль: (Java) 条件付きループ文 - while

Задача

与えられたプログラム フラグメントに対して、ループ while の本体が何回実行されるか、およびこのループの実行後に変数 a の値がどのようになるかを決定します。
答えは <number>;<number> の形式で指定する必要があります。
たとえば、ループの本体が 5 回実行され、変数の値が 10 の場合、応答には文字列 5;10 が含まれている必要があります。

ループがループする場合は、INF という単語を 1 つだけ指定する必要があります。
 

プログラム フラグメント

= 8; b = 12; while (a < b) --;