| Clover coverage report - ATP library for Java - 3.6.4-stable-060214 |
|
 |
|
|||||||||||||||||||
| Source file | Conditionals | Statements | Methods | TOTAL | |||||||||||||||
| TypeMismatchMessage.java | - | 0% | 0% | 0% |
|
||||||||||||||
| 1 | /* | |
| 2 | * Copyright (c) 2001-2004, | |
| 3 | * RedVerst Group, ISP RAS http://www.ispras.ru | |
| 4 | * All rights reserved. | |
| 5 | * | |
| 6 | * Redistribution and use in source and binary forms, with or without | |
| 7 | * modification, are permitted provided that the following conditions are met: | |
| 8 | * | |
| 9 | * 1. Redistributions of source code must retain the above copyright notice, this | |
| 10 | * list of conditions and the following disclaimer. | |
| 11 | * | |
| 12 | * 2. Redistributions in binary form must reproduce the above copyright notice, | |
| 13 | * this list of conditions and the following disclaimer in the documentation | |
| 14 | * and/or other materials provided with the distribution. | |
| 15 | * | |
| 16 | * 3. The names "ATP", "TreeDL", "RedVerst", "ISP RAS" | |
| 17 | * may not be used to endorse or promote products derived from this software | |
| 18 | * without specific prior written permission. | |
| 19 | * | |
| 20 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND | |
| 21 | * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED | |
| 22 | * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE | |
| 23 | * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR | |
| 24 | * ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES | |
| 25 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; | |
| 26 | * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON | |
| 27 | * ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
| 28 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS | |
| 29 | * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
| 30 | */ | |
| 31 | ||
| 32 | package com.unitesk.atp.messages; | |
| 33 | ||
| 34 | import java.io.File; | |
| 35 | ||
| 36 | import com.unitesk.atp.text.location.Position; | |
| 37 | ||
| 38 | /** | |
| 39 | * Message notifying that expected type mismatched. | |
| 40 | * | |
| 41 | * @author <A href="mailto:demakov@ispras.ru">Alexey Demakov</A> | |
| 42 | * @version $Id: TypeMismatchMessage.java,v 1.2 2004/10/11 15:00:42 all-x Exp $ | |
| 43 | */ | |
| 44 | public class TypeMismatchMessage extends FilePositionMessage | |
| 45 | { | |
| 46 | /** | |
| 47 | * Constructs message. | |
| 48 | * | |
| 49 | * @param file message regards to this file | |
| 50 | * @param position message regards to this position in file | |
| 51 | * @param foundType found type | |
| 52 | * @param expectedType expected type | |
| 53 | */ | |
| 54 | 0 | public TypeMismatchMessage( File file |
| 55 | , Position position | |
| 56 | , String foundType | |
| 57 | , String expectedType | |
| 58 | ) | |
| 59 | { | |
| 60 | 0 | super( file, position ); |
| 61 | ||
| 62 | 0 | this.foundType = foundType; |
| 63 | 0 | this.expectedType = expectedType; |
| 64 | } | |
| 65 | ||
| 66 | /** | |
| 67 | * Returns found type. | |
| 68 | */ | |
| 69 | 0 | public String getFoundType() { return foundType; } |
| 70 | ||
| 71 | /** | |
| 72 | * Returns expected type. | |
| 73 | */ | |
| 74 | 0 | public String getExpectedType() { return expectedType; } |
| 75 | ||
| 76 | //-------------------------------------------------------------------------- | |
| 77 | // implementation | |
| 78 | ||
| 79 | private String foundType; | |
| 80 | private String expectedType; | |
| 81 | } |
|
||||||||||
