Index: /ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java
===================================================================
--- /ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java	(revision 229)
+++ /ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java	(revision 230)
@@ -21,6 +21,17 @@
  */
 public class Main {
-    
-	public static void extendModel(BufferedReader sourceDimacsFile, String constraint, File destinationDimacsFile)
+	/**
+     * Will extends the <tt>sourceDimacsBufferedReader</tt> with the given <tt>constraint</tt> and save the extended file to
+     * <tt>destinationDimacsFile</tt>.
+     * @param sourceDimacsFile The translated KConfig model in dimacs format. Must not be <tt>null</tt>.
+     * @param constraint The constraint to append to the already existing model.
+     * @param destinationDimacsFile The destination of the extended model. The path must exist.
+     * @throws FileNotFoundException If the <tt>sourceDimacsFile</tt> was not found or could not be read.
+     * @throws IOException If reading the <tt>sourceDimacsFile</tt> throws an {@link IOException}
+     * or if writing the <tt>destinationDimacsFile</tt> throws an {@link IOException} 
+     * @throws MalformedFileException If the <tt>sourceDimacsFile</tt> is not correctly formatted.
+     * @throws ConstraintParserException If the constraint is not correctly formatted.
+     */
+	public static void extendModel(BufferedReader sourceDimacsBufferedReader, String constraint, File destinationDimacsFile)
 	        throws FileNotFoundException, IOException, MalformedFileException, ConstraintParserException {
 	        
@@ -29,5 +40,5 @@
 	        Project model = null;
 	        try {
-	            reader = new DimacsReader(sourceDimacsFile);
+	            reader = new DimacsReader(sourceDimacsBufferedReader);
 	            model = reader.getModel();
 	        } finally {
Index: /ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java
===================================================================
--- /ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java	(revision 229)
+++ /ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java	(revision 230)
@@ -68,4 +68,8 @@
     }
     
+    /**
+     * 
+     * @param br the bufferedreader to read the model from
+     */
     public DimacsReader(BufferedReader br) {
 		in = br;