Class ResultView

  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.

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


public ResultView(List<Sentence> results,
                  Formula query,
                  Action quitAction)
Initialize a new result view with the given results.

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