Clover coverage report -

Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST

FRAMES NO FRAMES

file stats:	LOC:	48		Methods:	2
	NCLOC:	17		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

OPBReader2006.java

1		/*
2		* Created on 22 mars 2006
3		*
4		* To change the template for this generated file go to
5		* Window>Preferences>Java>Code Generation>Code and Comments
6		*/
7		package org.sat4j.reader;
8
9		import java.io.IOException;
10
11		import org.sat4j.specs.ISolver;
12
13		/**
14		* Reader complying to the PB06 input format.
15		*
16		* @author leberre
17		*
18		*/
19		public class OPBReader2006 extends OPBReader2005 {
20
21		/**
22		*
23		*/
24		private static final long serialVersionUID = 1L;
25
26	0	public OPBReader2006(ISolver solver) {
27	0	super(solver);
28		}
29
30		/**
31		* read a term into coeff and var
32		*
33		* @param coeff: the coefficient of the variable
34		* @param var: the indentifier we read
35		* @throws IOException
36		* @throws ParseException
37		*/
38	0	@Override
39		protected void readTerm(StringBuffer coeff, StringBuffer var)
40		throws IOException, ParseFormatException {
41	0	readInteger(coeff);
42
43	0	skipSpaces();
44
45	0	if (!readIdentifier(var))
46	0	throw new ParseFormatException("identifier expected");
47		}
48		}