sota.gui.views
Class SourceView

java.lang.Object
  extended by org.eclipse.core.commands.common.EventManager
      extended by org.eclipse.ui.part.WorkbenchPart
          extended by org.eclipse.ui.part.ViewPart
              extended by sota.gui.views.SourceView
All Implemented Interfaces:
java.util.EventListener, org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.jface.util.IPropertyChangeListener, org.eclipse.ui.IPersistable, org.eclipse.ui.ISelectionListener, org.eclipse.ui.IViewPart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.IWorkbenchPart3, org.eclipse.ui.part.IWorkbenchPartOrientation, GuiUpdateListener, ProjectChangeListener

public class SourceView
extends org.eclipse.ui.part.ViewPart
implements org.eclipse.ui.ISelectionListener, ProjectChangeListener, GuiUpdateListener, org.eclipse.jface.util.IPropertyChangeListener

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

coveredLinesList

private java.util.ArrayList<java.lang.Integer> coveredLinesList

currFileSelection

private java.lang.Object currFileSelection

display

private org.eclipse.swt.widgets.Display display

fileDocument

private org.eclipse.jface.text.Document fileDocument

ID

public static java.lang.String ID

notCoveredLinesList

private java.util.ArrayList<java.lang.Integer> notCoveredLinesList

partitioner

private org.eclipse.jface.text.IDocumentPartitioner partitioner

sourceViewer

private org.eclipse.jface.text.source.SourceViewer sourceViewer
Constructor Detail

SourceView

public SourceView()
Method Detail

applyLineCoverage

private void applyLineCoverage(int startLine,
                               int endLine)
Appliziert Farben die Zeilen des Quellcodes, je nach Überdeckung.

Parameters:
startLine - der Beginn des zu verarbeitenden Segmentes
endLine - dessen Ende

buildFileDocument

public void buildFileDocument(FileNode fn)
Erstellt ein Document aus einem FileNode.

Parameters:
fn - der FileNode

createPartControl

public void createPartControl(org.eclipse.swt.widgets.Composite parent)
Specified by:
createPartControl in interface org.eclipse.ui.IWorkbenchPart
Specified by:
createPartControl in class org.eclipse.ui.part.WorkbenchPart

getCoveredLinesList

public java.util.ArrayList<java.lang.Integer> getCoveredLinesList()
Liefert die Liste der überdeckten Zeilen.

Returns:
die Liste der überdeckten Zeilen

getFileDocument

public org.eclipse.jface.text.Document getFileDocument()
Liefert das aktuelle Document

Returns:
das Document

getNotCoveredLinesList

public java.util.ArrayList<java.lang.Integer> getNotCoveredLinesList()
Liefert die Liste der nicht überdeckten Zeilen.

Returns:
die Liste der nicht überdeckten Zeilen

guiUpdate

public void guiUpdate(ASTManager ast)
Description copied from interface: GuiUpdateListener
Wird bei der GUI-Aktualisierung aufgerufen.

Specified by:
guiUpdate in interface GuiUpdateListener
Parameters:
ast - der aktuelle ASTManager

initializePartioner

public void initializePartioner()
Initialisiert den Partitioner neu, wenn das Projekt geändert wurde.


projectChanged

public void projectChanged(ASTManager ast)
Description copied from interface: ProjectChangeListener
Wird bei der Änderung des Projektes aufgerufen

Specified by:
projectChanged in interface ProjectChangeListener
Parameters:
ast - der aktuelle ASTManger

propertyChange

public void propertyChange(org.eclipse.jface.util.PropertyChangeEvent evt)
Specified by:
propertyChange in interface org.eclipse.jface.util.IPropertyChangeListener

selectionChanged

public void selectionChanged(org.eclipse.ui.IWorkbenchPart part,
                             org.eclipse.jface.viewers.ISelection selection)
Specified by:
selectionChanged in interface org.eclipse.ui.ISelectionListener

setFocus

public void setFocus()
Specified by:
setFocus in interface org.eclipse.ui.IWorkbenchPart
Specified by:
setFocus in class org.eclipse.ui.part.WorkbenchPart

showSource

public void showSource()
Zeigt den Quellcode erneut an.