source: java2python/core/src/test/java/testcode/DoWhile.java

package testcode;

import org.eclipse.jdt.annotation.NonNull;

public class DoWhile {

        static public void main(String[] args) {
                @NonNull
                String res = "";
                @NonNull
                Integer n = 3;
                do {
                        res += n.toString();
                        n -= 1;
                } while (n > 0);

                System.out.println(res);
        }

}