de.uni_tuebingen.sfb.lichtenstein.UI
Class ResultView

java.lang.Object
  extended by 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

Constructor Summary
ResultView(List<Sentence> results, Formula query, Action quitAction)
          Initialize a new result view with the given results.
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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   Creative Commons License