de.uni_tuebingen.sfb.lichtenstein.UI
Class ResultView
java.lang.Object
de.uni_tuebingen.sfb.lichtenstein.UI.ResultView
public final class ResultView
- extends Object
A result view shows the results of a query in a separate window.
- Author:
- Hendrik Maryns
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ResultView
public ResultView(List<Sentence> results,
Formula query,
Action quitAction)
- Initialize a new result view with the given results.
- Parameters:
results
- The results.query
- The query this is the result for.quitAction
- The action which quits the program.
© Copyright 2008 Hendrik Maryns