[kernel] r9189 - people/waldi/dkt/lib/dkt/config

[Bastian Blank]

Author: waldi
Date: Tue Jul 24 21:35:45 2007
New Revision: 9189

Log:
lib/dkt/config/interfaces.py: Update.


Modified:
   people/waldi/dkt/lib/dkt/config/interfaces.py

Modified: people/waldi/dkt/lib/dkt/config/interfaces.py
==============================================================================
--- people/waldi/dkt/lib/dkt/config/interfaces.py	(original)
+++ people/waldi/dkt/lib/dkt/config/interfaces.py	Tue Jul 24 21:35:45 2007
@@ -1,11 +1,25 @@
 from dkt.interface import Interface
 
 class IConfig(Interface):
-    pass
+    def get(section, option):
+        pass
 
-class IImageConfig(IConfig):
-    pass
+    def iteroptions(section):
+        pass
 
-class IMutableImageConfig(IImageConfig):
-    pass
+    def itersections():
+        pass
+
+    def options(section):
+        pass
+
+    def sections():
+        pass
+
+class IMutableConfig(IConfig):
+    def pop(section, option):
+        pass
+
+    def set(section, option, value):
+        pass