~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/urlutils.py

Merge in the branch with the extracted lock_write token changes, resolving conflicts.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
# Bazaar -- distributed version control
 
2
#
 
3
# Copyright (C) 2006 Canonical Ltd
 
4
#
 
5
# This program is free software; you can redistribute it and/or modify
 
6
# it under the terms of the GNU General Public License as published by
 
7
# the Free Software Foundation; either version 2 of the License, or
 
8
# (at your option) any later version.
 
9
#
 
10
# This program is distributed in the hope that it will be useful,
 
11
# but WITHOUT ANY WARRANTY; without even the implied warranty of
 
12
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
13
# GNU General Public License for more details.
 
14
#
 
15
# You should have received a copy of the GNU General Public License
 
16
# along with this program; if not, write to the Free Software
 
17
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
18
 
 
19
"""A collection of function for handling URL operations."""
 
20
 
 
21
import os
 
22
import re
 
23
import sys
 
24
 
 
25
from bzrlib.lazy_import import lazy_import
 
26
lazy_import(globals(), """
 
27
from posixpath import split as _posix_split, normpath as _posix_normpath
 
28
import urllib
 
29
 
 
30
from bzrlib import (
 
31
    errors,
 
32
    osutils,
 
33
    )
 
34
""")
 
35
 
 
36
 
 
37
def basename(url, exclude_trailing_slash=True):
 
38
    """Return the last component of a URL.
 
39
 
 
40
    :param url: The URL in question
 
41
    :param exclude_trailing_slash: If the url looks like "path/to/foo/"
 
42
        ignore the final slash and return 'foo' rather than ''
 
43
    :return: Just the final component of the URL. This can return ''
 
44
        if you don't exclude_trailing_slash, or if you are at the
 
45
        root of the URL.
 
46
    """
 
47
    return split(url, exclude_trailing_slash=exclude_trailing_slash)[1]
 
48
 
 
49
 
 
50
def dirname(url, exclude_trailing_slash=True):
 
51
    """Return the parent directory of the given path.
 
52
 
 
53
    :param url: Relative or absolute URL
 
54
    :param exclude_trailing_slash: Remove a final slash
 
55
        (treat http://host/foo/ as http://host/foo, but
 
56
        http://host/ stays http://host/)
 
57
    :return: Everything in the URL except the last path chunk
 
58
    """
 
59
    # TODO: jam 20060502 This was named dirname to be consistent
 
60
    #       with the os functions, but maybe "parent" would be better
 
61
    return split(url, exclude_trailing_slash=exclude_trailing_slash)[0]
 
62
 
 
63
 
 
64
def escape(relpath):
 
65
    """Escape relpath to be a valid url."""
 
66
    if isinstance(relpath, unicode):
 
67
        relpath = relpath.encode('utf-8')
 
68
    # After quoting and encoding, the path should be perfectly
 
69
    # safe as a plain ASCII string, str() just enforces this
 
70
    return str(urllib.quote(relpath))
 
71
 
 
72
 
 
73
def file_relpath(base, path):
 
74
    """Compute just the relative sub-portion of a url
 
75
    
 
76
    This assumes that both paths are already fully specified file:// URLs.
 
77
    """
 
78
    assert len(base) >= MIN_ABS_FILEURL_LENGTH, ('Length of base must be equal or'
 
79
        ' exceed the platform minimum url length (which is %d)' % 
 
80
        MIN_ABS_FILEURL_LENGTH)
 
81
 
 
82
    base = local_path_from_url(base)
 
83
    path = local_path_from_url(path)
 
84
    return escape(osutils.relpath(base, path))
 
85
 
 
86
 
 
87
def _find_scheme_and_separator(url):
 
88
    """Find the scheme separator (://) and the first path separator
 
89
 
 
90
    This is just a helper functions for other path utilities.
 
91
    It could probably be replaced by urlparse
 
92
    """
 
93
    m = _url_scheme_re.match(url)
 
94
    if not m:
 
95
        return None, None
 
96
 
 
97
    scheme = m.group('scheme')
 
98
    path = m.group('path')
 
99
 
 
100
    # Find the path separating slash
 
101
    # (first slash after the ://)
 
102
    first_path_slash = path.find('/')
 
103
    if first_path_slash == -1:
 
104
        return len(scheme), None
 
105
    return len(scheme), first_path_slash+len(scheme)+3
 
106
 
 
107
 
 
108
def join(base, *args):
 
109
    """Create a URL by joining sections.
 
110
 
 
111
    This will normalize '..', assuming that paths are absolute
 
112
    (it assumes no symlinks in either path)
 
113
 
 
114
    If any of *args is an absolute URL, it will be treated correctly.
 
115
    Example:
 
116
        join('http://foo', 'http://bar') => 'http://bar'
 
117
        join('http://foo', 'bar') => 'http://foo/bar'
 
118
        join('http://foo', 'bar', '../baz') => 'http://foo/baz'
 
119
    """
 
120
    if not args:
 
121
        return base
 
122
    match = _url_scheme_re.match(base)
 
123
    scheme = None
 
124
    if match:
 
125
        scheme = match.group('scheme')
 
126
        path = match.group('path').split('/')
 
127
        if path[-1:] == ['']:
 
128
            # Strip off a trailing slash
 
129
            # This helps both when we are at the root, and when
 
130
            # 'base' has an extra slash at the end
 
131
            path = path[:-1]
 
132
    else:
 
133
        path = base.split('/')
 
134
 
 
135
    if scheme is not None and len(path) >= 1:
 
136
        host = path[:1]
 
137
        # the path should be represented as an abs path.
 
138
        # we know this must be absolute because of the presence of a URL scheme.
 
139
        remove_root = True
 
140
        path = [''] + path[1:]
 
141
    else:
 
142
        # create an empty host, but dont alter the path - this might be a
 
143
        # relative url fragment.
 
144
        host = []
 
145
        remove_root = False
 
146
 
 
147
    for arg in args:
 
148
        match = _url_scheme_re.match(arg)
 
149
        if match:
 
150
            # Absolute URL
 
151
            scheme = match.group('scheme')
 
152
            # this skips .. normalisation, making http://host/../../..
 
153
            # be rather strange.
 
154
            path = match.group('path').split('/')
 
155
            # set the host and path according to new absolute URL, discarding
 
156
            # any previous values.
 
157
            # XXX: duplicates mess from earlier in this function.  This URL
 
158
            # manipulation code needs some cleaning up.
 
159
            if scheme is not None and len(path) >= 1:
 
160
                host = path[:1]
 
161
                path = path[1:]
 
162
                # url scheme implies absolute path.
 
163
                path = [''] + path
 
164
            else:
 
165
                # no url scheme we take the path as is.
 
166
                host = []
 
167
        else:
 
168
            path = '/'.join(path)
 
169
            path = joinpath(path, arg)
 
170
            path = path.split('/')
 
171
    if remove_root and path[0:1] == ['']:
 
172
        del path[0]
 
173
    if host:
 
174
        # Remove the leading slash from the path, so long as it isn't also the
 
175
        # trailing slash, which we want to keep if present.
 
176
        if path and path[0] == '' and len(path) > 1:
 
177
            del path[0]
 
178
        path = host + path
 
179
 
 
180
    if scheme is None:
 
181
        return '/'.join(path)
 
182
    return scheme + '://' + '/'.join(path)
 
183
 
 
184
 
 
185
def joinpath(base, *args):
 
186
    """Join URL path segments to a URL path segment.
 
187
    
 
188
    This is somewhat like osutils.joinpath, but intended for URLs.
 
189
 
 
190
    XXX: this duplicates some normalisation logic, and also duplicates a lot of
 
191
    path handling logic that already exists in some Transport implementations.
 
192
    We really should try to have exactly one place in the code base responsible
 
193
    for combining paths of URLs.
 
194
    """
 
195
    path = base.split('/')
 
196
    if len(path) > 1 and path[-1] == '':
 
197
        #If the path ends in a trailing /, remove it.
 
198
        path.pop()
 
199
    for arg in args:
 
200
        if arg.startswith('/'):
 
201
            path = []
 
202
        for chunk in arg.split('/'):
 
203
            if chunk == '.':
 
204
                continue
 
205
            elif chunk == '..':
 
206
                if path == ['']:
 
207
                    raise errors.InvalidURLJoin('Cannot go above root',
 
208
                            base, args)
 
209
                path.pop()
 
210
            else:
 
211
                path.append(chunk)
 
212
    if path == ['']:
 
213
        return '/'
 
214
    else:
 
215
        return '/'.join(path)
 
216
 
 
217
 
 
218
# jam 20060502 Sorted to 'l' because the final target is 'local_path_from_url'
 
219
def _posix_local_path_from_url(url):
 
220
    """Convert a url like file:///path/to/foo into /path/to/foo"""
 
221
    if not url.startswith('file:///'):
 
222
        raise errors.InvalidURL(url, 'local urls must start with file:///')
 
223
    # We only strip off 2 slashes
 
224
    return unescape(url[len('file://'):])
 
225
 
 
226
 
 
227
def _posix_local_path_to_url(path):
 
228
    """Convert a local path like ./foo into a URL like file:///path/to/foo
 
229
 
 
230
    This also handles transforming escaping unicode characters, etc.
 
231
    """
 
232
    # importing directly from posixpath allows us to test this 
 
233
    # on non-posix platforms
 
234
    return 'file://' + escape(_posix_normpath(
 
235
        osutils._posix_abspath(path)))
 
236
 
 
237
 
 
238
def _win32_local_path_from_url(url):
 
239
    """Convert a url like file:///C:/path/to/foo into C:/path/to/foo"""
 
240
    if not url.startswith('file://'):
 
241
        raise errors.InvalidURL(url, 'local urls must start with file:///, '
 
242
                                     'UNC path urls must start with file://')
 
243
    # We strip off all 3 slashes
 
244
    win32_url = url[len('file:'):]
 
245
    # check for UNC path: //HOST/path
 
246
    if not win32_url.startswith('///'):
 
247
        if (win32_url[2] == '/'
 
248
            or win32_url[3] in '|:'):
 
249
            raise errors.InvalidURL(url, 'Win32 UNC path urls'
 
250
                ' have form file://HOST/path')
 
251
        return unescape(win32_url)
 
252
    # usual local path with drive letter
 
253
    if (win32_url[3] not in ('abcdefghijklmnopqrstuvwxyz'
 
254
                             'ABCDEFGHIJKLMNOPQRSTUVWXYZ')
 
255
        or win32_url[4] not in  '|:'
 
256
        or win32_url[5] != '/'):
 
257
        raise errors.InvalidURL(url, 'Win32 file urls start with'
 
258
                ' file:///x:/, where x is a valid drive letter')
 
259
    return win32_url[3].upper() + u':' + unescape(win32_url[5:])
 
260
 
 
261
 
 
262
def _win32_local_path_to_url(path):
 
263
    """Convert a local path like ./foo into a URL like file:///C:/path/to/foo
 
264
 
 
265
    This also handles transforming escaping unicode characters, etc.
 
266
    """
 
267
    # importing directly from ntpath allows us to test this 
 
268
    # on non-win32 platform
 
269
    # FIXME: It turns out that on nt, ntpath.abspath uses nt._getfullpathname
 
270
    #       which actually strips trailing space characters.
 
271
    #       The worst part is that under linux ntpath.abspath has different
 
272
    #       semantics, since 'nt' is not an available module.
 
273
    win32_path = osutils._win32_abspath(path)
 
274
    # check for UNC path \\HOST\path
 
275
    if win32_path.startswith('//'):
 
276
        return 'file:' + escape(win32_path)
 
277
    return 'file:///' + win32_path[0].upper() + ':' + escape(win32_path[2:])
 
278
 
 
279
 
 
280
local_path_to_url = _posix_local_path_to_url
 
281
local_path_from_url = _posix_local_path_from_url
 
282
MIN_ABS_FILEURL_LENGTH = len('file:///')
 
283
WIN32_MIN_ABS_FILEURL_LENGTH = len('file:///C:/')
 
284
 
 
285
if sys.platform == 'win32':
 
286
    local_path_to_url = _win32_local_path_to_url
 
287
    local_path_from_url = _win32_local_path_from_url
 
288
 
 
289
    MIN_ABS_FILEURL_LENGTH = WIN32_MIN_ABS_FILEURL_LENGTH
 
290
 
 
291
 
 
292
_url_scheme_re = re.compile(r'^(?P<scheme>[^:/]{2,})://(?P<path>.*)$')
 
293
 
 
294
 
 
295
def normalize_url(url):
 
296
    """Make sure that a path string is in fully normalized URL form.
 
297
    
 
298
    This handles URLs which have unicode characters, spaces, 
 
299
    special characters, etc.
 
300
 
 
301
    It has two basic modes of operation, depending on whether the
 
302
    supplied string starts with a url specifier (scheme://) or not.
 
303
    If it does not have a specifier it is considered a local path,
 
304
    and will be converted into a file:/// url. Non-ascii characters
 
305
    will be encoded using utf-8.
 
306
    If it does have a url specifier, it will be treated as a "hybrid"
 
307
    URL. Basically, a URL that should have URL special characters already
 
308
    escaped (like +?&# etc), but may have unicode characters, etc
 
309
    which would not be valid in a real URL.
 
310
 
 
311
    :param url: Either a hybrid URL or a local path
 
312
    :return: A normalized URL which only includes 7-bit ASCII characters.
 
313
    """
 
314
    m = _url_scheme_re.match(url)
 
315
    if not m:
 
316
        return local_path_to_url(url)
 
317
    if not isinstance(url, unicode):
 
318
        for c in url:
 
319
            if c not in _url_safe_characters:
 
320
                raise errors.InvalidURL(url, 'URLs can only contain specific'
 
321
                                            ' safe characters (not %r)' % c)
 
322
        return url
 
323
    # We have a unicode (hybrid) url
 
324
    scheme = m.group('scheme')
 
325
    path = list(m.group('path'))
 
326
 
 
327
    for i in xrange(len(path)):
 
328
        if path[i] not in _url_safe_characters:
 
329
            chars = path[i].encode('utf-8')
 
330
            path[i] = ''.join(['%%%02X' % ord(c) for c in path[i].encode('utf-8')])
 
331
    return str(scheme + '://' + ''.join(path))
 
332
 
 
333
 
 
334
def relative_url(base, other):
 
335
    """Return a path to other from base.
 
336
 
 
337
    If other is unrelated to base, return other. Else return a relative path.
 
338
    This assumes no symlinks as part of the url.
 
339
    """
 
340
    dummy, base_first_slash = _find_scheme_and_separator(base)
 
341
    if base_first_slash is None:
 
342
        return other
 
343
    
 
344
    dummy, other_first_slash = _find_scheme_and_separator(other)
 
345
    if other_first_slash is None:
 
346
        return other
 
347
 
 
348
    # this takes care of differing schemes or hosts
 
349
    base_scheme = base[:base_first_slash]
 
350
    other_scheme = other[:other_first_slash]
 
351
    if base_scheme != other_scheme:
 
352
        return other
 
353
 
 
354
    base_path = base[base_first_slash+1:]
 
355
    other_path = other[other_first_slash+1:]
 
356
 
 
357
    if base_path.endswith('/'):
 
358
        base_path = base_path[:-1]
 
359
 
 
360
    base_sections = base_path.split('/')
 
361
    other_sections = other_path.split('/')
 
362
 
 
363
    if base_sections == ['']:
 
364
        base_sections = []
 
365
    if other_sections == ['']:
 
366
        other_sections = []
 
367
 
 
368
    output_sections = []
 
369
    for b, o in zip(base_sections, other_sections):
 
370
        if b != o:
 
371
            break
 
372
        output_sections.append(b)
 
373
 
 
374
    match_len = len(output_sections)
 
375
    output_sections = ['..' for x in base_sections[match_len:]]
 
376
    output_sections.extend(other_sections[match_len:])
 
377
 
 
378
    return "/".join(output_sections) or "."
 
379
 
 
380
 
 
381
def _win32_extract_drive_letter(url_base, path):
 
382
    """On win32 the drive letter needs to be added to the url base."""
 
383
    # Strip off the drive letter
 
384
    # path is currently /C:/foo
 
385
    if len(path) < 3 or path[2] not in ':|' or path[3] != '/':
 
386
        raise errors.InvalidURL(url_base + path, 
 
387
            'win32 file:/// paths need a drive letter')
 
388
    url_base += path[0:3] # file:// + /C:
 
389
    path = path[3:] # /foo
 
390
    return url_base, path
 
391
 
 
392
 
 
393
def split(url, exclude_trailing_slash=True):
 
394
    """Split a URL into its parent directory and a child directory.
 
395
 
 
396
    :param url: A relative or absolute URL
 
397
    :param exclude_trailing_slash: Strip off a final '/' if it is part
 
398
        of the path (but not if it is part of the protocol specification)
 
399
 
 
400
    :return: (parent_url, child_dir).  child_dir may be the empty string if we're at 
 
401
        the root.
 
402
    """
 
403
    scheme_loc, first_path_slash = _find_scheme_and_separator(url)
 
404
 
 
405
    if first_path_slash is None:
 
406
        # We have either a relative path, or no separating slash
 
407
        if scheme_loc is None:
 
408
            # Relative path
 
409
            if exclude_trailing_slash and url.endswith('/'):
 
410
                url = url[:-1]
 
411
            return _posix_split(url)
 
412
        else:
 
413
            # Scheme with no path
 
414
            return url, ''
 
415
 
 
416
    # We have a fully defined path
 
417
    url_base = url[:first_path_slash] # http://host, file://
 
418
    path = url[first_path_slash:] # /file/foo
 
419
 
 
420
    if sys.platform == 'win32' and url.startswith('file:///'):
 
421
        # Strip off the drive letter
 
422
        # url_base is currently file://
 
423
        # path is currently /C:/foo
 
424
        url_base, path = _win32_extract_drive_letter(url_base, path)
 
425
        # now it should be file:///C: and /foo
 
426
 
 
427
    if exclude_trailing_slash and len(path) > 1 and path.endswith('/'):
 
428
        path = path[:-1]
 
429
    head, tail = _posix_split(path)
 
430
    return url_base + head, tail
 
431
 
 
432
 
 
433
def _win32_strip_local_trailing_slash(url):
 
434
    """Strip slashes after the drive letter"""
 
435
    if len(url) > WIN32_MIN_ABS_FILEURL_LENGTH:
 
436
        return url[:-1]
 
437
    else:
 
438
        return url
 
439
 
 
440
 
 
441
def strip_trailing_slash(url):
 
442
    """Strip trailing slash, except for root paths.
 
443
 
 
444
    The definition of 'root path' is platform-dependent.
 
445
    This assumes that all URLs are valid netloc urls, such that they
 
446
    form:
 
447
    scheme://host/path
 
448
    It searches for ://, and then refuses to remove the next '/'.
 
449
    It can also handle relative paths
 
450
    Examples:
 
451
        path/to/foo       => path/to/foo
 
452
        path/to/foo/      => path/to/foo
 
453
        http://host/path/ => http://host/path
 
454
        http://host/path  => http://host/path
 
455
        http://host/      => http://host/
 
456
        file:///          => file:///
 
457
        file:///foo/      => file:///foo
 
458
        # This is unique on win32 platforms, and is the only URL
 
459
        # format which does it differently.
 
460
        file:///c|/       => file:///c:/
 
461
    """
 
462
    if not url.endswith('/'):
 
463
        # Nothing to do
 
464
        return url
 
465
    if sys.platform == 'win32' and url.startswith('file://'):
 
466
        return _win32_strip_local_trailing_slash(url)
 
467
 
 
468
    scheme_loc, first_path_slash = _find_scheme_and_separator(url)
 
469
    if scheme_loc is None:
 
470
        # This is a relative path, as it has no scheme
 
471
        # so just chop off the last character
 
472
        return url[:-1]
 
473
 
 
474
    if first_path_slash is None or first_path_slash == len(url)-1:
 
475
        # Don't chop off anything if the only slash is the path
 
476
        # separating slash
 
477
        return url
 
478
 
 
479
    return url[:-1]
 
480
 
 
481
 
 
482
def unescape(url):
 
483
    """Unescape relpath from url format.
 
484
 
 
485
    This returns a Unicode path from a URL
 
486
    """
 
487
    # jam 20060427 URLs are supposed to be ASCII only strings
 
488
    #       If they are passed in as unicode, urllib.unquote
 
489
    #       will return a UNICODE string, which actually contains
 
490
    #       utf-8 bytes. So we have to ensure that they are
 
491
    #       plain ASCII strings, or the final .decode will
 
492
    #       try to encode the UNICODE => ASCII, and then decode
 
493
    #       it into utf-8.
 
494
    try:
 
495
        url = str(url)
 
496
    except UnicodeError, e:
 
497
        raise errors.InvalidURL(url, 'URL was not a plain ASCII url: %s' % (e,))
 
498
 
 
499
    unquoted = urllib.unquote(url)
 
500
    try:
 
501
        unicode_path = unquoted.decode('utf-8')
 
502
    except UnicodeError, e:
 
503
        raise errors.InvalidURL(url, 'Unable to encode the URL as utf-8: %s' % (e,))
 
504
    return unicode_path
 
505
 
 
506
 
 
507
# These are characters that if escaped, should stay that way
 
508
_no_decode_chars = ';/?:@&=+$,#'
 
509
_no_decode_ords = [ord(c) for c in _no_decode_chars]
 
510
_no_decode_hex = (['%02x' % o for o in _no_decode_ords] 
 
511
                + ['%02X' % o for o in _no_decode_ords])
 
512
_hex_display_map = dict(([('%02x' % o, chr(o)) for o in range(256)]
 
513
                    + [('%02X' % o, chr(o)) for o in range(256)]))
 
514
#These entries get mapped to themselves
 
515
_hex_display_map.update((hex,'%'+hex) for hex in _no_decode_hex)
 
516
 
 
517
# These characters should not be escaped
 
518
_url_safe_characters = set(
 
519
   "abcdefghijklmnopqrstuvwxyz" # Lowercase alpha
 
520
   "ABCDEFGHIJKLMNOPQRSTUVWXYZ" # Uppercase alpha
 
521
   "0123456789" # Numbers
 
522
   "_.-!~*'()"  # Unreserved characters
 
523
   "/;?:@&=+$," # Reserved characters
 
524
   "%#"         # Extra reserved characters
 
525
)
 
526
 
 
527
def unescape_for_display(url, encoding):
 
528
    """Decode what you can for a URL, so that we get a nice looking path.
 
529
 
 
530
    This will turn file:// urls into local paths, and try to decode
 
531
    any portions of a http:// style url that it can.
 
532
 
 
533
    Any sections of the URL which can't be represented in the encoding or 
 
534
    need to stay as escapes are left alone.
 
535
 
 
536
    :param url: A 7-bit ASCII URL
 
537
    :param encoding: The final output encoding
 
538
 
 
539
    :return: A unicode string which can be safely encoded into the 
 
540
         specified encoding.
 
541
    """
 
542
    assert encoding is not None, 'you cannot specify None for the display encoding.'
 
543
    if url.startswith('file://'):
 
544
        try:
 
545
            path = local_path_from_url(url)
 
546
            path.encode(encoding)
 
547
            return path
 
548
        except UnicodeError:
 
549
            return url
 
550
 
 
551
    # Split into sections to try to decode utf-8
 
552
    res = url.split('/')
 
553
    for i in xrange(1, len(res)):
 
554
        escaped_chunks = res[i].split('%')
 
555
        for j in xrange(1, len(escaped_chunks)):
 
556
            item = escaped_chunks[j]
 
557
            try:
 
558
                escaped_chunks[j] = _hex_display_map[item[:2]] + item[2:]
 
559
            except KeyError:
 
560
                # Put back the percent symbol
 
561
                escaped_chunks[j] = '%' + item
 
562
            except UnicodeDecodeError:
 
563
                escaped_chunks[j] = unichr(int(item[:2], 16)) + item[2:]
 
564
        unescaped = ''.join(escaped_chunks)
 
565
        try:
 
566
            decoded = unescaped.decode('utf-8')
 
567
        except UnicodeDecodeError:
 
568
            # If this path segment cannot be properly utf-8 decoded
 
569
            # after doing unescaping we will just leave it alone
 
570
            pass
 
571
        else:
 
572
            try:
 
573
                decoded.encode(encoding)
 
574
            except UnicodeEncodeError:
 
575
                # If this chunk cannot be encoded in the local
 
576
                # encoding, then we should leave it alone
 
577
                pass
 
578
            else:
 
579
                # Otherwise take the url decoded one
 
580
                res[i] = decoded
 
581
    return u'/'.join(res)