edu.utep.cs.et.gui
Class WorkingPane.TesterSourceCodeViewer

java.lang.Object
  edu.utep.cs.et.gui.AbstractSourceCodeViewer
      edu.utep.cs.et.gui.WorkingPane.TesterSourceCodeViewer

All Implemented Interfaces:

SourceCodeViewer

Enclosing class:

WorkingPane

private class WorkingPane.TesterSourceCodeViewer
extends AbstractSourceCodeViewer

Class to turn the JML editor into a source code viewer to be used by the tester to view the source code.

Field Summary

Fields inherited from class edu.utep.cs.et.gui.AbstractSourceCodeViewer

actionFactory, editor

Constructor Summary

WorkingPane.TesterSourceCodeViewer(ActionFactory af, Editor editor)
Creates a new instance.

Method Summary

protected File

locateFile(String file) Given a file name of Java or JML source code, locates its source code file.

Methods inherited from class edu.utep.cs.et.gui.AbstractSourceCodeViewer

getPasteAction, highlight, highlight

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WorkingPane.TesterSourceCodeViewer

public WorkingPane.TesterSourceCodeViewer(ActionFactory af,
                                          Editor editor)

Creates a new instance. The given editor is turned into a source code viewer.

Method Detail

locateFile

protected File locateFile(String file)

Given a file name of Java or JML source code, locates its source code file. It's not clear how this can be done correctly; perhaps, we should use CLASSPATH and the package information of the class being tested. Currently, we only searches the directory where the test class file resides.

Specified by:

locateFile in class AbstractSourceCodeViewer