# Copyright (c) 2011, Thomas Paviot (tpaviot@gmail.com)
# All rights reserved.

# This file is part of the STEPCODE project.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are met:
#
#   Redistributions of source code must retain the above copyright notice,
#   this list of conditions and the following disclaimer.
#
#   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.
#
#   Neither the name of the <ORGANIZATION> nor the names of its contributors may
#   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 HOLDER OR 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.

from enum import Enum
from . import BaseType

class ENUMERATION(Enum):
    """
    EXPRESS definition:
    ===================
    An ENUMERATION data type has as its domain an ordered set of names. The names represent
    values of the enumeration data type.
    
    Python implementation:
    ======================
    An enumeration is initialized from strings defining the types.
    For instance, some EXPRESS definition:
    TYPE ahead_or_behind = ENUMERATION OF
      (ahead,
       behind);
    END_TYPE; -- ahead_or_behind

    Scoping and visibility of ENUMERATIONS is similar in EXPRESS and Python
    
    Enum implemented as per Standard Library / PEP 435
    >>> ahead_or_behind = ENUMERATION('ahead_or_behind', 'ahead behind')
    >>> race_position = ahead_or_behind.ahead
    >>> if race_position == ahead_or_behind.ahead:
    ...   # do stuff! 
    """
    pass
       
class SELECT:
    """ A select data type has as its domain the union of the domains of the named data types in
    its select list. The select data type is a generalization of each of the named data types in its
    select list.
    """
    def __init__(self,*kargs,**args):
        # first defining the scope
        if 'scope' in args:
            self._scope = args['scope']
        else:
            self._scope = None
        # create the types from the list of arguments
        self._base_types = []
        for types in list(kargs):
            new_type = BaseType.Type(types,self._scope)
            self._base_types.append(new_type)
 
    def get_allowed_types(self):
        _auth_types = []
        for types in self._base_types:
            _auth_types.append(types.get_type())
        return _auth_types

    def get_allowed_basic_types(self):
        ''' if a select contains some subselect, goes down through the different
        sublayers until there is no more '''
        b = []
        _auth_types = self.get_allowed_types()
        for _auth_type in _auth_types:
            if isinstance(_auth_type,SELECT) or isinstance(_auth_type,ENUMERATION):
                h = _auth_type.get_allowed_types()
                b.extend(h)
            else:
                b = _auth_types
        return b
