| Index: chrome/common/extensions/docs/server2/file_system.py
|
| diff --git a/chrome/common/extensions/docs/server2/file_system.py b/chrome/common/extensions/docs/server2/file_system.py
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..af8c5018459a14909aa963223a9a3cf1667f20f5
|
| --- /dev/null
|
| +++ b/chrome/common/extensions/docs/server2/file_system.py
|
| @@ -0,0 +1,25 @@
|
| +# Copyright (c) 2012 The Chromium Authors. All rights reserved.
|
| +# Use of this source code is governed by a BSD-style license that can be
|
| +# found in the LICENSE file.
|
| +
|
| +class FileSystem(object):
|
| + """A FileSystem interface that can read files and directories.
|
| + """
|
| + class StatInfo(object):
|
| + """The result of calling Stat on a FileSystem.
|
| + """
|
| + def __init__(self, version):
|
| + self.version = version
|
| +
|
| + def Read(self, paths):
|
| + """Reads each file in paths and returns a dictionary mapping the path to the
|
| + contents. If a path in paths ends with a '/', it is assumed to be a
|
| + directory, and a list of files in the directory is mapped to the path.
|
| + """
|
| + raise NotImplementedError()
|
| +
|
| + def Stat(self, path):
|
| + """Gets the version number of |path| if it is a directory, or the parent
|
| + directory if it is a file.
|
| + """
|
| + raise NotImplementedError()
|
|
|