1

#!/usr/bin/env python

     2

# -*- coding: utf-8 -*-

     3

     4

#This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor

     5

#based on the plcopen standard. 

     6

#

     7

#Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD

     8

#

     9

#See COPYING file for copyrights details.

    10

#

    11

#This library is free software; you can redistribute it and/or

    12

#modify it under the terms of the GNU General Public

    13

#License as published by the Free Software Foundation; either

    14

#version 2.1 of the License, or (at your option) any later version.

    15

#

    16

#This library is distributed in the hope that it will be useful,

    17

#but WITHOUT ANY WARRANTY; without even the implied warranty of

    18

#MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

    19

#General Public License for more details.

    20

#

    21

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

    22

#License along with this library; if not, write to the Free Software

    23

#Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

    24

    25

import os, re

    26

import datetime

    27

from xml.dom import minidom

    28

from types import *

    29

    30

from xmlclass import *

    31

    32

def GenerateDictFacets(facets):

    33

    return dict([(name, (None, False)) for name in facets])

    34

    35

def GenerateSimpleTypeXMLText(function):

    36

    def generateXMLTextMethod(value, name=None, indent=0):

    37

        text = ""

    38

        if name is not None:

    39

            ind1, ind2 = getIndent(indent, name)

    40

            text += ind1 + "<%s>" % name

    41

        text += function(value)

    42

        if name is not None:

    43

            text += "</%s>\n" % name

    44

        return text

    45

    return generateXMLTextMethod

    46

    49

    def generateXMLTextMethod(value, name=None, indent=0):

    50

        text = ""

    51

        if name is not None:

    52

            ind1, ind2 = getIndent(indent, name)

    53

            text += ind1 + "<%s>" % name

    54

        if value in extra_values or value % 1 != 0 or isinstance(value, IntType):

    56

        else:

    57

            text += "%.0f" % value

    58

        if name is not None:

    59

            text += "</%s>\n" % name

    60

        return text

    61

    return generateXMLTextMethod

    62

    63

DEFAULT_FACETS = GenerateDictFacets(["pattern", "whiteSpace", "enumeration"])

    64

NUMBER_FACETS = GenerateDictFacets(DEFAULT_FACETS.keys() + ["maxInclusive", "maxExclusive", "minInclusive", "minExclusive"])

    65

DECIMAL_FACETS = GenerateDictFacets(NUMBER_FACETS.keys() + ["totalDigits", "fractionDigits"])

    66

STRING_FACETS = GenerateDictFacets(DEFAULT_FACETS.keys() + ["length", "minLength", "maxLength"])

    67

    68

ALL_FACETS = ["pattern", "whiteSpace", "enumeration", "maxInclusive", 

    69

    "maxExclusive", "minInclusive", "minExclusive", "totalDigits", 

    70

    "fractionDigits", "length", "minLength", "maxLength"]

    71

    72

    73

#-------------------------------------------------------------------------------

    74

#                           Structure reducing functions

    75

#-------------------------------------------------------------------------------

    76

    77

    78

# Documentation elements

    79

    80

def ReduceAppInfo(factory, attributes, elements):

    81

    return {"type": "appinfo", "source": attributes.get("source", None), 

    82

            "content": "\n".join(elements)}

    83

    84

    85

def ReduceDocumentation(factory, attributes, elements):

    86

    return {"type": "documentation", "source": attributes.get("source", None), 

    87

            "language": attributes.get("lang", "any"), "content": "\n".join(elements)}

    88

    89

    90

def ReduceAnnotation(factory, attributes, elements):

    91

    annotations, children = factory.ReduceElements(elements)

    92

    annotation = {"type": "annotation", "appinfo": [], "documentation": {}}

    93

    for child in children:

    94

        if child["type"] == "appinfo":

    95

            annotation["appinfo"].append((child["source"], child["content"]))

    96

        elif child["type"] == "documentation":

    97

            if child["source"] is not None:

    98

                text = "(source: %(source)s):\n%(content)s\n\n"%child

    99

            else:

   100

                text = child["content"] + "\n\n"

   101

            if not annotation["documentation"].has_key(child["language"]):

   102

                annotation["documentation"] = text

   103

            else:

   104

                annotation["documentation"] += text

   105

    return annotation

   106

   107

# Simple type elements

   108

   109

def GenerateFacetReducing(facetname, canbefixed):

   110

    def ReduceFacet(factory, attributes, elements):

   111

        annotations, children = factory.ReduceElements(elements)

   112

        if attributes.has_key("value"):

   113

            facet = {"type": facetname, "value": attributes["value"], "doc": annotations}

   114

            if canbefixed:

   115

                facet["fixed"] = attributes.get("fixed", False)

   116

            return facet

   117

        raise ValueError("A value must be defined for the \"%s\" facet!" % facetname)

   118

    return ReduceFacet

   119

   120

   121

def ReduceList(factory, attributes, elements):

   122

    annotations, children = factory.ReduceElements(elements)

   123

    list = {"type": "list", "itemType": attributes.get("itemType", None), "doc": annotations}

   124

   125

    if len(children) > 0 and children[0]["type"] == SIMPLETYPE:

   126

        if list["itemType"] is None:

   127

            list["itemType"] = children[0]

   128

        else:

   129

            raise ValueError("Only one base type can be defined for restriction!")

   130

    if list["itemType"] is None:

   131

        raise ValueError("No base type has been defined for list!")

   132

    return list

   133

   134

   135

def ReduceUnion(factory, attributes, elements):

   136

    annotations, children = factory.ReduceElements(elements)

   137

    union = {"type": "union", "memberTypes": attributes.get("memberTypes", []), "doc": annotations}

   138

   139

    for child in children:

   140

        if child["type"] == SIMPLETYPE:

   141

            union["memberTypes"].appendchild

   142

    if len(union["memberTypes"]) == 0:

   143

        raise ValueError("No base type has been defined for union!")

   144

    return union

   145

   146

   147

def CreateSimpleType(factory, attributes, typeinfos):

   148

    # Initialize type informations

   149

    facets = {}

   150

    simpleType = {"type": SIMPLETYPE, "final": attributes.get("final", [])}

   151

    if attributes.has_key("name"):

   152

        simpleType["name"] = attributes["name"]

   153

   154

    if typeinfos["type"] in ["restriction", "extension"]:

   155

        # Search for base type definition

   156

        if isinstance(typeinfos["base"], (StringType, UnicodeType)):

   157

            basetypeinfos = factory.FindSchemaElement(typeinfos["base"], SIMPLETYPE)

   158

            if basetypeinfos is None:

   159

                raise "\"%s\" isn't defined!" % typeinfos["base"] 

   160

        else:

   161

            basetypeinfos = typeinfos["base"]

   162

   163

        # Check that base type is a simple type

   164

        if basetypeinfos["type"] != SIMPLETYPE:

   165

            raise ValueError("Base type given isn't a simpleType!")

   166

   167

        simpleType["basename"] = basetypeinfos["basename"]

   168

   169

        # Check that derivation is allowed

   170

        if basetypeinfos.has_key("final"):

   171

            if "#all" in basetypeinfos["final"]:

   172

                raise ValueError("Base type can't be derivated!")

   173

            if "restriction" in basetypeinfos["final"] and typeinfos["type"] == "restriction":

   174

                raise ValueError("Base type can't be derivated by restriction!")

   175

   176

        # Extract simple type facets

   177

        for facet in typeinfos.get("facets", []):

   178

            facettype = facet["type"]

   179

            if not basetypeinfos["facets"].has_key(facettype):

   180

                raise ValueError("\"%s\" facet can't be defined for \"%s\" type!" % (facettype, type))

   181

            elif basetypeinfos["facets"][facettype][1]:

   182

                raise ValueError("\"%s\" facet is fixed on base type!" % facettype)

   183

            value = facet["value"]

   184

            basevalue = basetypeinfos["facets"][facettype][0]

   185

            if facettype in ["enumeration", "pattern"]:

   186

                value = basetypeinfos["extract"](value, False)

   187

                if len(facets) == 0:

   188

                    facets[facettype] = ([value], False)

   189

                    continue

   190

                elif facets.keys() == [facettype]:

   191

                    facets[facettype][0].append(value)

   192

                    continue

   193

                else:

   194

                    raise ValueError("\"%s\" facet can't be defined with another facet type!" % facettype)

   195

            elif facets.has_key("enumeration"):

   196

                raise ValueError("\"enumeration\" facet can't be defined with another facet type!")

   197

            elif facets.has_key("pattern"):

   198

                raise ValueError("\"pattern\" facet can't be defined with another facet type!")

   199

            elif facets.has_key(facettype):

   200

                raise ValueError("\"%s\" facet can't be defined two times!" % facettype)

   201

            elif facettype == "length":

   202

                if facets.has_key("minLength"):

   203

                    raise ValueError("\"length\" and \"minLength\" facets can't be defined at the same time!")

   204

                if facets.has_key("maxLength"):

   205

                    raise ValueError("\"length\" and \"maxLength\" facets can't be defined at the same time!")

   206

                try:

   207

                    value = int(value)

   208

                except:

   209

                    raise ValueError("\"length\" must be an integer!")

   210

                if value < 0:

   211

                    raise ValueError("\"length\" can't be negative!")

   212

                elif basevalue is not None and basevalue != value:

   213

                    raise ValueError("\"length\" can't be different from \"length\" defined in base type!")

   214

            elif facettype == "minLength":

   215

                if facets.has_key("length"):

   216

                    raise ValueError("\"length\" and \"minLength\" facets can't be defined at the same time!")

   217

                try:

   218

                    value = int(value)

   219

                except:

   220

                    raise ValueError("\"minLength\" must be an integer!")

   221

                if value < 0:

   222

                    raise ValueError("\"minLength\" can't be negative!")

   223

                elif facets.has_key("maxLength") and value > facets["maxLength"]:

   224

                    raise ValueError("\"minLength\" must be lesser than or equal to \"maxLength\"!")

   225

                elif basevalue is not None and basevalue < value:

   226

                    raise ValueError("\"minLength\" can't be lesser than \"minLength\" defined in base type!")

   227

            elif facettype == "maxLength":

   228

                if facets.has_key("length"):

   229

                    raise ValueError("\"length\" and \"maxLength\" facets can't be defined at the same time!")

   230

                try:

   231

                    value = int(value)

   232

                except:

   233

                    raise ValueError("\"maxLength\" must be an integer!")

   234

                if value < 0:

   235

                    raise ValueError("\"maxLength\" can't be negative!")

   236

                elif facets.has_key("minLength") and value < facets["minLength"]:

   237

                    raise ValueError("\"minLength\" must be lesser than or equal to \"maxLength\"!")

   238

                elif basevalue is not None and basevalue > value:

   239

                    raise ValueError("\"maxLength\" can't be greater than \"maxLength\" defined in base type!")

   240

            elif facettype == "minInclusive":

   241

                if facets.has_key("minExclusive"):

   242

                    raise ValueError("\"minExclusive\" and \"minInclusive\" facets can't be defined at the same time!")

   243

                value = basetypeinfos["extract"](facet["value"], False)

   244

                if facets.has_key("maxInclusive") and value > facets["maxInclusive"][0]:

   245

                    raise ValueError("\"minInclusive\" must be lesser than or equal to \"maxInclusive\"!")

   246

                elif facets.has_key("maxExclusive") and value >= facets["maxExclusive"][0]:

   247

                    raise ValueError("\"minInclusive\" must be lesser than \"maxExclusive\"!")

   248

            elif facettype == "minExclusive":

   249

                if facets.has_key("minInclusive"):

   250

                    raise ValueError("\"minExclusive\" and \"minInclusive\" facets can't be defined at the same time!")

   251

                value = basetypeinfos["extract"](facet["value"], False)

   252

                if facets.has_key("maxInclusive") and value >= facets["maxInclusive"][0]:

   253

                    raise ValueError("\"minExclusive\" must be lesser than \"maxInclusive\"!")

   254

                elif facets.has_key("maxExclusive") and value >= facets["maxExclusive"][0]:

   255

                    raise ValueError("\"minExclusive\" must be lesser than \"maxExclusive\"!")

   256

            elif facettype == "maxInclusive":

   257

                if facets.has_key("maxExclusive"):

   258

                    raise ValueError("\"maxExclusive\" and \"maxInclusive\" facets can't be defined at the same time!")

   259

                value = basetypeinfos["extract"](facet["value"], False)

   260

                if facets.has_key("minInclusive") and value < facets["minInclusive"][0]:

   261

                    raise ValueError("\"minInclusive\" must be lesser than or equal to \"maxInclusive\"!")

   262

                elif facets.has_key("minExclusive") and value <= facets["minExclusive"][0]:

   263

                    raise ValueError("\"minExclusive\" must be lesser than \"maxInclusive\"!")

   264

            elif facettype == "maxExclusive":

   265

                if facets.has_key("maxInclusive"):

   266

                    raise ValueError("\"maxExclusive\" and \"maxInclusive\" facets can't be defined at the same time!")

   267

                value = basetypeinfos["extract"](facet["value"], False)

   268

                if facets.has_key("minInclusive") and value <= facets["minInclusive"][0]:

   269

                    raise ValueError("\"minInclusive\" must be lesser than \"maxExclusive\"!")

   270

                elif facets.has_key("minExclusive") and value <= facets["minExclusive"][0]:

   271

                    raise ValueError("\"minExclusive\" must be lesser than \"maxExclusive\"!")

   272

            elif facettype == "whiteSpace":

   273

                if basevalue == "collapse" and value in ["preserve", "replace"] or basevalue == "replace" and value == "preserve":

   274

                   raise ValueError("\"whiteSpace\" is incompatible with \"whiteSpace\" defined in base type!")

   275

            elif facettype == "totalDigits":

   276

                if facets.has_key("fractionDigits") and value <= facets["fractionDigits"][0]:

   277

                    raise ValueError("\"fractionDigits\" must be lesser than or equal to \"totalDigits\"!")

   278

                elif basevalue is not None and value > basevalue:

   279

                    raise ValueError("\"totalDigits\" can't be greater than \"totalDigits\" defined in base type!")

   280

            elif facettype == "fractionDigits":

   281

                if facets.has_key("totalDigits") and value <= facets["totalDigits"][0]:

   282

                    raise ValueError("\"fractionDigits\" must be lesser than or equal to \"totalDigits\"!")

   283

                elif basevalue is not None and value > basevalue:

   284

                    raise ValueError("\"totalDigits\" can't be greater than \"totalDigits\" defined in base type!")

   285

            facets[facettype] = (value, facet.get("fixed", False))

   286

   287

        # Report not redefined facet from base type to new created type 

   288

        for facettype, facetvalue in basetypeinfos["facets"].items():

   289

            if not facets.has_key(facettype):

   290

                facets[facettype] = facetvalue

   291

   292

        # Generate extract value for new created type

   293

        def ExtractSimpleTypeValue(attr, extract=True):

   294

            value = basetypeinfos["extract"](attr, extract)

   295

            for facetname, (facetvalue, facetfixed) in facets.items():

   296

                if facetvalue is not None:

   297

                    if facetname == "enumeration" and value not in facetvalue:

   298

                        raise ValueError("\"%s\" not in enumerated values" % value)

   299

                    elif facetname == "length" and len(value) != facetvalue:

   300

                        raise ValueError("value must have a length of %d" % facetvalue)

   301

                    elif facetname == "minLength" and len(value) < facetvalue:

   302

                        raise ValueError("value must have a length of %d at least" % facetvalue)

   303

                    elif facetname == "maxLength" and len(value) > facetvalue:

   304

                        raise ValueError("value must have a length of %d at most" % facetvalue)

   305

                    elif facetname == "minInclusive" and value < facetvalue:

   306

                        raise ValueError("value must be greater than or equal to %s" % str(facetvalue))

   307

                    elif facetname == "minExclusive" and value <= facetvalue:

   308

                        raise ValueError("value must be greater than %s" % str(facetvalue))

   309

                    elif facetname == "maxInclusive" and value > facetvalue:

   310

                        raise ValueError("value must be lesser than or equal to %s" % str(facetvalue))

   311

                    elif facetname == "maxExclusive"  and value >= facetvalue:

   312

                        raise ValueError("value must be lesser than %s" % str(facetvalue))

   313

                    elif facetname == "pattern":

   314

                        model = re.compile("(?:%s)?$" % "|".join(map(lambda x: "(?:%s)" % x, facetvalue)))

   315

                        result = model.match(value)

   316

                        if result is None:

   317

                            if len(facetvalue) > 1:   

   318

                                raise ValueError("value doesn't follow any of the patterns %s" % ",".join(facetvalue))

   319

                            else:

   320

                                raise ValueError("value doesn't follow the pattern %s" % facetvalue[0])

   321

                    elif facetname == "whiteSpace":

   322

                        if facetvalue == "replace":

   323

                            value = GetNormalizedString(value, False)

   324

                        elif facetvalue == "collapse":

   325

                            value = GetToken(value, False)

   326

            return value

   327

   328

        def CheckSimpleTypeValue(value):

   329

            for facetname, (facetvalue, facetfixed) in facets.items():

   330

                if facetvalue is not None:

   331

                    if facetname == "enumeration" and value not in facetvalue:

   332

                        return False

   333

                    elif facetname == "length" and len(value) != facetvalue:

   334

                        return False

   335

                    elif facetname == "minLength" and len(value) < facetvalue:

   336

                        return False

   337

                    elif facetname == "maxLength" and len(value) > facetvalue:

   338

                        return False

   339

                    elif facetname == "minInclusive" and value < facetvalue:

   340

                        return False

   341

                    elif facetname == "minExclusive" and value <= facetvalue:

   342

                        return False

   343

                    elif facetname == "maxInclusive" and value > facetvalue:

   344

                        return False

   345

                    elif facetname == "maxExclusive"  and value >= facetvalue:

   346

                        return False

   347

                    elif facetname == "pattern":

   348

                        model = re.compile("(?:%s)?$" % "|".join(map(lambda x: "(?:%s)" % x, facetvalue)))

   349

                        result = model.match(value)

   350

                        if result is None:

   351

                            if len(facetvalue) > 1:   

   352

                                raise ValueError("value doesn't follow any of the patterns %s" % ",".join(facetvalue))

   353

                            else:

   354

                                raise ValueError("value doesn't follow the pattern %s" % facetvalue[0])

   355

            return True

   356

   357

        def SimpleTypeInitialValue():

   358

            for facetname, (facetvalue, facetfixed) in facets.items():

   359

                if facetvalue is not None:

   360

                    if facetname == "enumeration":

   361

                        return facetvalue[0]

   362

                    elif facetname == "length":

   363

                        return " "*facetvalue

   364

                    elif facetname == "minLength":

   365

                        return " "*minLength

   366

                    elif facetname == "minInclusive" and facetvalue > 0:

   367

                        return facetvalue

   368

                    elif facetname == "minExclusive" and facetvalue >= 0:

   369

                        return facetvalue + 1

   370

                    elif facetname == "maxInclusive" and facetvalue < 0:

   371

                        return facetvalue

   372

                    elif facetname == "maxExclusive"  and facetvalue <= 0:

   373

                        return facetvalue - 1

   374

            return basetypeinfos["initial"]()

   375

   376

        GenerateSimpleType = basetypeinfos["generate"]

   377

   378

    elif typeinfos["type"] == "list":

   379

        # Search for item type definition

   380

        if isinstance(typeinfos["itemType"], (StringType, UnicodeType)):

   381

            itemtypeinfos = factory.FindSchemaElement(typeinfos["itemType"], SIMPLETYPE)

   382

            if itemtypeinfos is None:

   383

                raise "\"%s\" isn't defined!" % typeinfos["itemType"]

   384

        else:

   385

            itemtypeinfos = typeinfos["itemType"]

   386

   387

        # Check that item type is a simple type

   388

        if itemtypeinfos["type"] != SIMPLETYPE:

   389

            raise ValueError, "Item type given isn't a simpleType!"

   390

   391

        simpleType["basename"] = "list"

   392

   393

        # Check that derivation is allowed

   394

        if itemtypeinfos.has_key("final"):

   395

            if itemtypeinfos["final"].has_key("#all"):

   396

                raise ValueError("Item type can't be derivated!")

   397

            if itemtypeinfos["final"].has_key("list"):

   398

                raise ValueError("Item type can't be derivated by list!")

   399

   400

        # Generate extract value for new created type

   401

        def ExtractSimpleTypeValue(attr, extract = True):

   402

            values = []

   403

            for value in GetToken(attr, extract).split(" "):

   404

                values.append(itemtypeinfos["extract"](value, False))

   405

            return values

   406

   407

        def CheckSimpleTypeValue(value):

   408

            for item in value:

   409

                result = itemtypeinfos["check"](item)

   410

                if not result:

   411

                    return result

   412

            return True

   413

   414

        SimpleTypeInitialValue = lambda: []

   415

   416

        GenerateSimpleType = GenerateSimpleTypeXMLText(lambda x: " ".join(map(itemtypeinfos["generate"], x)))

   417

   418

        facets = GenerateDictFacets(["length", "maxLength", "minLength", "enumeration", "pattern"])

   419

        facets["whiteSpace"] = ("collapse", False)

   420

   421

    elif typeinfos["type"] == "union":

   422

        # Search for member types definition

   423

        membertypesinfos = []

   424

        for membertype in typeinfos["memberTypes"]:

   425

            if isinstance(membertype, (StringType, UnicodeType)):

   426

                infos = factory.FindSchemaElement(membertype, SIMPLETYPE)

   427

                if infos is None:

   428

                    raise ValueError("\"%s\" isn't defined!" % membertype)

   429

            else:

   430

                infos = membertype

   431

   432

            # Check that member type is a simple type

   433

            if infos["type"] != SIMPLETYPE:

   434

                raise ValueError("Member type given isn't a simpleType!")

   435

   436

            # Check that derivation is allowed

   437

            if infos.has_key("final"):

   438

                if infos["final"].has_key("#all"):

   439

                    raise ValueError("Item type can't be derivated!")

   440

                if infos["final"].has_key("union"):

   441

                    raise ValueError("Member type can't be derivated by union!")

   442

   443

            membertypesinfos.append(infos)

   444

   445

        simpleType["basename"] = "union"

   446

   447

        # Generate extract value for new created type

   448

        def ExtractSimpleTypeValue(attr, extract = True):

   449

            if extract:

   450

                value = GetAttributeValue(attr)

   451

            else:

   452

                value = attr

   453

            for infos in membertypesinfos:

   454

                try:

   455

                    return infos["extract"](attr, False)

   456

                except:

   457

                    pass

   458

            raise ValueError("\"%s\" isn't valid for type defined for union!")

   459

   460

        def CheckSimpleTypeValue(value):

   461

            for infos in membertypesinfos:

   462

                result = infos["check"](value)

   463

                if result:

   464

                    return result

   465

            return False

   466

   467

        SimpleTypeInitialValue = membertypesinfos[0]["initial"]

   468

   469

        def GenerateSimpleTypeFunction(value):

   470

            if isinstance(value, BooleanType):

   471

                return {True: "true", False: "false"}[value]

   472

            else:

   473

                return str(value)

   474

        GenerateSimpleType = GenerateSimpleTypeXMLText(GenerateSimpleTypeFunction)

   475

   476

        facets = GenerateDictFacets(["pattern", "enumeration"])

   477

   478

    simpleType["facets"] = facets

   479

    simpleType["extract"] = ExtractSimpleTypeValue

   480

    simpleType["initial"] = SimpleTypeInitialValue

   481

    simpleType["check"] = CheckSimpleTypeValue

   482

    simpleType["generate"] = GenerateSimpleType

   483

    return simpleType

   484

   485

def ReduceSimpleType(factory, attributes, elements):

   486

    # Reduce all the simple type children

   487

    annotations, children = factory.ReduceElements(elements)

   488

   489

    simpleType = CreateSimpleType(factory, attributes, children[0])

   490

    simpleType["doc"] = annotations

   491

   492

    return simpleType

   493

   494

# Complex type

   495

   496

def ExtractAttributes(factory, elements, base=None):

   497

    attrs = []

   498

    attrnames = {}

   499

    if base is not None:

   500

        basetypeinfos = factory.FindSchemaElement(base)

   501

        if not isinstance(basetypeinfos, (UnicodeType, StringType)) and basetypeinfos["type"] == COMPLEXTYPE:

   502

            attrnames = dict(map(lambda x:(x["name"], True), basetypeinfos["attributes"]))

   503

   504

    for element in elements:

   505

        if element["type"] == ATTRIBUTE:

   506

            if attrnames.get(element["name"], False):

   507

                raise ValueError("\"%s\" attribute has been defined two times!" % element["name"])

   508

            else:

   509

                attrnames[element["name"]] = True

   510

                attrs.append(element)

   511

        elif element["type"] == "attributeGroup":

   512

            attrgroup = factory.FindSchemaElement(element["ref"], ATTRIBUTESGROUP)

   513

            for attr in attrgroup["attributes"]:

   514

                if attrnames.get(attr["name"], False):

   515

                    raise ValueError("\"%s\" attribute has been defined two times!" % attr["name"])

   516

                else:

   517

                    attrnames[attr["name"]] = True

   518

                    attrs.append(attr)

   519

        elif element["type"] == "anyAttribute":

   520

            raise ValueError("\"anyAttribute\" element isn't supported yet!")

   521

    return attrs

   522

   523

   524

def ReduceRestriction(factory, attributes, elements):

   525

    annotations, children = factory.ReduceElements(elements)

   526

    restriction = {"type": "restriction", "base": attributes.get("base", None), "facets": [], "doc": annotations}

   527

    if len(children) > 0 and children[0]["type"] == SIMPLETYPE:

   528

        if restriction["base"] is None:

   529

            restriction["base"] = children.pop(0)