~bzr-pqm/bzr/bzr.dev

# Copyright (C) 2005 Canonical Ltd

#

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

# it under the terms of the GNU General Public License as published by

# the Free Software Foundation; either version 2 of the License, or

# (at your option) any later version.

#

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

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

# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

# GNU General Public License for more details.

#

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

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

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

"""Tree classes, representing directory at point in time.

"""

import os

from collections import deque

from cStringIO import StringIO

import bzrlib

from bzrlib import (

    delta,

    osutils,

    revision as _mod_revision,

    conflicts as _mod_conflicts,

    symbol_versioning,

    )

from bzrlib.decorators import needs_read_lock

from bzrlib.errors import BzrError, BzrCheckError

from bzrlib import errors

from bzrlib.inventory import Inventory, InventoryFile

from bzrlib.inter import InterObject

from bzrlib.osutils import fingerprint_file

import bzrlib.revision

from bzrlib.trace import mutter, note

class Tree(object):

    """Abstract file tree.

    There are several subclasses:

    * `WorkingTree` exists as files on disk editable by the user.

    * `RevisionTree` is a tree as recorded at some point in the past.

    Trees contain an `Inventory` object, and also know how to retrieve

    file texts mentioned in the inventory, either from a working

    directory or from a store.

    It is possible for trees to contain files that are not described

    in their inventory or vice versa; for this use `filenames()`.

    Trees can be compared, etc, regardless of whether they are working

    trees or versioned trees.

    """

    def changes_from(self, other, want_unchanged=False, specific_files=None,

        extra_trees=None, require_versioned=False, include_root=False,

        want_unversioned=False):

        """Return a TreeDelta of the changes from other to this tree.

        :param other: A tree to compare with.

        :param specific_files: An optional list of file paths to restrict the

            comparison to. When mapping filenames to ids, all matches in all

            trees (including optional extra_trees) are used, and all children of

            matched directories are included.

        :param want_unchanged: An optional boolean requesting the inclusion of

            unchanged entries in the result.

        :param extra_trees: An optional list of additional trees to use when

            mapping the contents of specific_files (paths) to file_ids.

        :param require_versioned: An optional boolean (defaults to False). When

            supplied and True all the 'specific_files' must be versioned, or

            a PathsNotVersionedError will be thrown.

        :param want_unversioned: Scan for unversioned paths.

        The comparison will be performed by an InterTree object looked up on 

        self and other.

        """

        # Martin observes that Tree.changes_from returns a TreeDelta and this

        # may confuse people, because the class name of the returned object is

        # a synonym of the object referenced in the method name.

        return InterTree.get(other, self).compare(

            want_unchanged=want_unchanged,

            specific_files=specific_files,

            extra_trees=extra_trees,

            require_versioned=require_versioned,

            include_root=include_root,

            want_unversioned=want_unversioned,

            )

    def _iter_changes(self, from_tree, include_unchanged=False,

                     specific_files=None, pb=None, extra_trees=None,

                     require_versioned=True, want_unversioned=False):

        intertree = InterTree.get(from_tree, self)

        return intertree._iter_changes(include_unchanged, specific_files, pb,

            extra_trees, require_versioned, want_unversioned=want_unversioned)

    def conflicts(self):

        """Get a list of the conflicts in the tree.

        Each conflict is an instance of bzrlib.conflicts.Conflict.

        """

        return _mod_conflicts.ConflictList()

    def extras(self):

        """For trees that can have unversioned files, return all such paths."""

        return []

    def get_parent_ids(self):

        """Get the parent ids for this tree. 

        :return: a list of parent ids. [] is returned to indicate

        a tree with no parents.

        :raises: BzrError if the parents are not known.

        """

        raise NotImplementedError(self.get_parent_ids)

    def has_filename(self, filename):

        """True if the tree has given filename."""

        raise NotImplementedError(self.has_filename)

    def has_id(self, file_id):

        return self.inventory.has_id(file_id)

    __contains__ = has_id

    def has_or_had_id(self, file_id):

        if file_id == self.inventory.root.file_id:

            return True

        return self.inventory.has_id(file_id)

    def is_ignored(self, filename):

        """Check whether the filename is ignored by this tree.

        :param filename: The relative filename within the tree.

        :return: True if the filename is ignored.

        """

        return False

    def __iter__(self):

        return iter(self.inventory)

    def id2path(self, file_id):

        """Return the path for a file id.

        :raises NoSuchId:

        """

        return self.inventory.id2path(file_id)

    def is_control_filename(self, filename):

        """True if filename is the name of a control file in this tree.

        :param filename: A filename within the tree. This is a relative path

        from the root of this tree.

        This is true IF and ONLY IF the filename is part of the meta data

        that bzr controls in this tree. I.E. a random .bzr directory placed

        on disk will not be a control file for this tree.

        """

        return self.bzrdir.is_control_filename(filename)

    @needs_read_lock

    def iter_entries_by_dir(self, specific_file_ids=None):

        """Walk the tree in 'by_dir' order.

        This will yield each entry in the tree as a (path, entry) tuple. The

        order that they are yielded is: the contents of a directory are 

        preceeded by the parent of a directory, and all the contents of a 

        directory are grouped together.

        """

        return self.inventory.iter_entries_by_dir(

            specific_file_ids=specific_file_ids)

    def iter_references(self):

        for path, entry in self.iter_entries_by_dir():

            if entry.kind == 'tree-reference':

                yield path, entry.file_id

    def kind(self, file_id):

        raise NotImplementedError("Tree subclass %s must implement kind"

            % self.__class__.__name__)

    def path_content_summary(self, path):

        """Get a summary of the information about path.

        :param path: A relative path within the tree.

        :return: A tuple containing kind, size, exec, sha1-or-link.

            Kind is always present (see tree.kind()).

            size is present if kind is file, None otherwise.

            exec is None unless kind is file and the platform supports the 'x'

                bit.

            sha1-or-link is the link target if kind is symlink, or the sha1 if

                it can be obtained without reading the file.

        """

        raise NotImplementedError(self.path_content_summary)

    def get_reference_revision(self, file_id, path=None):

        raise NotImplementedError("Tree subclass %s must implement "

                                  "get_reference_revision"

            % self.__class__.__name__)

    def _comparison_data(self, entry, path):

        """Return a tuple of kind, executable, stat_value for a file.

        entry may be None if there is no inventory entry for the file, but

        path must always be supplied.

        kind is None if there is no file present (even if an inventory id is

        present).  executable is False for non-file entries.

        """

        raise NotImplementedError(self._comparison_data)

    def _file_size(self, entry, stat_value):

        raise NotImplementedError(self._file_size)

    def _get_inventory(self):

        return self._inventory

    def get_file(self, file_id, path=None):

        """Return a file object for the file file_id in the tree.

        If both file_id and path are defined, it is implementation defined as

        to which one is used.

        """

        raise NotImplementedError(self.get_file)

    def get_file_mtime(self, file_id, path=None):

        """Return the modification time for a file.

        :param file_id: The handle for this file.

        :param path: The path that this file can be found at.

            These must point to the same object.

        """

        raise NotImplementedError(self.get_file_mtime)

    def get_file_by_path(self, path):

        return self.get_file(self._inventory.path2id(path), path)

    def iter_files_bytes(self, desired_files):

        """Iterate through file contents.

        Files will not necessarily be returned in the order they occur in

        desired_files.  No specific order is guaranteed.

        Yields pairs of identifier, bytes_iterator.  identifier is an opaque

        value supplied by the caller as part of desired_files.  It should

        uniquely identify the file version in the caller's context.  (Examples:

        an index number or a TreeTransform trans_id.)

        bytes_iterator is an iterable of bytestrings for the file.  The

        kind of iterable and length of the bytestrings are unspecified, but for

        this implementation, it is a tuple containing a single bytestring with

        the complete text of the file.

        :param desired_files: a list of (file_id, identifier) pairs

        """

        for file_id, identifier in desired_files:

            # We wrap the string in a tuple so that we can return an iterable

            # of bytestrings.  (Technically, a bytestring is also an iterable

            # of bytestrings, but iterating through each character is not

            # performant.)

            cur_file = (self.get_file_text(file_id),)

            yield identifier, cur_file

    def get_symlink_target(self, file_id):

        """Get the target for a given file_id.

        It is assumed that the caller already knows that file_id is referencing

        a symlink.

        :param file_id: Handle for the symlink entry.

        :return: The path the symlink points to.

        """

        raise NotImplementedError(self.get_symlink_target)

    def annotate_iter(self, file_id):

        """Return an iterator of revision_id, line tuples.

        For working trees (and mutable trees in general), the special

        revision_id 'current:' will be used for lines that are new in this

        tree, e.g. uncommitted changes.

        :param file_id: The file to produce an annotated version from

        """

        raise NotImplementedError(self.annotate_iter)

    def plan_file_merge(self, file_id, other):

        """Generate a merge plan based on annotations.

        If the file contains uncommitted changes in this tree, they will be

        attributed to the 'current:' pseudo-revision.  If the file contains

        uncommitted changes in the other tree, they will be assigned to the

        'other:' pseudo-revision.

        """

        from bzrlib import merge

        annotated_a = list(self.annotate_iter(file_id,

                                              _mod_revision.CURRENT_REVISION))

        annotated_b = list(other.annotate_iter(file_id, 'other:'))

        ancestors_a = self._get_ancestors(_mod_revision.CURRENT_REVISION)

        ancestors_b = other._get_ancestors('other:')

        return merge._plan_annotate_merge(annotated_a, annotated_b,

                                          ancestors_a, ancestors_b)

    inventory = property(_get_inventory,

                         doc="Inventory of this Tree")

    def _check_retrieved(self, ie, f):

        if not __debug__:

            return  

        fp = fingerprint_file(f)

        f.seek(0)

        if ie.text_size is not None:

            if ie.text_size != fp['size']:

                raise BzrError("mismatched size for file %r in %r" % (ie.file_id, self._store),

                        ["inventory expects %d bytes" % ie.text_size,

                         "file is actually %d bytes" % fp['size'],

                         "store is probably damaged/corrupt"])

        if ie.text_sha1 != fp['sha1']:

            raise BzrError("wrong SHA-1 for file %r in %r" % (ie.file_id, self._store),

                    ["inventory expects %s" % ie.text_sha1,

                     "file is actually %s" % fp['sha1'],

                     "store is probably damaged/corrupt"])

    @needs_read_lock

    def path2id(self, path):

        """Return the id for path in this tree."""

        return self._inventory.path2id(path)

    def paths2ids(self, paths, trees=[], require_versioned=True):

        """Return all the ids that can be reached by walking from paths.

        Each path is looked up in this tree and any extras provided in

        trees, and this is repeated recursively: the children in an extra tree

        of a directory that has been renamed under a provided path in this tree

        are all returned, even if none exist under a provided path in this

        tree, and vice versa.

        :param paths: An iterable of paths to start converting to ids from.

            Alternatively, if paths is None, no ids should be calculated and None

            will be returned. This is offered to make calling the api unconditional

            for code that *might* take a list of files.

        :param trees: Additional trees to consider.

        :param require_versioned: If False, do not raise NotVersionedError if

            an element of paths is not versioned in this tree and all of trees.

        """

        return find_ids_across_trees(paths, [self] + list(trees), require_versioned)

    def print_file(self, file_id):

        """Print file with id `file_id` to stdout."""

        import sys

        sys.stdout.write(self.get_file_text(file_id))

    def lock_read(self):

        pass

    def revision_tree(self, revision_id):

        """Obtain a revision tree for the revision revision_id.

        The intention of this method is to allow access to possibly cached

        tree data. Implementors of this method should raise NoSuchRevision if

        the tree is not locally available, even if they could obtain the 

        tree via a repository or some other means. Callers are responsible 

        for finding the ultimate source for a revision tree.

        :param revision_id: The revision_id of the requested tree.

        :return: A Tree.

        :raises: NoSuchRevision if the tree cannot be obtained.

        """

        raise errors.NoSuchRevisionInTree(self, revision_id)

    def unknowns(self):

        """What files are present in this tree and unknown.

        :return: an iterator over the unknown files.

        """

        return iter([])

    def unlock(self):

        pass

    def filter_unversioned_files(self, paths):

        """Filter out paths that are versioned.

        :return: set of paths.

        """

        # NB: we specifically *don't* call self.has_filename, because for

        # WorkingTrees that can indicate files that exist on disk but that 

        # are not versioned.

        pred = self.inventory.has_filename

        return set((p for p in paths if not pred(p)))

    def walkdirs(self, prefix=""):

        """Walk the contents of this tree from path down.

        This yields all the data about the contents of a directory at a time.

        After each directory has been yielded, if the caller has mutated the

        list to exclude some directories, they are then not descended into.

        The data yielded is of the form:

        ((directory-relpath, directory-path-from-root, directory-fileid),

        [(relpath, basename, kind, lstat, path_from_tree_root, file_id, 

          versioned_kind), ...]),

         - directory-relpath is the containing dirs relpath from prefix

         - directory-path-from-root is the containing dirs path from /

         - directory-fileid is the id of the directory if it is versioned.

         - relpath is the relative path within the subtree being walked.

         - basename is the basename

         - kind is the kind of the file now. If unknonwn then the file is not

           present within the tree - but it may be recorded as versioned. See

           versioned_kind.

         - lstat is the stat data *if* the file was statted.

         - path_from_tree_root is the path from the root of the tree.

         - file_id is the file_id if the entry is versioned.

         - versioned_kind is the kind of the file as last recorded in the 

           versioning system. If 'unknown' the file is not versioned.

        One of 'kind' and 'versioned_kind' must not be 'unknown'.

        :param prefix: Start walking from prefix within the tree rather than

        at the root. This allows one to walk a subtree but get paths that are

        relative to a tree rooted higher up.

        :return: an iterator over the directory data.

        """

        raise NotImplementedError(self.walkdirs)

class EmptyTree(Tree):

    def __init__(self):

        self._inventory = Inventory(root_id=None)

        symbol_versioning.warn('EmptyTree is deprecated as of bzr 0.9 please'

                               ' use repository.revision_tree instead.',

                               DeprecationWarning, stacklevel=2)

    def get_parent_ids(self):

        return []

    def get_symlink_target(self, file_id):

        return None

    def has_filename(self, filename):

        return False

    def kind(self, file_id):

        assert self._inventory[file_id].kind == "directory"

        return "directory"

    def list_files(self, include_root=False):

        return iter([])

    def __contains__(self, file_id):

        return (file_id in self._inventory)

    def get_file_sha1(self, file_id, path=None, stat_value=None):

        return None

######################################################################

# diff

# TODO: Merge these two functions into a single one that can operate

# on either a whole tree or a set of files.

# TODO: Return the diff in order by filename, not by category or in

# random order.  Can probably be done by lock-stepping through the

# filenames from both trees.

def file_status(filename, old_tree, new_tree):

    """Return single-letter status, old and new names for a file.

    The complexity here is in deciding how to represent renames;

    many complex cases are possible.

    """

    old_inv = old_tree.inventory

    new_inv = new_tree.inventory

    new_id = new_inv.path2id(filename)

    old_id = old_inv.path2id(filename)

    if not new_id and not old_id:

        # easy: doesn't exist in either; not versioned at all

        if new_tree.is_ignored(filename):

            return 'I', None, None

        else:

            return '?', None, None

    elif new_id:

        # There is now a file of this name, great.

        pass

    else:

        # There is no longer a file of this name, but we can describe

        # what happened to the file that used to have

        # this name.  There are two possibilities: either it was

        # deleted entirely, or renamed.

        assert old_id

        if new_inv.has_id(old_id):

            return 'X', old_inv.id2path(old_id), new_inv.id2path(old_id)

        else:

            return 'D', old_inv.id2path(old_id), None

    # if the file_id is new in this revision, it is added

    if new_id and not old_inv.has_id(new_id):

        return 'A'

    # if there used to be a file of this name, but that ID has now

    # disappeared, it is deleted

    if old_id and not new_inv.has_id(old_id):

        return 'D'

    return 'wtf?'

def find_renames(old_inv, new_inv):

    for file_id in old_inv:

        if file_id not in new_inv:

            continue

        old_name = old_inv.id2path(file_id)

        new_name = new_inv.id2path(file_id)

        if old_name != new_name:

            yield (old_name, new_name)

def find_ids_across_trees(filenames, trees, require_versioned=True):

    """Find the ids corresponding to specified filenames.

    All matches in all trees will be used, and all children of matched

    directories will be used.

    :param filenames: The filenames to find file_ids for (if None, returns

        None)

    :param trees: The trees to find file_ids within

    :param require_versioned: if true, all specified filenames must occur in

    at least one tree.

    :return: a set of file ids for the specified filenames and their children.

    """

    if not filenames:

        return None

    specified_path_ids = _find_ids_across_trees(filenames, trees,

        require_versioned)

    return _find_children_across_trees(specified_path_ids, trees)

def _find_ids_across_trees(filenames, trees, require_versioned):

    """Find the ids corresponding to specified filenames.

    All matches in all trees will be used, but subdirectories are not scanned.

    :param filenames: The filenames to find file_ids for

    :param trees: The trees to find file_ids within

    :param require_versioned: if true, all specified filenames must occur in

        at least one tree.

    :return: a set of file ids for the specified filenames

    """

    not_versioned = []

    interesting_ids = set()

    for tree_path in filenames:

        not_found = True

        for tree in trees:

            file_id = tree.path2id(tree_path)

            if file_id is not None:

                interesting_ids.add(file_id)

                not_found = False

        if not_found:

            not_versioned.append(tree_path)

    if len(not_versioned) > 0 and require_versioned:

        raise errors.PathsNotVersionedError(not_versioned)

    return interesting_ids

def _find_children_across_trees(specified_ids, trees):

    """Return a set including specified ids and their children.

    All matches in all trees will be used.

    :param trees: The trees to find file_ids within

    :return: a set containing all specified ids and their children 

    """

    interesting_ids = set(specified_ids)

    pending = interesting_ids

    # now handle children of interesting ids

    # we loop so that we handle all children of each id in both trees

    while len(pending) > 0:

        new_pending = set()

        for file_id in pending:

            for tree in trees:

                if not tree.has_id(file_id):

                    continue

                entry = tree.inventory[file_id]

                for child in getattr(entry, 'children', {}).itervalues():

                    if child.file_id not in interesting_ids:

                        new_pending.add(child.file_id)

        interesting_ids.update(new_pending)

        pending = new_pending

    return interesting_ids

class InterTree(InterObject):

    """This class represents operations taking place between two Trees.

    Its instances have methods like 'compare' and contain references to the

    source and target trees these operations are to be carried out on.

    Clients of bzrlib should not need to use InterTree directly, rather they

    should use the convenience methods on Tree such as 'Tree.compare()' which

    will pass through to InterTree as appropriate.

    """

    _optimisers = []

    @needs_read_lock

    def compare(self, want_unchanged=False, specific_files=None,

        extra_trees=None, require_versioned=False, include_root=False,

        want_unversioned=False):

        """Return the changes from source to target.

        :return: A TreeDelta.

        :param specific_files: An optional list of file paths to restrict the

            comparison to. When mapping filenames to ids, all matches in all

            trees (including optional extra_trees) are used, and all children of

            matched directories are included.

        :param want_unchanged: An optional boolean requesting the inclusion of

            unchanged entries in the result.

        :param extra_trees: An optional list of additional trees to use when

            mapping the contents of specific_files (paths) to file_ids.

        :param require_versioned: An optional boolean (defaults to False). When

            supplied and True all the 'specific_files' must be versioned, or

            a PathsNotVersionedError will be thrown.

        :param want_unversioned: Scan for unversioned paths.

        """

        # NB: show_status depends on being able to pass in non-versioned files

        # and report them as unknown

        trees = (self.source,)

        if extra_trees is not None:

            trees = trees + tuple(extra_trees)

        # target is usually the newer tree:

        specific_file_ids = self.target.paths2ids(specific_files, trees,

            require_versioned=require_versioned)

        if specific_files and not specific_file_ids:

            # All files are unversioned, so just return an empty delta

            # _compare_trees would think we want a complete delta

            result = delta.TreeDelta()

            fake_entry = InventoryFile('unused', 'unused', 'unused')

            result.unversioned = [(path, None,

                self.target._comparison_data(fake_entry, path)[0]) for path in

                specific_files]

            return result

        return delta._compare_trees(self.source, self.target, want_unchanged,

            specific_files, include_root, extra_trees=extra_trees,

            require_versioned=require_versioned,

            want_unversioned=want_unversioned)

    def _iter_changes(self, include_unchanged=False,

                      specific_files=None, pb=None, extra_trees=[],

                      require_versioned=True, want_unversioned=False):

        """Generate an iterator of changes between trees.

        A tuple is returned:

        (file_id, (path_in_source, path_in_target),

         changed_content, versioned, parent, name, kind,

         executable)

        Changed_content is True if the file's content has changed.  This

        includes changes to its kind, and to a symlink's target.

        versioned, parent, name, kind, executable are tuples of (from, to).

        If a file is missing in a tree, its kind is None.

        Iteration is done in parent-to-child order, relative to the target

        tree.

        There is no guarantee that all paths are in sorted order: the

        requirement to expand the search due to renames may result in children

        that should be found early being found late in the search, after

        lexically later results have been returned.

        :param require_versioned: Raise errors.PathsNotVersionedError if a

            path in the specific_files list is not versioned in one of

            source, target or extra_trees.

        :param want_unversioned: Should unversioned files be returned in the

            output. An unversioned file is defined as one with (False, False)

            for the versioned pair.

        """

        result = []

        lookup_trees = [self.source]

        if extra_trees:

             lookup_trees.extend(extra_trees)

        if specific_files == []:

            specific_file_ids = []

        else:

            specific_file_ids = self.target.paths2ids(specific_files,

                lookup_trees, require_versioned=require_versioned)

        if want_unversioned:

            all_unversioned = sorted([(p.split('/'), p) for p in

                                     self.target.extras()

                if specific_files is None or

                    osutils.is_inside_any(specific_files, p)])

            all_unversioned = deque(all_unversioned)

        else:

            all_unversioned = deque()

        to_paths = {}

        from_entries_by_dir = list(self.source.inventory.iter_entries_by_dir(

            specific_file_ids=specific_file_ids))

        from_data = dict((e.file_id, (p, e)) for p, e in from_entries_by_dir)

        to_entries_by_dir = list(self.target.inventory.iter_entries_by_dir(

            specific_file_ids=specific_file_ids))

        num_entries = len(from_entries_by_dir) + len(to_entries_by_dir)

        entry_count = 0

        # the unversioned path lookup only occurs on real trees - where there 

        # can be extras. So the fake_entry is solely used to look up

        # executable it values when execute is not supported.

        fake_entry = InventoryFile('unused', 'unused', 'unused')

        for to_path, to_entry in to_entries_by_dir:

            while all_unversioned and all_unversioned[0][0] < to_path.split('/'):

                unversioned_path = all_unversioned.popleft()

                to_kind, to_executable, to_stat = \

                    self.target._comparison_data(fake_entry, unversioned_path[1])

                yield (None, (None, unversioned_path[1]), True, (False, False),

                    (None, None),

                    (None, unversioned_path[0][-1]),

                    (None, to_kind),

                    (None, to_executable))

            file_id = to_entry.file_id