01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: // This file is part of KeY - Integrated Deductive Software Design
09: // Copyright (C) 2001-2004 Universitaet Karlsruhe, Germany
10: // Universitaet Koblenz-Landau, Germany
11: // Chalmers University of Technology, Sweden
12: //
13: // The KeY system is protected by the GNU General Public License.
14: // See LICENSE.TXT for details.
15: //
16: //
17:
18: package de.uka.ilkd.key.visualization;
19:
20: import java.util.HashSet;
21:
22: import de.uka.ilkd.key.java.Services;
23: import de.uka.ilkd.key.proof.Node;
24:
25: public class ProofVisualization {
26:
27: Node node;
28: VisualizationStrategy visualizationStrategy;
29: VisualizationModel visModel;
30:
31: public ProofVisualization(Node node, Services serv,
32: HashSet ignoreNodes, boolean ignoreAntec) {
33: this (node, null, serv, ignoreNodes, ignoreAntec);
34: }
35:
36: public ProofVisualization(Node node, Services serv) {
37: this (node, null, serv, new HashSet(), false);
38: }
39:
40: public ProofVisualization(Node node, VisualizationStrategy visStr,
41: Services serv, HashSet ignoreNodes, boolean ignoreAntec) {
42: if (visStr == null) {
43: visStr = new SimpleVisualizationStrategy(serv);
44: }
45: this .node = node;
46: visualizationStrategy = visStr;
47: visModel = ((SimpleVisualizationStrategy) visualizationStrategy)
48: .createVisualizationModel(node, ignoreNodes,
49: ignoreAntec);
50: }
51:
52: public VisualizationModel getVisualizationModel() {
53: return visModel;
54: }
55:
56: public Node getNode() {
57: return node;
58: }
59:
60: }
|