blob: 2cd6cbcfc85aeb0e75d12e862b3e3f6d9d243661 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
/*******************************************************************************
* Copyright (c) 2009 Alena Laskavaia
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Alena Laskavaia - initial API and implementation
*******************************************************************************/
package org.eclipse.cdt.codan.core.test;
import java.io.File;
import java.io.IOException;
import org.eclipse.cdt.codan.core.CodanRuntime;
import org.eclipse.cdt.codan.core.model.IProblemReporter;
import org.eclipse.core.resources.IMarker;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.NullProgressMonitor;
/**
* @author Alena
*
*/
public class CheckerTestCase extends CodanTestCase {
private IMarker[] markers;
public void checkErrorLine(int i) {
checkErrorLine(currentFile, i);
}
/**
* @param i
* - line
*/
public void checkErrorLine(File file, int i) {
assertTrue(markers != null);
assertTrue(markers.length > 0);
boolean found = false;
for (int j = 0; j < markers.length; j++) {
IMarker m = markers[j];
Object line = null;
Object pos;
try {
line = m.getAttribute(IMarker.LINE_NUMBER);
if (line == null || line.equals(-1)) {
pos = m.getAttribute(IMarker.CHAR_START);
line = new Integer(pos2line(((Integer) pos).intValue()));
}
} catch (CoreException e) {
fail(e.getMessage());
} catch (IOException e) {
fail(e.getMessage());
}
String mfile = m.getResource().getName();
if (line.equals(i)) {
found = true;
if (file != null && !file.getName().equals(mfile)) found = false;
else break;
}
}
assertTrue("Error on line " + i + " not found ", found);
}
public void checkNoErrors() {
assertTrue("Found errors but should not", markers == null || markers.length == 0);
}
/**
*
*/
public void runOnProject() {
try {
indexFiles();
} catch (CoreException e) {
fail(e.getMessage());
}
runCodan();
}
public void loadCodeAndRun(String code) {
loadcode(code);
runCodan();
}
public void loadCodeAndRunCpp(String code) {
loadcode(code, true);
runCodan();
}
/**
*
*/
protected void runCodan() {
CodanRuntime.getInstance().getBuilder().processResource(cproject.getProject(), new NullProgressMonitor());
try {
markers = cproject.getProject().findMarkers(IProblemReporter.GENERIC_CODE_ANALYSIS_MARKER_TYPE, true, 1);
} catch (CoreException e) {
fail(e.getMessage());
}
}
}
|
