|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.core.commands.common.EventManager
org.eclipse.ui.part.WorkbenchPart
org.eclipse.ui.part.ViewPart
sota.gui.views.SourceView
public class SourceView
Klasse für die Darstellung des Quellcodes in einer Ansicht.
Field Summary | |
---|---|
private java.util.ArrayList<java.lang.Integer> |
coveredLinesList
|
private java.lang.Object |
currFileSelection
|
private org.eclipse.swt.widgets.Display |
display
|
private org.eclipse.jface.text.Document |
fileDocument
|
static java.lang.String |
ID
|
private java.util.ArrayList<java.lang.Integer> |
notCoveredLinesList
|
private org.eclipse.jface.text.IDocumentPartitioner |
partitioner
|
private org.eclipse.jface.text.source.SourceViewer |
sourceViewer
|
Fields inherited from interface org.eclipse.ui.IWorkbenchPart |
---|
PROP_TITLE |
Constructor Summary | |
---|---|
SourceView()
|
Method Summary | |
---|---|
private void |
applyLineCoverage(int startLine,
int endLine)
Appliziert Farben die Zeilen des Quellcodes, je nach Überdeckung. |
void |
buildFileDocument(FileNode fn)
Erstellt ein Document aus einem FileNode. |
void |
createPartControl(org.eclipse.swt.widgets.Composite parent)
|
java.util.ArrayList<java.lang.Integer> |
getCoveredLinesList()
Liefert die Liste der überdeckten Zeilen. |
org.eclipse.jface.text.Document |
getFileDocument()
Liefert das aktuelle Document |
java.util.ArrayList<java.lang.Integer> |
getNotCoveredLinesList()
Liefert die Liste der nicht überdeckten Zeilen. |
void |
guiUpdate(ASTManager ast)
Wird bei der GUI-Aktualisierung aufgerufen. |
void |
initializePartioner()
Initialisiert den Partitioner neu, wenn das Projekt geändert wurde. |
void |
projectChanged(ASTManager ast)
Wird bei der Änderung des Projektes aufgerufen |
void |
propertyChange(org.eclipse.jface.util.PropertyChangeEvent evt)
|
void |
selectionChanged(org.eclipse.ui.IWorkbenchPart part,
org.eclipse.jface.viewers.ISelection selection)
|
void |
setFocus()
|
void |
showSource()
Zeigt den Quellcode erneut an. |
Methods inherited from class org.eclipse.ui.part.ViewPart |
---|
checkSite, getViewSite, init, init, saveState, setContentDescription, setInitializationData, setPartName |
Methods inherited from class org.eclipse.ui.part.WorkbenchPart |
---|
addPartPropertyListener, addPropertyListener, dispose, firePartPropertyChanged, firePropertyChange, getAdapter, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, getTitleToolTip, removePartPropertyListener, removePropertyListener, setPartProperty, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy |
Methods inherited from class org.eclipse.core.commands.common.EventManager |
---|
addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.eclipse.ui.IWorkbenchPart |
---|
addPropertyListener, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener |
Methods inherited from interface org.eclipse.core.runtime.IAdaptable |
---|
getAdapter |
Field Detail |
---|
private java.util.ArrayList<java.lang.Integer> coveredLinesList
private java.lang.Object currFileSelection
private org.eclipse.swt.widgets.Display display
private org.eclipse.jface.text.Document fileDocument
public static java.lang.String ID
private java.util.ArrayList<java.lang.Integer> notCoveredLinesList
private org.eclipse.jface.text.IDocumentPartitioner partitioner
private org.eclipse.jface.text.source.SourceViewer sourceViewer
Constructor Detail |
---|
public SourceView()
Method Detail |
---|
private void applyLineCoverage(int startLine, int endLine)
startLine
- der Beginn des zu verarbeitenden SegmentesendLine
- dessen Endepublic void buildFileDocument(FileNode fn)
fn
- der FileNodepublic void createPartControl(org.eclipse.swt.widgets.Composite parent)
createPartControl
in interface org.eclipse.ui.IWorkbenchPart
createPartControl
in class org.eclipse.ui.part.WorkbenchPart
public java.util.ArrayList<java.lang.Integer> getCoveredLinesList()
public org.eclipse.jface.text.Document getFileDocument()
public java.util.ArrayList<java.lang.Integer> getNotCoveredLinesList()
public void guiUpdate(ASTManager ast)
GuiUpdateListener
guiUpdate
in interface GuiUpdateListener
ast
- der aktuelle ASTManagerpublic void initializePartioner()
public void projectChanged(ASTManager ast)
ProjectChangeListener
projectChanged
in interface ProjectChangeListener
ast
- der aktuelle ASTMangerpublic void propertyChange(org.eclipse.jface.util.PropertyChangeEvent evt)
propertyChange
in interface org.eclipse.jface.util.IPropertyChangeListener
public void selectionChanged(org.eclipse.ui.IWorkbenchPart part, org.eclipse.jface.viewers.ISelection selection)
selectionChanged
in interface org.eclipse.ui.ISelectionListener
public void setFocus()
setFocus
in interface org.eclipse.ui.IWorkbenchPart
setFocus
in class org.eclipse.ui.part.WorkbenchPart
public void showSource()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |