text: # ------------------------------------------------------------------------------
  # CodeHawk Java Analyzer
  # Author: Henny Sipma
  # ------------------------------------------------------------------------------
  # The MIT License (MIT)
  #
  # Copyright (c) 2016-2020 Kestrel Technology LLC
  # Copyright (c) 2021      Andrew McGraw
  #
  # Permission is hereby granted, free of charge, to any person obtaining a copy
  # of this software and associated documentation files (the "Software"), to deal
  # in the Software without restriction, including without limitation the rights
  # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  # copies of the Software, and to permit persons to whom the Software is
  # furnished to do so, subject to the following conditions:
  #
  # The above copyright notice and this permission notice shall be included in all
  # copies or substantial portions of the Software.
  # 
  # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  # SOFTWARE.
  # ------------------------------------------------------------------------------
  
  import datetime
  
  from typing import Any
  
  def cjust(s: str, l: int) -> str:
      s = str(s)
      length = len(s)
      if length >= l: return s
      prelen = int((l - length) / 2)
      suflen = l - (length + prelen)
      return ((' ' * prelen) + s + (' ' * suflen))
  
  def reportheader(title: str, application: str) -> str:
      lines = []
      lines.append('* ' + ('=' * 80))
      lines.append('* CodeHawk Java Analyzer: ' + title)
      lines.append('* application: ' + application)
      lines.append('* date       : ' + str(datetime.datetime.now())[:19])
      lines.append('* ' + ('=' * 80))
      return '\n'.join(lines)
      
  