buildframework/helium/external/python/lib/common/docutils-0.5-py2.5.egg/docutils/transforms/references.py
author wbernard
Wed, 23 Dec 2009 19:29:07 +0200
changeset 179 d8ac696cc51f
permissions -rw-r--r--
helium_7.0-r14027
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
179
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     1
# $Id: references.py 5018 2007-03-12 21:39:31Z wiemann $
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     2
# Author: David Goodger <goodger@python.org>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     3
# Copyright: This module has been placed in the public domain.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     4
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     5
"""
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     6
Transforms for resolving references.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     7
"""
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     8
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     9
__docformat__ = 'reStructuredText'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    10
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    11
import sys
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    12
import re
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    13
from docutils import nodes, utils
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    14
from docutils.transforms import TransformError, Transform
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    15
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    16
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    17
class PropagateTargets(Transform):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    18
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    19
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    20
    Propagate empty internal targets to the next element.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    21
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    22
    Given the following nodes::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    23
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    24
        <target ids="internal1" names="internal1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    25
        <target anonymous="1" ids="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    26
        <target ids="internal2" names="internal2">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    27
        <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    28
            This is a test.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    29
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    30
    PropagateTargets propagates the ids and names of the internal
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    31
    targets preceding the paragraph to the paragraph itself::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    32
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    33
        <target refid="internal1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    34
        <target anonymous="1" refid="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    35
        <target refid="internal2">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    36
        <paragraph ids="internal2 id1 internal1" names="internal2 internal1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    37
            This is a test.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    38
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    39
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    40
    default_priority = 260
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    41
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    42
    def apply(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    43
        for target in self.document.traverse(nodes.target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    44
            # Only block-level targets without reference (like ".. target:"):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    45
            if (isinstance(target.parent, nodes.TextElement) or
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    46
                (target.hasattr('refid') or target.hasattr('refuri') or
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    47
                 target.hasattr('refname'))):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    48
                continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    49
            assert len(target) == 0, 'error: block-level target has children'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    50
            next_node = target.next_node(ascend=1)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    51
            # Do not move names and ids into Invisibles (we'd lose the
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    52
            # attributes) or different Targetables (e.g. footnotes).
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    53
            if (next_node is not None and
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    54
                ((not isinstance(next_node, nodes.Invisible) and
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    55
                  not isinstance(next_node, nodes.Targetable)) or
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    56
                 isinstance(next_node, nodes.target))):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    57
                next_node['ids'].extend(target['ids'])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    58
                next_node['names'].extend(target['names'])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    59
                # Set defaults for next_node.expect_referenced_by_name/id.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    60
                if not hasattr(next_node, 'expect_referenced_by_name'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    61
                    next_node.expect_referenced_by_name = {}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    62
                if not hasattr(next_node, 'expect_referenced_by_id'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    63
                    next_node.expect_referenced_by_id = {}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    64
                for id in target['ids']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    65
                    # Update IDs to node mapping.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    66
                    self.document.ids[id] = next_node
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    67
                    # If next_node is referenced by id ``id``, this
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    68
                    # target shall be marked as referenced.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    69
                    next_node.expect_referenced_by_id[id] = target
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    70
                for name in target['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    71
                    next_node.expect_referenced_by_name[name] = target
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    72
                # If there are any expect_referenced_by_... attributes
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    73
                # in target set, copy them to next_node.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    74
                next_node.expect_referenced_by_name.update(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    75
                    getattr(target, 'expect_referenced_by_name', {}))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    76
                next_node.expect_referenced_by_id.update(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    77
                    getattr(target, 'expect_referenced_by_id', {}))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    78
                # Set refid to point to the first former ID of target
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    79
                # which is now an ID of next_node.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    80
                target['refid'] = target['ids'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    81
                # Clear ids and names; they have been moved to
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    82
                # next_node.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    83
                target['ids'] = []
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    84
                target['names'] = []
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    85
                self.document.note_refid(target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    86
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    87
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    88
class AnonymousHyperlinks(Transform):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    89
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    90
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    91
    Link anonymous references to targets.  Given::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    92
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    93
        <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    94
            <reference anonymous="1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    95
                internal
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    96
            <reference anonymous="1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    97
                external
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    98
        <target anonymous="1" ids="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    99
        <target anonymous="1" ids="id2" refuri="http://external">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   100
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   101
    Corresponding references are linked via "refid" or resolved via "refuri"::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   102
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   103
        <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   104
            <reference anonymous="1" refid="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   105
                text
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   106
            <reference anonymous="1" refuri="http://external">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   107
                external
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   108
        <target anonymous="1" ids="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   109
        <target anonymous="1" ids="id2" refuri="http://external">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   110
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   111
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   112
    default_priority = 440
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   113
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   114
    def apply(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   115
        anonymous_refs = []
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   116
        anonymous_targets = []
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   117
        for node in self.document.traverse(nodes.reference):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   118
            if node.get('anonymous'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   119
                anonymous_refs.append(node)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   120
        for node in self.document.traverse(nodes.target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   121
            if node.get('anonymous'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   122
                anonymous_targets.append(node)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   123
        if len(anonymous_refs) \
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   124
              != len(anonymous_targets):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   125
            msg = self.document.reporter.error(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   126
                  'Anonymous hyperlink mismatch: %s references but %s '
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   127
                  'targets.\nSee "backrefs" attribute for IDs.'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   128
                  % (len(anonymous_refs), len(anonymous_targets)))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   129
            msgid = self.document.set_id(msg)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   130
            for ref in anonymous_refs:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   131
                prb = nodes.problematic(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   132
                      ref.rawsource, ref.rawsource, refid=msgid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   133
                prbid = self.document.set_id(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   134
                msg.add_backref(prbid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   135
                ref.replace_self(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   136
            return
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   137
        for ref, target in zip(anonymous_refs, anonymous_targets):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   138
            target.referenced = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   139
            while 1:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   140
                if target.hasattr('refuri'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   141
                    ref['refuri'] = target['refuri']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   142
                    ref.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   143
                    break
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   144
                else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   145
                    if not target['ids']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   146
                        # Propagated target.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   147
                        target = self.document.ids[target['refid']]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   148
                        continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   149
                    ref['refid'] = target['ids'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   150
                    self.document.note_refid(ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   151
                    break
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   152
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   153
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   154
class IndirectHyperlinks(Transform):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   155
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   156
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   157
    a) Indirect external references::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   158
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   159
           <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   160
               <reference refname="indirect external">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   161
                   indirect external
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   162
           <target id="id1" name="direct external"
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   163
               refuri="http://indirect">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   164
           <target id="id2" name="indirect external"
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   165
               refname="direct external">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   166
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   167
       The "refuri" attribute is migrated back to all indirect targets
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   168
       from the final direct target (i.e. a target not referring to
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   169
       another indirect target)::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   170
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   171
           <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   172
               <reference refname="indirect external">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   173
                   indirect external
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   174
           <target id="id1" name="direct external"
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   175
               refuri="http://indirect">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   176
           <target id="id2" name="indirect external"
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   177
               refuri="http://indirect">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   178
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   179
       Once the attribute is migrated, the preexisting "refname" attribute
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   180
       is dropped.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   181
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   182
    b) Indirect internal references::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   183
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   184
           <target id="id1" name="final target">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   185
           <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   186
               <reference refname="indirect internal">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   187
                   indirect internal
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   188
           <target id="id2" name="indirect internal 2"
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   189
               refname="final target">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   190
           <target id="id3" name="indirect internal"
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   191
               refname="indirect internal 2">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   192
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   193
       Targets which indirectly refer to an internal target become one-hop
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   194
       indirect (their "refid" attributes are directly set to the internal
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   195
       target's "id"). References which indirectly refer to an internal
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   196
       target become direct internal references::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   197
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   198
           <target id="id1" name="final target">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   199
           <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   200
               <reference refid="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   201
                   indirect internal
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   202
           <target id="id2" name="indirect internal 2" refid="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   203
           <target id="id3" name="indirect internal" refid="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   204
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   205
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   206
    default_priority = 460
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   207
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   208
    def apply(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   209
        for target in self.document.indirect_targets:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   210
            if not target.resolved:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   211
                self.resolve_indirect_target(target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   212
            self.resolve_indirect_references(target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   213
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   214
    def resolve_indirect_target(self, target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   215
        refname = target.get('refname')
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   216
        if refname is None:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   217
            reftarget_id = target['refid']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   218
        else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   219
            reftarget_id = self.document.nameids.get(refname)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   220
            if not reftarget_id:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   221
                # Check the unknown_reference_resolvers
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   222
                for resolver_function in \
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   223
                        self.document.transformer.unknown_reference_resolvers:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   224
                    if resolver_function(target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   225
                        break
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   226
                else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   227
                    self.nonexistent_indirect_target(target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   228
                return
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   229
        reftarget = self.document.ids[reftarget_id]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   230
        reftarget.note_referenced_by(id=reftarget_id)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   231
        if isinstance(reftarget, nodes.target) \
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   232
               and not reftarget.resolved and reftarget.hasattr('refname'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   233
            if hasattr(target, 'multiply_indirect'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   234
                #and target.multiply_indirect):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   235
                #del target.multiply_indirect
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   236
                self.circular_indirect_reference(target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   237
                return
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   238
            target.multiply_indirect = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   239
            self.resolve_indirect_target(reftarget) # multiply indirect
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   240
            del target.multiply_indirect
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   241
        if reftarget.hasattr('refuri'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   242
            target['refuri'] = reftarget['refuri']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   243
            if target.has_key('refid'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   244
                del target['refid']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   245
        elif reftarget.hasattr('refid'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   246
            target['refid'] = reftarget['refid']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   247
            self.document.note_refid(target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   248
        else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   249
            if reftarget['ids']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   250
                target['refid'] = reftarget_id
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   251
                self.document.note_refid(target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   252
            else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   253
                self.nonexistent_indirect_target(target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   254
                return
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   255
        if refname is not None:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   256
            del target['refname']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   257
        target.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   258
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   259
    def nonexistent_indirect_target(self, target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   260
        if self.document.nameids.has_key(target['refname']):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   261
            self.indirect_target_error(target, 'which is a duplicate, and '
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   262
                                       'cannot be used as a unique reference')
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   263
        else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   264
            self.indirect_target_error(target, 'which does not exist')
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   265
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   266
    def circular_indirect_reference(self, target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   267
        self.indirect_target_error(target, 'forming a circular reference')
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   268
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   269
    def indirect_target_error(self, target, explanation):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   270
        naming = ''
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   271
        reflist = []
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   272
        if target['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   273
            naming = '"%s" ' % target['names'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   274
        for name in target['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   275
            reflist.extend(self.document.refnames.get(name, []))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   276
        for id in target['ids']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   277
            reflist.extend(self.document.refids.get(id, []))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   278
        naming += '(id="%s")' % target['ids'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   279
        msg = self.document.reporter.error(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   280
              'Indirect hyperlink target %s refers to target "%s", %s.'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   281
              % (naming, target['refname'], explanation), base_node=target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   282
        msgid = self.document.set_id(msg)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   283
        for ref in utils.uniq(reflist):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   284
            prb = nodes.problematic(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   285
                  ref.rawsource, ref.rawsource, refid=msgid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   286
            prbid = self.document.set_id(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   287
            msg.add_backref(prbid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   288
            ref.replace_self(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   289
        target.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   290
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   291
    def resolve_indirect_references(self, target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   292
        if target.hasattr('refid'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   293
            attname = 'refid'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   294
            call_method = self.document.note_refid
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   295
        elif target.hasattr('refuri'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   296
            attname = 'refuri'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   297
            call_method = None
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   298
        else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   299
            return
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   300
        attval = target[attname]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   301
        for name in target['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   302
            reflist = self.document.refnames.get(name, [])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   303
            if reflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   304
                target.note_referenced_by(name=name)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   305
            for ref in reflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   306
                if ref.resolved:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   307
                    continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   308
                del ref['refname']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   309
                ref[attname] = attval
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   310
                if call_method:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   311
                    call_method(ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   312
                ref.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   313
                if isinstance(ref, nodes.target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   314
                    self.resolve_indirect_references(ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   315
        for id in target['ids']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   316
            reflist = self.document.refids.get(id, [])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   317
            if reflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   318
                target.note_referenced_by(id=id)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   319
            for ref in reflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   320
                if ref.resolved:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   321
                    continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   322
                del ref['refid']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   323
                ref[attname] = attval
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   324
                if call_method:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   325
                    call_method(ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   326
                ref.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   327
                if isinstance(ref, nodes.target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   328
                    self.resolve_indirect_references(ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   329
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   330
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   331
class ExternalTargets(Transform):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   332
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   333
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   334
    Given::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   335
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   336
        <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   337
            <reference refname="direct external">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   338
                direct external
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   339
        <target id="id1" name="direct external" refuri="http://direct">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   340
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   341
    The "refname" attribute is replaced by the direct "refuri" attribute::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   342
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   343
        <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   344
            <reference refuri="http://direct">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   345
                direct external
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   346
        <target id="id1" name="direct external" refuri="http://direct">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   347
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   348
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   349
    default_priority = 640
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   350
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   351
    def apply(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   352
        for target in self.document.traverse(nodes.target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   353
            if target.hasattr('refuri'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   354
                refuri = target['refuri']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   355
                for name in target['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   356
                    reflist = self.document.refnames.get(name, [])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   357
                    if reflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   358
                        target.note_referenced_by(name=name)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   359
                    for ref in reflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   360
                        if ref.resolved:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   361
                            continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   362
                        del ref['refname']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   363
                        ref['refuri'] = refuri
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   364
                        ref.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   365
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   366
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   367
class InternalTargets(Transform):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   368
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   369
    default_priority = 660
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   370
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   371
    def apply(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   372
        for target in self.document.traverse(nodes.target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   373
            if not target.hasattr('refuri') and not target.hasattr('refid'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   374
                self.resolve_reference_ids(target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   375
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   376
    def resolve_reference_ids(self, target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   377
        """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   378
        Given::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   379
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   380
            <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   381
                <reference refname="direct internal">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   382
                    direct internal
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   383
            <target id="id1" name="direct internal">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   384
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   385
        The "refname" attribute is replaced by "refid" linking to the target's
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   386
        "id"::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   387
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   388
            <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   389
                <reference refid="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   390
                    direct internal
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   391
            <target id="id1" name="direct internal">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   392
        """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   393
        for name in target['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   394
            refid = self.document.nameids[name]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   395
            reflist = self.document.refnames.get(name, [])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   396
            if reflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   397
                target.note_referenced_by(name=name)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   398
            for ref in reflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   399
                if ref.resolved:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   400
                    continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   401
                del ref['refname']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   402
                ref['refid'] = refid
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   403
                ref.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   404
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   405
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   406
class Footnotes(Transform):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   407
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   408
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   409
    Assign numbers to autonumbered footnotes, and resolve links to footnotes,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   410
    citations, and their references.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   411
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   412
    Given the following ``document`` as input::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   413
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   414
        <document>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   415
            <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   416
                A labeled autonumbered footnote referece:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   417
                <footnote_reference auto="1" id="id1" refname="footnote">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   418
            <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   419
                An unlabeled autonumbered footnote referece:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   420
                <footnote_reference auto="1" id="id2">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   421
            <footnote auto="1" id="id3">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   422
                <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   423
                    Unlabeled autonumbered footnote.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   424
            <footnote auto="1" id="footnote" name="footnote">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   425
                <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   426
                    Labeled autonumbered footnote.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   427
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   428
    Auto-numbered footnotes have attribute ``auto="1"`` and no label.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   429
    Auto-numbered footnote_references have no reference text (they're
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   430
    empty elements). When resolving the numbering, a ``label`` element
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   431
    is added to the beginning of the ``footnote``, and reference text
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   432
    to the ``footnote_reference``.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   433
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   434
    The transformed result will be::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   435
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   436
        <document>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   437
            <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   438
                A labeled autonumbered footnote referece:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   439
                <footnote_reference auto="1" id="id1" refid="footnote">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   440
                    2
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   441
            <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   442
                An unlabeled autonumbered footnote referece:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   443
                <footnote_reference auto="1" id="id2" refid="id3">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   444
                    1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   445
            <footnote auto="1" id="id3" backrefs="id2">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   446
                <label>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   447
                    1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   448
                <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   449
                    Unlabeled autonumbered footnote.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   450
            <footnote auto="1" id="footnote" name="footnote" backrefs="id1">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   451
                <label>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   452
                    2
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   453
                <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   454
                    Labeled autonumbered footnote.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   455
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   456
    Note that the footnotes are not in the same order as the references.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   457
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   458
    The labels and reference text are added to the auto-numbered ``footnote``
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   459
    and ``footnote_reference`` elements.  Footnote elements are backlinked to
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   460
    their references via "refids" attributes.  References are assigned "id"
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   461
    and "refid" attributes.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   462
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   463
    After adding labels and reference text, the "auto" attributes can be
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   464
    ignored.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   465
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   466
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   467
    default_priority = 620
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   468
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   469
    autofootnote_labels = None
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   470
    """Keep track of unlabeled autonumbered footnotes."""
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   471
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   472
    symbols = [
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   473
          # Entries 1-4 and 6 below are from section 12.51 of
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   474
          # The Chicago Manual of Style, 14th edition.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   475
          '*',                          # asterisk/star
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   476
          u'\u2020',                    # dagger &dagger;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   477
          u'\u2021',                    # double dagger &Dagger;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   478
          u'\u00A7',                    # section mark &sect;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   479
          u'\u00B6',                    # paragraph mark (pilcrow) &para;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   480
                                        # (parallels ['||'] in CMoS)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   481
          '#',                          # number sign
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   482
          # The entries below were chosen arbitrarily.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   483
          u'\u2660',                    # spade suit &spades;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   484
          u'\u2665',                    # heart suit &hearts;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   485
          u'\u2666',                    # diamond suit &diams;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   486
          u'\u2663',                    # club suit &clubs;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   487
          ]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   488
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   489
    def apply(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   490
        self.autofootnote_labels = []
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   491
        startnum = self.document.autofootnote_start
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   492
        self.document.autofootnote_start = self.number_footnotes(startnum)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   493
        self.number_footnote_references(startnum)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   494
        self.symbolize_footnotes()
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   495
        self.resolve_footnotes_and_citations()
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   496
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   497
    def number_footnotes(self, startnum):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   498
        """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   499
        Assign numbers to autonumbered footnotes.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   500
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   501
        For labeled autonumbered footnotes, copy the number over to
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   502
        corresponding footnote references.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   503
        """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   504
        for footnote in self.document.autofootnotes:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   505
            while 1:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   506
                label = str(startnum)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   507
                startnum += 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   508
                if not self.document.nameids.has_key(label):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   509
                    break
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   510
            footnote.insert(0, nodes.label('', label))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   511
            for name in footnote['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   512
                for ref in self.document.footnote_refs.get(name, []):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   513
                    ref += nodes.Text(label)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   514
                    ref.delattr('refname')
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   515
                    assert len(footnote['ids']) == len(ref['ids']) == 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   516
                    ref['refid'] = footnote['ids'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   517
                    footnote.add_backref(ref['ids'][0])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   518
                    self.document.note_refid(ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   519
                    ref.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   520
            if not footnote['names'] and not footnote['dupnames']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   521
                footnote['names'].append(label)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   522
                self.document.note_explicit_target(footnote, footnote)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   523
                self.autofootnote_labels.append(label)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   524
        return startnum
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   525
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   526
    def number_footnote_references(self, startnum):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   527
        """Assign numbers to autonumbered footnote references."""
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   528
        i = 0
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   529
        for ref in self.document.autofootnote_refs:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   530
            if ref.resolved or ref.hasattr('refid'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   531
                continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   532
            try:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   533
                label = self.autofootnote_labels[i]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   534
            except IndexError:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   535
                msg = self.document.reporter.error(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   536
                      'Too many autonumbered footnote references: only %s '
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   537
                      'corresponding footnotes available.'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   538
                      % len(self.autofootnote_labels), base_node=ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   539
                msgid = self.document.set_id(msg)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   540
                for ref in self.document.autofootnote_refs[i:]:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   541
                    if ref.resolved or ref.hasattr('refname'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   542
                        continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   543
                    prb = nodes.problematic(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   544
                          ref.rawsource, ref.rawsource, refid=msgid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   545
                    prbid = self.document.set_id(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   546
                    msg.add_backref(prbid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   547
                    ref.replace_self(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   548
                break
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   549
            ref += nodes.Text(label)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   550
            id = self.document.nameids[label]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   551
            footnote = self.document.ids[id]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   552
            ref['refid'] = id
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   553
            self.document.note_refid(ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   554
            assert len(ref['ids']) == 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   555
            footnote.add_backref(ref['ids'][0])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   556
            ref.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   557
            i += 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   558
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   559
    def symbolize_footnotes(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   560
        """Add symbols indexes to "[*]"-style footnotes and references."""
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   561
        labels = []
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   562
        for footnote in self.document.symbol_footnotes:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   563
            reps, index = divmod(self.document.symbol_footnote_start,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   564
                                 len(self.symbols))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   565
            labeltext = self.symbols[index] * (reps + 1)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   566
            labels.append(labeltext)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   567
            footnote.insert(0, nodes.label('', labeltext))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   568
            self.document.symbol_footnote_start += 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   569
            self.document.set_id(footnote)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   570
        i = 0
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   571
        for ref in self.document.symbol_footnote_refs:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   572
            try:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   573
                ref += nodes.Text(labels[i])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   574
            except IndexError:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   575
                msg = self.document.reporter.error(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   576
                      'Too many symbol footnote references: only %s '
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   577
                      'corresponding footnotes available.' % len(labels),
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   578
                      base_node=ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   579
                msgid = self.document.set_id(msg)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   580
                for ref in self.document.symbol_footnote_refs[i:]:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   581
                    if ref.resolved or ref.hasattr('refid'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   582
                        continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   583
                    prb = nodes.problematic(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   584
                          ref.rawsource, ref.rawsource, refid=msgid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   585
                    prbid = self.document.set_id(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   586
                    msg.add_backref(prbid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   587
                    ref.replace_self(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   588
                break
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   589
            footnote = self.document.symbol_footnotes[i]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   590
            assert len(footnote['ids']) == 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   591
            ref['refid'] = footnote['ids'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   592
            self.document.note_refid(ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   593
            footnote.add_backref(ref['ids'][0])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   594
            i += 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   595
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   596
    def resolve_footnotes_and_citations(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   597
        """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   598
        Link manually-labeled footnotes and citations to/from their
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   599
        references.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   600
        """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   601
        for footnote in self.document.footnotes:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   602
            for label in footnote['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   603
                if self.document.footnote_refs.has_key(label):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   604
                    reflist = self.document.footnote_refs[label]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   605
                    self.resolve_references(footnote, reflist)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   606
        for citation in self.document.citations:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   607
            for label in citation['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   608
                if self.document.citation_refs.has_key(label):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   609
                    reflist = self.document.citation_refs[label]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   610
                    self.resolve_references(citation, reflist)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   611
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   612
    def resolve_references(self, note, reflist):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   613
        assert len(note['ids']) == 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   614
        id = note['ids'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   615
        for ref in reflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   616
            if ref.resolved:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   617
                continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   618
            ref.delattr('refname')
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   619
            ref['refid'] = id
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   620
            assert len(ref['ids']) == 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   621
            note.add_backref(ref['ids'][0])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   622
            ref.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   623
        note.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   624
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   625
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   626
class CircularSubstitutionDefinitionError(Exception): pass
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   627
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   628
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   629
class Substitutions(Transform):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   630
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   631
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   632
    Given the following ``document`` as input::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   633
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   634
        <document>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   635
            <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   636
                The
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   637
                <substitution_reference refname="biohazard">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   638
                    biohazard
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   639
                 symbol is deservedly scary-looking.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   640
            <substitution_definition name="biohazard">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   641
                <image alt="biohazard" uri="biohazard.png">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   642
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   643
    The ``substitution_reference`` will simply be replaced by the
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   644
    contents of the corresponding ``substitution_definition``.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   645
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   646
    The transformed result will be::
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   647
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   648
        <document>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   649
            <paragraph>
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   650
                The
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   651
                <image alt="biohazard" uri="biohazard.png">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   652
                 symbol is deservedly scary-looking.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   653
            <substitution_definition name="biohazard">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   654
                <image alt="biohazard" uri="biohazard.png">
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   655
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   656
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   657
    default_priority = 220
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   658
    """The Substitutions transform has to be applied very early, before
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   659
    `docutils.tranforms.frontmatter.DocTitle` and others."""
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   660
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   661
    def apply(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   662
        defs = self.document.substitution_defs
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   663
        normed = self.document.substitution_names
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   664
        subreflist = self.document.traverse(nodes.substitution_reference)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   665
        nested = {}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   666
        for ref in subreflist:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   667
            refname = ref['refname']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   668
            key = None
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   669
            if defs.has_key(refname):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   670
                key = refname
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   671
            else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   672
                normed_name = refname.lower()
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   673
                if normed.has_key(normed_name):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   674
                    key = normed[normed_name]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   675
            if key is None:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   676
                msg = self.document.reporter.error(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   677
                      'Undefined substitution referenced: "%s".'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   678
                      % refname, base_node=ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   679
                msgid = self.document.set_id(msg)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   680
                prb = nodes.problematic(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   681
                      ref.rawsource, ref.rawsource, refid=msgid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   682
                prbid = self.document.set_id(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   683
                msg.add_backref(prbid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   684
                ref.replace_self(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   685
            else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   686
                subdef = defs[key]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   687
                parent = ref.parent
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   688
                index = parent.index(ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   689
                if  (subdef.attributes.has_key('ltrim')
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   690
                     or subdef.attributes.has_key('trim')):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   691
                    if index > 0 and isinstance(parent[index - 1],
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   692
                                                nodes.Text):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   693
                        parent.replace(parent[index - 1],
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   694
                                       parent[index - 1].rstrip())
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   695
                if  (subdef.attributes.has_key('rtrim')
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   696
                     or subdef.attributes.has_key('trim')):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   697
                    if  (len(parent) > index + 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   698
                         and isinstance(parent[index + 1], nodes.Text)):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   699
                        parent.replace(parent[index + 1],
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   700
                                       parent[index + 1].lstrip())
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   701
                subdef_copy = subdef.deepcopy()
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   702
                try:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   703
                    # Take care of nested substitution references:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   704
                    for nested_ref in subdef_copy.traverse(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   705
                          nodes.substitution_reference):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   706
                        nested_name = normed[nested_ref['refname'].lower()]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   707
                        if nested_name in nested.setdefault(nested_name, []):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   708
                            raise CircularSubstitutionDefinitionError
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   709
                        else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   710
                            nested[nested_name].append(key)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   711
                            subreflist.append(nested_ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   712
                except CircularSubstitutionDefinitionError:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   713
                    parent = ref.parent
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   714
                    if isinstance(parent, nodes.substitution_definition):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   715
                        msg = self.document.reporter.error(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   716
                            'Circular substitution definition detected:',
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   717
                            nodes.literal_block(parent.rawsource,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   718
                                                parent.rawsource),
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   719
                            line=parent.line, base_node=parent)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   720
                        parent.replace_self(msg)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   721
                    else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   722
                        msg = self.document.reporter.error(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   723
                            'Circular substitution definition referenced: "%s".'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   724
                            % refname, base_node=ref)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   725
                        msgid = self.document.set_id(msg)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   726
                        prb = nodes.problematic(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   727
                            ref.rawsource, ref.rawsource, refid=msgid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   728
                        prbid = self.document.set_id(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   729
                        msg.add_backref(prbid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   730
                        ref.replace_self(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   731
                else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   732
                    ref.replace_self(subdef_copy.children)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   733
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   734
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   735
class TargetNotes(Transform):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   736
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   737
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   738
    Creates a footnote for each external target in the text, and corresponding
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   739
    footnote references after each reference.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   740
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   741
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   742
    default_priority = 540
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   743
    """The TargetNotes transform has to be applied after `IndirectHyperlinks`
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   744
    but before `Footnotes`."""
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   745
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   746
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   747
    def __init__(self, document, startnode):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   748
        Transform.__init__(self, document, startnode=startnode)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   749
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   750
        self.classes = startnode.details.get('class', [])
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   751
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   752
    def apply(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   753
        notes = {}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   754
        nodelist = []
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   755
        for target in self.document.traverse(nodes.target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   756
            # Only external targets.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   757
            if not target.hasattr('refuri'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   758
                continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   759
            names = target['names']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   760
            refs = []
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   761
            for name in names:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   762
                refs.extend(self.document.refnames.get(name, []))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   763
            if not refs:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   764
                continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   765
            footnote = self.make_target_footnote(target['refuri'], refs,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   766
                                                 notes)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   767
            if not notes.has_key(target['refuri']):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   768
                notes[target['refuri']] = footnote
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   769
                nodelist.append(footnote)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   770
        # Take care of anonymous references.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   771
        for ref in self.document.traverse(nodes.reference):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   772
            if not ref.get('anonymous'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   773
                continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   774
            if ref.hasattr('refuri'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   775
                footnote = self.make_target_footnote(ref['refuri'], [ref],
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   776
                                                     notes)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   777
                if not notes.has_key(ref['refuri']):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   778
                    notes[ref['refuri']] = footnote
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   779
                    nodelist.append(footnote)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   780
        self.startnode.replace_self(nodelist)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   781
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   782
    def make_target_footnote(self, refuri, refs, notes):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   783
        if notes.has_key(refuri):  # duplicate?
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   784
            footnote = notes[refuri]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   785
            assert len(footnote['names']) == 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   786
            footnote_name = footnote['names'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   787
        else:                           # original
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   788
            footnote = nodes.footnote()
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   789
            footnote_id = self.document.set_id(footnote)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   790
            # Use uppercase letters and a colon; they can't be
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   791
            # produced inside names by the parser.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   792
            footnote_name = 'TARGET_NOTE: ' + footnote_id
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   793
            footnote['auto'] = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   794
            footnote['names'] = [footnote_name]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   795
            footnote_paragraph = nodes.paragraph()
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   796
            footnote_paragraph += nodes.reference('', refuri, refuri=refuri)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   797
            footnote += footnote_paragraph
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   798
            self.document.note_autofootnote(footnote)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   799
            self.document.note_explicit_target(footnote, footnote)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   800
        for ref in refs:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   801
            if isinstance(ref, nodes.target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   802
                continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   803
            refnode = nodes.footnote_reference(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   804
                refname=footnote_name, auto=1)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   805
            refnode['classes'] += self.classes
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   806
            self.document.note_autofootnote_ref(refnode)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   807
            self.document.note_footnote_ref(refnode)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   808
            index = ref.parent.index(ref) + 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   809
            reflist = [refnode]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   810
            if not utils.get_trim_footnote_ref_space(self.document.settings):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   811
                if self.classes:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   812
                    reflist.insert(0, nodes.inline(text=' ', Classes=self.classes))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   813
                else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   814
                    reflist.insert(0, nodes.Text(' '))
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   815
            ref.parent.insert(index, reflist)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   816
        return footnote
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   817
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   818
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   819
class DanglingReferences(Transform):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   820
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   821
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   822
    Check for dangling references (incl. footnote & citation) and for
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   823
    unreferenced targets.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   824
    """
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   825
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   826
    default_priority = 850
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   827
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   828
    def apply(self):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   829
        visitor = DanglingReferencesVisitor(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   830
            self.document,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   831
            self.document.transformer.unknown_reference_resolvers)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   832
        self.document.walk(visitor)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   833
        # *After* resolving all references, check for unreferenced
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   834
        # targets:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   835
        for target in self.document.traverse(nodes.target):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   836
            if not target.referenced:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   837
                if target.get('anonymous'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   838
                    # If we have unreferenced anonymous targets, there
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   839
                    # is already an error message about anonymous
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   840
                    # hyperlink mismatch; no need to generate another
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   841
                    # message.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   842
                    continue
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   843
                if target['names']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   844
                    naming = target['names'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   845
                elif target['ids']:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   846
                    naming = target['ids'][0]
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   847
                else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   848
                    # Hack: Propagated targets always have their refid
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   849
                    # attribute set.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   850
                    naming = target['refid']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   851
                self.document.reporter.info(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   852
                    'Hyperlink target "%s" is not referenced.'
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   853
                    % naming, base_node=target)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   854
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   855
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   856
class DanglingReferencesVisitor(nodes.SparseNodeVisitor):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   857
    
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   858
    def __init__(self, document, unknown_reference_resolvers):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   859
        nodes.SparseNodeVisitor.__init__(self, document)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   860
        self.document = document
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   861
        self.unknown_reference_resolvers = unknown_reference_resolvers
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   862
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   863
    def unknown_visit(self, node):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   864
        pass
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   865
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   866
    def visit_reference(self, node):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   867
        if node.resolved or not node.hasattr('refname'):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   868
            return
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   869
        refname = node['refname']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   870
        id = self.document.nameids.get(refname)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   871
        if id is None:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   872
            for resolver_function in self.unknown_reference_resolvers:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   873
                if resolver_function(node):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   874
                    break
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   875
            else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   876
                if self.document.nameids.has_key(refname):
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   877
                    msg = self.document.reporter.error(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   878
                        'Duplicate target name, cannot be used as a unique '
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   879
                        'reference: "%s".' % (node['refname']), base_node=node)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   880
                else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   881
                    msg = self.document.reporter.error(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   882
                        'Unknown target name: "%s".' % (node['refname']),
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   883
                        base_node=node)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   884
                msgid = self.document.set_id(msg)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   885
                prb = nodes.problematic(
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   886
                      node.rawsource, node.rawsource, refid=msgid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   887
                prbid = self.document.set_id(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   888
                msg.add_backref(prbid)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   889
                node.replace_self(prb)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   890
        else:
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   891
            del node['refname']
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   892
            node['refid'] = id
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   893
            self.document.ids[id].note_referenced_by(id=id)
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   894
            node.resolved = 1
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   895
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   896
    visit_footnote_reference = visit_citation_reference = visit_reference