# copyright 2003-2014 LOGILAB S.A. (Paris, FRANCE), all rights reserved.

# contact http://www.logilab.fr/ -- mailto:contact@logilab.fr

#

# This file is part of CubicWeb.

#

# CubicWeb is free software: you can redistribute it and/or modify it under the

# terms of the GNU Lesser General Public License as published by the Free

# Software Foundation, either version 2.1 of the License, or (at your option)

# any later version.

#

# CubicWeb is distributed in the hope that it will be useful, but WITHOUT

# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS

# FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more

# details.

#

# You should have received a copy of the GNU Lesser General Public License along

# with CubicWeb.  If not, see <http://www.gnu.org/licenses/>.

"""Core hooks: check for data integrity according to the instance'schema

validity

"""

__docformat__ = "restructuredtext en"

from cubicweb import _

from threading import Lock

from six import text_type

from cubicweb import validation_error, neg_role

from cubicweb.schema import (META_RTYPES, WORKFLOW_RTYPES,

                             RQLConstraint, RQLUniqueConstraint)

from cubicweb.predicates import is_instance, composite_etype

from cubicweb.uilib import soup2xhtml

from cubicweb.server import hook

# special relations that don't have to be checked for integrity, usually

# because they are handled internally by hooks (so we trust ourselves)

DONT_CHECK_RTYPES_ON_ADD = META_RTYPES | WORKFLOW_RTYPES

DONT_CHECK_RTYPES_ON_DEL = META_RTYPES | WORKFLOW_RTYPES

_UNIQUE_CONSTRAINTS_LOCK = Lock()

_UNIQUE_CONSTRAINTS_HOLDER = None

def _acquire_unique_cstr_lock(cnx):

    """acquire the _UNIQUE_CONSTRAINTS_LOCK for the cnx.

    This lock used to avoid potential integrity pb when checking

    RQLUniqueConstraint in two different transactions, as explained in

    https://extranet.logilab.fr/3577926

    """

    if 'uniquecstrholder' in cnx.transaction_data:

        return

    _UNIQUE_CONSTRAINTS_LOCK.acquire()

    cnx.transaction_data['uniquecstrholder'] = True

    # register operation responsible to release the lock on commit/rollback

    _ReleaseUniqueConstraintsOperation(cnx)

def _release_unique_cstr_lock(cnx):

    if 'uniquecstrholder' in cnx.transaction_data:

        del cnx.transaction_data['uniquecstrholder']

        _UNIQUE_CONSTRAINTS_LOCK.release()

class _ReleaseUniqueConstraintsOperation(hook.Operation):

    def postcommit_event(self):

        _release_unique_cstr_lock(self.cnx)

    def rollback_event(self):

        _release_unique_cstr_lock(self.cnx)

class _CheckRequiredRelationOperation(hook.DataOperationMixIn,

                                      hook.LateOperation):

    """checking relation cardinality has to be done after commit in case the

    relation is being replaced

    """

    containercls = list

    role = key = base_rql = None

    def precommit_event(self):

        cnx = self.cnx

        pendingeids = cnx.transaction_data.get('pendingeids', ())

        pendingrtypes = cnx.transaction_data.get('pendingrtypes', ())

        for eid, rtype in self.get_data():

            # recheck pending eids / relation types

            if eid in pendingeids:

                continue

            if rtype in pendingrtypes:

                continue

            if not cnx.execute(self.base_rql % rtype, {'x': eid}):

                etype = cnx.entity_metas(eid)['type']

                msg = _('at least one relation %(rtype)s is required on '

                        '%(etype)s (%(eid)s)')

                raise validation_error(eid, {(rtype, self.role): msg},

                                       {'rtype': rtype, 'etype': etype, 'eid': eid},

                                       ['rtype', 'etype'])

class _CheckSRelationOp(_CheckRequiredRelationOperation):

    """check required subject relation"""

    role = 'subject'

    base_rql = 'Any O WHERE S eid %%(x)s, S %s O'

class _CheckORelationOp(_CheckRequiredRelationOperation):

    """check required object relation"""

    role = 'object'

    base_rql = 'Any S WHERE O eid %%(x)s, S %s O'

class IntegrityHook(hook.Hook):

    __abstract__ = True

    category = 'integrity'

class _EnsureSymmetricRelationsAdd(hook.Hook):

    """ ensure X r Y => Y r X iff r is symmetric """

    __regid__ = 'cw.add_ensure_symmetry'

    __abstract__ = True

    category = 'activeintegrity'

    events = ('after_add_relation',)

    # __select__ is set in the registration callback

    def __call__(self):

        self._cw.repo.system_source.add_relation(self._cw, self.eidto,

                                                 self.rtype, self.eidfrom)

class _EnsureSymmetricRelationsDelete(hook.Hook):

    """ ensure X r Y => Y r X iff r is symmetric """

    __regid__ = 'cw.delete_ensure_symmetry'

    __abstract__ = True

    category = 'activeintegrity'

    events = ('after_delete_relation',)

    # __select__ is set in the registration callback

    def __call__(self):

        self._cw.repo.system_source.delete_relation(self._cw, self.eidto,

                                                    self.rtype, self.eidfrom)

class CheckCardinalityHookBeforeDeleteRelation(IntegrityHook):

    """check cardinalities are satisfied"""

    __regid__ = 'checkcard_before_delete_relation'

    events = ('before_delete_relation',)

    def __call__(self):

        rtype = self.rtype

        if rtype in DONT_CHECK_RTYPES_ON_DEL:

            return

        cnx = self._cw

        eidfrom, eidto = self.eidfrom, self.eidto

        rdef = cnx.rtype_eids_rdef(rtype, eidfrom, eidto)

        if (rdef.subject, rtype, rdef.object) in cnx.transaction_data.get('pendingrdefs', ()):

            return

        card = rdef.cardinality

        if card[0] in '1+' and not cnx.deleted_in_transaction(eidfrom):

            _CheckSRelationOp.get_instance(cnx).add_data((eidfrom, rtype))

        if card[1] in '1+' and not cnx.deleted_in_transaction(eidto):

            _CheckORelationOp.get_instance(cnx).add_data((eidto, rtype))

class CheckCardinalityHookAfterAddEntity(IntegrityHook):

    """check cardinalities are satisfied"""

    __regid__ = 'checkcard_after_add_entity'

    events = ('after_add_entity',)

    def __call__(self):

        eid = self.entity.eid

        eschema = self.entity.e_schema

        for rschema, targetschemas, role in eschema.relation_definitions():

            # skip automatically handled relations

            if rschema.type in DONT_CHECK_RTYPES_ON_ADD:

                continue

            rdef = rschema.role_rdef(eschema, targetschemas[0], role)

            if rdef.role_cardinality(role) in '1+':

                if role == 'subject':

                    op = _CheckSRelationOp.get_instance(self._cw)

                else:

                    op = _CheckORelationOp.get_instance(self._cw)

                op.add_data((eid, rschema.type))

class _CheckConstraintsOp(hook.DataOperationMixIn, hook.LateOperation):

    """ check a new relation satisfy its constraints """

    containercls = list

    def precommit_event(self):

        cnx = self.cnx

        for values in self.get_data():

            eidfrom, rtype, eidto, constraints = values

            # first check related entities have not been deleted in the same

            # transaction

            if cnx.deleted_in_transaction(eidfrom):

                continue

            if cnx.deleted_in_transaction(eidto):

                continue

            for constraint in constraints:

                # XXX

                # * lock RQLConstraint as well?

                # * use a constraint id to use per constraint lock and avoid

                #   unnecessary commit serialization ?

                if isinstance(constraint, RQLUniqueConstraint):

                    _acquire_unique_cstr_lock(cnx)

                try:

                    constraint.repo_check(cnx, eidfrom, rtype, eidto)

                except NotImplementedError:

                    self.critical('can\'t check constraint %s, not supported',

                                  constraint)

class CheckConstraintHook(IntegrityHook):

    """check the relation satisfy its constraints

    this is delayed to a precommit time operation since other relation which

    will make constraint satisfied (or unsatisfied) may be added later.

    """

    __regid__ = 'checkconstraint'

    events = ('after_add_relation',)

    def __call__(self):

        # XXX get only RQL[Unique]Constraints?

        rdef = self._cw.rtype_eids_rdef(self.rtype, self.eidfrom, self.eidto)

        constraints = rdef.constraints

        if constraints:

            _CheckConstraintsOp.get_instance(self._cw).add_data(

                (self.eidfrom, self.rtype, self.eidto, constraints))

class CheckAttributeConstraintHook(IntegrityHook):

    """check the attribute relation satisfy its constraints

    this is delayed to a precommit time operation since other relation which

    will make constraint satisfied (or unsatisfied) may be added later.

    """

    __regid__ = 'checkattrconstraint'

    events = ('after_add_entity', 'after_update_entity')

    def __call__(self):

        eschema = self.entity.e_schema

        for attr in self.entity.cw_edited:

            if eschema.subjrels[attr].final:

                constraints = [c for c in eschema.rdef(attr).constraints

                               if isinstance(c, (RQLUniqueConstraint, RQLConstraint))]

                if constraints:

                    _CheckConstraintsOp.get_instance(self._cw).add_data(

                        (self.entity.eid, attr, None, constraints))

class CheckUniqueHook(IntegrityHook):

    __regid__ = 'checkunique'

    events = ('before_add_entity', 'before_update_entity')

    def __call__(self):

        entity = self.entity

        eschema = entity.e_schema

        for attr, val in entity.cw_edited.items():

            if eschema.subjrels[attr].final and eschema.has_unique_values(attr):

                if val is None:

                    continue

                rql = '%s X WHERE X %s %%(val)s' % (entity.e_schema, attr)

                rset = self._cw.execute(rql, {'val': val})

                if rset and rset[0][0] != entity.eid:

                    msg = _('the value "%s" is already used, use another one')

                    raise validation_error(entity, {(attr, 'subject'): msg},

                                           (val,))

class DontRemoveOwnersGroupHook(IntegrityHook):

    """delete the composed of a composite relation when this relation is deleted

    """

    __regid__ = 'checkownersgroup'

    __select__ = IntegrityHook.__select__ & is_instance('CWGroup')

    events = ('before_delete_entity', 'before_update_entity')

    def __call__(self):

        entity = self.entity

        if self.event == 'before_delete_entity' and entity.name == 'owners':

            raise validation_error(entity, {None: _("can't be deleted")})

        elif self.event == 'before_update_entity' \

                 and 'name' in entity.cw_edited:

            oldname, newname = entity.cw_edited.oldnewvalue('name')

            if oldname == 'owners' and newname != oldname:

                raise validation_error(entity, {('name', 'subject'): _("can't be changed")})

class TidyHtmlFields(IntegrityHook):

    """tidy HTML in rich text strings"""

    __regid__ = 'htmltidy'

    events = ('before_add_entity', 'before_update_entity')

    def __call__(self):

        entity = self.entity

        metaattrs = entity.e_schema.meta_attributes()

        edited = entity.cw_edited

        for metaattr, (metadata, attr) in metaattrs.items():

            if metadata == 'format' and attr in edited:

                try:

                    value = edited[attr]

                except KeyError:

                    continue # no text to tidy

                if isinstance(value, text_type): # filter out None and Binary

                    if getattr(entity, str(metaattr)) == 'text/html':

                        edited[attr] = soup2xhtml(value, self._cw.encoding)

class StripCWUserLoginHook(IntegrityHook):

    """ensure user logins are stripped"""

    __regid__ = 'stripuserlogin'

    __select__ = IntegrityHook.__select__ & is_instance('CWUser')

    events = ('before_add_entity', 'before_update_entity',)

    def __call__(self):

        login = self.entity.cw_edited.get('login')

        if login:

            self.entity.cw_edited['login'] = login.strip()

class DeleteCompositeOrphanHook(hook.Hook):

    """Delete the composed of a composite relation when the composite is

    deleted (this is similar to the cascading ON DELETE CASCADE

    semantics of sql).

    """

    __regid__ = 'deletecomposite'

    __select__ = hook.Hook.__select__ & composite_etype()

    events = ('before_delete_entity',)

    category = 'activeintegrity'

    # give the application's before_delete_entity hooks a chance to run before we cascade

    order = 99

    def __call__(self):

        eid = self.entity.eid

        for rdef, role in self.entity.e_schema.composite_rdef_roles:

            rtype = rdef.rtype.type

            target = getattr(rdef, neg_role(role))

            expr = ('C %s X' % rtype) if role == 'subject' else ('X %s C' % rtype)

            self._cw.execute('DELETE %s X WHERE C eid %%(c)s, %s' % (target, expr),

                             {'c': eid})

def registration_callback(vreg):

    vreg.register_all(globals().values(), __name__)

    symmetric_rtypes = [rschema.type for rschema in vreg.schema.relations()

                        if rschema.symmetric]

    class EnsureSymmetricRelationsAdd(_EnsureSymmetricRelationsAdd):

        __select__ = _EnsureSymmetricRelationsAdd.__select__ & hook.match_rtype(*symmetric_rtypes)

    vreg.register(EnsureSymmetricRelationsAdd)

    class EnsureSymmetricRelationsDelete(_EnsureSymmetricRelationsDelete):

        __select__ = _EnsureSymmetricRelationsDelete.__select__ & hook.match_rtype(*symmetric_rtypes)

    vreg.register(EnsureSymmetricRelationsDelete)