001/* 002 * Copyright 2006 - 2013 003 * Stefan Balev <stefan.balev@graphstream-project.org> 004 * Julien Baudry <julien.baudry@graphstream-project.org> 005 * Antoine Dutot <antoine.dutot@graphstream-project.org> 006 * Yoann Pigné <yoann.pigne@graphstream-project.org> 007 * Guilhelm Savin <guilhelm.savin@graphstream-project.org> 008 * 009 * This file is part of GraphStream <http://graphstream-project.org>. 010 * 011 * GraphStream is a library whose purpose is to handle static or dynamic 012 * graph, create them from scratch, file or any source and display them. 013 * 014 * This program is free software distributed under the terms of two licenses, the 015 * CeCILL-C license that fits European law, and the GNU Lesser General Public 016 * License. You can use, modify and/ or redistribute the software under the terms 017 * of the CeCILL-C license as circulated by CEA, CNRS and INRIA at the following 018 * URL <http://www.cecill.info> or under the terms of the GNU LGPL as published by 019 * the Free Software Foundation, either version 3 of the License, or (at your 020 * option) any later version. 021 * 022 * This program is distributed in the hope that it will be useful, but WITHOUT ANY 023 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A 024 * PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. 025 * 026 * You should have received a copy of the GNU Lesser General Public License 027 * along with this program. If not, see <http://www.gnu.org/licenses/>. 028 * 029 * The fact that you are presently reading this means that you have had 030 * knowledge of the CeCILL-C and LGPL licenses and that you accept their terms. 031 */ 032package org.graphstream.stream.file; 033 034import java.io.Reader; 035 036import org.graphstream.stream.file.dot.DOTParser; 037import org.graphstream.util.parser.Parser; 038import org.graphstream.util.parser.ParserFactory; 039 040/** 041 * Graph reader for GraphViz "dot" files. 042 * 043 * In this format, edges have no identifier. By default an automatic identifier 044 * is added to each edge. You can add an identifier to an edge by adding an "id" 045 * attribute to the edge. For example : 046 * 047 * <pre> 048 * A -- B [ id=AB ]; 049 * </pre> 050 */ 051public class FileSourceDOT extends FileSourceParser { 052 /* 053 * (non-Javadoc) 054 * 055 * @see org.graphstream.stream.file.FileSourceParser#getNewFactory() 056 */ 057 public ParserFactory getNewParserFactory() { 058 return new ParserFactory() { 059 public Parser newParser(Reader reader) { 060 return new DOTParser(FileSourceDOT.this, reader); 061 } 062 }; 063 } 064}