001    /**
002     * Copyright (C) 2007, Jens Lehmann
003     *
004     * This file is part of DL-Learner.
005     * 
006     * DL-Learner is free software; you can redistribute it and/or modify
007     * it under the terms of the GNU General Public License as published by
008     * the Free Software Foundation; either version 3 of the License, or
009     * (at your option) any later version.
010     *
011     * DL-Learner is distributed in the hope that it will be useful,
012     * but WITHOUT ANY WARRANTY; without even the implied warranty of
013     * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
014     * GNU General Public License for more details.
015     *
016     * You should have received a copy of the GNU General Public License
017     * along with this program.  If not, see <http://www.gnu.org/licenses/>.
018     *
019     */
020    package org.dllearner.scripts;
021    
022    import java.io.File;
023    
024    import org.dllearner.core.ComponentManager;
025    
026    /**
027     * Collects information about all used configuration options and
028     * writes them into a file. This way the documentation is always
029     * in sync with the source code.
030     * 
031     * @author Jens Lehmann
032     *
033     */
034    public class ConfigDocumentationGenerator {
035    
036            /**
037             * @param args
038             */
039            public static void main(String[] args) {
040                    File file = new File("doc/configOptions.txt");
041                    ComponentManager cm = ComponentManager.getInstance();
042                    cm.writeConfigDocumentation(file);
043                    System.out.println("Done");
044            }
045    
046    }