EMMA Coverage Report (generated Fri Feb 14 08:28:31 UTC 2014)
[all classes][org.qedeq.kernel.bo.parser]

COVERAGE SUMMARY FOR SOURCE FILE [ParserException.java]

nameclass, %method, %block, %line, %
ParserException.java100% (1/1)50%  (1/2)70%  (7/10)75%  (3/4)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class ParserException100% (1/1)50%  (1/2)70%  (7/10)75%  (3/4)
getPosition (): long 0%   (0/1)0%   (0/3)0%   (0/1)
ParserException (long, String): void 100% (1/1)100% (7/7)100% (3/3)

1/* This file is part of the project "Hilbert II" - http://www.qedeq.org
2 *
3 * Copyright 2000-2014,  Michael Meyling <mime@qedeq.org>.
4 *
5 * "Hilbert II" is free software; you can redistribute
6 * it and/or modify it under the terms of the GNU General Public
7 * License as published by the Free Software Foundation; either
8 * version 2 of the License, or (at your option) any later version.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
14 */
15 
16package org.qedeq.kernel.bo.parser;
17 
18/**
19 * Base for parser exceptions.
20 *
21 * @author  Michael Meyling
22 */
23public abstract class ParserException extends Exception {
24 
25    /** Error position within input. */
26    private final long position;
27 
28    /**
29     * Constructor.
30     *
31     * @param   position    Error position within input.
32     * @param   message     Error message.
33     */
34    public ParserException(final long position, final String message) {
35        super(message);
36        this.position = position;
37    }
38 
39    /**
40     * Get error position.
41     *
42     * @return  Error position.
43     */
44    public final long getPosition() {
45        return position;
46    }
47 
48}

[all classes][org.qedeq.kernel.bo.parser]
EMMA 2.1.5320 (stable) (C) Vladimir Roubtsov