-
Notifications
You must be signed in to change notification settings - Fork 0
/
TestDraw.java
90 lines (70 loc) · 2.47 KB
/
TestDraw.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
/*
TestDraw class for Euclid 21 Program; draws and sets up windows for the program.
Copyright (C) 2014 Mary Boman
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
public class TestDraw extends JFrame
{
private static EuclidDisplay display;
private static EuclidGraph graph;
public TestDraw(EuclidGraph eGraph)
{
setBounds(200, 0, 1000, 700);
setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
display = new EuclidDisplay();
JScrollPane scroll = new JScrollPane(display);
scroll.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_NEVER);
add(scroll);
setVisible(true);
graph = eGraph;
for(int i = 0; i < graph.getGraph().size(); i++)
{
for(int j = 1; j < graph.getGraph().get(i).getProps().size(); j++)
{
graph.getProp(i, j).setDisplay(display);
}
for(int j = 1; j < graph.getGraph().get(i).getDefs().size(); j++)
{
graph.getDef(i, j).setDisplay(display);
}
}
new TestDraw();
}
public TestDraw()
{
setSize(200, 600);
setDefaultCloseOperation(WindowConstants.DO_NOTHING_ON_CLOSE);
DisplayChooser chooser = new DisplayChooser(display, graph);
JScrollPane scroll = new JScrollPane(chooser);
scroll.setHorizontalScrollBarPolicy(JScrollPane. HORIZONTAL_SCROLLBAR_NEVER);
add(scroll);
setTitle("Books");
setVisible(true);
}
public TestDraw(int bkNum)
{
setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
DisplayChooser chooser = new DisplayChooser(bkNum, this);
JScrollPane scroll = new JScrollPane(chooser);
scroll.setHorizontalScrollBarPolicy(JScrollPane. HORIZONTAL_SCROLLBAR_NEVER);
add(scroll);
setSize(scroll.getPreferredSize());
if(bkNum == 0)
setTitle("Axioms");
else
setTitle("Book " + bkNum);
setVisible(true);
}
}