EMMA Coverage Report

EMMA Coverage Report (generated Sun Feb 05 10:43:15 CET 2012)
[all classes][de.uka.ipd.sdq.pcm.gmf.resource.editors]

COVERAGE SUMMARY FOR SOURCE FILE [XMLEditor.java]

name	class, %	method, %	block, %	line, %
XMLEditor.java	0% (0/1)	0% (0/2)	0% (0/26)	0% (0/8)

name	class, %	method, %	block, %	line, %

class XMLEditor	0% (0/1)	0% (0/2)	0% (0/26)	0% (0/8)
XMLEditor (): void		0% (0/1)	0% (0/20)	0% (0/5)
dispose (): void		0% (0/1)	0% (0/6)	0% (0/3)

1	package de.uka.ipd.sdq.pcm.gmf.resource.editors;
2
3	import org.eclipse.ui.editors.text.TextEditor;
4
5	public class XMLEditor extends TextEditor {
6
7	private ColorManager colorManager;
8
9	public XMLEditor() {
10	super();
11	colorManager = new ColorManager();
12	setSourceViewerConfiguration(new XMLConfiguration(colorManager));
13	setDocumentProvider(new XMLDocumentProvider());
14	}
15	public void dispose() {
16	colorManager.dispose();
17	super.dispose();
18	}
19
20	}