source: java2python/core/test/testcode/Math.py@ 503

from typing import cast
import sys
import math
import random
from typing import List


class Math:
 # Tests static function calls and references
 @staticmethod 
 def main(args:List[str]) -> None:
  #  @param args the arguments of the call.
  sys.stdout.write( ("ok1" if -1.0e0==-1. else "ko1")+'\n')
  sys.stdout.write( ("ok2" if 1.==1. else "ko2")+'\n')
  sys.stdout.write( ("ok3" if 1==+1 else "ko3")+'\n')
  sys.stdout.write( ("ok4" if abs(-1)==1 else "ko4")+'\n')
  sys.stdout.write( ("ok5" if abs(-1.5)==1.5 else "ko5")+'\n')
  sys.stdout.write( ("ok6" if math.floor(-1.5)==-2 else "ko6")+'\n')
  v:float = random.random()
  sys.stdout.write( ("ok7" if v >= 0 and v <= 1 else "ko7")+'\n')
  sys.stdout.write( ("ok8" if isinstance((cast(type,1.)),float) else "ko8")+'\n')

if __name__ == "__main__":
 Math.main(sys.argv[1:])