FileSourceDOT.java

1
/*
2
 * Copyright 2006 - 2013
3
 *     Stefan Balev     <stefan.balev@graphstream-project.org>
4
 *     Julien Baudry    <julien.baudry@graphstream-project.org>
5
 *     Antoine Dutot    <antoine.dutot@graphstream-project.org>
6
 *     Yoann Pign��      <yoann.pigne@graphstream-project.org>
7
 *     Guilhelm Savin   <guilhelm.savin@graphstream-project.org>
8
 * 
9
 * This file is part of GraphStream <http://graphstream-project.org>.
10
 * 
11
 * GraphStream is a library whose purpose is to handle static or dynamic
12
 * graph, create them from scratch, file or any source and display them.
13
 * 
14
 * This program is free software distributed under the terms of two licenses, the
15
 * CeCILL-C license that fits European law, and the GNU Lesser General Public
16
 * License. You can  use, modify and/ or redistribute the software under the terms
17
 * of the CeCILL-C license as circulated by CEA, CNRS and INRIA at the following
18
 * URL <http://www.cecill.info> or under the terms of the GNU LGPL as published by
19
 * the Free Software Foundation, either version 3 of the License, or (at your
20
 * option) any later version.
21
 * 
22
 * This program is distributed in the hope that it will be useful, but WITHOUT ANY
23
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
24
 * PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more details.
25
 * 
26
 * You should have received a copy of the GNU Lesser General Public License
27
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
28
 * 
29
 * The fact that you are presently reading this means that you have had
30
 * knowledge of the CeCILL-C and LGPL licenses and that you accept their terms.
31
 */
32
package org.graphstream.stream.file;
33
34
import java.io.Reader;
35
36
import org.graphstream.stream.file.dot.DOTParser;
37
import org.graphstream.util.parser.Parser;
38
import org.graphstream.util.parser.ParserFactory;
39
40
/**
41
 * Graph reader for GraphViz "dot" files.
42
 * 
43
 * In this format, edges have no identifier. By default an automatic identifier
44
 * is added to each edge. You can add an identifier to an edge by adding an "id"
45
 * attribute to the edge. For example :
46
 * 
47
 * <pre>
48
 * A -- B [ id=AB ];
49
 * </pre>
50
 */
51
public class FileSourceDOT extends FileSourceParser {
52
	/*
53
	 * (non-Javadoc)
54
	 * 
55
	 * @see org.graphstream.stream.file.FileSourceParser#getNewFactory()
56
	 */
57
	public ParserFactory getNewParserFactory() {
58 1 1. getNewParserFactory : mutated return of Object value for org/graphstream/stream/file/FileSourceDOT::getNewParserFactory to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
		return new ParserFactory() {
59
			public Parser newParser(Reader reader) {
60 1 1. newParser : mutated return of Object value for org/graphstream/stream/file/FileSourceDOT$1::newParser to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
				return new DOTParser(FileSourceDOT.this, reader);
61
			}
62
		};
63
	}
64
}

Mutations

58

1.1
Location : getNewParserFactory
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceDOT::getNewParserFactory to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

60

1.1
Location : newParser
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceDOT$1::newParser to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

Active mutators

Tests examined


Report generated by PIT 0.33