source: java2python/core/test/testcode/ObjectFunctions.py@ 473

from typing import cast
import sys
from typing import List


class ObjectFunctions:
 '''
 Basic object functions that have special translations: hashcode, equals,
 toString.
 
 '''
 def __init__(self, a:int):
  self.__a:int
  self.__a=a
 #Override
 def __repr__(self) -> str:
  #   aotoboxing not yet supported
  return str(self.__a)
 #Override
 def __hash__(self) -> int:
  return self.__a
 #Override
 def __eq__(self,obj:type) -> bool:
  if self is obj:
   return True
  if obj is None:
   return False
  if type(self) is not type(obj):
   return False
  other:ObjectFunctions = cast(ObjectFunctions,obj)
  return self.__a is other.__a
 @staticmethod 
 def main(args:List[str]) -> None:
  v:ObjectFunctions = ObjectFunctions(12)
  v2:ObjectFunctions = ObjectFunctions(12)
  sys.stdout.write(str(v) + str(v.__eq__(v2)) + str(hash(v))+'\n')

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