# Copyright (c) 2012 by Zuse-Institute Berlin and the Technical University of Denmark.
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are met:
#     1. Redistributions of source code must retain the above copyright
#        notice, this list of conditions and the following disclaimer.
#     2. Redistributions in binary form must reproduce the above copyright
#        notice, this list of conditions and the following disclaimer in the
#        documentation and/or other materials provided with the distribution.
#     3. Neither the name of the copyright holders nor contributors may not
#        be used to endorse or promote products derived from this software
#        without specific prior written permission.
#
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
# DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS NOR CONTRIBUTORS BE LIABLE
# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
# ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


# Direct execution requires top level directory on python path
if __name__ == "__main__":
  import os, sys, inspect
  scriptdir = os.path.split(inspect.getfile( inspect.currentframe() ))[0]
  packagedir = os.path.realpath(os.path.abspath(os.path.join(scriptdir,'..')))
  if packagedir not in sys.path:
    sys.path.insert(0, packagedir)


import os, sys, inspect, re
from data.CBFdata import CBFdata

def filter(expr, printexpr, printer):
  hasprintexpr = (printexpr is not None)

  # Find the directory of this script
  scriptdir = os.path.split(inspect.getfile( inspect.currentframe() ))[0]
  rootdir   = os.path.join(scriptdir,'..')

  # Validate expressions
  expr = expr.split('||')
  if len(expr)%2 != 1:
    raise Exception('Unbalanced use of filter identifier \'||\'')
  if hasprintexpr:
    printexpr = printexpr.split('||')
    if len(printexpr)%2 != 1:
      raise Exception('Unbalanced use of filter identifier \'||\' in print expression')

  # Load expression filters
  usingfilters = False
  filt = [0]*len(expr)
  for i in range(1,len(expr),2):
    expr[i] = expr[i].split('|')
    filt[i] = __import__('filters.' + expr[i][0], fromlist=expr[i])
    usingfilters = True
  if hasprintexpr:
    printfilt = [0]*len(printexpr)
    for i in range(1,len(printexpr),2):
      printexpr[i] = printexpr[i].split('|')
      printfilt[i] = __import__('filters.' + printexpr[i][0], fromlist=printexpr[i])
      usingfilters = True

  # Compile expression commands
  cmd = expr[:] #memcopy
  for i in range(1,len(expr),2):
    cmd[i] = ''.join(['filt[', str(i), '].getval(prob, *expr[', str(i) ,'][1:])'])
  cmd = ''.join(cmd)
  if hasprintexpr:
    printcmd = printexpr[:] #memcopy
    for i in range(1,len(printexpr),2):
      printcmd[i] = ''.join(['printfilt[', str(i), '].getval(prob, *printexpr[', str(i), '][1:])'])
    printcmd = ''.join(printcmd)

  # What keywords Do expressions require data parsing?
  keyquery = set()
  for i in range(1,len(expr),2):
    keyquery |= set(filt[i].keyquery(*expr[i][1:]))
  if hasprintexpr:
    for i in range(1,len(printexpr),2):
      keyquery |= set(printfilt[i].keyquery(*printexpr[i][1:]))

  # Search files in benchmark library
  files = list()
  for dirpath, dirnames, filenames in os.walk(os.path.realpath(os.path.abspath(os.path.join(rootdir,'instances','cbf'))) ):
    convert = lambda text: int(text) if text.isdigit() else text
    alphanum_key = lambda key: [ convert(c) for c in re.split('([0-9]+)', key) ]
    filenames.sort(key=alphanum_key)

    for filename in filenames:
      [fbase,fext] = os.path.splitext(filename)
      if fext.lower() == '.gz':
        fext = os.path.splitext(fbase)[1] + fext

      if fext.lower() in ['.cbf','.cbf.gz']:
        files.append(os.path.join(dirpath,filename))

  for f in files:
    if usingfilters:
      prob = next(CBFdata(f, keyquery).iterator())

    if not cmd or bool(eval(cmd)) == True:
      if hasprintexpr:
        printer(eval(printcmd))
      else:
        printer(f)


if __name__ == "__main__":
  printexpr = None

  try:
    # Verify command line arguments
    if len(sys.argv) != 2 and len(sys.argv) != 3:
      raise Exception(''.join([
          'Incorrect usage, try all mixed-integer second order cone instances:', '\n',
          '  python ', sys.argv[0], ' "||int|| and ||cones|so|| and not ||psdcones||"']))

    if len(sys.argv) == 3:
      printexpr = sys.argv[2]

    # Print filtering result
    filter(sys.argv[1], printexpr, lambda x: sys.stdout.write(str(x)+'\n'))

  except Exception as e:
    print(str(e))