Xcuello 5 years ago
parent
commit
9958e90885

+ 4
- 1
TicketMachine.java View File

@@ -9,7 +9,7 @@
9 9
  * @author David J. Barnes and Michael Kolling
10 10
  * @version 2008.03.30
11 11
  */
12
-public class TicketMachine
12
+class TicketMachine
13 13
 {
14 14
     // The price of a ticket from this machine.
15 15
     private int price;
@@ -35,6 +35,7 @@ public class TicketMachine
35 35
      */
36 36
     public int getPrice()
37 37
     {
38
+
38 39
         return price;
39 40
     }
40 41
 
@@ -44,6 +45,7 @@ public class TicketMachine
44 45
      */
45 46
     public int getBalance()
46 47
     {
48
+
47 49
         return balance;
48 50
     }
49 51
 
@@ -52,6 +54,7 @@ public class TicketMachine
52 54
      */
53 55
     public void insertMoney(int amount)
54 56
     {
57
+
55 58
         balance = balance + amount;
56 59
     }
57 60
 

+ 6
- 6
bluej.pkg View File

@@ -1,16 +1,16 @@
1 1
 #BlueJ package file
2
-editor.fx.0.height=722
2
+editor.fx.0.height=707
3 3
 editor.fx.0.width=800
4
-editor.fx.0.x=709
5
-editor.fx.0.y=113
4
+editor.fx.0.x=240
5
+editor.fx.0.y=23
6 6
 objectbench.height=101
7
-objectbench.width=461
7
+objectbench.width=776
8 8
 package.divider.horizontal=0.6
9 9
 package.divider.vertical=0.8007380073800738
10 10
 package.editor.height=427
11 11
 package.editor.width=674
12
-package.editor.x=1067
13
-package.editor.y=119
12
+package.editor.x=348
13
+package.editor.y=127
14 14
 package.frame.height=600
15 15
 package.frame.width=800
16 16
 package.numDependencies=0

+ 219
- 0
doc/TicketMachine.html View File

@@ -0,0 +1,219 @@
1
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
2
+<!-- NewPage -->
3
+<html lang="en">
4
+<head>
5
+<!-- Generated by javadoc (1.8.0_181) on Tue Oct 16 16:30:09 EDT 2018 -->
6
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
7
+<title>TicketMachine</title>
8
+<meta name="date" content="2018-10-16">
9
+<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10
+<script type="text/javascript" src="script.js"></script>
11
+</head>
12
+<body>
13
+<script type="text/javascript"><!--
14
+    try {
15
+        if (location.href.indexOf('is-external=true') == -1) {
16
+            parent.document.title="TicketMachine";
17
+        }
18
+    }
19
+    catch(err) {
20
+    }
21
+//-->
22
+var methods = {"i0":10,"i1":10,"i2":10,"i3":10};
23
+var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
24
+var altColor = "altColor";
25
+var rowColor = "rowColor";
26
+var tableTab = "tableTab";
27
+var activeTableTab = "activeTableTab";
28
+</script>
29
+<noscript>
30
+<div>JavaScript is disabled on your browser.</div>
31
+</noscript>
32
+<!-- ======== START OF CLASS DATA ======== -->
33
+<div class="header">
34
+<h2 title="Class TicketMachine" class="title">Class TicketMachine</h2>
35
+</div>
36
+<div class="contentContainer">
37
+<ul class="inheritance">
38
+<li>java.lang.Object</li>
39
+<li>
40
+<ul class="inheritance">
41
+<li>TicketMachine</li>
42
+</ul>
43
+</li>
44
+</ul>
45
+<div class="description">
46
+<ul class="blockList">
47
+<li class="blockList">
48
+<hr>
49
+<br>
50
+<pre>public class <span class="typeNameLabel">TicketMachine</span>
51
+extends java.lang.Object</pre>
52
+<div class="block">TicketMachine models a naive ticket machine that issues
53
+ flat-fare tickets.
54
+ The price of a ticket is specified via the constructor.
55
+ It is a naive machine in the sense that it trusts its users
56
+ to insert enough money before trying to print a ticket.
57
+ It also assumes that users enter sensible amounts.</div>
58
+<dl>
59
+<dt><span class="simpleTagLabel">Version:</span></dt>
60
+<dd>2008.03.30</dd>
61
+<dt><span class="simpleTagLabel">Author:</span></dt>
62
+<dd>David J. Barnes and Michael Kolling</dd>
63
+</dl>
64
+</li>
65
+</ul>
66
+</div>
67
+<div class="summary">
68
+<ul class="blockList">
69
+<li class="blockList">
70
+<!-- ======== CONSTRUCTOR SUMMARY ======== -->
71
+<ul class="blockList">
72
+<li class="blockList"><a name="constructor.summary">
73
+<!--   -->
74
+</a>
75
+<h3>Constructor Summary</h3>
76
+<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
77
+<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
78
+<tr>
79
+<th class="colOne" scope="col">Constructor and Description</th>
80
+</tr>
81
+<tr class="altColor">
82
+<td class="colOne"><code><span class="memberNameLink"><a href="TicketMachine.html#TicketMachine-int-">TicketMachine</a></span>(int&nbsp;ticketCost)</code>
83
+<div class="block">Create a machine that issues tickets of the given price.</div>
84
+</td>
85
+</tr>
86
+</table>
87
+</li>
88
+</ul>
89
+<!-- ========== METHOD SUMMARY =========== -->
90
+<ul class="blockList">
91
+<li class="blockList"><a name="method.summary">
92
+<!--   -->
93
+</a>
94
+<h3>Method Summary</h3>
95
+<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
96
+<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
97
+<tr>
98
+<th class="colFirst" scope="col">Modifier and Type</th>
99
+<th class="colLast" scope="col">Method and Description</th>
100
+</tr>
101
+<tr id="i0" class="altColor">
102
+<td class="colFirst"><code>int</code></td>
103
+<td class="colLast"><code><span class="memberNameLink"><a href="TicketMachine.html#getBalance--">getBalance</a></span>()</code>
104
+<div class="block">Return the amount of money already inserted for the
105
+ next ticket.</div>
106
+</td>
107
+</tr>
108
+<tr id="i1" class="rowColor">
109
+<td class="colFirst"><code>int</code></td>
110
+<td class="colLast"><code><span class="memberNameLink"><a href="TicketMachine.html#getPrice--">getPrice</a></span>()</code>
111
+<div class="block">Return the price of a ticket.</div>
112
+</td>
113
+</tr>
114
+<tr id="i2" class="altColor">
115
+<td class="colFirst"><code>void</code></td>
116
+<td class="colLast"><code><span class="memberNameLink"><a href="TicketMachine.html#insertMoney-int-">insertMoney</a></span>(int&nbsp;amount)</code>
117
+<div class="block">Receive an amount of money in cents from a customer.</div>
118
+</td>
119
+</tr>
120
+<tr id="i3" class="rowColor">
121
+<td class="colFirst"><code>void</code></td>
122
+<td class="colLast"><code><span class="memberNameLink"><a href="TicketMachine.html#printTicket--">printTicket</a></span>()</code>
123
+<div class="block">Print a ticket.</div>
124
+</td>
125
+</tr>
126
+</table>
127
+<ul class="blockList">
128
+<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
129
+<!--   -->
130
+</a>
131
+<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
132
+<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
133
+</ul>
134
+</li>
135
+</ul>
136
+</li>
137
+</ul>
138
+</div>
139
+<div class="details">
140
+<ul class="blockList">
141
+<li class="blockList">
142
+<!-- ========= CONSTRUCTOR DETAIL ======== -->
143
+<ul class="blockList">
144
+<li class="blockList"><a name="constructor.detail">
145
+<!--   -->
146
+</a>
147
+<h3>Constructor Detail</h3>
148
+<a name="TicketMachine-int-">
149
+<!--   -->
150
+</a>
151
+<ul class="blockListLast">
152
+<li class="blockList">
153
+<h4>TicketMachine</h4>
154
+<pre>public&nbsp;TicketMachine(int&nbsp;ticketCost)</pre>
155
+<div class="block">Create a machine that issues tickets of the given price.
156
+ Note that the price must be greater than zero, and there
157
+ are no checks to ensure this.</div>
158
+</li>
159
+</ul>
160
+</li>
161
+</ul>
162
+<!-- ============ METHOD DETAIL ========== -->
163
+<ul class="blockList">
164
+<li class="blockList"><a name="method.detail">
165
+<!--   -->
166
+</a>
167
+<h3>Method Detail</h3>
168
+<a name="getBalance--">
169
+<!--   -->
170
+</a>
171
+<ul class="blockList">
172
+<li class="blockList">
173
+<h4>getBalance</h4>
174
+<pre>public&nbsp;int&nbsp;getBalance()</pre>
175
+<div class="block">Return the amount of money already inserted for the
176
+ next ticket.</div>
177
+</li>
178
+</ul>
179
+<a name="getPrice--">
180
+<!--   -->
181
+</a>
182
+<ul class="blockList">
183
+<li class="blockList">
184
+<h4>getPrice</h4>
185
+<pre>public&nbsp;int&nbsp;getPrice()</pre>
186
+<div class="block">Return the price of a ticket.</div>
187
+</li>
188
+</ul>
189
+<a name="insertMoney-int-">
190
+<!--   -->
191
+</a>
192
+<ul class="blockList">
193
+<li class="blockList">
194
+<h4>insertMoney</h4>
195
+<pre>public&nbsp;void&nbsp;insertMoney(int&nbsp;amount)</pre>
196
+<div class="block">Receive an amount of money in cents from a customer.</div>
197
+</li>
198
+</ul>
199
+<a name="printTicket--">
200
+<!--   -->
201
+</a>
202
+<ul class="blockListLast">
203
+<li class="blockList">
204
+<h4>printTicket</h4>
205
+<pre>public&nbsp;void&nbsp;printTicket()</pre>
206
+<div class="block">Print a ticket.
207
+ Update the total collected and
208
+ reduce the balance to zero.</div>
209
+</li>
210
+</ul>
211
+</li>
212
+</ul>
213
+</li>
214
+</ul>
215
+</div>
216
+</div>
217
+<!-- ========= END OF CLASS DATA ========= -->
218
+</body>
219
+</html>

+ 20
- 0
doc/allclasses-frame.html View File

@@ -0,0 +1,20 @@
1
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
2
+<!-- NewPage -->
3
+<html lang="en">
4
+<head>
5
+<!-- Generated by javadoc (1.8.0_181) on Tue Oct 16 16:30:09 EDT 2018 -->
6
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
7
+<title>All Classes</title>
8
+<meta name="date" content="2018-10-16">
9
+<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10
+<script type="text/javascript" src="script.js"></script>
11
+</head>
12
+<body>
13
+<h1 class="bar">All&nbsp;Classes</h1>
14
+<div class="indexContainer">
15
+<ul>
16
+<li><a href="TicketMachine.html" title="class in &lt;Unnamed&gt;" target="classFrame">TicketMachine</a></li>
17
+</ul>
18
+</div>
19
+</body>
20
+</html>

+ 20
- 0
doc/allclasses-noframe.html View File

@@ -0,0 +1,20 @@
1
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
2
+<!-- NewPage -->
3
+<html lang="en">
4
+<head>
5
+<!-- Generated by javadoc (1.8.0_181) on Tue Oct 16 16:30:09 EDT 2018 -->
6
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
7
+<title>All Classes</title>
8
+<meta name="date" content="2018-10-16">
9
+<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10
+<script type="text/javascript" src="script.js"></script>
11
+</head>
12
+<body>
13
+<h1 class="bar">All&nbsp;Classes</h1>
14
+<div class="indexContainer">
15
+<ul>
16
+<li><a href="TicketMachine.html" title="class in &lt;Unnamed&gt;">TicketMachine</a></li>
17
+</ul>
18
+</div>
19
+</body>
20
+</html>

+ 31
- 0
doc/constant-values.html View File

@@ -0,0 +1,31 @@
1
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
2
+<!-- NewPage -->
3
+<html lang="en">
4
+<head>
5
+<!-- Generated by javadoc (1.8.0_181) on Tue Oct 16 16:30:09 EDT 2018 -->
6
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
7
+<title>Constant Field Values</title>
8
+<meta name="date" content="2018-10-16">
9
+<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10
+<script type="text/javascript" src="script.js"></script>
11
+</head>
12
+<body>
13
+<script type="text/javascript"><!--
14
+    try {
15
+        if (location.href.indexOf('is-external=true') == -1) {
16
+            parent.document.title="Constant Field Values";
17
+        }
18
+    }
19
+    catch(err) {
20
+    }
21
+//-->
22
+</script>
23
+<noscript>
24
+<div>JavaScript is disabled on your browser.</div>
25
+</noscript>
26
+<div class="header">
27
+<h1 title="Constant Field Values" class="title">Constant Field Values</h1>
28
+<h2 title="Contents">Contents</h2>
29
+</div>
30
+</body>
31
+</html>

+ 73
- 0
doc/index.html View File

@@ -0,0 +1,73 @@
1
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
2
+<!-- NewPage -->
3
+<html lang="en">
4
+<head>
5
+<!-- Generated by javadoc (1.8.0_181) on Tue Oct 16 16:30:09 EDT 2018 -->
6
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
7
+<title>Generated Documentation (Untitled)</title>
8
+<script type="text/javascript">
9
+    tmpTargetPage = "" + window.location.search;
10
+    if (tmpTargetPage != "" && tmpTargetPage != "undefined")
11
+        tmpTargetPage = tmpTargetPage.substring(1);
12
+    if (tmpTargetPage.indexOf(":") != -1 || (tmpTargetPage != "" && !validURL(tmpTargetPage)))
13
+        tmpTargetPage = "undefined";
14
+    targetPage = tmpTargetPage;
15
+    function validURL(url) {
16
+        try {
17
+            url = decodeURIComponent(url);
18
+        }
19
+        catch (error) {
20
+            return false;
21
+        }
22
+        var pos = url.indexOf(".html");
23
+        if (pos == -1 || pos != url.length - 5)
24
+            return false;
25
+        var allowNumber = false;
26
+        var allowSep = false;
27
+        var seenDot = false;
28
+        for (var i = 0; i < url.length - 5; i++) {
29
+            var ch = url.charAt(i);
30
+            if ('a' <= ch && ch <= 'z' ||
31
+                    'A' <= ch && ch <= 'Z' ||
32
+                    ch == '$' ||
33
+                    ch == '_' ||
34
+                    ch.charCodeAt(0) > 127) {
35
+                allowNumber = true;
36
+                allowSep = true;
37
+            } else if ('0' <= ch && ch <= '9'
38
+                    || ch == '-') {
39
+                if (!allowNumber)
40
+                     return false;
41
+            } else if (ch == '/' || ch == '.') {
42
+                if (!allowSep)
43
+                    return false;
44
+                allowNumber = false;
45
+                allowSep = false;
46
+                if (ch == '.')
47
+                     seenDot = true;
48
+                if (ch == '/' && seenDot)
49
+                     return false;
50
+            } else {
51
+                return false;
52
+            }
53
+        }
54
+        return true;
55
+    }
56
+    function loadFrames() {
57
+        if (targetPage != "" && targetPage != "undefined")
58
+             top.classFrame.location = top.targetPage;
59
+    }
60
+</script>
61
+</head>
62
+<frameset cols="20%,80%" title="Documentation frame" onload="top.loadFrames()">
63
+<frame src="allclasses-frame.html" name="packageFrame" title="All classes and interfaces (except non-static nested types)">
64
+<frame src="TicketMachine.html" name="classFrame" title="Package, class and interface descriptions" scrolling="yes">
65
+<noframes>
66
+<noscript>
67
+<div>JavaScript is disabled on your browser.</div>
68
+</noscript>
69
+<h2>Frame Alert</h2>
70
+<p>This document is designed to be viewed using the frames feature. If you see this message, you are using a non-frame-capable web client. Link to <a href="TicketMachine.html">Non-frame version</a>.</p>
71
+</noframes>
72
+</frameset>
73
+</html>

+ 37
- 0
doc/logfile.txt View File

@@ -0,0 +1,37 @@
1
+Class documentation
2
+<---- javadoc command: ---->
3
+/private/var/folders/0s/xqxth1dj7xz6bgby005nnky80000gp/T/AppTranslocation/A3BC856D-ED86-49B2-9F57-767696315F2D/d/BlueJ.app/Contents/JDK/Home/bin/javadoc
4
+-author
5
+-version
6
+-nodeprecated
7
+-package
8
+-Xdoclint:none
9
+-noindex
10
+-notree
11
+-nohelp
12
+-nonavbar
13
+-source
14
+1.8
15
+-classpath
16
+/private/var/folders/0s/xqxth1dj7xz6bgby005nnky80000gp/T/AppTranslocation/A3BC856D-ED86-49B2-9F57-767696315F2D/d/BlueJ.app/Contents/Resources/Java/bluejcore.jar:/private/var/folders/0s/xqxth1dj7xz6bgby005nnky80000gp/T/AppTranslocation/A3BC856D-ED86-49B2-9F57-767696315F2D/d/BlueJ.app/Contents/Resources/Java/junit-4.11.jar:/private/var/folders/0s/xqxth1dj7xz6bgby005nnky80000gp/T/AppTranslocation/A3BC856D-ED86-49B2-9F57-767696315F2D/d/BlueJ.app/Contents/Resources/Java/hamcrest-core-1.3.jar:/private/var/folders/0s/xqxth1dj7xz6bgby005nnky80000gp/T/AppTranslocation/A3BC856D-ED86-49B2-9F57-767696315F2D/d/BlueJ.app/Contents/Resources/Java/lang-stride.jar:/private/var/folders/0s/xqxth1dj7xz6bgby005nnky80000gp/T/AppTranslocation/A3BC856D-ED86-49B2-9F57-767696315F2D/d/BlueJ.app/Contents/Resources/Java/userlib/pi4j-core.jar:/private/var/folders/0s/xqxth1dj7xz6bgby005nnky80000gp/T/AppTranslocation/A3BC856D-ED86-49B2-9F57-767696315F2D/d/BlueJ.app/Contents/Resources/Java/userlib/pi4j-gpio-extension.jar:/private/var/folders/0s/xqxth1dj7xz6bgby005nnky80000gp/T/AppTranslocation/A3BC856D-ED86-49B2-9F57-767696315F2D/d/BlueJ.app/Contents/Resources/Java/userlib/pi4j-service.jar:/private/var/folders/0s/xqxth1dj7xz6bgby005nnky80000gp/T/AppTranslocation/A3BC856D-ED86-49B2-9F57-767696315F2D/d/BlueJ.app/Contents/Resources/Java/userlib/pi4j-device.jar:/Users/xzaviacuello/Labs/NaiveTicket
17
+-d
18
+/Users/xzaviacuello/Labs/NaiveTicket/doc
19
+-encoding
20
+UTF-8
21
+-charset
22
+UTF-8
23
+/Users/xzaviacuello/Labs/NaiveTicket/TicketMachine.java
24
+<---- end of javadoc command ---->
25
+Loading source file /Users/xzaviacuello/Labs/NaiveTicket/TicketMachine.java...
26
+Constructing Javadoc information...
27
+Standard Doclet version 1.8.0_181
28
+Building tree for all the packages and classes...
29
+Generating /Users/xzaviacuello/Labs/NaiveTicket/doc/TicketMachine.html...
30
+Generating /Users/xzaviacuello/Labs/NaiveTicket/doc/package-frame.html...
31
+Generating /Users/xzaviacuello/Labs/NaiveTicket/doc/package-summary.html...
32
+Generating /Users/xzaviacuello/Labs/NaiveTicket/doc/constant-values.html...
33
+Building index for all the packages and classes...
34
+Building index for all classes...
35
+Generating /Users/xzaviacuello/Labs/NaiveTicket/doc/allclasses-frame.html...
36
+Generating /Users/xzaviacuello/Labs/NaiveTicket/doc/allclasses-noframe.html...
37
+Generating /Users/xzaviacuello/Labs/NaiveTicket/doc/index.html...

+ 21
- 0
doc/package-frame.html View File

@@ -0,0 +1,21 @@
1
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
2
+<!-- NewPage -->
3
+<html lang="en">
4
+<head>
5
+<!-- Generated by javadoc (1.8.0_181) on Tue Oct 16 16:30:09 EDT 2018 -->
6
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
7
+<title>&lt;Unnamed&gt;</title>
8
+<meta name="date" content="2018-10-16">
9
+<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10
+<script type="text/javascript" src="script.js"></script>
11
+</head>
12
+<body>
13
+<h1 class="bar"><a href="package-summary.html" target="classFrame">&lt;Unnamed&gt;</a></h1>
14
+<div class="indexContainer">
15
+<h2 title="Classes">Classes</h2>
16
+<ul title="Classes">
17
+<li><a href="TicketMachine.html" title="class in &lt;Unnamed&gt;" target="classFrame">TicketMachine</a></li>
18
+</ul>
19
+</div>
20
+</body>
21
+</html>

+ 1
- 0
doc/package-list View File

@@ -0,0 +1 @@
1
+

+ 41
- 0
doc/package-summary.html View File

@@ -0,0 +1,41 @@
1
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
2
+<!-- NewPage -->
3
+<html lang="en">
4
+<head>
5
+<!-- Generated by javadoc (1.8.0_181) on Tue Oct 16 16:30:09 EDT 2018 -->
6
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
7
+<meta name="date" content="2018-10-16">
8
+<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
9
+<script type="text/javascript" src="script.js"></script>
10
+</head>
11
+<body>
12
+<noscript>
13
+<div>JavaScript is disabled on your browser.</div>
14
+</noscript>
15
+<div class="header">
16
+<h1 title="Package" class="title">Package&nbsp;&lt;Unnamed&gt;</h1>
17
+</div>
18
+<div class="contentContainer">
19
+<ul class="blockList">
20
+<li class="blockList">
21
+<table class="typeSummary" border="0" cellpadding="3" cellspacing="0" summary="Class Summary table, listing classes, and an explanation">
22
+<caption><span>Class Summary</span><span class="tabEnd">&nbsp;</span></caption>
23
+<tr>
24
+<th class="colFirst" scope="col">Class</th>
25
+<th class="colLast" scope="col">Description</th>
26
+</tr>
27
+<tbody>
28
+<tr class="altColor">
29
+<td class="colFirst"><a href="TicketMachine.html" title="class in &lt;Unnamed&gt;">TicketMachine</a></td>
30
+<td class="colLast">
31
+<div class="block">TicketMachine models a naive ticket machine that issues
32
+ flat-fare tickets.</div>
33
+</td>
34
+</tr>
35
+</tbody>
36
+</table>
37
+</li>
38
+</ul>
39
+</div>
40
+</body>
41
+</html>

+ 30
- 0
doc/script.js View File

@@ -0,0 +1,30 @@
1
+function show(type)
2
+{
3
+    count = 0;
4
+    for (var key in methods) {
5
+        var row = document.getElementById(key);
6
+        if ((methods[key] &  type) != 0) {
7
+            row.style.display = '';
8
+            row.className = (count++ % 2) ? rowColor : altColor;
9
+        }
10
+        else
11
+            row.style.display = 'none';
12
+    }
13
+    updateTabs(type);
14
+}
15
+
16
+function updateTabs(type)
17
+{
18
+    for (var value in tabs) {
19
+        var sNode = document.getElementById(tabs[value][0]);
20
+        var spanNode = sNode.firstChild;
21
+        if (value == type) {
22
+            sNode.className = activeTableTab;
23
+            spanNode.innerHTML = tabs[value][1];
24
+        }
25
+        else {
26
+            sNode.className = tableTab;
27
+            spanNode.innerHTML = "<a href=\"javascript:show("+ value + ");\">" + tabs[value][1] + "</a>";
28
+        }
29
+    }
30
+}

+ 574
- 0
doc/stylesheet.css View File

@@ -0,0 +1,574 @@
1
+/* Javadoc style sheet */
2
+/*
3
+Overall document style
4
+*/
5
+
6
+@import url('resources/fonts/dejavu.css');
7
+
8
+body {
9
+    background-color:#ffffff;
10
+    color:#353833;
11
+    font-family:'DejaVu Sans', Arial, Helvetica, sans-serif;
12
+    font-size:14px;
13
+    margin:0;
14
+}
15
+a:link, a:visited {
16
+    text-decoration:none;
17
+    color:#4A6782;
18
+}
19
+a:hover, a:focus {
20
+    text-decoration:none;
21
+    color:#bb7a2a;
22
+}
23
+a:active {
24
+    text-decoration:none;
25
+    color:#4A6782;
26
+}
27
+a[name] {
28
+    color:#353833;
29
+}
30
+a[name]:hover {
31
+    text-decoration:none;
32
+    color:#353833;
33
+}
34
+pre {
35
+    font-family:'DejaVu Sans Mono', monospace;
36
+    font-size:14px;
37
+}
38
+h1 {
39
+    font-size:20px;
40
+}
41
+h2 {
42
+    font-size:18px;
43
+}
44
+h3 {
45
+    font-size:16px;
46
+    font-style:italic;
47
+}
48
+h4 {
49
+    font-size:13px;
50
+}
51
+h5 {
52
+    font-size:12px;
53
+}
54
+h6 {
55
+    font-size:11px;
56
+}
57
+ul {
58
+    list-style-type:disc;
59
+}
60
+code, tt {
61
+    font-family:'DejaVu Sans Mono', monospace;
62
+    font-size:14px;
63
+    padding-top:4px;
64
+    margin-top:8px;
65
+    line-height:1.4em;
66
+}
67
+dt code {
68
+    font-family:'DejaVu Sans Mono', monospace;
69
+    font-size:14px;
70
+    padding-top:4px;
71
+}
72
+table tr td dt code {
73
+    font-family:'DejaVu Sans Mono', monospace;
74
+    font-size:14px;
75
+    vertical-align:top;
76
+    padding-top:4px;
77
+}
78
+sup {
79
+    font-size:8px;
80
+}
81
+/*
82
+Document title and Copyright styles
83
+*/
84
+.clear {
85
+    clear:both;
86
+    height:0px;
87
+    overflow:hidden;
88
+}
89
+.aboutLanguage {
90
+    float:right;
91
+    padding:0px 21px;
92
+    font-size:11px;
93
+    z-index:200;
94
+    margin-top:-9px;
95
+}
96
+.legalCopy {
97
+    margin-left:.5em;
98
+}
99
+.bar a, .bar a:link, .bar a:visited, .bar a:active {
100
+    color:#FFFFFF;
101
+    text-decoration:none;
102
+}
103
+.bar a:hover, .bar a:focus {
104
+    color:#bb7a2a;
105
+}
106
+.tab {
107
+    background-color:#0066FF;
108
+    color:#ffffff;
109
+    padding:8px;
110
+    width:5em;
111
+    font-weight:bold;
112
+}
113
+/*
114
+Navigation bar styles
115
+*/
116
+.bar {
117
+    background-color:#4D7A97;
118
+    color:#FFFFFF;
119
+    padding:.8em .5em .4em .8em;
120
+    height:auto;/*height:1.8em;*/
121
+    font-size:11px;
122
+    margin:0;
123
+}
124
+.topNav {
125
+    background-color:#4D7A97;
126
+    color:#FFFFFF;
127
+    float:left;
128
+    padding:0;
129
+    width:100%;
130
+    clear:right;
131
+    height:2.8em;
132
+    padding-top:10px;
133
+    overflow:hidden;
134
+    font-size:12px; 
135
+}
136
+.bottomNav {
137
+    margin-top:10px;
138
+    background-color:#4D7A97;
139
+    color:#FFFFFF;
140
+    float:left;
141
+    padding:0;
142
+    width:100%;
143
+    clear:right;
144
+    height:2.8em;
145
+    padding-top:10px;
146
+    overflow:hidden;
147
+    font-size:12px;
148
+}
149
+.subNav {
150
+    background-color:#dee3e9;
151
+    float:left;
152
+    width:100%;
153
+    overflow:hidden;
154
+    font-size:12px;
155
+}
156
+.subNav div {
157
+    clear:left;
158
+    float:left;
159
+    padding:0 0 5px 6px;
160
+    text-transform:uppercase;
161
+}
162
+ul.navList, ul.subNavList {
163
+    float:left;
164
+    margin:0 25px 0 0;
165
+    padding:0;
166
+}
167
+ul.navList li{
168
+    list-style:none;
169
+    float:left;
170
+    padding: 5px 6px;
171
+    text-transform:uppercase;
172
+}
173
+ul.subNavList li{
174
+    list-style:none;
175
+    float:left;
176
+}
177
+.topNav a:link, .topNav a:active, .topNav a:visited, .bottomNav a:link, .bottomNav a:active, .bottomNav a:visited {
178
+    color:#FFFFFF;
179
+    text-decoration:none;
180
+    text-transform:uppercase;
181
+}
182
+.topNav a:hover, .bottomNav a:hover {
183
+    text-decoration:none;
184
+    color:#bb7a2a;
185
+    text-transform:uppercase;
186
+}
187
+.navBarCell1Rev {
188
+    background-color:#F8981D;
189
+    color:#253441;
190
+    margin: auto 5px;
191
+}
192
+.skipNav {
193
+    position:absolute;
194
+    top:auto;
195
+    left:-9999px;
196
+    overflow:hidden;
197
+}
198
+/*
199
+Page header and footer styles
200
+*/
201
+.header, .footer {
202
+    clear:both;
203
+    margin:0 20px;
204
+    padding:5px 0 0 0;
205
+}
206
+.indexHeader {
207
+    margin:10px;
208
+    position:relative;
209
+}
210
+.indexHeader span{
211
+    margin-right:15px;
212
+}
213
+.indexHeader h1 {
214
+    font-size:13px;
215
+}
216
+.title {
217
+    color:#2c4557;
218
+    margin:10px 0;
219
+}
220
+.subTitle {
221
+    margin:5px 0 0 0;
222
+}
223
+.header ul {
224
+    margin:0 0 15px 0;
225
+    padding:0;
226
+}
227
+.footer ul {
228
+    margin:20px 0 5px 0;
229
+}
230
+.header ul li, .footer ul li {
231
+    list-style:none;
232
+    font-size:13px;
233
+}
234
+/*
235
+Heading styles
236
+*/
237
+div.details ul.blockList ul.blockList ul.blockList li.blockList h4, div.details ul.blockList ul.blockList ul.blockListLast li.blockList h4 {
238
+    background-color:#dee3e9;
239
+    border:1px solid #d0d9e0;
240
+    margin:0 0 6px -8px;
241
+    padding:7px 5px;
242
+}
243
+ul.blockList ul.blockList ul.blockList li.blockList h3 {
244
+    background-color:#dee3e9;
245
+    border:1px solid #d0d9e0;
246
+    margin:0 0 6px -8px;
247
+    padding:7px 5px;
248
+}
249
+ul.blockList ul.blockList li.blockList h3 {
250
+    padding:0;
251
+    margin:15px 0;
252
+}
253
+ul.blockList li.blockList h2 {
254
+    padding:0px 0 20px 0;
255
+}
256
+/*
257
+Page layout container styles
258
+*/
259
+.contentContainer, .sourceContainer, .classUseContainer, .serializedFormContainer, .constantValuesContainer {
260
+    clear:both;
261
+    padding:10px 20px;
262
+    position:relative;
263
+}
264
+.indexContainer {
265
+    margin:10px;
266
+    position:relative;
267
+    font-size:12px;
268
+}
269
+.indexContainer h2 {
270
+    font-size:13px;
271
+    padding:0 0 3px 0;
272
+}
273
+.indexContainer ul {
274
+    margin:0;
275
+    padding:0;
276
+}
277
+.indexContainer ul li {
278
+    list-style:none;
279
+    padding-top:2px;
280
+}
281
+.contentContainer .description dl dt, .contentContainer .details dl dt, .serializedFormContainer dl dt {
282
+    font-size:12px;
283
+    font-weight:bold;
284
+    margin:10px 0 0 0;
285
+    color:#4E4E4E;
286
+}
287
+.contentContainer .description dl dd, .contentContainer .details dl dd, .serializedFormContainer dl dd {
288
+    margin:5px 0 10px 0px;
289
+    font-size:14px;
290
+    font-family:'DejaVu Sans Mono',monospace;
291
+}
292
+.serializedFormContainer dl.nameValue dt {
293
+    margin-left:1px;
294
+    font-size:1.1em;
295
+    display:inline;
296
+    font-weight:bold;
297
+}
298
+.serializedFormContainer dl.nameValue dd {
299
+    margin:0 0 0 1px;
300
+    font-size:1.1em;
301
+    display:inline;
302
+}
303
+/*
304
+List styles
305
+*/
306
+ul.horizontal li {
307
+    display:inline;
308
+    font-size:0.9em;
309
+}
310
+ul.inheritance {
311
+    margin:0;
312
+    padding:0;
313
+}
314
+ul.inheritance li {
315
+    display:inline;
316
+    list-style:none;
317
+}
318
+ul.inheritance li ul.inheritance {
319
+    margin-left:15px;
320
+    padding-left:15px;
321
+    padding-top:1px;
322
+}
323
+ul.blockList, ul.blockListLast {
324
+    margin:10px 0 10px 0;
325
+    padding:0;
326
+}
327
+ul.blockList li.blockList, ul.blockListLast li.blockList {
328
+    list-style:none;
329
+    margin-bottom:15px;
330
+    line-height:1.4;
331
+}
332
+ul.blockList ul.blockList li.blockList, ul.blockList ul.blockListLast li.blockList {
333
+    padding:0px 20px 5px 10px;
334
+    border:1px solid #ededed; 
335
+    background-color:#f8f8f8;
336
+}
337
+ul.blockList ul.blockList ul.blockList li.blockList, ul.blockList ul.blockList ul.blockListLast li.blockList {
338
+    padding:0 0 5px 8px;
339
+    background-color:#ffffff;
340
+    border:none;
341
+}
342
+ul.blockList ul.blockList ul.blockList ul.blockList li.blockList {
343
+    margin-left:0;
344
+    padding-left:0;
345
+    padding-bottom:15px;
346
+    border:none;
347
+}
348
+ul.blockList ul.blockList ul.blockList ul.blockList li.blockListLast {
349
+    list-style:none;
350
+    border-bottom:none;
351
+    padding-bottom:0;
352
+}
353
+table tr td dl, table tr td dl dt, table tr td dl dd {
354
+    margin-top:0;
355
+    margin-bottom:1px;
356
+}
357
+/*
358
+Table styles
359
+*/
360
+.overviewSummary, .memberSummary, .typeSummary, .useSummary, .constantsSummary, .deprecatedSummary {
361
+    width:100%;
362
+    border-left:1px solid #EEE; 
363
+    border-right:1px solid #EEE; 
364
+    border-bottom:1px solid #EEE; 
365
+}
366
+.overviewSummary, .memberSummary  {
367
+    padding:0px;
368
+}
369
+.overviewSummary caption, .memberSummary caption, .typeSummary caption,
370
+.useSummary caption, .constantsSummary caption, .deprecatedSummary caption {
371
+    position:relative;
372
+    text-align:left;
373
+    background-repeat:no-repeat;
374
+    color:#253441;
375
+    font-weight:bold;
376
+    clear:none;
377
+    overflow:hidden;
378
+    padding:0px;
379
+    padding-top:10px;
380
+    padding-left:1px;
381
+    margin:0px;
382
+    white-space:pre;
383
+}
384
+.overviewSummary caption a:link, .memberSummary caption a:link, .typeSummary caption a:link,
385
+.useSummary caption a:link, .constantsSummary caption a:link, .deprecatedSummary caption a:link,
386
+.overviewSummary caption a:hover, .memberSummary caption a:hover, .typeSummary caption a:hover,
387
+.useSummary caption a:hover, .constantsSummary caption a:hover, .deprecatedSummary caption a:hover,
388
+.overviewSummary caption a:active, .memberSummary caption a:active, .typeSummary caption a:active,
389
+.useSummary caption a:active, .constantsSummary caption a:active, .deprecatedSummary caption a:active,
390
+.overviewSummary caption a:visited, .memberSummary caption a:visited, .typeSummary caption a:visited,
391
+.useSummary caption a:visited, .constantsSummary caption a:visited, .deprecatedSummary caption a:visited {
392
+    color:#FFFFFF;
393
+}
394
+.overviewSummary caption span, .memberSummary caption span, .typeSummary caption span,
395
+.useSummary caption span, .constantsSummary caption span, .deprecatedSummary caption span {
396
+    white-space:nowrap;
397
+    padding-top:5px;
398
+    padding-left:12px;
399
+    padding-right:12px;
400
+    padding-bottom:7px;
401
+    display:inline-block;
402
+    float:left;
403
+    background-color:#F8981D;
404
+    border: none;
405
+    height:16px;
406
+}
407
+.memberSummary caption span.activeTableTab span {
408
+    white-space:nowrap;
409
+    padding-top:5px;
410
+    padding-left:12px;
411
+    padding-right:12px;
412
+    margin-right:3px;
413
+    display:inline-block;
414
+    float:left;
415
+    background-color:#F8981D;
416
+    height:16px;
417
+}
418
+.memberSummary caption span.tableTab span {
419
+    white-space:nowrap;
420
+    padding-top:5px;
421
+    padding-left:12px;
422
+    padding-right:12px;
423
+    margin-right:3px;
424
+    display:inline-block;
425
+    float:left;
426
+    background-color:#4D7A97;
427
+    height:16px;
428
+}
429
+.memberSummary caption span.tableTab, .memberSummary caption span.activeTableTab {
430
+    padding-top:0px;
431
+    padding-left:0px;
432
+    padding-right:0px;
433
+    background-image:none;
434
+    float:none;
435
+    display:inline;
436
+}
437
+.overviewSummary .tabEnd, .memberSummary .tabEnd, .typeSummary .tabEnd,
438
+.useSummary .tabEnd, .constantsSummary .tabEnd, .deprecatedSummary .tabEnd {
439
+    display:none;
440
+    width:5px;
441
+    position:relative;
442
+    float:left;
443
+    background-color:#F8981D;
444
+}
445
+.memberSummary .activeTableTab .tabEnd {
446
+    display:none;
447
+    width:5px;
448
+    margin-right:3px;
449
+    position:relative; 
450
+    float:left;
451
+    background-color:#F8981D;
452
+}
453
+.memberSummary .tableTab .tabEnd {
454
+    display:none;
455
+    width:5px;
456
+    margin-right:3px;
457
+    position:relative;
458
+    background-color:#4D7A97;
459
+    float:left;
460
+
461
+}
462
+.overviewSummary td, .memberSummary td, .typeSummary td,
463
+.useSummary td, .constantsSummary td, .deprecatedSummary td {
464
+    text-align:left;
465
+    padding:0px 0px 12px 10px;
466
+}
467
+th.colOne, th.colFirst, th.colLast, .useSummary th, .constantsSummary th,
468
+td.colOne, td.colFirst, td.colLast, .useSummary td, .constantsSummary td{
469
+    vertical-align:top;
470
+    padding-right:0px;
471
+    padding-top:8px;
472
+    padding-bottom:3px;
473
+}
474
+th.colFirst, th.colLast, th.colOne, .constantsSummary th {
475
+    background:#dee3e9;
476
+    text-align:left;
477
+    padding:8px 3px 3px 7px;
478
+}
479
+td.colFirst, th.colFirst {
480
+    white-space:nowrap;
481
+    font-size:13px;
482
+}
483
+td.colLast, th.colLast {
484
+    font-size:13px;
485
+}
486
+td.colOne, th.colOne {
487
+    font-size:13px;
488
+}
489
+.overviewSummary td.colFirst, .overviewSummary th.colFirst,
490
+.useSummary td.colFirst, .useSummary th.colFirst,
491
+.overviewSummary td.colOne, .overviewSummary th.colOne,
492
+.memberSummary td.colFirst, .memberSummary th.colFirst,
493
+.memberSummary td.colOne, .memberSummary th.colOne,
494
+.typeSummary td.colFirst{
495
+    width:25%;
496
+    vertical-align:top;
497
+}
498
+td.colOne a:link, td.colOne a:active, td.colOne a:visited, td.colOne a:hover, td.colFirst a:link, td.colFirst a:active, td.colFirst a:visited, td.colFirst a:hover, td.colLast a:link, td.colLast a:active, td.colLast a:visited, td.colLast a:hover, .constantValuesContainer td a:link, .constantValuesContainer td a:active, .constantValuesContainer td a:visited, .constantValuesContainer td a:hover {
499
+    font-weight:bold;
500
+}
501
+.tableSubHeadingColor {
502
+    background-color:#EEEEFF;
503
+}
504
+.altColor {
505
+    background-color:#FFFFFF;
506
+}
507
+.rowColor {
508
+    background-color:#EEEEEF;
509
+}
510
+/*
511
+Content styles
512
+*/
513
+.description pre {
514
+    margin-top:0;
515
+}
516
+.deprecatedContent {
517
+    margin:0;
518
+    padding:10px 0;
519
+}
520
+.docSummary {
521
+    padding:0;
522
+}
523
+
524
+ul.blockList ul.blockList ul.blockList li.blockList h3 {
525
+    font-style:normal;
526
+}
527
+
528
+div.block {
529
+    font-size:14px;
530
+    font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
531
+}
532
+
533
+td.colLast div {
534
+    padding-top:0px;
535
+}
536
+
537
+
538
+td.colLast a {
539
+    padding-bottom:3px;
540
+}
541
+/*
542
+Formatting effect styles
543
+*/
544
+.sourceLineNo {
545
+    color:green;
546
+    padding:0 30px 0 0;
547
+}
548
+h1.hidden {
549
+    visibility:hidden;
550
+    overflow:hidden;
551
+    font-size:10px;
552
+}
553
+.block {
554
+    display:block;
555
+    margin:3px 10px 2px 0px;
556
+    color:#474747;
557
+}
558
+.deprecatedLabel, .descfrmTypeLabel, .memberNameLabel, .memberNameLink,
559
+.overrideSpecifyLabel, .packageHierarchyLabel, .paramLabel, .returnLabel,
560
+.seeLabel, .simpleTagLabel, .throwsLabel, .typeNameLabel, .typeNameLink {
561
+    font-weight:bold;
562
+}
563
+.deprecationComment, .emphasizedPhrase, .interfaceName {
564
+    font-style:italic;
565
+}
566
+
567
+div.block div.block span.deprecationComment, div.block div.block span.emphasizedPhrase,
568
+div.block div.block span.interfaceName {
569
+    font-style:normal;
570
+}
571
+
572
+div.contentContainer ul.blockList li.blockList h2{
573
+    padding-bottom:0px;
574
+}

+ 6
- 6
package.bluej View File

@@ -1,16 +1,16 @@
1 1
 #BlueJ package file
2
-editor.fx.0.height=722
2
+editor.fx.0.height=707
3 3
 editor.fx.0.width=800
4
-editor.fx.0.x=709
5
-editor.fx.0.y=113
4
+editor.fx.0.x=240
5
+editor.fx.0.y=23
6 6
 objectbench.height=101
7
-objectbench.width=461
7
+objectbench.width=776
8 8
 package.divider.horizontal=0.6
9 9
 package.divider.vertical=0.8007380073800738
10 10
 package.editor.height=427
11 11
 package.editor.width=674
12
-package.editor.x=1067
13
-package.editor.y=119
12
+package.editor.x=348
13
+package.editor.y=127
14 14
 package.frame.height=600
15 15
 package.frame.width=800
16 16
 package.numDependencies=0