# Copyright (c) 2011, Thomas Paviot ([email protected])

# All rights reserved.

# This file is part of the StepClassLibrary (SCL).

#

# 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.

import sys

from enum import Enum

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(object):

""" 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