A Little Java, A Few Patterns PDF

A Little Java, A Few Patterns
FOREWORD
Learning to program is more than learning the syntactic and semantic rules of a programming
language. It also requires learning how to design programs. Any good book on programming
must therefore teach program design.
Like any other form of design, program design has competing schools. These schools are
often associated '''lith a particular set of languages. Since Java is an object-oriented programming
language, people teaching Java should emphasize object-oriented design.
Felleisen and Friedman show that the functional (input-output driven) method of program
design naturally leads to the use of well-known object-oriented design patterns. In fact, they
integrate the two styles seamlessly and show how well they work together. Their book proves that
the functional design method does not clash with, but supports object-oriented programming.
Their success doesn't surprise me, because I've seen it in Smalltalk for many years, though
unfortunately, it seems to have remained one of the secrets of object-oriented design. I am
happy to see that Felleisen and Friedman have finally exposed it. This book will be especially
useful if you are a C++ programmer learning Java, since you probably haven't seen functional
program design before. If you know functional design, the book will gently introduce you to
pattern-based programming in Java. If you don't know it, Felleisen and Friedman ,vill teach
you a powerful new way of thinking that you should add to .your design toolbox.
Enjoy the pizzas!
Ralph E. Johnson
Champaign, Illinois
ix
Preface
An object-oriented programming language enables a programmer to construct reusable program
components. With such components, other programmers can quickly build large new programs
and program fragments. In the ideal case, the programmers do not modify any existing code
but simply glue together components and add a few new ones. This reusability of components,
however, does not come for free. It requires a well-designed object-oriented language and a strict
discipline of programming.
Java is a such a language, and this book introduces its object-oriented elements: (abstract)
classes, fields, methods, inheritance, and interfaces. This small core language has a simple
semantic model, which greatly helps programmers to express themselves. In addition, Java
implementations automatically manage the memory a program uses, which frees programmers
from thinking about machine details and encourages them to focus on design.
The book's second goal is to introduce the reader to design patterns, the key elements of a
programming discipline that enhances code reuse. Design patterns help programmers organize
their object-oriented components so that they properly implement the desired computational
process. l\lore importantly still, design patterns help communicate important properties about
a program component. If a component is an instance of an explicitly formulated pattern and
documented as such, other programmers can easily understand its structure and reuse it in their
own programs, even without access to the component's source.
THE INTENDED AUDIENCE
The book is primarily intended for people-practicing programmers, instructors and students
alike-who wish to study the essential elements of object-oriented programming and the idea
of design patterns. Readers must have some basic programming experience. They will benefit
most from the book if they understand the principles of functional design, that is, the design
of program fragments based on their input-output behavior. An introductory computer science
course that uses Scheme (or ML) is the best way to get familiar with this style of design, but it
is not required.
WHAT THIS BOOK IS NOT ABOUT
Java provides many useful features and libraries beyond its object-oriented core. While these
additional Java elements are important for professional programming, their coverage would
distract from the book's important goals: object-oriented programming and the use of design
patterns. For that reason, this book is not a complete introduction to Java. Still, readers
who master its contents can quickly become skilled Java programmers with the supplementary
sources listed in the Commencement.
The literature on design patterns evolves quickly. Thus, there is quite a bit more to patterns
than an introductory book could intelligibly cover. Yet, the simplicity of the patterns we use
and the power that they provide should encourage readers to study the additional references
about patterns mentioned at the end of the book.
ACKNOWLEDGMENTS
\\J'e are indebted to many people for their contributions and assistance throughout the devel-
opment of this book. Several extensive discussions with Shriram Krishnamurthi, Jon Rossie,
xi
and r..1itch Wand kept us on track; their detailed comments deeply influenced our thinking at
critical junctures. Michael Ashley, Sundar Balasubramaniam, Cynthia Brown, Peter Drake,
Bob Filman, Robby Findler, Steve Ganz, Paul Graunke, John Greiner, Erik Hilsdale, l\latthew
Kudzin, Julia Lawall, Shinn-Der Lee, Michael Levin, Gary McGraw, Benjamin Pierce, Amr
Sabry, Jonathan Sobel, and George Springer read the book at various stages of development and
their comments helped produce the final result. We also wish to thank Robert Prior at MIT
Press who loyally supported us for many years and fostered the idea of a "Little Java." The book
greatly benefited from Dorai Sitaram's incredibly clever Scheme typesetting program SIb-TEX.
Finally, we would like to thank the National Science Foundation for its continued support
and especially for the Educational Innovation Grant that provided us with the opportunity to
collaborate for the past year.
READING GUIDELINES
Do not rush through this book. Allow seven sittings, at least. Read carefully. Mark up the book
or take notes; valuable hints are scattered throughout the text. Work through the examples,
don't scan them. Keep in mind the motto "Think first, experiment later."
The book is a dialogue about interesting Java programs. After you have understood the
examples, experiment with them, that is, modify the programs and examples and see how they
behave. Since most Java implementations are unfortunately batch interpreters or compilers, this
requires work of a repetitive nature on your side. Some hints on how to experiment with Java
are provided on the following pages.
\Ve do not give any formal definitions in this book. V·le believe that you can form your own
definitions and thus remember and understand them better than if we had written them out for
you. But be sure you know and understand the bits of advice that appear in most chapters.
\Ve use a few notational conventions throughout the text to help you understand the
programs on several levels. The primary conventions concern typeface for different kinds of
words. Field and method names are in italic. Basic data, including numbers, booleans, and
constructors introduced via datatypes are set in sans serif. Keywords, e.g., class, abstract,
return and interface are in boldface. When you experiment, you may ignore the typefaces
but not the related framenotes. To highlight this role of typefaces, the programs in framenotes
are set in a typewriter face.
Food appears in many of our examples for two reasons. First, food is easier to visualize
than abstract ideas. (This is not a good book to read while dieting.) \Ve hope the choice of
food will help you understand the examples and concepts we use. Second, we want to provide
you with a little distraction. We know how frustrating the subject matter can be, and a little
distraction \vill help you keep your sanity.
You are now ready to start. Good luck! We hope you will enjoy the experiences waiting for
you on the following pages.
Bon appetit!
Matthias Felleisen
Daniel P. Friedman
xii
EXPERIMENTING WITH JAVA
Here are some hints on how to experiment with Java: 1

1. Create a file that contains a complete hierarchy of classes.
2. To each class whose name does not end with a superscript V, V, I, or M, add a toString
method according to these rules:
a) if the class does not contain any fields, use
public String toString() {

return "new II + getClass 0 . get Name 0 + II 0 "; }
b) if the class has one field, say x, use

return "new II + getClassO . get Name 0 + II ( " + X + ") "; }
c) if the class has two fields, say x and y, use

return "new II + getClassO . get Name 0 + II ( " + x + II II + Y + ") "; }
3. Add the following class at the bottom of the file:
class Main {
public static void main(String args( ]) {
DataType_or_Interface y = new _____ •
System.out.println( ...... ); } }
With DataType_or _Interface y = new _____ , create the object y with which you wish to
experiment. Then replace ...... with the example expression that you would like to experiment
with. For example, if you wish to experiment with the distanceToO method of ManhattanPt
as defined in chapter 2, add the following definition to the end of your file:
class Main {
public static void main(String args( ]) {
PointD y = new ManhattanPt(2,8)j
System.out.println( y.distanceToO() ); } }
lSee Arnold and Gosling (IJ for details on how they work. These hints make little sense out of context, so for
now, just follow them as you read this book.
xiii
If you wish to experiment with a sequence of expressions that modify y, as in chapter ]0, e.g.,
y.-
y.-
y.- -
replace . . . . . . with
y.- + "\n " +

y.- + "\n " +
y.-
For example, if you wish to experiment with the methods of PiemanM as defined in chapter 10,
add the following definition to the end of your file:
class Main {
public static void main(String args[ ]) {
PiemanI y = new PiemanM();
System.out.println(
y. addTop(new Anchovy 0 ) + "\n" +
y. addTop(new Anchovy 0 ) + "\n" +
y.substTop(new Tuna() ,new Anchovy()) ); } }
4. Finally, compile the file and interpret the class Main.
xiv
flo
~(rv&C9IT~tll ~~
Is 5 an integer? 1 Yes, it is.
Is this a number: - 23? Yes, but we don't use negative integers.
Is this an integer: 5.32? 3 No, and we don't use this type of number.
\\That type of number is 5? int. 1

1 In Java, int stands for "integer."
Quick, think of another integer! How about 19?
What type of value is true? 6 boolean.
What type of value is false? 7 boolean.
Can you think of another boolean? 8 No, that's all there is to boolean.
What is int? 9 A type.
What is boolean? 10 Another type.
What is a type? 11 A type is a name for a collection of values.
12
\Vhat is a type? Sometimes we use it as if it were the
collection.
13
Can we make new types? \Ve don't know how yet.
Modern Toys 3
Draw the picture that characterizes the 14 Is this it?
essential relationships among the following
classes.
[ abstract class Seasoning D {} SeasoningD
I class Salt extends SeasoningD {}
[ class Pepper extends SeasoningD {}
D This superscript is a reminder that the class is a

datatype. Lower superscripts when you enter this kind of
definition in a file: SeasoningD.
Yes. We say Seasoning D is a datatype, and 15 Okay. But aren't all three classes introducing
Salt and Pepper are its variants. new types?
16
Yes, in a way. Now, is Yes, it is, because new SaitO creates an
new SaitO instance of Salt, and every instance of Salt is
also a SeasoningD.
a Seasoning D?
17
And It's also a SeasoningD, because new Pepper()
new PepperO? creates an instance of Pepper, and every
instance of Pepper is also a SeasoningD .
\\That are abstract, class, and extends? 18 Easy:

abstract class introduces a datatype,
class introduces a variant, and
extends connects a variant to a datatype.
Is there any other SeasoningD? 19 No, because only Salt and Pepper extend
Seasoning D. 1
1 Evaluating new SaltO twice does not produce the same

value, but we ignore the distinction for now.
4 Chapter 1
Correct, Salt and Pepper are the only 20 No, but boolean is a type that also has just
variants of the datatype Seasoningv. Have two values.
we seen a datatype like SeasoningV before?
21
Let's define more SeasoningVs. We can have lots of SeasoningVs.
I class Thyme extends SeasoningV {} I class Sage extends SeasoningV {}
And then there were four. 22 Yes.
What is a Cartesian point? 23 It is basically a pair of numbers.
What is a point in Manhattan? 24 An intersection where two city streets meet.
25
How do CartesianPt and ManhattanPt differ Each of them contains three things between
from Salt and Pepper? { and }. The x and the yare obviously the
coordinates of the points. But what is the
I abstract class Point V {} remaining thing above the bold bar?!
class CartesianPt extends Point V {

int x;
int y;
CartesianPt(int _x,int _y) {
x = _x;
y = -y; }
class ManhattanPt extends Point V {

int x;
int y;
ManhattanPt(int _x,int _y) {
x = _x;
y = -y; } 1 This bar indicates the end of the constructor definition. It
is used as an eye-catching separator. \Ve recommend that
you use
} / / ------------------------------
when you enter it in a file.
Modern Toys 5
The underlined occurrences of CartesianPt 26 How do we use these constructors'?
and ManhattanPt introduce the constructors
of the respective variants.
27
A constructor is llsed ,vith new to create Obvious!
ne\\" instances of a class.
\Vhell we create a CartesianPt like this: 2R So now \ve have created a CartesianPt whose
l' field is 2 and whose y field is 3. And
new CartesianPt(2,3),
because CartesianPt extends Point V , it is
\ve use the constructor in the definition of
also a Point v .
CartesianPt.
29
Correct. Is this a ManhattanPt: Yes, and its x field is 2 and its y field is 3.
new ManhattanPt(2,3)?
:lO
Isn't all this obvious'? 1'.10stly, but that means we have used
constructors before without defining them.
How does that work?
.11
\Vhen a class does not contain any fields, as And that's the constructor \\re used bdore,
in Salt and Pepper, a constructor is included right?
by default.
:12
~Y('s,
that's correct. Default constructors Good. But what is new PointVO?
!len'r consume values, and, when used with
new, alwa,vs create objects without fields.
:l3
An abstract class is by definition That makes sense. Let's move on.
incolllplete, so new cannot create an
instance from it.
6 Chapter 1
Do the following classes define another 34 Yes, they define a datatype and t",'o variants.
datatype with variants?
I abstract class Nu m'D {}
I class Zero extends Nu m'D {}
class OneMoreThan extends Num'D { OneMoreThan

Num'D predecessor;
OneMoreThan(Num D -p) {
predecessor = _p; }
Draw the picture, too.
35
Is this a Num'D: Obviously, just like new SaitO is a
new ZeroO? Seasoning D .
Is this a Num D : 36 Yes, because OneMoreThan constructs a

new OneMoreThan( Num D from a Num D , and every instance of
new ZeroO)? OneMoreThan is also a Num D .•
37
How does OneMoreThan do that? We give it new ZeroO, which is a Num'D, and
it constructs a new Num D .
And what does it mean to construct this new 3B This new instance of OneMoreThan is a value
instance? with a single field, which is called
predecessor. In our example, the field is
new ZeroO.
39
Does predecessor always stand for an No, its type says that it stands for a Num D ,
instance of Zero? which, at the moment, may be either a Zero
or a OneMoreThan.
Modern Toys 7
40
\Vhat is A Num D , because OneMoreThan constructs
new OneMoreThan( an instance from a Num'D and we agreed
new OneMoreThan( that
new Zero()))? new OneMoreThan(
new Zero())
is a Num'D.
\Vhat is 41 That is nonsense,l because 0 is not a Num'D.

new OneMoreThan(
OJ? 1 V\,'e use the word "nonsensp" to refer to exprp~sion~ for
which Java cannot determine a type.
42
Is new Zero() the same 3..<; O? No. 0 is similar to. but not the same a.s.
new ZeroO.
43 1 is similar to, but not the same 3..<;.

new OneMoreThan( new OneMoreThan(
new Zero()) new Zero()).
like
I?
And what is 44 4.
new OneMoreThan(
new OneMoreThan(
new OneMoreThan(
new OneMoreThan(
new Zero()))))
similar to?
Are there Illore Num'Ds than booleans? 45 Lots.
46
Are there more Num'Ds than ints? No. 1
1 This answer is only conceptually correct .Java limits the

number of ints teo approximately 2 a2
8 Chapter 1
\Vhat is the difference between new ZeroO 47 Easy: new ZeroO is an instance of Zero and,
and O? by implication, is a Num'D, whereas 0 is an
into This makes it difficult to compare them,
but we can compare them in our minds.
Correct. In general, if two things are 48 So are types just names for different
instances of two different basic types, they collections with no common instances?
cannot be the same.
The primitive types (int and boolean) are 49 What are non-basic types?
distinct: others may overlap.
Class definitions do not introduce primitive 50 And what is that?

types. For example, a value like new ZeroO
is not only an instance of Zero, but is also a
Num'D, which is extended by Zero. Indeed, it
is of any type that Num'D extends, too.
Every class that does not explicitly extend 51 This must mean that everything is an Object.
another class implicitly extends the class
Object.
Almost. \Ve will soon see what that means. 52 Okay.
The First Bit of Advice

When specifying a collection of data,
use abstract classes for data types and
extended classes for variants.
l'vlodern Toys 9
\Vhat do the following define? They define a new datatype and its two
variants. The first variant contains a field of
type Object.
class Base extends LayerD {

Object 0;
Base( Object _0) {
o = _0: }
class Slice extends LayerD {

Layer D I;
Slice( Layer D -l) {
1= J}
\Vhat is It looks like an instance of Base. which

new Base( means it is also a Layer V and all Object.
new Zero())?
And '.vhat is It also looks like an instance of Base But

new Base( how come both
new Salt())? new Base(
new Zero())
and
new Base(
new SaitO)
are instances of tilP sanw variant"!
.~()
They are, because everything created with Hence. we can use both
new is an Object. the cla:-;s of all objects. new Zero()
and
new SaitO
for the ('ons/ruction of a Base. which req1lires
an Object.
10 Chapter 1
57
Is anything else an Object? We said that only things created with new
are Objects. 1
1 Arrays and strings are objects, too. \Ve don't discuss

them.
58
Correct. Is this a Layer V : 5 is not created with new, so this must be
new Base( nonsense.
5)?
Is this a LayerV : 59 false is not created with new, so this must be

new Base( nonsense, too.
false)?
60
Correct again! How about this Layer v : This must mean that Integer creates an
new Base( object from an into
new Integer(5))?
Guess how we create a Layer V from false? 61 Easy now:

new Base(
new Boolean(false)).
Is it confusing that we need to connect int 62 Too much coffee does that.
with Integer and boolean with Boolean?
Ready for more? 63 Can't wait.
Modern Toys 11
~~
~~~~2J@ill~ \~
(~)~~:f
Remember points? Sure, we just talked about them. But what
are these labeled ovals about?
abstract class Point V {
-- ( Point )--
} ~--------~

int x;
int y;
CartesianPt(int _x,int _y) {
x = _x;
y = -y; }
- - ( CartesianPt ) --
}
class ManhattanPt extends Point V {

int x;
int y;
ManhattanPt(int _x,int _y) {
x = _x;
y = -y; }
- - ( ManhattanPt ) - -
}
We will find out soon. Did you notice the big 2 It must be for drawing the picture of the
white space on the right? classes.
How far is If the Empire State Building is the origin, we

new ManhattanPt(3,4) have to walk seven blocks: 3 over, 4 up.
from the Empire State Building?
And how far is 5, which is J3 2 + 42 .

new CartesianPt(3,4)
from the origin?
~fethods to Our Madness 13

\\'rite the methods distance ToO using {. }, (, Of course, you can't write these methods.
). :. return. into +, lJJ, and .2, which yet. Okay, you deserve something s\veet for
ddt'rIllilH' how far a poillt is from the origin. enduring this last question.
\\'hat do the methods produce? ints, \vhich represent the distances to the
origin.
Ht'l't' they' are. They correspond to the unexplained labels in

the definition of the datatype and its
abstract int di . .;tanceToO(); variants.
pOintJ
--- .--- .. -,-.------~-.-~~--~--~-
illt distance ToOO {

ret urn l/.1'2 + y2 J 1; }
CartesianPt '
--- --------,--,------,---~
iut dlstUll('/' ToO()

return .r + y: }
To what do Point. CartesianPt. and

.\IanhattanPt in the boxes refer'?
! \\'!1<'1l \'''11 ('Ilk!' thi~ ill a tilt'. llSt'

(int) Math. sqrt (x"x+y*y),
Math i~ a ('Ia,.,~ that cOlltains sqrt as it Istatic) llwthod, Later
Wl' will ,(',' what (int) Illeans,
Tltt' lahds rt'llliwl us that we lleed to illsert That's simpic ellough.

t Itl'Sl' llldlluds into PointD . CartesianPt, and
ManhattanPt.
How ]WlllY tillH'S have we defined the method Three times. but the first one differs from the
rilstmu'(' ToO? other two. It is labeled abstract. wbile the
others are not preceded by a special word.
Chapter 2
Do abstract methods belong to the 10 Yes, they always do.
abstract class?
An abstract method in an abstract class 11 Okay.

introduces an obligation, which says that all
concrete classes that extend this abstract
class 1 must contain a matching method
definition.
1 Directly or indirectly. That is, the concrete class may
extend an abstract class that extends the abst.ract class with
the obligation and so on.
What is the value of 12 7.

new ManhattanPt(3,4)
.distanceToOO?
How do we arrive at that value? 13 \Ve determine the value of

x+y,
with x replaced by 3 and y replaced by 4.
\Vhat is the value of 5, because that is the value of

y'x2 + y2
.distanceToOO?
with x replaced by 3 and y replaced by 4.
What does l JXJ compute? 15 The largest int that does not exceed the
square root of x.
Time for a short break? 16 An apple a day keeps the dentist away. A
cup of coffee does not.
Methods to Our Afadness 15

Here is another datatype with its variants. 17 It is like Num D but has more variants.
\Vhat is different about them?
abstract class Shish D {
-- ( Shish )--
} ~.----~
I~lass Skewer extends Shish D {
I - ( Skewer )-
, }
L._ ... _~. __.. _.~ ~~~._._. ____ ~~___.___________.__~
class Onion extends Shish D {

Shish D 8;
Onion(Shish D _8) {
.5 = _,,); }
- - (~_ _
O_n_i(_)l_l_ _) - -
}
class Lamb extends Shish D {

ShishD 8;
Lamb(ShishD _s) {
s = _,'i: }
-- ( Lamb )--
} ----------~
class Tomato extends Shish D {

Shish D 8;
Tomato(Shish D
i
_8) {
:; = _8; }
-- ( Tomato ) --
} ~----~
Did you notice the big space on the right? III Yes, isn't it for drawing the picture of the
classes?
16 Chapter 2
19
Construct a Shish'D. How about
new SkewerO?
Yes, every Skewer is also a Shish'D. How 20 Here's one:

about another one? new Onion(
new SkewerO).
21
And a third? Here's one more:
new Onion(
new Lamb(
new Onion(
new SkewerO))).
22
Are there only Onions on this Shish'D: true, because there is neither Lamb nor
new SkewerO? Tomato on new Skewer O.
23
Are there only Onions on this Shish'D: true.
new Onion(
new SkewerO)?
24
And how about: false.
new Lamb(
new SkewerO)?
25
Is it true that true.
new Onion(
new Onion(
new Onion(
new SkewerO)))
contains only Onions?
And finally: 26 false.

new Onion(
new Lamb(
new Onion(
new SkewerO)))?
Methods to Our Madness 17

'27
\Vrite the lllethods onlyOniou:;l using {, }, (, Of course. yun (,aid write thes(' methods,
), .. ;, true, false, return, and boolean. yet. Okay, .yuu deserve a lollipop for
enduring this kind of qncstioll again.
I A hl'tter lliHIl" fur the"" lIlt'thuds wOlild ht'
nothingButOnions.
And what do they produce? 2" booleans.
Here are the lIlethods. Yes. \Ve said above that the labeled ovals in
the center of the blank lines in the above
I abstract boolean onlyOniml.s(); class definitions tell llS where to put the
boxes \\lith the cOlT('sponciing labels.
Shish
I boolean onlyOnioTl.s()
return true: }
Skewer
boolean onlyOnioTlsO {
I return s.onlyOnious(); }
Onion
r
boolean oTl.lyOnioJls()
I return false: }
Lamb
boolean onlyOnioll:; ()
I return false: }
Tumato
Did you notice the labels in the boxes?
Guod. Huw lllany methods have we defined? Five. but the first one is abstract: the
others are concretc.
18 Chapter 2
31
Do abstract methods belong to the Yes, we said so.
abstract class?
Does each variant of Shish D contain a 32 Yes, because Shish D contains an abstract
method called onlyOnions? method called only Onions that obligates
each variant to define a matching, concrete
method.
Is this always the case? 33 Always.
What do these concrete methods consume? 34 Nothing, just as the abstract method says.
35
\\That do these concrete methods produce? booleans, just as the abstract method says.
What is the value of 36 true.

new Onion(
new Onion(
new SkewerO))
.onlyOnionsO?
37
And how do we determine the value of We will need to pay attention to the method
new Onion( definitions.
new Onion(
new SkewerO))
.onlyOnionsO?
Which definition of only Onions must we use 38 This object is an instance of Onion, so we
to determine the value of need to use the definition of onlyOni.ons that
new Onion( belongs to the Onion variant.
new Onion(
new SkewerO))
.onlyOnions()?
A!ethods to Our A!adness 19

\Vhat follows the word return ill the 8,onlyOnion8(),
onlyOnioIl8 method in Onion'?
\Vhat is the field s of the object 40 It is

new Onion( new Onion(
new Onion( new Skewer()),
new Skewer()))? isn't it?
Dot's s always stand for all Onion? No, it has type ShishD, and it can stand for
any variant of Shish D : Skewer, Onion, Lamb.
or Tomato.
ThcIl what is s.onlyOnimzs()? 42 It should be

new Onion(
new Skewer())
. onlyOnions (),
right?
\Vhy do we Ileed to knmv the llleanillg of Because the answer for

new Onion( new Onion(
new Skewer()) new Skewer())
.milyOnions( )? . onlyOnions()
is also the answer for
new Onion(
new Onion(
new SkewerO))
,onlyOnions ().
How do we determille the allswer for 44 Let's see.

new Onion(
new Skewer())
.olllyOnioTls()?
20 Chapter 2
Which definition of only Onions must we use 45 This object is an instance of Onion, so we
to determine the value of need to use the definition of onlyOnions that
new SkewerO)
.onlyOnions()?
46
What follows the word return in the s.onlyOnionsO·
only Onions method in Onion?
47
What is the field s of the object new SkewerO.
new Onion(
new SkewerO)?
Then what is s.onlyOnionsO? 48 It is

new SkewerO
. onlyOnionsO ,
just as we would have expected.
Why do we need to know the meaning of 49 Because the answer for

new SkewerO new SkewerO
. only Onions ()? .onlyOnionsO
new Onion(
new SkewerO)
.onlyOnionsO,
which in turn is the answer for
new Onion(
new Onion(
new SkewerO))
. onlyOnions ().
How do we determine the answer for 50 We need to determine one more time which
new SkewerO version of only Onions we must use .
. onlyOnionsO?
Methods to Our Afadness 21

Is 51 Obviously.
new SkewerO
a
Skewer?
52
Then \vhat is the answer'? true.
5:1
\Vhy? Because true is what the onlyOniorls method
in Skewer always returns.
54
Are we done? Yes! The answer for
new Onion(
new Onion(
new Skewer()))
· only Onions ()
is the same as the answer for
new Onion(
new Skewer())
· onlyOnions (),
which is the same a..'i the answer for
new Skewer()
· only Onions (),
which is
true.
\Vhat is the value of 55 false, isn't it?

new Onion(
new Lamb(
new Skewer()))
.oniyOnions()?
56
\Vhich definition of onlyOnions must we use This object is an instance of Onion, so \\'C
to determine the value of need to use the definition of onlyOnions that
new Lamb(
new Skewer()))
. unlyOnions()?
22 Chapter 2
57
What follows the word return in the s.onlyOnionsO·
onlyOnions method in Onion?
What is the field s of the object 58 It is the object built from

new Onion( new Lamb(
new Lamb( new SkewerO).
new SkewerO))?
Then what is s.onlyOnionsO? 59 It is

new Lamb(
new SkewerO)
.onlyOnionsO,
of course.
Why do we need to know the meaning of 60 Because the answer for

new Lamb( new Lamb(
new SkewerO) new SkewerO)
.onlyOnionsO? .onlyOnionsO
new Onion(
new Lamb(
new SkewerO))
. only Onions () .
How do we determine the answer for 61 We determine which version of onlyOnions

new Lamb( to use.
new SkewerO)
. onlyOnions O?
And? 62 We use the one that belongs to Lamb.
And now what is the answer? 63 false, because false follows the word return
in the corresponding method definition in
Lamb.
lvIethods to Our Madness 23

64
Are we done? Yes! The answer for
new Onion(
new Lamb(
new Skewer()))
. onlyOnion.'J 0
is the same as the answer for
new Lamb(
new Skewer())
. only Onions (),
which is
false.
65
Descri be the methods (i. e., the function) Here are our words:
on/yOnions in your own words. "The methods determine for a Shish D
"vhether its contents are edible b~' all onion
lover."
66
Describe how the methods (i.e., the Here are our words again:
fUllctioIl) unlyOniuus accomplish this. "For each layer of the ShishD, except for
Onion, the corresponding method knows
whether it is good or bad. The method for
Onion needs to determine whether the
remaining layers are onl,\' Onions sitting Oil
a Skewer."
Is Yes.
new Tomato(
new Skewer())
a Shish D ?
Is The object
new Onion( new Tomato(
new Tomato( new Skewer())
new SkewerO)) is an instance of Shish D. so we can also wrap
a Shish D ? an Onion around it.
And hm\' about another Tomato? (Hi Sure.
24 Chapter 2
Is 70 Of course, there is no Lamb on it.
new Tomato(
new Onion(
new Tomato(
new SkewerO)))
a vegetarian shish kebab?
71
And Yes, it is a vegetarian shish kebab, because it
new Onion( only contains Onions.
new Onion(
new Onion(
new SkewerO)))?
72
Define the methods (i. e.) the function) That's no big deal now.
is Vegetarian,
abstract boolean is Vegetarian();
which return true if the given object does not
contain Lamb. Shish
Hint: The method for tomatoes is the same
as the one for onions.
boolean is Vegetarian 0 {
return true; }
Skewer
return s.isVegetarianO; }
Onion
return false; }
Lamb
return s. is Vegetarian 0; }
Tomato
J\iethods to Our Madness 25

Huw lWlll~" lllet hods have we defilled'? Five: one abstract, the others C(JllCTete.
Do abstract llwthods belong to the )'es, they always do.

abstract class?
7;)
Do('s each varia1lt of Shish D ('olltain a Yes, because Shish D contains all abstract
llldhud called isl'cgdarian'? method called is \'cgetarian.
Is this alwa~'s the case? Always.
\Yhat do tlH'st' COllnctt' lllethods cOllsume? Nothing, just a.s the abstract llH'thod says.
\Yhat d() these ('(Jnnde llldhods produce'? 7,; booleans, just as the abstract method says.
The Second Bit of Advice

il'hen writing a function over a
datatype, place a method in each of the
variants that make up the datatype. If
a fidel uf a variant belongs to the sl1m·e
datatype, the methodrnay call the
('orf'('spondingmdhod of the field in
(,oTT/puting the JundimL
2G Chapter 2
79
Collect all the pieces of Shish'D. Here is the There are two methods per variant.
datatype.
class Skewer extends Shish'D {
abstract class Shish'D { boolean onlyOnions () {
abstract boolean onlyOnionsO; return true; }
abstract boolean is VegetarianO; boolean is l"egetarian () {
} return true; }
class Onion extends Shish'D {

Shish'D s;
Onion(Shish'D _s) {
s = _s; }
boolean onlyOnion.'iO {
return s.onlyOnionsO; }
boolean is Vegetarian () {
return .'i. is lTegetm'ian(); }
class Lamb extends Shish'D {

Shish'D s;
Lamb(Shish'D _s) {
s = _.'i: }
boolean onlyOnions () {
return false: }
boolean is Vegdarian () {
return false; }
class Tomato extends Shish'D {

Shish'D s;
Tomato(Shish'D _s) {
s = _s; }
boolean only Onions () {

return false: }
boolean is l"egetar'ian() {
return .'i. is llegetarian(); }
Alethods to Our l\.Jadness 27

\Vhat do the following define? 80 They define a datatype and four variants
that are similar in shape to Shish D ,
abstract class Kebab v {
-- ( Kebab )
}
class Holder extends Kebab v {

Object 0:
Holder( Object _0) {
o = _0: }
-- ( Holder )--
} ~--------~
class Shallot extends Kebab v {

Kebab v k;
Shallot(Kebab v _k) {
k = _k: }
-- ( Shallot ) --
} ~--------~
class Shrimp extends Kebab v {

Kebab v k;
Shrimp(Kebab V _k) {
k = _k: }
-- ( Shrimp ) --
} ~---'---~
class Radish extends Kebab v {

Kebab D k;
Radish(Kebab D _k) {
k = _k; }
-- ( Radish )--
} ~---~
DOIl't forget the picture,
28 Chapter 2
\Vhat is different about them? 81 They are placed onto different Holders.
Here are some holders. 82 Sure, a rod is a kind of holder, and every rod
is an Object, so 0 in Holder can stand for any
I abstract class Rod D {} rod. Is it necessary to draw another picture?
I class Dagger extends Rod D {}
I class Sa bre extends Rod D {}
I class Sword extends Rod D {}
Are they good ones?
Think of another kind of holder. Are you 83 We could move all of the food to various
tired of drawing pictures, yet? forms of plates.
I abstract class PlateD {}
I class Gold extends PlateD {}
I class Silver extends PlateD {}
I class Brass extends PlateD {}
I class Copper extends PlateD {}
I class Wood extends PlateD {}
84
\Vhat is It's a Kebab D.
new Shallot(
new Radish(
new Holder(
new DaggerO)))?
Alethods to Our l\!adness 29

H5
Is Sure it is. It onl,Y contains radishes and
new Shallot( shallots.
new Radish(
new Holder(
new Dagger())))
a vegetarian Kebab D ,?
86
Is Sure, becaul:ie Gold is a PlateD. PlateD is used
new Shallot( as a Holder, and radishes and shallots can be
new Radish( put on any Holder.
new Holder(
new Gold())))
a Kebab D ,?
87
Is Sure it is. It is basically like
new Shallot( new Shallot(
new Radish( new Radish(
new Holder( new Holder(
new GoldO))) new Dagger()))),
a vegetarian kebab? except that we have moved all the food from
a Dagger to a Gold plate.
Let's define the methods (i.e., the function) 88 If you can, you may rest now.
isl'eggie,
which check whether a kebab contains only
vegetarian foods, regardless of what Holder it
is on.
H9
\Vrite the abstract method isl'eggie. That's possible nm\!.
~----~----------------~·-l
bstract boolean is Veggie () .
[ Kebab j
Of course, is Veggie belongs to Kebab D and

is Vegetarian to Shish D .
30 Chapter 2
The concrete methods are similar to those 90 Except for the names of the methods and
called is Vegetarian. Here are two more; fields, the definitions are the same as they
define the remaining two. were for Shish v .
boolean is Veggie 0 { boolean is Veggie () {

return true; } return false; }
Holder Shrimp
boolean is Veggie () { boolean is Veggie 0 {

return k.is VeggieO; } return k.isVeggieO; }
Shallot Radish
\\That is the value of 91 true.

new Shallot(
new Radish(
new Holder(
new DaggerO)))
. is Veggie 0 7
92
What is It is a Kebab v , but we also know that it is an
new Shallot( instance of the Shallot variant.
new Radish(
new Holder(
new DaggerO)))7
What is the value of 93 It is true, too.

new Shallot(
new Radish(
new Holder(
new GoldO)))
. is Veggie 0 7
94
And what is It is also a Kebab v , because any kind of
new Shallot( Holder will do.
new Radish(
new Holder(
new GoldO)))7
Aiethods to Our Madness 31

\Vhat type of value is boolean.
new Shallot(
new Radish(
new Holder(
new Integer(52))))
· is ~i(;ggie () ';
\Vhat type of value is !}(i boolean.

new Shallot(
new Radish(
new Holder(
new OneMoreThan(
new Zero()))))
· i8\'eggie ()?
\Vhat type of value is 9; boolean.

new Shallot(
new Radish(
new Holder(
new Boolean(false))))
· is \'eggie () '?
98
Does that mean is \'eggie works for all five Yes, and all other kinds of Objects that we
kinds of Holders'! eould possibly think of.
\Vhat is the holder of 99 All the food is on a Dagger.

new Shallot(
new Radish(
new Holder(
new Dagger())))?
\Vhat is the holder of 100 All the food is now on a Gold plate.
new Shallot(
new Radish(
new Holder(
new Gold())))?
32 Chapter 2
What is the holder of 101 All the food is on an Integer.
new Shallot(
new Radish(
new Holder(
new Integer(52))))?
102
What is the value of The dagger.
new Shallot(
new Radish(
new Holder(
new DaggerO)))
. whatHolderO?
What is the value of 103 The gold plate.

new Shallot(
new Radish(
new Holder(
new GoldO)))
. whatHolderO?
What is the value of 104 An Integer, whose underlying int is 52.

new Shallot(
new Radish(
new Holder(
new Integer( 52) ) ) )
.whatHolderO?
105
What type of values do the methods (i. e., They produce rods, plates, and integers. And
the function) of whatHolder produce? it looks like they can produce a lot more.
106
Is there a simple way of saying what type of They always produce an Object, which is also
values they produce? the type of the field of Holder.
107
Here is the abstract method whatHolder. If we add this method to Kebab D , then we
must add a method definition to each of the
abstract Object whatHolderO four variants.
Kebab
Methods to Our Madness 33

\Vhat is tlw valup of new Integer(52).
new Holder(
new Integer(52))
.l1'fwtHolder( )?
IIH)
\Vhat is the value of new Sword ().
new Holder(
new Sword ())
.whatHoldcr()?
\Vhat is the value of It is b.

new Holder( b)
. ii'lwtHolder()
if h is SOlllP object?
III
Ddill(, tht' COllnett' lllethod that goes into \Vith these kinds of hints. it's easy.
the spac{' labeled Holder.
Object 10hatHolder() {
return 0: }
Holder
112
\Vhat is tht' value of new Integer(52).
new Radish(
new Shallot(
new Shrimp(
new Holder(
new Integer(52)))))
.ll'hatHolder()?
II:!
\Vhat is the value of new Integer(52).
new Shallot(
new Shrimp(
new Holder(
new Integer(52))))
. whatHoldcr()?
Chapter 2
\\That is the value of 114 new Integer(52).
new Shrimp(
new Holder(
new Integer(52)))
· whatHolder ()?
Does that mean that the value of 115 Yes. all four have the same answer:
new Radish( new Integer(52).
new Shallot(
new Shrimp(
new Holder(
new Integer(52)))))
· whatHolder ()
is the same as
new Shallot(
new Shrimp(
new Holder(
new Integer(52))))
· whatHolder 0,
which is the same as
new Shrimp(
new Holder(
new Integer(52)))
· whatHolderO,
which is the same as
new Holder(
new Integer(52))
· whatHolder ()?
Here is the method for Shallot. 116 They are all the same.
Object whatHolderO { Object whatHolderO {

return k.whatHolderO; } return k.whatHolderO; }
Shallot Shrimp
"'Trite the methods of whatHolder for Shrimp
and Radish. Object whatHolderO {
return k. whatHolder(); }
Radish
!vfethods to Our Afadness 35

117
Here is the datatype and one of its variants. There are only three left.
abstract class Kebab v { class Shallot extends Kebab v { ~

abstract boolean is Veggie (); Kebab v k;
abstract Object whatHolderO; Shallot(Kebab V _k) {
I
} k = _k; }
boolean is Veggie() { I
class Holder extends Kebab v { return k.isVeggieO: }
i
Object 0; Object whatHolderO {

Holder(Object _0) { return k.whatHolder(); } I
~
o = _0; }
:
I
boolean is Veggie () {
return true; }
Object whatHolderO {
class Shrimp extends Kebab v {
Kebab v k;
--l
I} return 0; } Shrimp(Kebab V _k) {
k = _k; }
I
Collect the remaining variants. boolean is Veggie 0 {

return false; }
I
ret urn k. whatHolder (): }
,
-~
class Radish extends Kebab v { I

Kebab v k;
Radish(Kebab V _k) { I
k = _k; }
boolean is Veggie () { I
return k.is VeggieO; }
ret urn k. whatHolder (); } I
---'
118
Are there any other Kebab v foods besides No, these are the only kinds of foods on a
Shallot, Shrimp, and Radish? Kebab v .
36 Chapter 2
Can we add more foods? 119 Sure. \Ve did something like that ,vhen we
added Thyme and Sage to Seasoningv.
Let's define another Kebab v . 120 A concrete class that extends Kebab v must
define these two methods. That's \vhat the
class Pepper extends Kebab v { abstract specifications say. \Ve can define as
Kebab v k; many Kebabvs as we wish.
Pepper(Kebab V _k) {
k = _k; } class Zucchini extends Kebab v {
Kebab v k;
boolean is Veggie() { Zucchini(Kebab V _k) {
return k.isVeggieO; } k = _k; }
return k. whatHolderO; } boolean is Veggie () {
ret urn k. is Veggie (); }
Why does it include is Veggie and whatHolder return k.whatHolder(): }
methods?
Is it obvious how the new methods work? 121 Totally. In both cases is Veggie just checks
the rest of the Kebab v , because green
peppers and zucchini are vegetables.
Similarlv. whatHolder returns whatever
holder belongs to the rest of the Kebab v .
122
And then there were six. Yes, now Kebab v has six variants.
\Vhich of these points is closer to the origin: 123 The second one,
new ManhattanPt(3,4) because its distance to the origin is 6 while
and the first point's distance is 7.
new ManhattanPt(1,5)?
Good. Which of the following points is closer 124 The first one, clearly. Its distance to the
to the origin: origin is 5, but the second distance is 13.
or
new CartesianPt(12,5)?
Afethods to Our Afadness 37

\Ve addt'd tIle method clo8erToO to The definitions an' llcarl.V identical. The
Cartesian Pt. It consumes another CartesianPt method for ManhattanPt consumes a
and determines \vhether the constructed or ManhattanPt and determines which of those
the COlISlllllCd point is closer to the origin. two points is closer to the origin.
, class CartesianPt extends PointD class ManhattanPt extends Point D

I int I: int :r;
int y: int y;
CartesianPt(int _.Lint _//) ManhattanPt(int _1' jnt _y)
.1' = _.I': .1' = _.r:
y = -y: } y = -y: }
int distaT/('eToO() { int distanceToO()

return l ).1'2 + .11 2 J: } return l' +.1/; }
boolean !'/o . . . ,.rToO(CartesianPt p) boolean clo.'wrToO(ManhattanPt p)
return return
di . . . taT/ccToOO :S p.distanceToO(); } distanceToO() :S 1 p.distanceToOO:
Add the COIT('SpOlHiing method to

ManhattanPt. 1 Thi~ is t hl' two charact('r ~Ylllbol <=.
\Vllat is t he value of 121i false.

new ManhattanPt(3A)
. do.',wl'ToO(new ManhattanPt( 1,5))'?
\Vhat is the value of true, obviously.

new ManhattanPt( 1,5)
.do.'wrToO(new ManhattanPt(3A))?
\Vlia! is the value of false, and true is the value of

new CartesianPt(12,5) new CartesianPt(3A)
.c/os(,l'ToO(new CartesianPt(3,4))? .closerToO(new CartesianPt(12,5)).
1:l<J
So finally, what is the value of . That's nonsense.
new CartesianPt(3A)
. do.'wrToO(new ManhattanPt( 1,5))':
Chapter 2
Why? 130 The method closerToO can only consume
CartesianPts, not ManhattanPts.
How can we fix that? We could replace

(CartesianPt p)
by
(Point D p)
in the definition of closer ToO for CartesianPt.
132
If we do that, can we still determine the Yes, because the definition of Point D
value of obligates every variant to provide a method
p.distanceToOO? named distance ToO.
133
Why does it help to replace (CartesianPt p) Every CartesianPt is a Point D , and every
by (Point D p)? ManhattanPt is a Point D . too. .
Here is the improved CartesianPt. 134 Easy.
class CartesianPt extends Point D { class ManhattanPt extends Point D {

int x; int x;
int y; int y;
CartesianPt(int _x,int _y) { ManhattanPt(int _xJnt _y) {
x = _x: x = _x:
y = -y: } y = -y: }
int distanceToOO { int distanceToO() {

return l vx2 + y2J; } return x + y; }
boolean closerToO(PointV p) { boolean closerToO(Point D p) {
return return
distanceToOO ::; p.distanceToOO; } distanceToOO ::; p.distanceToOO; }
Improve the definition of ManhattanPt.
135
Is the definition of closerToO in CartesianPt Yes, they are identical.
the same as the one in ManhattanPt?
Methods to Our l\Jadness 39

Correct, and therefore we can add a copy to L16 Looks correct.
t he abstract class Point v and delete the
definitions from the variants.
V
I abstract class Point {
. boolean closcrToO 1 (Point V p) {
return
I di8tance ToOO :S p. distance ToOO:
abstract jnt distanceToO():
1 The method closerToO is a tf'mp/aif and the method
} distanceToO is it hook in the ifcmpla/e method pattf'nl
instance [41.
\Vhat else do tht' two point variants have in J:l7 Their fields. Shouldn't \ve lift them. too'?
common?
13K
\'ps. It's tricky, but here is a start. This not only lifts x and .II, it also introduces
a new constructor.
abstract class Point V
jnt :r:
int .II:
Pointv(int j,int _.II) {
l' = _.r;
y = _.1/: }
boolean closerToO(Point V p) {
return
distanceToOO :S p.distanceToO():
abstract jnt distance ToO():
}
L
130
Absolutely. And we need to change how a l\Iimicking this change is easy. But what
CartesianPt is built. Define ManhattanPt. does super(_x,_y) mean?

class ManhattanPt ex. tends. Point D {
CartesianPt(int -x ,int -y) { ManhattanPt(int _x,int _y) {
I
I super(_·f,_Y): } super(_x,_y); }
lint di.'danc(' ToOO { int distanceToO()

I return l )1. 2 +lJ; } return :.r + .II; }
40 Chapter 2
140
The expressions super(_x,_y) in the That's simple.
constructors CartesianPt and ManhattanPt
create a Point D with the appropriate fields,
and the respective constructor guarantees
that the point becomes a CartesianPt or a
ManhattanPt.
141
Do we now have everything that Yes, and those things that distinguish the
characterizes PointDs in the datatype? two variants from each other reside in the
corresponding variants.
Is this a long chapter? 142 Yes, let's have a short snack break.
Afethods to Our Afadness 41

Do you like to eat pizza? Looks like good toppings. Let's add Sausage.
abstract class Pizza D { class Sausage extends Pizza D {
-- ( Pizza ) -- Pizza D p;
} '-----~ Sausage(Pizza D -p) {
p = -p: }
class Crust extends Pizza D {

-- ( Sausage )-
I -- ( Crust ) -- }
}
class Cheese extends Pizza D {

Pizza D p;
Cheese(Pizza D -p) {
p = -p; }
-- ( Cheese ) --
} '-----~
class Olive extends Pizza D {

Pizza D p;
Olive(Pizza D -p) {
p = -p; }
-- ( Olive ) --
} '--------'
class Anchovy extends Pizza D {

Pizza D p;
Anchovy(Pizza D -p) {
p = -p; }
-- ( Anchovy ) --
} ~"------=--~
What's New? 43
1I('J'(' is ullr favorit (' pizza: This looks too salty.
new Anchovy(
new Olive(
new Anchovy(
new Anchovy(
new Cheese(
new Crust()))))),
That would make it l('ss salty.
L<,t's n'lllU\'(' thelll. \\'hat is t hc valuc of It should be a dw('s(' alld ulive pizza, like
new Anchovy( this:
new Olive( new Olive(
new Anchovy( new Cheese(
new Anchovy( new Crust())),
new Cheese(
new Crust())))))
,nlllA I (r!
\ hl'IIIT n"n,,' ftJr IIH'S" lIll'1h",b \\'()uld 1)(' removeAnchovy,

1.111 Ih"11 ,,"r ddillilitJlIS "'tJlIIdll't fit inttJ th,'s,' COIUIIlIlS,
\\'!tat is tit<' valuc of It should be a cheese, sausage, alld oiivp

new Sausage( pizza, like this:
new Olive( new Sausage(
new Anchovy( new Olive(
Hew Sausage( new Sausage(
Hew Cheese( new Cheese(
new Crust() ))))) new Crust())))),
, I't III.'\( r!
Dot'S !'ImA helong to the datat,Vpc Pizzaf' Yes, awl it produCt'S thclll. too.
aud its \'ariallts'!
---------------------------------.---------~
Chapter .3
Define the methods that belong to the five 7 We didn1t expect you to know this one.
variants. Here is a start.
abstract Pizza v remAO;
Pizza
Pizza v remAO {
return new CrustO; }
Crust
Define the two methods that belong to Olive The Olive and Sausage methods are similar
and Sausage. We've eaten the cheese already. to the Cheese method.
Pizza v remAO { Pizza v remAO {

return new Cheese(p.remAO); } return new Olive(p. remAO): }
Cheese Olive
Pizza v remAO {
return new Sausage(p.remA()); }
Sausage
Explain why we use The cheese, the olives, and the sausages on
new Cheese ... , the pizzas must be put back on top of the
new Olive ... , and pizza that p.remAO produces.
new Sausage ...
when we define these methods.
10
The methods remA must produce a Pizza v , Yes, and now the methods of remA produce
so let's use new CrustO, the simplest Pizza v , pizzas without any anchovies on them.
for the method in Anchovy.
Pizza v remAO {
return new CrustO; }
Anchovy
What's New? 45
Let'~ tr,v it out on a small pizza: That's easy. The object is an Anchovy. So
new Anchovy( the answer is new CrustO.
new Crust())
.I'IITIA().
12
b Absolutely, but what if we had mol'{'
Hew Crust() allchovies?
likt'
new Anchovy(
new Crust())
wit bOllt anchuvy?
~() problelll. Here is an example: That's easy again. As before, the object is an
Hew Anchovy( Anchovy so that tilt' answer lllust still be
Hew Anchovy( new Crust().
new CrustO))
.f'l'mA.().
() kay, so w hat if we had an uli ve alld cheese \Vell, this object is an Olive and its p stan(is
Oil top: for
new Olive( new Cheese(
new Cheese( new Anchovy(
Hew Anchovy( new Anchovy(
new Anchovy( new Crust()))).
new Crust()))))
.f"(lnA()?
'1'1\('11, what is the value of It is the pizza that

new Olive(p.rcmA()) new Cheese(
W\H'l'(' Ji stands for
new Anchovy(
new Anchovy(
Hew Cheese(
new Crust())))
new Anchovy(
.remAO
new Anchovy(
new Crust())) r: produces, with an olive added 011 top.
Chapter 3
vVhat is the value of 16 It is
new Cheese( new Cheese(p. remA 0),
new Anchovy(
where p stands for
new Anchovy(
new CrustO))) new Anchovy(
.remAO? new Anchovy(
new CrustO)).
17
And what is the value of It is the pizza that
new Anchovy( new Anchovy(
new Anchovy( new CrustO))
new CrustO)) .remA()
.remAO)? produces, with cheese added on top.
18
Do we know the value of Yes, we know that it produces new CrustO.
new Anchovy(
new Anchovy(
new CrustO))
.remAO?
Does that mean that new CrustO is the 19 No, we still have to add cheese and an olive.
answer?
Does it matter in which order we add those 20 Yes, we must first add cheese, producing
two toppings? new Cheese(
new CrustO)
and then we add the olive.
21
So what is the final answer? It is
new Olive(
new Cheese(
new CrustO)).
''''hat '5 I'lew? 47

"22
Let's try ow' more example: It should he a double-cheese pizza.
new Cheese(
new Anchovy(
new Cheese(
new Crust())))
.rem A ( ).
\Vhat kind of pizza should this make?
Chpck it ollt! The object is an instance of Cheese su the

value is
new Cheese(p.remA())
where p stands for
new Anchovy(
new Cheese(
new Crust())).
Doesn't that Illean that the result is )'es, it puts t he cheese on 'Nhatever we gd
new Cheese( for
new Anchovy( new Anchovy(
new Cheese( new Cheese(
new Crust())) new Crust()))
. rem.A())? .remA() .
\Vhat about Now the object is an anchovy.

new Anchovy(
new Cheese(
new CrustO))
. rClTIA()?
And t he answer is 21i IreS, but we need to add chees(' OIl top.
new Crust()?
27
Does that mean the final ammrer is Yes, though it's not the answer we want.
new Cheese(
new Crust())?
48 Chapter 3
What do we want? 28 A double-cheese pizza like
new Cheese(
new Cheese(
new CrustO)),
because that's what it means to remove
anchovies and nothing else.
Which remA method do we need to change 29 The one in Anchovy.

to get the cheese back?
Pizza v remAO {
return p.remAO; }
Anchovy
Does this remA still belong to Pizza v ? 30 Yes, and it still produces them.
The Third Bit of Advice

When writing a function that returns
values of a datatype, use new to create
these values.
We could add cheese on top of the anchovies. 31 Yes, that would hide their taste, too.
What kind of pizza is 32 Easy, it adds cheese on top of each anchovy:

new Olive( new Olive(
new CrustO)))) new Cheese(
.topAwC10? new Anchovy(
new CrustO)))))).
1 A better name for these methods would be
topAnchovywi thCheese.
Did you notice the underlines? 33 Yes, they show where we added cheese.
What's New? 49
And what i:-; Here \vt' dOlt"t add an~' cheese. hecau:-;e the
new Olive( pizza does not contain any anchovies:
new Cheese( new Olive(
new Sausage( new Cheese(
new Crust()))) new Sausage(
.topAlvC()? new Crust()))).
DefiIle the remaiIling methods. \Ve expect you to know some of the answers.
abstract Pizzafl topAwC(); Pizza fl topAwCO {

return new Cheese(p.topAwC()):
Pizza
Chee:-;('
r-
I Pizza fl topAwCO {
Pizza fl topAwCO {
return new Crust():
return new Olive(p.topAwC()):
Crnst
Olive
Ip~z~a-;-~()~."~Ii~'() {
I return new Sausage(p.topAwC() I: }
I
Sausage
l __ _
Take a look at this method. \Vith that definition. topAwC would give the
same results <l."> 7'(;TTlA. The Illcthod topA1DC
Pizzafl topA10CO { ill Anchovy Illllst put the anchovy back 011
return p.topAwC(): the pizza and top it with cheese.
Anch()v~r
Pizzafl topAwC() {
I return
I new Cheese(
I new Anchovy(p. topAwC())):
I Anchovy
50 Chapter 3
How many layers of cheese are in the result 37 One, because remA removes all the
of anchovies, so that topAwC doesn't add any
(new Olive( cheese.
new Anchovy(
new Cheese(
new Anchovy(
new CrustO))))
.remAO)
.topAwCO?
How many occurrences of cheese are in the 38 Three, because topAwC first adds cheese for
result of each anchovy. Then remA removes all the
(new Olive( anchovies:
new Anchovy( new Olive(
new Cheese( new Cheese(
new CrustO)))) new Cheese(
.topAwCO) new Crust())))) .
. remAO?
Perhaps we should replace every anchovy 39 We just did something like that.
with cheese.
40
Is it true that for each anchovy in x Yes, and it does more. Once all the cheese is
x.topAwCO·remAO added, the anchovies are removed.
adds some cheese?
So 41 Aha!
x. topAwC(). remA()
is a way to substitute all anchovies with
cheese by looking at each topping of a pizza
and adding cheese on top of each anchovy
and then looking at each topping again,
including all the new cheese, and removing
the anchovies.
What's New? 51
Here is a differcnt description:
"The methods look at each topping of a
pizza alld replace each anchovy with
dH'{'se.·'
Ddiw' til{' lllet hods that match this
desniptiull. Call them subAbC. 1 Here is the
abstract method.
Pizza D 8ubAbCO {
abstract Pizza D 8ubAbCO; return new Cheese(p.8ubAbCO); }
I
Pizza
Cheese
I
- -----.-------------.---~----
I
Pizza D 8ubAbCO {
return new Olive(p.subAbCO):
Olive
Anchovy
1·_------_·_· -.---- ------- ----------- ~---
Pizza D 81lbAbCO {
return new Sausage(p.subAbC()): }
1 .\ [",ttt'r IIillllt· for these JIlethods would be

S;-lUsage
_ _ _ _ _ _ ~ _ _ _ _ ..J
substi tuteAnchovybyCheese
Dot's this skdeton look familiar'? Yes, this skeleton looks just like those of
topAwC and T'ernA.
,/4
Ddiw' t IH' llldhod that belongs in Anchovy. Here it is.
Pizza D 8ubAbCO {
return new Cheese(p.811bAbCO): }
Anchovy
Chapter 3
Collection time. l 45 The classes are getting larger.
abstract class Pizza v { class Olive extends Pizza v {

abstract Pizza v remAO; Pizza v p;
abstract Pizza v topAwCO; Olive(Pizza V -p) {
abstract Pizza v subAbCO; p = -Pi }
}
Pizza v remAO {
return new Olive(p.remA()): }
class Crust extends Pizza v { Pizza v topAwCO {
Pizza v remAO { return new Olive(p.topAwCO): }
return new Crust()i } Pizza v subAbCO {
Pizza v topAwCO { return new Olive(p.subAbC()); }
return new Crust()i }
Pizza v subAbCO {
return new CrustOi }
class Anchovy extends Pizza v {
Pizza v p;
Anchovy(Pizza V -p) {
class Cheese extends Pizza v {
p = -Pi }
Pizza v p;
Cheese(Pizza V -p) { Pizza v remAO {
p = -Pi} return p.remA(); }
Pizza v topAwCO {
Pizza v remAO { return
return new Cheese(p.remAO)i } new Cheese(
Pizza v topAwCO { new Anchovy(p.topAwCO)); }
return new Cheese(p.topAwCO); } Pizza v subAbCO {
Pizza v subAbCO { return new Cheese(p.subAbCO); }
return new Cheese(p.subAbCO)i }
class Sausage extends Pizza v {

Pizza v p;
Sausage(Pizza V -p) {
p = _pi }
Pizza v remAO {
return new Sausage(p.remAO): }
Pizza v topAwCO {
return new Sausage(p.topAwCO): }
Pizza v subAbCO {
return new Sausage(p.subAbCO)i }
1 This is similar to the interpreter and composite
patterns [4].
What's New? 53
Let's add more Pizza v foods. 46 Good idea.
47
Hen' is OIle addition: Spinach. Yes, \ve must define three concrete methods
for each variant of Pizza v.
class Spinach extends Pizza v
Pizza v p;
Spinach( Pizza v _p) {
p = -p; }
Pizza v remAO {
return new Spinach(p.remA()); }
Pizza v topAwCO {
return new Spinach(p.topAwCO); }
Pizza v subAbCO {
return new Spinach(p.subAbCO); }
48
Do we need to change Pizza v, Crust, Cheese, No. \Vhen we add variants to the datatypcs
Olive, Anchovy, or Sausage? we have defined, we don't need to change
what we have.
Isn't that neat? Yes, this is a really flexible way of defining

classes and methods. Unfortunately. the
more things we want to do with Pi~zavs, the
more methods we must add.
50
True enuugh. And that means cluttered That would be great, because these
classes. Is there a better way to express all definitions are painful to the eye. But we
this"! don't know of a better way to organize tlH'se
definitions yet.
Don't worry'. \Ve are about to discover how 51 Great.

to make more sense out of such things.
And now yuu can replace anchovy with \\re will stick with anchovies.
\vhatever pizza topping you want.
54 Chapter :3
~-~ -
~o
@@)EJ~ '(fJ@ @.)~~:ff
(£'~~l1J~~JU
\Vasn't this last collection overwhelming? It sure was. \Ve defined seven classes and
each contained three method definitions.
Could it get worse? It sure could. For everything \ve want to do

with Pizza v, we must add a method
definition to each class.
\Vhy does that become overwhelming? Because it becomes more and more difficult
to understand the rationale for each of the
methods in a variant and what the
relationship is between methods of the same
name in the different variants.
Correct. Let's do something about it. Take a 4 These methods look familiar. Have we seen
close look at this visitor class. them before?
class OnlyOnions v {
boolean jorSkewerO {
return true; }
boolean jorOnion(Shish V s) {
return s.onlyOnionsO; }
boolean jorLamb(Shish V s) {
return false; }
boolean jorTomato(Shish v s) {
return false; }
V This superscript is a reminder that the class is a visitor

class. Lower superscripts when you enter this kind of
definition in a file: OnlyOnionsV.
Almost. Each of them corresponds to an That's right. The major difference is that
only Onions method in one of the variants of they are all in one class, a visitor, whose
Shish v . name is OnlyOnions v .
Is only Onions different from OnlyOnions v? The former is used to name methods, the
latter names a class.
Come to Our Carousel 57

Awl that's the whole point. \Vhat point?
\Ve wallt all thl' methods in one da~s. \Vhat methods'!
Those llldho<is that would have the same If \ve could do that, it would be much ('a;:;ier
WutH' if we placed t hem into t he variants of a to understand what action these methods
datatnH' in one class. perform.
That's what we are about to do. \Ve are It's about time.
guing to separate the action from the
datat~·I)('·
\Vhat is till' ditft'l'cnce between the method 11 Everything following return is tll(' same.
onl,l/Onion.'i ill the Onion variant and the
lIH'thud fOl'Onioli ill the visitor OnlyOnions v ,?
night. \VIlat is the differeIH'()! The difference is that onlyOnions in Onion is

followed by () and that for-Onion in
OnlyOnions v is followed by (Shish D .'i).
Y('s, that is the diffcH'Ilce. Are the other for Indeed, the.y are.
llH'thuds ill OnlyOnions v related to their
cUllllterparts ill the samc way?
It is t imp tu discuss the boring part. \Vhat boring part?
The hmillg part tells llS hO\v tu make all of True. we still dOll't know how to make
this work. Shish D and its variants work with this visitor
cla.o..;s, which contains all the action.
Chapter 4
Now take a look at this. 16 This is a strange set of definitions. All the
only Onions methods in the variants look
abstract class Shish v { alike. Each of them uses an instance of
I OnlyOnions v ooFn = new OnlyOnionsvO; I OnlyOnions v , which is created in the
abstract boolean onlyOnionsO; datatype, to invoke a for method with a
} matching name.
class Skewer extends Shish v {

boolean onlyOnionsO {
return ooFn.forSkewerO; }
}
class Onion extends Shish v {

Shish v s;
Onion(Shish V _s) {
s = _s; }
boolean only Onions 0 {

return ooFn.forOnion(s); }
class Lamb extends Shish v {

Shish v s;
Lamb(ShishV _8) {
s = _s; }
return ooFn.forLamb(s); }
class Tomato extends Shish v {

Shish v s;
Tomato(Shish V _s) {
s = _s; }
return ooFn.forTomato( s); }
}

\Vhat does tiH' jor-Gnio71 method in Onion If "consume" refers to what follows the name
consullle? between parentheses, the method consumes
s, \vhich is the rest of the shish.
III
That's what "consumption" is all about. Nothing, because a skewer is the basis of a
And what clops the jorSkeuwr method in shish and therefore ha.."> no fields.
Skewer cOllsume'?
So what does the (Shish D s) mean in the It is always the rest of the shish, below the
definition of jorOnion? top layer, which is an onion. In other words.
it is everything but the onion.
20
\rery good. The notation (Shish D s) means That makes sense and explains
that jorOnion consumes a Shish D and that 8. onlyOnions ().
betwecn { and }, 8 stands for that shish.
Explain 8.oTllyOnions(). Here are our words:

"s is a Shish v , and therefore 8.onlyOnioTls(1
determines whether what is below the
onion is also edible by an onion Im'('I'.·'
Explain ()oFn.jorOnion(s). You knew we wouldn't let ~'ou down:

"ooFn.jorOniou says that we want to use
the method we just described. It consumes
a Shish D , and s is the Shish D that
represents what is below the onion."
:n
So what is the value of It is still true.
new Onion(
new Onion(
new Skewer()))
. onlyOnioTls()?
And how do we determilH:' that value with 24 \Ve start with the onlyOnions method in
these Ilew definitions? Onion, but it immediately uses the jOTOnion
method on the rest of the shish.
flO Chapter 4
And what does the forOnion method do? 25 It checks whether the rest of this shish is
edible by onion lovers.
How does it do that? 26 It uses the method only Onions on s.
Isn't that where we started from? 21 Yes, we're going round and round.
\\Telcome to the carousel. 28 Fortunately, the shish shrinks as it goes

around, and when we get to the skewer we
stop.
And then the ride is over and we know that 29 That's exactly it.
for this example the answer is true.
Do we need to remember that we are on a 30 No! Now that we understand how the
carousel? separation of data and action works, we only
need to look at the action part to understand
how things work.
Is one example enough? 31 No, let's look at some of the other actions on
shishes and pizzas.
Let's look at is Vegetarian next. Here is the 32 What about it?

beginning of the protocol. 1
abstract class Shish v {

OnlyOnions v ooFn = new OnlyOnionsvO;
IsVegetarian v ivFn = new IsVegetarianvO;
abstract boolean onlyOnionsO;
abstract boolean is VegetarianO;
}
1 The American Heritage Dictionary defines protocol as

"[tJhe form of ceremony and etiquette observed by diplomats
and heads of state." For us, a protocol is an agreement on
how classes that specify a datatype and its variants interact
with classes that realize functions on that datatype.

\Vrite the rest! 'Ve must add two lines to each variant, and
they are alIllo~t the same a.--; those for ooFn.
Skewer extends Shish D {

boolean onlyOnions() {
return ooFn.forSkewer(); }
boolean is ~legetarian() {
return ivFn.forSkeu.·er(); }
- -- . -------- -- ---- --..------ . ------- ... -

class Onion extends Shish D {
Shish v s;
Onion(Shish V _s) {
1
, s = _s; }
boolean olllyOnions () {
return ooFn.forOnion(8); }
boolean is \;'egetarian () {
return ivFn.forOnion(s); }
class Lamb extends Shish v {

Shish v s;
Lamb(Shish D _8) {
s = _s; }
boolean onlyOnions () {
return ooFn.forLamb(8): }
boolean is ~'egetarian() {
return ivFn.forLamb(8): }
1::--_._---------------_._---
• class Tomato extends Shish v {
. Shish V 8;
Tomato(Shish V _8) {
8 = _8: }
boolean only Onions () {

return ooFn.forTomato(s); }
boolean is Vegetarian () {
return ivFn.forTomato(s); }
62 Chapter 4
That's why we call this part boring. 34 True, there's very little to think about. It
could be done automatically.
How do we define the visitor? 35 Does that refer to the class that contains the
actions?
36
Yes. that one. Define the visitor. It is like OnlyOnions v except for the method
forTomato.
class IsVegetarian v {
boolean forSkewerO {
return true; }
boolean forOnion(Shish D s) {
return s.is VegetarianO; }
boolean forLamb(ShishD s) {
return false; }
boolean forTomato(Shish D s) {
return s.is VegetarianO; }
Are we moving fast? 37 Yes, but there are only a few interesting
parts. The protocol is always the same and
boring; the visitor is always closely related to
what we saw in chapter 2.
How about a tea break? 38 Instead of coffee?
The Fourth Bit of Advice

When writing several functions for the
same self-referential datatype, use
visitor protocols so that all methods for
a function can be found in a single
class.
Come to OUT Carousel 63

Is ~o, it's a pizza.
new Anchovy(
new Olive( abstract class Pizza D {}
new Anchovy(
new Cheese(
new CrustO)))) l~l~ss. Crust extends Pizza D
.. _{...}_ ........... .
a shish kehah?
class Cheese extends Pizza D {
Pizza D p;
Cheese(Pizza D -p) {
p = -p; }
Olive extends Pizza'D {

Pizza'D p;
Olive(Pizza'D -p) {
p = -p; }
class Anchovy extends Pizza'D {

Pizza'D p;
Anchovy(Pizza v -p) {
p = -p; }
... -.--. . . . ...... _ . . . . . _ . - - - _. .
~
-~-
class Sausage extends Pizza v {

Pizza v p;
Sausage( Pizza v _p) {
p = -p: }
lL.
So what do we do llext'! \Ve can define the protocol for the Illethods
that belong to Pizza D and its extensions:
n:mA, topAwC, and 8ubAbC.
Chapter 4
Great! Here is the abstract portion of the 41 How innovative! The variants are totally
protocol. mindless, nm\!.
abstract class Pizza'D { class Olive extends Pizza D {

RemA v remFn = new RemA v (); Pizza'D p;
TopAwCv topFn = new TopAwCvOi Olive(Pizza'D -p) {
SubAbCv subFn = new SubAbC v 0; p = -Pi }
abstract Pizza'D remAO;
abstract Pizza'D topAwC(); Pizza'D remAO {
abstract Pizza'D subAbCO; return remFn.forOlive(p): }
} Pizza D topAwCO {
return topFn.forOlive(p); }
Pizza'D sllbAbCO {
And here are some variants.
return sllbFn.forOlive (p); }
class Crust extends Pizza'D {
Pizza'D remAO {
return remFn.forCrustO; }
class Anchovy extends Pizza'D {
Pizza'D topAwCO {
Pizza'D p;
return topFn.forCrustO; }
Anchovy(Pizza'D -p) {
Pizza'D subAbCO {
p = -Pi }
return subFn.forCrustO; }
Pizza'D remAO {
return remFn.forAnchovy(p): }
class Cheese extends Pizza'D { Pizza'D topAwC() {
Pizza'D p; return topFn.forAnchovy(p): }
Cheese(Pizza'D -p) { Pizza'D sllbAbC() {
p = -Pi } return subFn.forAnchovy(p); }
Pizza'D remAO {
return remFn.forCheese(p); }
class Sausage extends Pizza D {
Pizza'D topAwCO {
Pizza'D p;
return topFn.forCheese(p); }
Sausage(Pizza'D _p) {
Pizza'D subAbCO {
p = -Pi }
return subFn.forCheese(p); }
}
Pizza'D remAO {
return remFn.forSausage(p); }
Define the rest. Pizza'D topAwCO {
return topFn.forSausage(p); }
Pizza'D subAbCO {
return subFn.forSausage(p); }

\ \'(. <tIT all set. Is it time to defille the visitors that
correspond to the methods 1'c mA. topAwC,
and .'!ubAbC?
Okay, here is RemA v. By now, even this is routine.

---------- --------'-1
I
'-C-I~S~-~O-~~-:~;" -{--'-
' class RemA v { -
I. PizzaP jorCru.st() { . PizzaI' jorCrust() {
return new CrustO ; } return new Crust(): }
Pizza D jorCh fe se(Pizza D p) {
Pizza 'P jorCheese{Pizza D p} { I
return new Cheese(p.7'emAO): } return new Cheese(p.topAwC()):
PizzaP jorOlive(Pizza'D p) { I PizzaI' jorOhl'f' (Pizza D p) {
return new Olive(p.r-ernAO); } I . ' return new Olive(p.topAII'C( )):
PizzaP jorAnchovy(Piiza D p) { . Pizza D jorAnrhouy(Pizza D p) {
return p.TemAO ; } return
Pizza D jorSausage(Piiza 'P p) { I new Cheese(
I return new ~ausage(p.r('fnA()) ; new Anchovy(p.topAwC())):
I }
I Pizza D jorSa.'usage(Pizza D p) {
I return new Sausage(p.topAwC()):
}
Ddi!l(, TopAwC v .
TI\(, la.'it Ollt'. SubAbCv ~ is a. piece of cake . Alld we tholli!;ht. W(' wer€' workin~ v... il.h a
pizza pie.
,------ '- "- -"-"--"- - --- "l
class SubAbC v {
I Pizza D jorCru8t() {
return new Crust(); }
Pizza D jorCh cesc( Pizza D p) {
I return new Cheese(p.8IlbAbC O):
. Pizza D jorOlive (Pizza D p) {
I return new Olive(p .subAbCO): }
Pizza D jorAnchovy(Pizza D p) {
I return new Cheese(p.subAbCO ): }
Pizza D jorSalL8ugc(Pizza D p) {
I} return new Sausage(p.8ubAbC(I); }
66 Chapter -4
~o
@!~JJ@@iS~ !~~
l~{@r~l1~~ "i?~@
~
.'?
7.:-
~ 7
-- - -
-.,--
Have we seen this kind of definition before?1 1 What? J\!ore pizza!
abstract class PieD {

--( Pie )--
} ----~
class Bot extends PieD {

-( Bot )-
}
class Top extends PieD {

Object t;
PieD 1';
Top(Object _t,Pie D _1') {
t = _t;
l' = _1'; }
-( Top )-
} ---------"
1 Better names for these classes would be PizzaPieD, Bottom

and Topping, respectively.
Yes, still more pizza, but this one is different. 2 Yes, it includes only one variant for adding
toppings to a pizza, and toppings are Objects.
What kind of toppings can we put on these Any kind, because Object is the class of all
kinds of pizza? objects. Here are some fish toppings.
I abstract class Fish D {}
I class Anchovy extends Fish D {}
I class Salmon extends Fish D {}
I class Tuna extends Fish D {}
Objects Are People, Too 69

I\'ic(' datat~·IH'. b It is it pizza pic. and so is
Hew Top( Hew Anchovy(). new Top(new Tuna()~
Hew Top(new Tuna(). new Top(llew Integer(42),
new Top(new AnchovyC). new Toplnew Anchovy(),
new Bot() ))) Hew Top(new Integer(5).
a pizza pie? new Bot())))).
\Yhat is thl' valtll' of It is this ti.shy pizza pie:

new Top(new Salmon(). new Top(new SalmonO.
new Top( new Anchovy(). new Top(new Tuna().
Hew Top(new Tuna(), new Bot())).
Hew T op(new Anchovy().
new Bot( )))))
.{"(,lIIA(),:'
b it t nil' that t he value of '{(,So The pizza that (,OIlH'S out is the saIll(' <i.'i
new Top(llew Salmon(). the Olll' that gO('S ill. because t })(,I'e HI(' 110
Hew Top(new Tuna(). atl('hovil'S 011 that pizza.
new Bot()))
.r"CInA()
IS
new Top(new SalmonO.
new Top(new Tuna().
new Bot()))?
Ddilll' Ill(' protocol for RemAV. \Vp provi<ic This is ('as~r h~r llOW.
t hl' abstract part.

, I' PieD r'('fnA() {
I RemAvmFn = new RemAv(); I . returnmFn.jor[Jot():
abstract PieD felT/AO;
l30t
I I
i PieTl,,('rnAO {
I return mF71.jol' To l'(t.r):
Top
70 Clwpter .)
Great. Isn't that easy? 9 Easy and boring.
What part of this exercise differs from 10 Determining how many fields a variant
datatype to datatype? contains. In our case, we had zero and two.
Anything else? 11 No, from that we know that raFn.forBot is

followed by 0 and raFn.forTop by (t,r).
Why (t,r)? 12 Because these are the fields of Top.
13
Let's define the visitor RemA v. Here are some guesses.
class RemA v { class RemA v {

Pie v forBotO { Pie v forBotO {
return ;} return new Bot(); }
Pie v forTop(Object t,Pie v 1') { Pie v forTop(Object t,Pie v r) {
if (new AnchovyO. equals ( t)) if (new AnchovyO.equals(t))
return _ _ __ ret urn r. remA () :
else else
return _ _ _ _ ; } return new Top(t,r.remAO); }
Great guesses! What does 14 We guess:

if (exprt} "This produces the value of either r.rpr2 or
return expr2; expr3, depending on whether or not e:rprl
else is determined to be true or false.
return expr3; respectively. "
mean?
15
And what does We could guess:
new Anchovy().equals(t) "This expression determines whether t is
equal to new AnchovyO."
mean?
Not yet. It depends on what equals means. 16 \\That?

\Vhat is the valup of The "Not yet." implies that the value is false.
new Anchovy().equals(new Anchovy())?
)'es! And what is the value of false.

new Anchovy(). cquals(new TunaO)? because JlO anchovy is a tl1Jla.
The class Object contains a method called If we know that equ.aL'is answer is always
equals. This method compares one Object to false. why bother to use it?
HnothtT, and it ahvays returns false. 1
1 :"Jot always. \V" explaill the correct allswer in chapter 10.
\Ve lllust define it anew l for all classes whose Okay. How'?
instancps we wish to compare.
1 III Ja\'a. reddillillg a !Ilethod is called "overriding"
For Fish 11 and its variants it works like this. Assuming that
(0 instanceof Tuna)
abstract class Fish D {}
is true when 0 is an instanc(' uf Tuna. t h('s('
method definitions are obvious.
i class Anchovy extends Fish v {
I public 1 boolean equals (Object 0) {
ret urn (0 instanceof Anchovy): }
}
class Salmon extends Fish v {

I
! public boolean equals(Object 0) {
return (0 instanceof Salmon): }
I }
I-c~:~~-~una extends Fish v {

public boolean eql1aL~ (Object 0) {
return (0 instanceof Tuna): } 1 The cla.ss Object is ddiIWd ill a s('parat(' packag,'. called
java . lang . Object. Ovt'rri<iillg Illd hods that J'('si<i(' ill ot h,'r
packages rt'qlIire, th" word public
72 Chapter .')
Aren't they? Is every value constructed with 22 Yes. Every such value is an Object, because
new an instance of Object? every class extends Object directly or
indirectly.
If class A extends B, is every value created 23 Yes. and of the class that B extends and so
by new A( . .. ) an instance of class B? on.
Now, what is the value of 24 true.

new AnchovyO. equals (new AnchovyO)? because new Anchovy() is an instance of
Anchovy.
Yet the value of 25 Of course. because an anchov~' is never a

new AnchovyO.equals(new TunaO) tuna.
is still false.
Could we have written RemA v without using 26 Absolutely, instanceof is enough.

equals?
class RemA v {
PieD JorBot() {
return new BotO; }
PieD Jor'Top(Object t,Pie D r) {
if (t instanceof Anchovy)
return r.rernA();
else
return new TOp(t,T.remAO); }
\Vhy haven't ,ve defined it this way?
Easy, because we want to generalize RemA v 27 \Ve can do that, but vlhen we use the
so that it works for any kind of fish topping. methods of the more general visitor, we need
to say which kind of fish we want to remove.
\Vhat are good names for the more general 28 How about rernPish and Rem Fish v,?
methods and visitor?

How do we use remFish? \Ve give it a Fish D.
:J()
Add the protocol for RemFish v. \Ve designed The rest is routine.
the abstract portion.
r'ernFish(Fish D J) {
r
--~-·--~-··--~-----~----------I
RemFish v rjFn = new RemFishV(); return rfFn.forBot(f):

, abstract Piev remFish(FishV J); I
Bot
---~------------~---~----~~~
PieD n;mFish(Fish D J) {
return rjFn.for·Top( t,T, f):
To~
\Vhert' do (f) and (t),. J) come from? The f stands for the Fish D we want to
remove ill both ca::-;es. The t and t 11(' rare
the fields of Top; Bot doesll't haw any.
:12
Let's define Rem Fish v and its two methods. Instead of comparing the top layer I of the
pizza to Anchovy, we now ddermill(' whpt her
it equals the Fish D f, which is tll(' additional
value consumed by the md hod.
class RemFish V {
PieD forBot(Fish D J) {
return new Bot(); }
PieD forTop(Object i,Pie D r.FishD f) {
if (J. equ.als ( t ) )
return r. remFish(f);
else
return new Top(t,r.n ·rnFish(f)):
If we add another kind of fish to our Nothing, we just have to n'IlH'llliwJ' to add
datat,ype, what \\!ould happen to the equals to the lIe\V variant.
definition of Rem Fish v?
74 Chapter 5
Let's try it out with a short example: 34 The object is a topping, so we use fo1'Top
new Top( new AnchovyO, from RemFish v.
new Bot())
.1'emFish(new AnchovyO).
Yes. What values does fo1'Top consume? 35 It consumes three values: new AnchovyO,
which is t, the top-most layer of the pizza;
new BotO, which is 1', the rest of the pizza;
and new AnchovyO, which is f, the Fish'D to
be removed.
And now? 36 Now we need to determine the value of

if (f. equals ( t) )
return r.1'emFish(f);
else
return new Top(t,1'.1'emFish(f));
where t, 1', and f stand for the values just
mentioned.
37
So? Given what f and t stand for, f. equals ( t) is
true. Hence, we must determine the value of
1'. 1'emFish (f).
\Vhat is the value of 38 It is the same as

new Bot() fo1'Bot(f) ,
. 1'emFish (new Anchovy())? where f is new Anchovy().
39
\Vhat does fo1'Bot in Rem Fish v produce? It produces new BotO, no matter what f is.
All clear? 40 Ready to move on, after snack time.

Do('s ·Y(,s. it looks like what W(' just ('valuated.
new Top(new Integer(2).
new Bot())))
. /'Im/llt( new Integer(3))
l()ok fallliliar"?
\\'hat dol'S nrllint do'? It l'ClllOV(,S Integers from pizza pies jllSt as
{'elf/Fish n'llloves fish frol\l pizza pies.
\\'lio ddilled (11Ua18 for Integer':' TIlt' Machine d('ci(kd

new Integer(O). (ljlw18(new Integer(O))
to he tnH', alld tIl(' rest was oiJviolls.
Ddill(' t he visitor Remlnt v. II \Vonderful! \Vc du the illten'st ing t liillg first.
This visitor is allllost identical to Rem Fish v.
\Ve just llced to change tll(' type of what the
two lllethods ('onsllllH'.
class Remlnt v {
I
PieD JmBof(lnteger i) {
. return new Bot(): }
PieD JorTop(Object (,PieD r,lnteger i) {
if (i.eqlloI8(f)) ---
return r.nmlnf(i):
else
return new Top(t,r.l'frn/nt(l)
Docs it IIlatt(>r that this defillitioll uses i awl No, i is just a hdt<>r ltalll<' thall J. 11<) other
not r: IT(l.SOll. As long as we do such substitutions
s,yst(,Illatically. \ve are just fille.
\\,htTt' is til(' prutocol': It is so Silllpl(>. It>t's save it for lah'r
7(; C'lwpteJ" tj
47
Can we remove Integers from PieDs? Yes.
Can we remove Fish D from PieDs? 48 Yes, and we use nearly identical definitions.
Let's combine the two definitions. 49 If we use Object instead of the underlined
Integer above, everything works out.
vVhy? 50 Because everything constructed with new is

an Object.
Just do it! 51 It's done.
class Rem v {
PieD JorBot(Object 0) {
return new Bot(); }
PieD JorTop(Object t,Pie D r,Object 0) {
if (o.equals(t)) --
return r.rem{o);
else
return new Top{t,r.rem{o)); }
52
Should we do the protocol for all these Now?
visitors?
53
You never know when it might be useful, Let's just consider Rem v.
even if it does not contain any interesting
information.
54
\Vhy not Rem Fish v and RemAv and They are unnecessary once we have Rem v .
Remlnt v ?

Ht'lT is t he abstract portion of PieD. And hpre are the pieces for Bot and Top.
abstract class PieD { class Bot extends PieD { l

Rem V nlnFn = Hew RemV\): I
i PieD rem(Object (}) {
abstract PieD rcm(Object ()); I} return r"rnFlIfo~B:t(O): }
I class Top extends PieD {

. Object t;
PieD r;
! Top(Object _t,Pie D J) {
t = _t;
! ,. = J:}
PieD rem(Object 0) {
I returnnrnPn.forTop(t,r,o): }
l}
Ld's rt'llIU\'(' SUlllP thillgs frolll pizza pies: \Vorks like a charlll with the same result as
Hew Top(new Integer(2). before.
Hew Top(new Integer(3),
Hew Top(new Integer(2),
Hew Bot())))
.I'tln(new Integer(3)).
A ltd how ahollt " Ditto.

Hew Top(new Anchovy().
Hew BotO)
. Inll (new Anchovy()),!
r\t'xt: ~o problem. This, too, rt'lllOV(,S 3 alld leaves

Hew Top( new Anchovy(), the other layers alone:
Hew Top(new Integer(3), new Top(new Anchovy(),
new Top(new Zero(), new Top(new ZeroO,
Hew Bot()))) new Bot())) .
. nln(new Integer(3)).
---------------------------------------------------------------------------
Chapter 5
What is the value of 59 Oops. The answer is
new Top(new AnchovyO, new Top(new AnchovyO,
new Top(new Integer(3), new Top(new Integer(3),
new Top( new ZeroO, new Top(new ZeroO.
new BotO))) new BotO))) .
. rem(new Zero())?
60
\iVhat's wrong with that? \iVe expected it to remove new Zero() from
the pizza.
61
And why didn't it? Because equals for Numvs uses Object's
equals, which always produces false--as we
discussed above when ,ve introduced equals.
Always? 62 Unless we define it anew for those classes

whose instances we wish to compare.
63
Here is the version of Num v (including Adding equals to Zero is easy. Vle use
OneMoreThan) with its own equals. Define instanceof to determine whether the
the new Zero variant. consumed value is a new ZeroO.
I abstract class Num v {} class Zero extends Num v { I

public boolean equals(Object 0) {
return (0 instanceof Zero); }
class OneMoreThan extends Num v {
Num v predecessor;
OneMoreThan(Num V -p) {
predecessor = _p; } But what is the underlining of
((OneMoreThan)o)
public boolean equals(Object 0) { about? \iVouldn't it have been sufficient to
if (0 instanceof OneMore Tha n) write o.prcdecessor?
return
predecessor
. equals(
((OneMoreThan)o) 1 .predecessor);
: else
I} return false; }
1 In Java, this is called (downward) ca....;ting. because
I OneMoreThan extends NumD.

G4
1\0. \Vhat is the type of 0'1 Object, according to
(Object 0),
which is what declal"('s the t.Ylw of o.
fj~)
So what is o.predecessor? Nonsense.
CorH'ct. \Vhat do we know after if hllii \Ve knO\v that 0 's type is Object and that it
deterlllill('d that is an instance of OneMoreThan.
(0 instanceof OneMoreThan)
is true?
Pn'cisely. So what does {(OneMoreThan)o) It converts the t)'pe of () fwm Object to

do'? OneMoreThan.
\Vhat is {(OneMoreThan) oj's type? Its type is OneMoreThan, and now it makes
sense to write
((OneMoreThan) o).predN'eSSOf'.
Are () and (( OneMore Than) 0) The underlying object is the sallle. But no.
illterchangea\)le? the t\\'O expressions are not interchangeable,
because the former's type is Object. wherea,...,
the latter's is OneMoreThan.
Is this complicated': SOllleone ha.. , becn drinking too llluch coffee.
71
Did you also notice the How do the two uses of predC('fS80r differ?
predc('t'ssor
. ('qua[s(
(( OneMoreThan) 0) .predecessor)
in equals for OneMoreThan?
The first one, predecessor, refers to the 7'2 So the second one,
predecessor field of the instance of (( OneMore Than) 0). predecessor.
OneMoreThan 011 which \ve are using equaLs. refers to the predecessor field of the instance
And that field might not be a OneMoreThan. of OneMore Than consuIllcd hy e(jlw.is.
80 Chapter .5
73
Yes. Are these two objects equal? If they are similar 1 to the same int, they are
equal. But most of the time, they are not.
1 Check chapter 1 for "similar."
Time for lunch? 74 That's just in time.
Did you have a good lunch break? 75 Yes, thank you.
Now what is the value of 76 Now we get

new Top(new AnchovyO, new Top( new AnchovyO,
new Top(new Zero(), new BotO)),
new Bot()))) which is precisely what we want .
. rem(new ZeroO)?
And why? 77 Because equals now knows how to compare

Numvs.
Do we always add equals to a class? 78 No, only if we need it.
Do we need equals when we want to 79 Yes, we do.

substitute one item for another on a pizza
pie?
What is the value of 80 It is the same pizza pie with all the anchovies
new Top(new AnchovyO, replaced by salmon:
new Top(new TunaO, new Top(new SalmonO,
new Top(new AnchovyO, new Top(new TunaO,
new Bot()))) new Top(new SalmonO,
. substFish (new Sa Imon () , new BotO))).
new AnchovyO)?
81
What kind of values does substFish consume? It consumes two fish and works on Pievs.

K2
And what does it produce? It always product's a PieD.
\Vhat. is the value of It i::; the ::;aIIlt' pizza pie wit It all :~::; H'plact'd
new Top(new Integer(3), by 5s:
new BotO))) new Top(new Integer(5),
.suhstInt(new Integer(5), new Bot()))).
new Integer(3))?
,;cI D
\Vhat killd of values does 8ub"tInt consullle'! It COllsumes two Integers and works OIl Pie s.
H!:')
And what does it produce? It always product's a PieD.
\Ve call defille SubstFish v. To get from SubstFish v to Substlnt v, \ve just
1 need to substitute FishD by Integer
, class SubstFish v { , everywhere and 'Fish" by "Int" in the cla;.;s
I PieD jorBot(FishDn,Fish D 0) { , and method llames.
, return new Bot(): } I
PieD jorTop(Object t, V
'1 .class Substlnt . {
I PieD r, . PieD jorBot(lntegern,lnteger 0)
FishD n, . I return new Bot(): }
I Fish D 0) { I '. PieD jorTop(Object t,
, if (o.cljual8(t)) . 1 PieD T',
~~:::~ ;~;
return new Top(n.r.8ubsfFish(n,o)):
else I 'I :
return new Top( t,r.8ubstPish(n,o)): if ( o. cljzlIll" (f))

return new Top(n.r ..'iubstInt(n.o)):
1 else
return new Top(t.r.substInt(lI,o)): }
Define Substlnt v .
Did we furget the borillg parts? ):'es, because there is obviuuslv a more
general versioll like Rem v. .
82 Chapter .5
88
Yes, we call it Subst v. Define it. We substitute Object for Fish D and Integer.
class Subst v {
PieD JorBot(Object 71,Object 0) {
return new BotO; }
PieD JorTop(Object t,
PieD r,
Object 71,
Object 0) {
if (0. equals( t))
return new Top(71,r.subst(n,o));
else
return new Top(t,r.subst(n,o)); }
}
89
Now it is time to add the protocol for Subst v The abstract part is obvious.
to PieD. Here are the variants.
class Bot extends PieD { Rem V remF71 = new RemV();
PieD rem(Object 0) { Subst V substFn = new Subst V ():
return remF71.JorBot( 0); }
PieD subst(Object 71,Object 0) {
return substFn.JorBot(71,o); }
abstract PieD rem(Object 0);
} abstract PieD subst(Object n,Object 0 l;J
Object t;
PieD r;
Top(Object _t,Pie D _r) {
t= _t;
r = J;}
ret urn remF71.JorTop (t, r, 0); }
PieD subst(Object 71,Object 0) {
return substF71.jorTop(t,r,71,o); }
So? 90 That was some heavy lifting.

Are protocols truly boring? 1 We acted as if they were.
But, of course they are not. We just didn't Okay, here are the variants again.
want to spend much time on them. Let's
take a closer look at the last one we defined class Bot extends PieD {
in the previous chapter. PieD rem(Object 0) {
return remFn.jorBot( 0); }
abstract class PieD { PieD subst(Object n,Object 0) {
Rem v remFn = new Rem v 0; return substFn.jorBot( n,o); }
Subst V substFn = new SubstVO;
abstract PieD rem(Object 0);
abstract PieD subst(Object n,Object 0);
} class Top extends PieD {
Object t;
PieD r;
t = _t;
r = _r; }
return remFn.jorTop(t,r,o); }
PieD subst(Object n,Object 0) {
return substFn.forTop(t,r,n,o); }
}
What is the difference between rem and The first one consumes one Object, the
subst in PieD? second one consumes two.
What is the difference between rem and Simple: rem asks for the forBot service from
subst in the Bot variant? remFn and hands over the Object it
consumes; subst asks for the forBot service
from substFn and hands over the two Objects
it consumes.
What is the difference between rem and Simpler: rem asks for the for Top service
subst in the Top variant? from remFn and hands over the field values
and the Object it consumes; subst asks for
the forTop service from substFn and hands
over the field values and the two Objects it
consumes.
Boring Protocols 85
Awl that is all there is to the methods in the () ButremFn and substFn defined in the
variants of a protocol. datatype are still a bit lll}'sterious.
Ll't's !lut ('!'cate remPn and sllbstFn in the This looks like an obvious modificatioll. Thp
datatype. Hew rem and 8ubst now consume a remFn
and a substFn, respcctively. Can the,v still
: abstract class PieD { find jorBot and jor Top , their corresponding
I abstract PieD rem (Rem v rernFn, carousel partners?
• Object 0):
abstract PieD .'illbst(Subst V sllbstFn,
Object 71,
I } Object oj;
'Yes, it is a straightforward trade-off. Instead The definition of the datatype says that they
of adding a I'tcmFn field and a substFn field are a Rem v and a Subst v, respectively. And
to the datat:vpe. we now have rem or subst every Rem v defines j07Bot and JOT'Tojl, and
COnSllllH.' such values. \Vhat kind of values so does every Subst v.
are consuuwd b:v rem and sllbst'?
Here is how it changes Top. In the same manner. \Ve just need to change
each concrete method's description of what it
class Top extends PieD conSUlnes. The rest remains the same.
Object t:
PieD 1'; class Bot extends PieD {
Top(Object _t,Pie D -r) { PieD rem(Rem V remFn,
t = _t: Object 0) {
r = -r: } return remFn.jorBot( 0): }
PieD subst(Subst v substFn,
PieD n'm(Rem V remFn, Object n,
Object 0) { Object 0) {
return remFn.joTTop(t,T',o): return sl1bstFn.forBot( n,o):
PieD 8ubst (Subst v 8ubstFn,
Object n,
Object 0) {
I} return sobstFll.jorTop( t,T', n, 0);
_ _ _ _ _ _.. _ • _ _~_._..O
How dol'S it affect Bot?
Chapter 6
That's right. Nothing else changes in the 10 We still have some work to do.
variants. Instead of relying on fields of the
datatype, we use what is consumed.
Like what? 11 Consuming an extra value here also affects

how the methods rem and subst are used.
12
Where are they used? In Rem v and Subst v, the interesting parts,
for example.
Yes. Here is Rem v. 13 That takes all the fun out of it.
class Rem v { class Subst V {

PieD JorBot(Object 0) { PieD JorBot(Object n,
return new BotO; } Object 0) {
PieD JorTop(Object t, return new BotO; }
PieD r, PieD JorTop(Object t,
Object 0) { PieD r,
if (0. equals ( t)) Object n,
return r.rem(this,o); Object 0) {
else if (o.equals(t))
return new Top(t,r.rem(this,o)); } return
new Top( n,r.subst(this,n,o));
else
return
"Modify Subst v accordingly.
new Top(t,r.subst(this,n,o)); }
What is this all about? 14 Yes, what about it. Copying is easy.
Understanding is more difficult. The word 15 Which object?

this refers to the object itself.
How did we get here? 16 The protocol is that rem in Bot and Top asks
for the JorBot and JorTop methods of
remFn, respectively.
Boring Protocols 87
How does that happen? It happens v,'ith
remFn.forBot( . .. )
and
remFn.forTop( ... ),
respectively.
Corrpct. And now forBot and forTop can 18 Oh. so inside the methods of Rem v. this
rder to the object remFn as this. stands for precisely that instance of Rem v
that allowed us to use those methods ill the
first place. And that must mean that whcn
\ve use r.rem(this, ... ) in for'Top, it tells rem
to use the same instance over again.
That's it. Tricky? 19 Not really, just self-referential.
\Vh y'? Because this is a Rem v, and it is exa('tl~'

\vhat we need to complete the job.
\Vhat is the value of \Ve did the same example in the preceding
new Top(new Anchovy(), chapter, and the result remains the same.
new Top(new Integer(3),
new Top(new Zero(),
new BotO)))
.rcm(new RemvO,
new ZeroO)?
22
And how does the underlined part relate to It creates a Rem v object, which correspouds
what we did there'? to the remFn in the old PieD.
\Vhat is the value of \Ve did the same example in the preceding
new Top(new Integer(3), chapter, and the result remains the .'ialIlP.
new BotO)))
.subst(new Subst v 0,
new Integer(5),
new Integer(3))'1
88 Chapter (j
24
And how does the underlined part relate to It creates a Subst V object, which corresponds
what we did there? to the remFn in the old PieD.
25
So what is the underlined part about? We changed the methods in PieD, which
means that we must also change how it is
used.
Ready for the next protocol? 26 Let's grab a quick snack.
How about some ice cream? 21 Cappuccino crunch sounds great. The more
coffee, the better.
Take a look at subst in Top and at for Top in 28 Nothing really. They get handed back and
Subst v. \\That happens to the values that forth, though forTop compares 0 to t.
they consume?
Is the handing back and forth necessary? 29 We don't know any better way, yet.
Here is a way to define Subst V that avoids the 30 Wow. This visitor has two fields. 1
handing back and forth of these extra values.
class Subst v {
Object n;
Object 0;
Subst v (Object _n,Object _0) {
n = _n;
o = _0; }
PieD forBot() {
return new Bot(); }
PieD forTop(Object t,Pie D r) {
if (o.equals(t))
return new Top(n,r.subst(this));
else
return new Top(t,r.subst(this)); }
1 In functional programming, a visitor with fields is called a
closure (or a higher-order function), which would be the
result of applying a curried version of subst.
Boring Protocols 89
How do we create a Subst v? \Ve use
new SubstV(new Integer(5),
new Integer(3)).
\Vhat does that do'? It creates a Subst v whose methods know hmv
to substitute new Integer(5) for all
occurrences of new Integer(3) in Pie l ).
:1:1
How do the methods know that without The values have now become fields of the
consuming more values"? Subst v object to which the methods belong.
They no longer need to be consumed.
:14
Okay. so hmv would \ve substitute all \Ve write
new Integer(3) \vith new Integer(5) in new Top(new Integer(3),
new Top(new Integer(2), new Top(new Integer(3).
new Top(new Integer(3). new Bot())))
new Bot())))? .subst(new Subst v (
new Integer(5),
new Integer(3))).
And if we want to substitute all \Ve write

new Integer(2) \vith new Integer(7) in the new Top(new Integer(3),
same pie? new Top(new Integer(2),
new BotO)))
.,'iubst(new Subst v (
new Integer(7),
new Integer(2))).
Does all that mean we have to change the Of course, because the methods subst in the
protocol, too'? Bot and Top variants consume only one value
now.
90 Chapter 6
That's right. Here are the datatype and its 37 In the Top variant, we still need to hand over
Bot variant. Define the Top variant. both t and r.

abstract PieD rem(Rem V remFn);
abstract PieD subst(Subst v substFn);
Object t;
PieD r;
l
} Top(Object _t,Pie D _r) {
t = _t:
r = _r; }

PieD rem(Rem v remFn) { PieD rem(Rem v rernFn) {
return remFn.forBotO: } return remFn.forTop(t,r): }
PieD subst(Subst V substFn) { PieD sllbst(Subst v substFn) {
return substFn.forBotO; } ~eturn ,qUb,qtFn.forTOp(_t_,r_)_:_}_ _ _------"
Is there anything else missing? 38 \\Ie haven't defined Rem v for this new
protocol. But it is simple and hardly worth
our attention.
vVhat is the difference betvv'een rem and 39 Not much. The name of the respective values
subst in Bot? they consume and the corresponding types.
What is the difference between rem and 40 Not much. The name of the respective values
subst in Top? they consume and the corresponding types.
Can we eliminate the differences? It is easy to make them use the same names.
It doesn't matter \vhether rem is defined a...,
it is or as
PieD reTn(Rem V substFn) {
ret urn substFn.forTop ( t, r): }.
42
True, because substFn is just a name for a Both Rem v and Subst v are visitors that
value we don't know yet. But how can we contain the same method names and those
make the types the same? methods consume and produce the sam('
types of values. ,\re can think of them as
extensions of a comlllon abstract class.
Boring Protocols 91
Yes! Do it! 43 Here it is.
tbstract class PieVisito,D {

abstract PieD JorBotO;
~
}abstract PieD JorTop(Object t,Pie D r);
Great job, except that we will use interface 44 Okay, that doesn't seem to be a great
for specifying visitors like these. difference. Can a class extend an interface
the way it extends an abstract class?
interface PieVisito,x {
PieD JorBotO;
PieD JorTop(Object t,Pie D r);
I This superscript is a reminder that the name refers to an

interface. Lower superscripts when you enter this kind of
definition in a file: PieVisi torI.
No. A class implements an interface; it 45 Fine.

does not extend it.
Now that we have an interface that describes 46 Yes, we can. Assuming we can use
the type of the values consumed by rem and interfaces like abstract classes, we can
subst, can we make their definitions even write
more similar'? PieD rem(PieVisitorI pvFn) {
return pvFn.forTop(t,r); }
and
PieD subst(PieVisitorI pvFn) {
return pvFn.JorTop(t,r); }
in Top.
Correct. \Vhat is the difference between rem 47 There isn't any. We can use the sanIE' name
and subst, now'? for both, as long as we remember to use it
whenever we would have used rem or subst.
\Vhat is a good name for this method'? 48 The method accepts a visitor and asks for its
services, so we call it accept.
92 Chapter 6
And what is a better name for pvFn? 49 Easy: ask, because we ask for services.
Now we can simplify the protocol. Here is 50 Here we go.

the new Rem v .
class Rem v implements PieVisitorI { abstract PieD accept(PieVisitorI ask);
Object 0; }
Rem v (Object _0) {
o = _0; }
public PieD forBotO { PieD accept(PieVisito~ ask) {
return new Bot(); } return ask.forBotO; }
public PieD forTop(Object t,Pie D r) {
if (o.equals(t))
ret urn r. accept (this) ;
else
Object t;
return new Top(t,r.accept(this)); }
PieD r;
t = _t:
Supply the protocol. r = _r; }
PieD accept(PieVisitorI ask) {

return ask.jorTop(t,r); }
Did you notice the two underlined 51 Yes, what about them?
occurrences of public?
When we define a class that implements 52 Why?

an interface, we need to add the word
public to the left of the method definitions.
It's a way to say that these are the methods 53 Looks weird, but let's move on.
that satisfy the obligations imposed by the
interface.
Correct. They are just icing. 54 Okay, we still won't forget them.
Boring Protocols 93
Now define the new Subst v . 55 Here it is.
class Subst V implements PieVisito~

Object n; 'l I
Object 0; i
SubstV(Object _n,Object _0) {
public PieD JorBotO {

return new BotO; }
public PieD JorTop(Object t,Pie D r) {
if (o.equals(t))
return
new Top(n,r.accept(this));
else
return
new Top(t,r.accept(this));} _
' - - - - - - - - - -
Draw a picture of the interface PieVisitorX 56 Here is our picture.

and all the classes: PieD, Bot, Top, Rem v ,
and Subst v .
accept
- - - - - - - - PieVisitorT
PieD
57
\Vhy is there is a line, not an arrow, from The Subst v visitor implements PieVisitorI ,
Sub~t v to PieVisitorX? it doesn't extend it. Arrows mean "extends,"
lines mean "implements."
And the dashed line? 58 It tells us the name of the method that
connects the datatype to the visitors.
94 Chapter 6
What is the value of 59 Easy:
new Top(new AnchovyO, new Top(new Salmon(),
new Top(new TunaO, new Top(new TunaO,
new Top(new AnchovyO, new Top(new SalmonO,
new Top(new TunaO, new Top(new TunaO,
new Top(new AnchovyO, new Top(new Anchovy(),
new BotO))))) new Bot()))))) .
. accept(new LtdSubst V (2,
new SalmonO,
new AnchovyO))?
60
Explain what LtdSubst V produces. 1 The methods of LtdSubst v replace one fish on
a pie by another as many times as specified
1 A better name is LimitedSubstitutionV, and that is how by the first value consumed by LtdSubst v.
we pronounce it.
Good. Define LtdSubst v. 61 That's easy. \Ve have such a flexible protocol
that we only need to define the essence now.
class LtdSubst v implements PieVisitorI {

int c;
Object n;
Object 0;
LtdSubst v (int _c,Object _n,Object _0) {
c = _c;
n = _n;
o = _0; }
public PieD JorBotO {

return new Bot(); }
public PieD JorTop(Object t,Pie D r) {
if (c == 0)
return new Top(t,r);
else
if ( o. equals ( t) )
return
new Top(n,r.accept(this));
else
return
new Top(t,r.accept(this)); }
Boring Protocols 95
\Vhat is the value of 62 Oops, there are too few anchovies on this
new Top(new AnchovyO, pizza pie:
new Top(new TunaO, new Top(new SalmonO,
new Top( new Anchovy(), new Top(new TunaO,
new Top(new TunaO, new Top(new Salmon(),
new Top( new AnchovyO, new Top(new Tuna().
new BotO))))) new Top(new SalmonO,
.accept(new LtdSubst V(2, new Bot () ) ) ) ) ).
new SalmonO,
new AnchovyO))?
How corne? 63 Because c, the counting field, never changes.
64
\Vhy doesn't c ever change? Because this, the LtdSubst V that performs
the substitutions, never changes.
Can we fix this? 65 We can't change this, but \ve carl replace
this with a new LtdSubst v that reflects the
change.
If c stands for the current count, how do we Simple, we use

create a LtdSubst v that shows that we have new LtdSubstV(c - 1,n,0)
just substituted one fish by another.
in place of this.
The Sixth Bit of Advice

When the additional consumed values
change for a self-referential use of a
visitor, don't forget to create a new
visitor.
96 Chapter 6
67
Define the new and improved version of Voila.
LtdSubst v.
class LtdSubst v implements PieVisitorI {
int c;
Object n;
Object 0:
LtdSubstv(int _c,Object _n,Object _0) {
c = _c:
n = _n:
o = _0: }
public Pie l' forBotO {

return new BotO; }
public Pie l' forTop(Object t,Pie l' r) {
if (c == 0)
else
if (0. equals( t))
return
new Top(n,
r.accept(
new LtdSubstV(c - 1,n,0))):
else
return
new Top(t,
r.accept(
this)); }
68
How does They are two different LtdSubst v s. One
this replaces c occurrences of 0 by n in a pizza
pie, and the other one replaces only c - 1 of
differ from
them.
new LtdSubstV(c - 1,n,0)?
How do you feel about protocols now? 69 They arc exciting. Let's do more.
Boring Protocols 97
Is Yes.
new Flat(new AppleO,
new Flat(new PeachO,
new BudO))
a flat Tree v ?
2
Is Yes, it is also a flat Tree v .
new Flat( new PearO,
new BudO)
a flat Tree v ?
And how about 3 No, it is split, so it can't be flat.

new Split(
new BudO,
new Flat(new FigO,
new Split(
new BudO,
new BudO)))?
Here is one more example: No, it isn't flat either.

new Split(
new Split(
new BudO,
new Flat(new LemonO,
new BudO)),
new Flat(new FigO,
new Split(
new BudO,
new BudO))).
Is it flat?
Is the difference between flat trees and split Unless there is anything else to TreeD, it's
trees obvious now? totally clear.
Good. Then let's move on. 6 Okay, let's.
Oh My! 99
Here are some fruits. It does not differ too much from what we
have seen before.
abstract class Fruit D {}
~
1
a_b_s_t_r_a_c_t_c_Ias
,-I __s_T_re_e_D_{}_ _ _ _ _
class Peach extends Fruit D {
return (0 instanceof Peach); }
D
c_I_a_s_s_B_u_d_e_x_t__e_n_d_s_T_re_e__{_}_ _ _
,-I ~
class Flat extends TreeD {
Fruit D I;
class Apple extends Fruit D { TreeD t;
public boolean equals (Object 0) { Flat(Fruit D _1,Tree D _t) {
return (0 instanceof Apple); } I = -I;
t = _t; }
}
class Pear extends Fruit D {
return (0 instanceof Pear); } class Split extends TreeD {
TreeD l;
TreeD r;
Split(TreeD _l,Tree D _r) {
class Lemon extends Fruit D { 1 = _l;
public boolean equals(Object 0) { r =];}
return (0 instanceof Lemon); }
class Fig extends Fruit D {

return (0 instanceof Fig); }
Let's say all TreeDs are either fiat, split, or

bud. Formulate a rigorous description for
TreeDs.
Did you notice that we have redefined the That probably means that we will need to
method equals in the variants of Fruit D? compare fruits and other things.
Do TreeD's variants contain equals? No, which means we won't compare them,
but we could.
100 Chapter 7
How does the datatype TreeD differ from all 10 The name of the new datatype occurs twice
the other datatypes we have seen before? in its Split variant.
Let's add a visitor interface whose methods 11 That just means extending what we have
produce booleans. with one method each.
interface bTreeVisitorI { class Bud extends TreeD {

boolean lorBud(); boolean accept(bTreeVisito~ ask) {
boolean lorFlat(Fruit D I,Tree D t); return ask.forBud(): }
boolean lorSplit(Tree D l,Tree D r);
}
Here is the new datatype definition. Fruit D I;
TreeD t;
abstract class TreeD { Flat(Fruit D -I, TreeD _t) {
abstract 1 = -I;
boolean accept (b Tree VisitorI ask); t = _t; }
boolean accept(bTreeVisitorI ask) {

Revise the variants. return ask.forFlat(J,t); }
class Split extends TreeD {

TreeD l;
TreeD r;
Split(Tree D _l,Tree D _r) {
l = _l;
r = _r: }

return ask.lorSplit(l,r); }
But isn't bTreeVisitorI a pretty unusual

name?
Yes, it is. Hang in there, we need unusual 12 Okay.

names for unusual interfaces. Here b reminds
us that the visitor's methods produce
booleans.
Oh My! 101
13
How many methods does the definition of Three, because it works with Treevs, and the
blsFlat v c'ontain, assuming it implements datatype definition for Treevs has three
bTreeVisitorI ? variants.
14
\Vhat type of values do the methods of booleans.
blsFlat v produce?
\Vhat visitor does blsFlat v remind us of? 15 OnlyOnionsv.
16
Here is a skeleton for blsFlat v . That's easy now.
. class blsFlat v implements bTreeVisito,x (

public
I I class blsFlat v implements b~reeVis;torI
public
T
' I
boolean JOTBud () { boolean JOTBudO { I

return _ _ _ _ ; } return true; }
public public
boolean JOTFlat(Fruit V J,Tree v t) { boolean JOTFlat(Fruit V J ,Tree v t) {
return _ _ _ _ ; } return t.accept(this); }
public public
boolean Jo1'Split(Tree V I,Tree v 1') { boolean Jo1'Split(Tree V I,Tree v T') {
return _ _ _ _ ; } return false; }
Fill ill the blanks.
17
Define the blsSplit v visitor, whose methods Here is the easy part.
check whether a Tree v is constructed with
Split and Bud only. blsSplit V implements bTreeVisitorI {
public
boolean JOTBud() {
return true; }
public
boolean JOTFlat(Fruit V J,Tree v t) {
return false; }
public
boolean JOTSplit(Tree v I,Tree v 1') {
---}
102 Chapter 7
What is difficult about the last line? 18 We need to check whether both I and r art'
split trees.
Isn't that easy? Yes, we just use the methods of blsSplit v on 1

and r.
20
And then? Then we need to know that both are true.
If 21 Yes, because if both are true, \ve have a split

l.accept(this) tree.
is true, do we need to know whether
r. accept (this)
is true?
If 22 No, then the ans\ver is false.

l. accept (this)
is false, do we need to know whether
r. accept (this)
is true?
23
Finish the definition of blsSplit V using Now we can do it.
if ( ... )
class blsSplit v implements bTreeVisitorI {
return ...
public
else
return ... boolean jorBudO {
return true: }
public
boolean jorFlat(Fruit V j,Tree D t) {
return false; }
public
boolean jorSplit(Tree D l,Tree D r) {
if! (l.accept(this))
return r.accept(this);
else
return false: }
We could have written the if ... a..~

return 1. accept (this) && r. accept (this).
Dh lvIy! 10~3
Give an example of a TreeD for which the There is a trivial one:
methods of blsSplit v respond with true. new BudO.
25
Hmv about OIle \'lith five uses of Split? Here is one:
new Split(
new Split(
new BudO ,
new Split(
new BudO ,
new BudO)L
new Split(
new Bud(L
new Split(
new BudO ,
new BudO))).
Does this TreeD have any fruit? 26 No.
Define the bHasFruit v visitor. 27 Here it is.
I class bHasFruit v
, implements bTreeVisito~ {
public
boolean jorBud() {
I
return false; }
public
boolean jorFlat(Fruit D j,Tree D t) {
return true; }
public
boolean jorSplit(Tree D l,Tree D r) {
if! (l.accept(this))
return true;
b_ else
return r. accep! (this); }
\Ve could have written the if .. , as

return l.accept(this) II r.accept(this)
104 Chapter 7
What is the height of 28 3.
new Split(
new Split(
new BudO,
new BudO)),
new Flat(new FigO,
new Split(
new BudO,
new BudO)))?
What is the height of 29 2.

new Split(
new BudO,
new Flat(new Lemon(),
new BudO))?
30 1.
\\That is the height of
new BudO)?
What is the height of 31 O.

new BudO?
So what is the height of a TreeD? 32 Just as in nature, the height of a tree is the
distance from the beginning to the highest
bud in the tree.
33
Do the methods of iHeight v work on a TreeD? Yes, and they produce an into
Is that what the i in front of Height is all 34 It looks like i stands for int, doesn't it?
about?
Ob A1y! 105
35
What is the value of 4.
new Split(
new Split(
new BudO,
new BudO),
new Flat(new FigO,
new Bud()))))
.accept(new iHeightVO)?
\Vhy is the height 4? 36 Because the value of

new Split(
new BudO ,
new Bud())
. accept (new iHeight v 0 )
is 1: the value of
new Flat(new FigO,
new Flat(new LemonO ,
new BudO)))
. accept (new iHeight v 0)
is 3; and the larger of the two numbers is 3.
:17
And how do we get from 3 to 4? \Ve need to add one to the larger of the
numbers so that we don't forget that the
original TreeD wa..'> constructed with Split and
those two TreeDs.
1 38
u picks the larger of two numbers, x and y. Oh, that's nice. vVhat kind of methods does
iHeight v define?
1 \Vhen you enter this in a file, use
Hath.~ax(x.y).
Hath is a class that contains max as a (static) method.
39
iHeightV,s methods measure the heights of Now that's a problem.
the TreeDs to which they correspond.
106 Chapter 7
Why? 40 We defined only interfaces that produce
booleans in this chapter.
So what? The methods of iHeight v produce ints, which

are not booleans.
Okay, so let's define a visitor interface that 42 It's almost the same as bTreeVisitorX.
produces ints.
interface iTreeVisitorX {
int jorBudO;
int jorFlat(Fruit D j ,TreeD t);
int jorSplit(Tree D l,Tree D r);
}
Yes, and once we have that we can add 43 Does that mean we can have two methods
another accept method to TreeD. with the same name in one class?!
abstract class TreeD {

abstract
boolean accept(bTreeVisitorL ask);
abstract
int accept(iTreeVisito~ ask);
1 In Java, defining multiple methods with the same name
and different input types is called "overloading."
We can have two methods with the same 44 bTreeVisitorI is indeed different from
name in the same class as long as the types iTreeVisitorL , so we can have two versions of
of the things they consume are distinct. accept in TreeD.
45
Add the new accept methods to TreeD,s It is easy.
variants. Start with the easy one.
class Bud extends TreeD {
boolean accept ( bTree VisitorX ask) {
return ask.jorBud(); }
int accept(iTreeVisitorX ask) {
return ask.forBud(); }
OhMy! 107
The others are easy, too. We duplicate 46 We must also change the type of what the
accept. new accept method consumes and produces.
class Flat extends TreeD { class Split extends TreeD {

Fruit D j; TreeD l;
TreeD t; TreeD r;
Flat(Fruit D -J ,TreeD -t) { Split(TreeD _l.Tree D _r) {
J =-/; l = _l;
t = _t; } r = _r; }
boolean accept (b Tree VisitorI" ask) { boolean accept (b Tree VisitorI ask) {
return ask.forFlat(f,t); } ret urn ask.forSplit (l, r); }
int accept(iTreeVisitorI" ask) { int accept(iTreeVisitorI ask) {
return ask.forFlat(f ,t); } return ask.forSplit(l,r); }
'----__________J
47
Here is iHeight v. That's easy now.
class iHeight v implements iTreeVisitorI" { class iHeight V implements iTreeVisitorI

public int JorBudO {
{ll
public int JorBudO {
return ;} return 0: }
public int jorFlat(Fruit D J,Tree D t) { public int JorFlat(Fruit D J,TreeD t) {
return ;} return t.accept(this) + 1; } I
public int JorSplit(Tree D l,Tree D r) { public int jorSplit(Tree D l,Tree D r) {

return ;} return
(l.accept(this) u r.accept(this))
+ 1; }
Complete these methods.
\\That is the value of 48 1, of course.

new Split(
new BudO,
new BudO)
. accept (new i Heightv () )?
And why is it I? 49 Because

new BudO.accept(new iHeightVO)
is 0, the larger of 0 and 0 is 0, and one more
is 1.
108 Chapter 7
vVhat is the value of 50 If the visitor tSubst v substitutes apples for
new Split( figs, here is what we get:
new Split( new Split(
new Flat(new FigO, new Split(
new BudO), new Flat(new Apple(),
new Flat(new FigO, new BudO),
new BudO)), new Flat( new Apple(),
new Flat(new FigO, new BudO)),
new Flat(new LemonO, new Flat(new AppleO,
new Flat( new AppleO, new Flat(new LemonO,
new BudO)))) new Flat(new AppleO,
. accept ( new Bud())))).
new tSubst v (
new AppleO,
new FigO))?
Correct. Define the tSubst v visitor. 51 It's like SubstFish v and Substlnt v from the
end of chapter 5, but we can't do it just yet.
52
What's the problem? Its methods produce TreeDs, neither ints nor
booleans. which means that \\'e need to add
yet another interface.
interface tTreeVisitorI {
TreeD jorBudO;
TreeD jorFlat(Fruit D j,Tree D t);
TreeD jorSplit(Tree D [,TreeD r);
}
Good job. How about the datatype TreeD. 53 Easy. Here is the abstract one.

abstract
boolean accept(bTreeVisitorI ask);
abstract
int accept(iTreeVisitorI ask);
abstract
TreeD accept(tTreeVisitorI ask);
OhMy! 109
54
Define the variants of TreeD. No problem.
I
' class Bud extends TreeD {
boolean accept ( b Treev, isitorI ask) {
I return ask.forBudO: }
'I' int accept(iTreeVisitorI ask) {
return ask.forBudO; }
TreeD accept (t TreeVisitorI ask) {
I} return ask.J01Bud(); }

Fruit D I;
TreeD t;
Flat(Fruit D .-f ,TreeD -t) {
I
1 = -I;
t = _t; }
1

return ask.forFlat(J,t); }
I int accept(iTreeVisitorI ask) {
return ask.forFlat(J,t); }
accept(tTreeVisitorI ask) {
:}
I
TreeD
return ask.JorFlat(J,t): }
I----------------------------~
class Split extends TreeD { I
[
, TreeD l;
TreeD r' I
Split(Tree D _l,Tree D _r) {
I
I ~ :: ~;; } I

,' return ask.forSplit(l,r); }
int accept(iTreeVisitorI ask) { •
ret urn ask.JorSplit (l, r); }

, TreeD accept (tTreeVisit,orI , ask) {
return ask.JorSplit(l,r); }
LI
j
110 Chapter 7
55
Then define tSubst v. That's easy, too. It has two fields, one for
the new Fruit D and one for the old one. and
the rest is straightforward.
class tSubst V implements tTreeVisitorI {

Fruit D n;
Fruit D 0;
tSubst v (Fruit D _n,Fruit D _0) {
n = _n:
o = _0; }
public TreeD JorBudO {

return new BudO; }
public TreeD JorFlat(Fruit D J,Tree D t) {
if (o.equals(J))
return new Flat(n,t.accept(this));
else
return new Flat(J,t.accept(this)); }
public TreeD JorSplit(Tree D l,Tree D r) {
return new Split(l.accept(this),
r.accept(this)); }
56
Here is a TreeD that has three Figs: Even the visitors are no longer interesting.
new Split(
new Split( class iOccurs v implements iTreeVisito~ {
new Flat(new FigO, Fruit D a;
new BudO), iOccursV(Fruit D _a) {
new Flat(new FigO, a = _a: }
new BudO)),
new Flat(new Fig(), public int JorBudO {
new Flat(new Lemon(), return 0; }
new Flat(new AppleO, public int JorFlat(Fruit D J,Tree D t) {
new Bud())))). if (f. equals ( a) )
return t.accept(this) + 1;
Now define iOccursv , whose methods count else
how often some Fruit D occurs in a tree. return t.accept(this); }
public int JorSplit(Tree D I,Tree D r) {
return
l.accept(this) + r.accept(this); }
Dh Aly! 111
57
Do you like your fruit with yogurt? \Ve prefer coconut sorbet.
Is it disturbing that we have three nearly 5" Copying definitions is always bad. If we
identical versions of accept in TreeDs and its make a mistake and copy a definition. we
variants? copy mistakes. If we modify one, it's likely
that we might forget to modify the ot her.
Can we avoid it? 59 If boolean and int were classes, we could

use Object for boolean, int, and TreeD.
Unfortunately, they are not.
6U
Remember Integer and Boolean? They make Yes, Boolean is the class that corresponds to
it possible. boolean, and Integer corresponds to into
-l
61
Here is the interface for a protocol that Here they are.
produces Object in place of boolean, int,
and TreeD.
interface TreeVisito~ {
[ class Flat extends TreeD {
FruitD f;
TreeD t;
--l
Object forBudO; Flat(Fruit D _f,Tree D -t) {
Object forFlat(Fruit D f,Tree D t); f = -1; :
I } Object !orSplit(TreeD I,TreeD r);
_ _ _J _t_=
__-t_:_}_____________
Object acccpt(TreeVisitor I ask) {
!
Here is the datatype and the Bud variant. return ask.forFlat(J,t); }

--l l}_.~_ _ _ _ __
I
J
abstract
Object accept(TreeVisito~ ask);
~ass Split extends TreeD {
TreeD l;
I TreeD T';
I class Bud extends TreeD {

-------r Srl:(~(eeD _l,Tree
D
_r) {
Object accept(TreeVisito~ ask) { I r = _r; }

return ask.forBudO; }
Object accept(TreeVisitorI ask) {
return ask.forSplit(l,r): }
Define the remaining variants of TreeD.
112 Chapter 7
Good. Now define IsFlat v, an Object 62 That's no big deal.
producing version of blsFlat v.
class IsFlat v implements TreeVisitorI {
public Object forBudO {
return new Boolean(true); }
public Object forFlat(Fruit V f,Tree v t) {
return t.accept(this); }
public Object forSplit(Tree V l,Tree v r) {
return new Boolean(false); }
}
And how about IsSplit v? 63 Now that's different. Here we need a way to
determine the underlying boolean of the
Boolean that is produced by l.accept(this) in
the original definition.
64
Okay, here it is. Oh, because l.accept(this) produces an
Object, we must first convert 1 it to a Boolean.
class IsSplit v implements TreeVisitorI { Then we can determine the underlying
public Object forBudO { boolean with the boolean Value method. We
return new Boolean(true); } have seen this in chapter 5 when we
public Object forFlat(Fruit V f,Tree v t) { converted an Object to a OneMoreThan.
return new Boolean(false); }
public Object forSplit(Tree V l,Tree v r) {
if (( (Boolean) (l. accept (this)))
. boolean Value 0)
return r.accept(this);
else 1 If Java had parametric polymorphism for methods, no
return new Boolean(false); } downward cast would be necessary for our visitors (Martin
Odersky and Philip Wadler, Pizza into Java: Translating
Theory into Practice, Conference Record on Principles of
Progmmming Languages, 146-159. Paris, 1997).
Will the conversion always work? 65 Yes, because the Object produced by
l.accept(this) is always a Boolean.
The Seventh Bit of Advice

When designing visitor protocols for
many different types, create a unifying
protocol using Object.
Oh My! 113
Did you think that was bad? Then study 66 Oh my!
this definition during your next break .
class Occurs v implements TreeVisitorI {

Fruit D a;
OccursV(Fruit D _a) {
a = _a; }
public Object JorBudO {

return new Integer(O) ; }
public Object Jo'rFlat(Fruit D f ,TreeD t) {
if (J. equals( a))
return I
new Integer( (( Integer)
(t . accept (this)))
. int Value 0 I
+ 1) ;
else
return t.accept(this) ; } I
public Object JorSplit(Tree D l,Tree D T) {

return
new Integer( (( Integer) .. •
(L. accept( this)))
~nt VaLue 0 I
I
L_;;'~~:I:t(\;~i}S)))
((Integer)
J
114 Chapter 7
""Vhat is the value of 1 12.
(7+((4-3)x5))?
\i\That is the value of 12,

(+7(x (-43)5))7 because we have just rewritten the
previous expression with prefix operators.
\Vhat is the value of new Integer(12),

new Plus( because we have just rewritten the
new Const(new Integer(7)), previous expression using Integer and
new Prod( constructors.
new Diff(
new Const(new Integer(4)),
new Const(new Integer(3))),
new Const(new Integer(5))))?
\\,'here do the constructors come from? A datatype and its variants that represent
arithmetic expressions.
Did you like that? 5 So far, so good.
6
\Vhat is the value of {7,5}.
({7,5} U (({4} \ {3}) n {5}))?
\Vhat is the value of {7,5},

(u {7,5} (n (\ {4} {3}) {5}))? we just went from infix to prefix notation.
\Vhat is the value of {7,5},

(+ {7,5} (x (- {4} {3}) {5}))? we just renamed the operators.
Like Father, Like Son 117

\\That is the value of new EmptyO
new Plus( . add (new Integer(7))
new Const(new EmptyO .add(new Integer(5)),
. add (new Integer( 7)) because we have just rewritten the
.add(new Integer(5))), previous expression using the constructors.
new Prod(
new Diff(
new Const(new EmptyO
.add(new Integer(4))),
.add(new Integer(3)))),
.add(new Integer(5)))))?
\\There do the constructors come from? A datatype and its variants that represent
set expressions.
Do you still like it? 11 Sure, why not.
12
Does the arithmetic expression look like the Yes, they look the same except for the
set expression? constants:
new Plus(
new Const( e ),
new Prod(
new Diff(
new Const( e),
new Const( e)),
new Const(e))).
Let's say that an expression is either 13 That's a tricky question.

a Plus( exprl ,expr2),
a Diff( exprl ,expr2), I interface ExprVisito,x {
a Prod(exprl,expr2), or Object jorPlus(ExprTJ l,ExprTJ r);
a constant, Object jorDijj(ExprTJ l,ExprTJ r);
Object jorProd(ExprTJ 1,ExprTJ r);
where expr} and expr2 stand for arbitrary
Object jorConst(Object c);
expressions. \\That should be the visitor
}
interface?
118 Chapter 8
14
Good answer. Here is the datatype now.
class Plus extends Expr'D {
abstract class Expr'D { Expr'D l;
abstract Expr'D r;
Object accept(ExprVisitorI ask); Plus(Expr'D _1,Expr'D _r) {
1= _l:
r = _r; }
Define the variants of the datatype and equip
them with an accept method that produces Object accept(ExprVisitorI ask) {
Objects. return ask.forPlu.s(l,r); }
class Diff extends Expr'D {

Expr'D l;
Expr'D r;
Diff(Expr'D _l,Expr'D _r) {
l = _l;
r = _r; }
Object accept (ExprVisitoyI ask) {

return ask.forDiff (l, r): }
}
class Prod extends Expr'D {

Expr'D l;
Expr'D r;
Prod(Expr'D _l,Expr'D _r) {
l = _l;
r = _r; }
Object accept(ExprVisitorI ask) {

return ask.forProd(l,r); }
class Const extends Expr'D {

Object c;
Const(Object _c) {
c = _c; }
Object accept(ExprVisitoyI ask) {

return ask.forConst(c): }

If>
Can we HOW define a visitor whose methods Yes. ,ve can. It must have four methods. one
detprmine the vahll' of an arithmetic per variant, and it is like Occurs v frolll tIl('
expression'? previous chapter.
How do we add \Ve have done this before. \Ve use tile
new Integer(3) method int l"altw to determille the ints that
and correspond to the Integers. and then add
new Integer(2)? them together.
But what is the result of 17 An into what else"?

new Integer(3) .int Value()
+
new Integer(2) .int ~/(zIlle()?
How do we turn that into an Integer? \Ve use new Integer( ... ).
Okay, so here is a skeleton of IntEval v . That's an interesting skeleton. It contains

five different kinds of blanks and two of tl!Plll
class IntEval v implements ExprVisitorI { occur three times each. But we can see the
public Object jorPllls(Expr V /,Expr1J r) { bones only. \V}wre is the beef?
return plu8(l.(Lccept(this), . I
,.. accept (this)); }
public Object jorDijj(Exprv I,ExprVr) {
return dijj(l.uccept(this),
".(l('('ept(this)); }
public Object jorPmd(Expr v l,Exprv r) {
return prod(l.uccept(this),
r.(1cccpt(this)); }
public Object jorGoT/sf (Object c)
return c: }
Object plU"'( ___ 1 1._2 r) {
ret urn __ :~; }
Object dijj(_l l.-2 r) {
return - 4 : }
Object pmd(-l /,--2 r) {
ret urn -.5; }
120 Chapter 8
20
How does forPlus work? It consumes two Exprvs, determines their
respective values, and pluses them.
How are the values represented? 21 As Objects, because ,ve are using our most
general kind of (and most recent) visitor.
So what kind of values must plus consume? 22 Objects~

because that~s what
l. accept (this)
and
r. accept (this)
produce.
\Vhat must we put in the first and second 23 Object.

blanks?
24
Can we add Objects? No~ we must convert them to Integers first
and extract their underlying ints.
2."
Can we convert all Objects to Integers? No, but all Objects produced by IntEval V are
made with new Integer( ... ). so that this
conversion always succeeds.
Is that true? \Vhat is the value of 26 Wow. At some leveL this is nonsense.
new Plus(
new Const(new Empty()),
new Const(new Integer(5)))
.accept(new IntEvaIVO)?
Correct, so sometimes the conversion may 27 V'/hat should we do?

faiL because we use an instance of IntEval V
on nonsensical arithmetic expressions.

\Ve agree to avoid such arithnletic 28 And their set expressions, too.
. I
expreSSlOns. -
1 In other words. we have unsafe evaluators for our

expressions. One way to make them safe is to add a method
that checks whether constants are instances of the proper
class and that raises an exception [1:chapter 71. An
alternative is to define a visitor that type checks the
arithmetic expressions we wish to evaluate.
If we want to add·l and r, we write Now it's easy. Here we go.

new Integer(
r
((Integer)i) .int Value() ,~~~s IntEva~ implements DE. xprVisitor
D
I
{
+ public Object jorPlus(Expr l,Expr r) {

(( Integer)r) .int ValueO). return plus (l. accept (this),
I r.accept(this)): }
Complete the. definition now. public Object jorDiJJ(ExprD l,Expr D r) {
return diJJ(l.accept(this),
r·. accept (this)); }
public Object jorProd(Expr D l,Expr D r) {
return prod(l.accept(this),
r. accept (this) ); }
public Object jorConst(Object c) {
return c; }
Object plus(Object l,Object r) {
return
new Integer(
((Integer)l) .int Value 0
+
((Integei)r). int Value 0 ); }
Object diJJ(Object l,Object r) {
return
new Integer(
(( integer)l). int Value 0
((integer)r). int ValueO): }

Object prod(Object l,Object r) {
return
new Integer(
((Integer)l). int Value 0
*
((Integer)r). int ValueO): }
122 Chapter 8
30
That one was pretty easy, wasn't it? Yes. Let's implement an ExprVisitorL for sets.
\\That do we need to implement one for sets? 31 We certainly need methods for plusing,
diJJing, and pmding sets.
That's correct, and here is everything. 32 Whoa.
abstract class Set'D {

Set'D add(lnteger i) {
if (mem(i))
return this;
else
return new Add(i,this); }
abstract boolean mem(lnteger i);
abstract Set'D plus(Set'D s);
abstract Set'D diJJ(Set'D s);
abstract Set'D pmd(Set'D s);
}
Explain the method in the nested box in 33 We use our words:

your own words. "As its name says, add adds an element to
a set. If the element is a member of the
set, the set remains the same; otherwise, a
new set is constructed with Add."
\\Thy is this so tricky? 34 Constructors always construct, and add does

not always construct.
Do we need to understand that? 35 Not now, but feel free to absorb it when you
have the time.

Define the variants Empty and Add for Set V . 36 Here we go.
class Empty extends Set V {

boolean mem(lnteger i) {
return false; }
SetV plus(SetV s) {
return s; }
SetV diff(Set V s) {
return new EmptyO; }
SetV prod(SetV s) {
return new EmptyO; }
class Add extends SetV {

Integer i;
Set V s;
Add(lnteger _i,Set V _s) {
i = _i;
s = _s; }
boolean mem(lnteger n) {
if (i. equals ( n))
return true;
else
return s.mem(n); }
Set V plus(SetV t) {
return s.plus( t.add( i)); }
Set V diff(Set V t) {
if (t.mem(i))
return s.diff(t);
else
return s.diff(t).add(i); }
Set V prod(SetV t) {
if (t.mem(i))
return s.pTod(t).add(i);
else
return s.prod(t); }
124 Chapter 8
Do we need to understand these definitions? 37 Not now, but feel free to think about them
when you have the time. \\Fe haven't even
used visitors to define operations for union,
set-difference, and intersection, but we trust
you can.
What do we have to change in IntEval V to 38 Not much, just plus, diff, and prod.
obtain SetEval V , an evaluator for set
expressions?
How should we do that? 39 Oh, that's a piece of pie. We just copy the
definition of IntEval V and replace its plus,
diff, and prod methods.
That's the worst way of doing that. 40 What?
Why should we throwaway more than half 41 That's true. If we copied the definition and
of what we have? changed it, we would have identical copies of
JorPlus, JorDifJ, JorProd, and JorConst. \Ve
should reuse this definition.1
1 Sometimes we do not have license to see the definitions, so
copying might not even be an option. .
Yes, and we are about to show you better 42 That part is easy:
ways. How do we have to change plus, diff, Object plus(Object l,Object r) {
and prod? return ((SetV)l).plus((SetV)r); }
and
Object difJ(Object l,Object r) {
return ((SetV)l).diff((SetV)r); }
and
return ((SetV)l).prod( (SetV)r); }.

43
Very good, and if we define SetEval V as an Now that's much easier than copying and
extension of IntEval V , that's all we have to modifying.
put inside of SetEval v .
class SetEval v extends IntEval v {

Object plus(Object l,Object r) {
return ((SetV)l).plus((SetV)r); }
Object diff(Object l,Object r) {
return ((SetV)l).diff( (SetV)r); }
return ((SetV)l).prod((SetV)r); }
44
Is it like equals? Yes, when we include equals in our class
definitions, we override the one in Object.
Here, we override the methods plus, diff, and
prod as we extend IntEval v .
How many methods from IntEval v are 45 Three.

overridden in SetEval v ?
How many methods from IntEval v are not Four: forPlw" forDiff, forProd, and
overridde~ in SetEval v ? forConst.
Does SetEval v implement ExprVisito,x? 47 It doesn't say so.
Does SetEval v extend IntEval v ? 48 It says so.
Does IntEval v implement ExprVisito,x? 49 It says so.
Does SetEval v implement ExprVisito,x? 50 By implication.
126 Chapter 8
That's correct. What is the value of 51 Interesting question. How does this work
new Prod( now?
. add (new Integer(7))),
.add(new Integer(3))))
. accept (new SetEval V O)?
What type of value is 52 It is a Prod and therefore an Expr v .

new Prod(
. add (new Integer(7))),
.add(new Integer(3))))?
53
And what does accept consume? An instance of SetEval V , but its type is
ExprVisito,x .
\\t'hat is 54 That's what we need to determine the value

new SetEvalvO.forProd( of next, because it is
new Const(new EmptyO ask.forProd ( l, r),
with ask, l, and r replaced by what they
stand for .
. add(new Integer(3))))?
\\There is the definition of SetEvalv,s method 55 It is in IntEval v .

forProd?
Suppose we had the values of 56 If their values were A and B, we would have
new Const(new EmptyO to determine the value of
. add (new Integer(7))) prod(A,B) .
. accept (this)
and
.add(new Integer(3)))
. accept (this).
What would we have to evaluate next?

Isn't that strange? 57 Why?
So far, we have always used a method on a 58 That's true. What is the object with which
particular object. we use prod(A,B)?
59
It is this object. Oh, does that mean we should evaluate
new SetEvaIVO.prod(A,B)?
Absolutely. If the use of a method omits the 60 That clarifies things.

object, we take the one that we were working
with before.
Good. And now what? 61 Now we still need to determine the values of
. accept( this)
and
. accept (this).
62
The values are obviously It, too, is in IntEval v .
new EmptyO
.add(new Integer(7))
and
new EmptyO
.add(new Integer(3)).
\Vhere is the definition of forConst that
determines these values?
63
Here is the next expression in our sequence: The object is an instance of SetEval v ) which
new SetEval v 0 overrides the prod method in IntEval v with
. prod(new EmptyO its own .
.add(new Integer(7)),
new EmptyO
.add(new Integer(3))).
\Vhere does prod come from?
128 Chapter 8
What next? 64 Next we need to determine the value of
((SetV)(new EmptyO
.add(new Integer(7))))
.prod((SetV)new EmptyO
because it is
((Set V )( l.accept(this)))
. prod ( (Set V) r. accept (this) )
with l.accept(this) and r.accept(this)
replaced by their respective values.
65
Is Of course it is, but the type of l. accept (this),
new EmptyO .add(new Integer(7)) which is where it comes from, is Object.
an instance of Set v ?
And how about 66 It's the same.

new EmptYO.add(new Integer(3))?
And that is why the method must contain a 67 This example makes the need for conversions
conversion from Object to SetVs. obvious again.
Time for the last question. Where does this 68 This one belongs to Set V or more precisely
prod come from now? its Empty and Add variants.
And what does prod do? 69 It determines the intersection of one Set V
with another Set V , but didn't we agree that
the previous question ,vas the last question
on that topic?
\Ve overrode that, too. 70 Thanks, guys.
Is it natural that SetEval V extends IntEval V ? 71 No, not at all.

\Vhy did we do that? Because we defined IntEval V first.l
1 Sometimes we may need to extend classes that are used in

several different programs. Unless we wish to maintain
multiple copies of the same class. we should extend it. Java
is object-oriented, so it Illay also be the case that we acquire
the object code of a class and its interface, but not its source
text. If we wish to enrich the functionality of this kind of
class, we must also extend it.
73
But just because something works, it doesn't Yes, let's do better. \Ve have defined all
mean it's rational. these classes ourselves, so we are free to
rearrange them any way we want.
\Vhat distinguishes IntEval V from SetEval v ,? 74 The methods plus, diff, and prod.
75
\Vhat are the pieces that they have in They share the methods forPlus, forDiff,
common'? forProd, and forConst.
Good. Here is how \ve express that. 76 Isn't this abstract class like Point D ?
abstract class EvalD

implements ExprVisitorI {
public Object forPlus(Expr D [,Expr D r) {
return plus(l.accept(this),
r.accept(this)); }
public Object forDiJJ(Expr D I,Expr D r) {
ret urn diff (I. accept (this),
r. accept (this)): }
public Object forProd(Expr D I,Expr D r) {
return prod(/.accept(this),
r.accept(this)); }
public Object forConst(Object c) {
return c; }
abstract
Object plus(Object [,Object r):
abstract
Object diff(Object [,Object r):
abstract
Object prod(Object I,Object r);
130 Chapter 8
Yes, we can think of it as a datatype for 77 What do we do now?
EvalD visitors that collects all the common
elements as concrete methods. The pieces
that differ from one variant to another are
specified as abstract methods.
We define IntEval V extending EvalD. 78 It is basically like the original but extends
EvalD, not IntEval v .
class IntEval V extends EvalD {
Object plus(Object l,Object r) { class SetEval v extends EvalD {
return Object plus(Object l,Object r) {
new Integer( return ((Set D)l).plus((Set D )7'); }
((Integer) l). int Value() Object dijJ(Object l,Object r) {
+ return ((SetD)l).dijJ((SetD)r); }
((lnteger)r).intValue()); } Object prod(Object l,Object r) {
Object diff(Object l,Object r) { return ((SetD)l).prod( (SetD)r); }
return
new Integer(
((Integer)l). int Value()
((lnteger)r).intValue()); }
return
new Integer(
((Integer)l) .int Value 0
*
((lnteger)r).intValue()); }
Define SetEval v .
Is it natural for two evaluators to be on the 79 :Much more so than one extending the other.
same footing?
Time for supper. 80 If you are neither hungry nor tired, you may
continue.

81
Remember Subst V from chapter 67 Yes, and ltdSubst V , too.
class Subst v implements PieVisitorI

Object n;
{
C!:s c~tdS.,ubst v imPlement. s PieViSito.~ { I
Object 0; Object n:
Subst v (Object _n,Object _0) { Object 0;
n = _n; ltdSubst v (int _c,Object _n.Object _0) {
o = _0; } c = _c; I
n = _n; I
public PieD forBotO { o = _0; }
return new Bot(); }
public PieD forTop(Object t,Pie D r) { public PieD forBotO {
if (o.equals(t)) return new Bot(); }
return public PieD JorTop(Object t,Pie D r) {
new Top(n,r.accept(this)); if (c == 0)
else return new Top(t,r);
return else
new Top( t,r. accept(this)); } if (o.equals(t))
return
new Top (n,
r.accept(
new LtdSubstv(c - 1,n,o))):
else JI
~ r::~nTOP~'TaccePt(thiS)); 1__
\Vhat do the two visitors have in common? 82 :t\lany things: n, 0, and forBot.
83
\\There do they differ? They differ in forTop, but LtdSubst v also has
an extra field.
And where do we put the pieces that two 84 \Ve put them into an abstract class.
classes have in common?
\\rhat else does the abstract class contain 7 85 It specifies the pieces that are different if
they are needed for all extensions.
132 Chapter 8
Define the abstract class Subst D , which 86 It's not a big deal, except for the fields.
contains all the common pieces and specifies
what a concrete pie substituter must contain abstract class Subst D
in addition. implements PieVisitorI {
Object n;
Object 0;
public PieD jorBotO {
return new Bot(); }
public
abstract PieD jorTop(Object t,Pie D r);
\Ve can define Subst v by extending SubstD. 81 It also extends 5 u bst D .
class Subst v extends Subst D { class LtdSubst V extends Subst D {

SubstV(Object _n,Object _0) { int c;
n = _n; LtdSubst v (int _c,Object _n,Object _0) {
o = _0; } n = _n;
0=_0;
public PieD jorTop(Object t,Pie D r) { c = _c; }
if (o.equals(t))
return public PieD jorTop(Object t,Pie D r) {
new Top(n,r.accept(this)); if (c == 0)
else return new Top(t,r);
return else
new Top(t,r.accept(this)); } if (o.equals(t))
return
new Top(n,
r.accept(
Define LtdSubst v.
new LtdSubstV(c - 1,n,0)));
else
return
Do the two remaining classes still have things 88 No, but the constructors have some overlap.
in common? Shouldn't we lift the Subst V constructor into
Subst D , because it holds the common
elements?

That's a great idea. Here is the new version 89 vVe must use super in the constructors.
of SubstD.
class Subst V extends Subst D {
abstract class Subst D SubstV(Object _n,Object _0) {
implements PieVisitorI { super(_n,_o); }
Object n;
Object 0; public PieD jorTop(Object t.Pie D r) {
SubstD(Object _n,Object _0) { if ( o. equals ( t) )
n = _n; return
o = _0; } new Top(n,r.accept(this));
else
I public PieD jorBotO { return I
return new BotO; } new Top(t,r.accept(this));} _~
public
abstract PieD jorTop(Object t,Pie D r);
Revise Subst v and LtdSubst v. int c;

V
class LtdSubst extends Subst {
D
_:1
LtdSubst v (int _c,Object _n,Object _0) { ,
super(_n,_o); ,
c = _c; }
public PieD jorTop(Object t,Pie D r) {

if (c == 0)
else
if (o.equals(t))
return
new Top(n,
r.accept(
new LtdSubstv(c - 1,n,0)));
else
return
\Vas that first part easy? 90 As pie.
134 Chapter 8
That's neat. How about some art work? 91 Is this called a pie chart?
accept
- - - - - - - - PieVisito,x
No, but the picture captures the important 92 Fine.

relationships.
93
Is it also possible to define LtdSubst v as an It may even be better. In some sense,
extension of Subst v ? LtdSubst v just adds a service to Subst v: It
counts as it substitutes.
If LtdSubst v is defined as an extension of 94 As we just said, c is an addition and forTop

Subst v, what has to be added and what has is different.
to be changed?
The Eighth Bit of Advice

When extending a class, use overriding
to enrich its functionality.

95
Here is the good old definition of Subst v The rest follows naturally, just as with the
from chapter 6 one more time. evaluators and the previous version of these
two classes.
class Subst v implements PieVisitor2" {
Object n: class Ltd 5 ubst v extends 5 u bst v {
Object 0; int c:
Substv(Object _n,Object _0) { LtdSubst v (int _c,Object _n,Object _0) {
n = _n: super(_n,_o );
o = _0; } c = _c; }
public PieD forBotO { public PieD forTop(Object t,Pie D 1') {

return new BotO; } if (c == 0)
public PieD forTop(Object t,Pie D r) { return new Top(t,r);
if (0. equals ( t)) else
return if (o.equals(t))
new Top(n,r.accept(this)); return
else new Top(n,
r.accept(
lJ
return
new Top(t,r.accept(this)); } new LtdSubstV(c - 1,n,0))):
Define LtdSubst v as an extension of Subst v.

e~~:nT opt t, r. accept (this));
96
Let's draw a picture. Fine, and don't forget to use lines, rather
than arrows, for implements.
accept
- - - - - - - - PieVisitor2"
PieD
You deserve a super-deluxe pizza now. 97 It's already on its way.
136 Chapter 8
@o
~~ @ ~@)~)ru ~~ff
Remember Point v ? If not, here is the It has been a long time since we discussed
datatype with one additional method, minus. the datatype Point V and its variants, but
We will talk about minus when we need it, they are not that easy to forget.
but for now, just recall PointV,s variants.
abstract class Point V { CartesianPt(int _x ,int _y) {
int x; super(_x,_y); }
int y;
PointV(int _x,int _y) { int distanceToOO {
x = _x; return l Jx
2
+ y2J; }
y = -y; }
boolean closerToO(Point V p) {
return class ManhattanPt extends Point V {
distanceToOO :s; p.distanceToOO; } ManhattanPt(int _x,int _y) {
Point V minus(Point V p) { super(_x,_y); }
return
new CartesianPt(x - p.x,y - p.y); } int distanceToO() {
abstract int distance ToO(); return x + y; }
}
Good. Take a look at this extension of It uses

ManhattanPt. ~x = -~x;
Lly = _~y;
class ShadowedManhattanPt
in addition to super(_x,_y).
extends ManhattanPt {
int ~x;
int ~y;
ShadowedManhattanPt(int _x,
int _y,
int -~x,
int _~y) {
super(_x,_y);
~x = -~x;
~y =-~y; }
int distance ToO 0 {

return
super.distanceToOO + ~x + ~y; }
What is unusual about the constructor?
Be a Good Visitor 139

And what does that mean? By using super on the first two values
consumed, the constructor creates a
ShadowedManhattanPt with proper x and y
fields. The rest guarantees that this newly
created point also contains values for the two
additional fields.
Okay. So what is a ShadowedManhattanPt? It is a ManhattanPt with two additional

fields: ~x and ~Y. These two represent the
information that determines how far the
shadow is from the point with the fields x
and y.
Is this a ShadowedManhattanPt: 5 Yes.

new ShadowedManhattanPt(2,3,1,O)?
What is unusual about distance ToO? Unlike any other method we have seen
before, it contains the word super. So far,
we have only seen it used in constructors.
What does it mean?
Here, super.distanceToO refers to the Okay. That means we just add x and y when
method definition of distanceToO that is we evaluate super.distanceToOO.
relevant in the class that
ShadowedManhattanPt extends.
Correct. But what would we have done if Then we would refer to the definition in the
ManhattanPt had not defined distance ToO? class that ManhattanPt extends, right?
Yes, and so on. What is the value of It is 6, because 2 + 3 is 5, and then we have
new ShadowedManhattanPt(2,3,1,O) to add 1 and 0.
. distance ToOO?
140 Chapter 9
Precisely. Now take a look at this extension 10 Nothing. \Ve just discussed this kind of
of CartesianPt. constructor for ShadowedManhattanPt.
class ShadowedCartesianPt
extends CartesianPt {
int ~x;
int ~y;
ShadowedCartesianPt(int _x,
int _y,
int -~x,
int _~y) {
super(_x,_y);
Llx = _Llx;
~y = -~y; }
int distanceToOO {
return
super. distance ToOO
+
lV~; + ~~J; }
What is unusual about the constructor?
Is this a ShadowedCartesianPt: 11 Yes.

new ShadowedCartesia n Pt(12,5,3,4)?
And what is the value of 12 It is 18, because the distance of the

new ShadowedCartesia n Pt( 12,5,3,4) Cartesian point (12,5) is 13, and then we add
.distanceToOO? 5, because that is the value of
. /~2x + ~2y
V
with ~x replaced by 3 and ~y replaced by 4.
What do we expect? 13 17, obviously.

14
\Vh,v 17'1 Because we need to think of this point a" if it
were
new CartesianPt(15,9).
\Ve need to add ~x to x and ~y to y when 15 And indeed, the value of

we think of a ShadowedCartesianPt. new CartesianPt(15,9)
.distanceToO()
is 17.
Does this explain how distanceToO should 16 Completely. It should make a new
mea"ure the distance of a CartesianPt by adding the corresponding
ShadowedCartesianPt to the origin? fields and should then measure the distance
of that new point to the origin.
17
Revise the definition of ShadowedCartesianPt Okay.
accordingly. r--
class ShadowedCartesianPt
extends CartesianPt {
int ~x;
int ~y;
ShadowedCartesianPt(int _x,
int _y,
int -~'r,
int _~y)
super(_x,_y);
~x = -~;r;
~y = -~y; }
int distanceToOO {
return
new CartesianPt(x + ~x.y + ~y)
.d'istanceToO(); }
III
Do \ve still need the new CartesianPt after No, once we have the distance, \ve have no
distance ToO has determined the distance'? need for this point. 1
1 And neither does Java. Object-oriented languages manage

memory so that programmers can focus on the difficult parts
of design and implementation.
142 Chapter 9
19
Correct. \Vhat is the value of true,
new CartesianPt(3,4) because the distance of the CartesianPt to
.closerToO( the origin is 5, while that of the
new ShadowedCartesianPt(1,5,1,2))? ShadowedCartesianPt is 7.
How did we determine that value? 20 That's obvious.
21
Is the rest of this chapter obvious, too? What?
That was a hint that now is a good time to 22 Oh. \Vell, that makes the hint obvious.
take a break.
Come back fully rested. You will more than 23 Fine.

need it.
Are sandwiches square meals for you? 24 They can be well-rounded.
25
Here are circles and squares. Then this must be the datatype that goes
with it.
class Circle extends ShapeD {
int r; abstract class ShapeD {
Circle(int _r) { abstract
r = _r; } boolean accept(ShapeVisitorI ask);
boolean accept(ShapeVisitorI ask) {

return ask.forCircle( r); }
class Square extends ShapeD {

int s:
Square(int _s) {
s = _s; }

return ask.forSquare(s); }

Very good. \Ve also need an interface, and 26 It suggests that there is another variant:
here it is. Trans.
I interface ShapeVisito,x {
: boolean forCircle(int r);
boolean forSquare(int s);
boolean forTrans(Point V q,Shape v s);
}
27
Yes and we will need this third variant. Okay, now this looks pretty straightforward,
I: class but what's the point?
Trans! extends Shapev {
Point V q;
ShapeV s;
Trans(Point V _q,Shape V _s) {
q = -q:
s = _s; }
boolean accept(ShapeVisito,x ask) {

return ask.forTrans( q,s); }
1 A better name is Translation.
28
Let's create a circle. No problem:
new Circle(10).
How should we think about that circle? 29 \Ve should think about it as a circle ,\lith
radius 10.
Good. So how should we think about 30 \Vell, that's a square whose sides are 10 units
new Square(10)? long.
\Vhere are our circle and square located? 31 \Vhat does that mean?
144 Chapter 9
Suppose we wish to determine whether some 32 In that case, we must think of the circle as
CartesianPt is inside of the circle? being drawn around the origin.
And how about the square? 33 There are many ways to think about the
location of the square.
Pick one. 34 Let's say the square's southwest corner sits

on the origin.
That will do. Is the CartesianPt with x 35 Yes, it is. but barely.
coordinate 10 and y coordinate 10 inside the
square?
And how about the circle? 36 Certainly not, because the circle's radius is
10, but the distance of the point to the origin
is 14.
Are all circles and squares located at the 37 We have no choice so far, because Circle and
origin? Square only contain one field each: the radius
and the length of a side, respectively.
This is where Trans comes in. What is 38 Aha. With Trans we can place a circle of
new Trans( radius 10 at a point like
new CartesianPt(5,6), new CartesianPt(5,6).
new Circle(lO))?
How do we place a square's southwest corner 39 Also with Trans:

at new CartesianPt(5,6)? new Trans(
new Square(10)).
Is new CartesianPt(10,1O) inside either the 40 It is inside both of them.

circle or the square that we just referred to?

41
How do we determine whether some point is If the circle is located at the origin, it is
inside a circle? simple. \Ve determine the distance of the
point to the origin and whether it is smaller
than the radius.
How do we determine whether some point is 42 If the square is located at the origin, it is
inside a square? simple. We check whether the point's x
coordinate is between 0 and s, the length of
the side of the square.
Is that all? 43 No, we also need to do that for the y

coordinate.
Aren't we on a roll? 44 We have only done the easy stuff so far. It is

not clear how to check these things when the
circle or the square are not located at the
origin.
45
Let's take a look at our circle around \Ve can if we translate all other points by an
new CartesianPt(5,6) appropriate amount.
again. Can we think of this point as the
origin?
46
By how much? By 5 in the x direction and 6 in the y
direction, respectively.
How could we translate the points by an 47 \Ve could subtract the appropriate amount
appropriate amount? from each point.
48
Is there a method in Point V that Yes. Is that why we included minus in the
accomplishes that? new definition of Point v ?
146 Chapter 9
Indeed. And now we can define the visitor 49 The three methods put into algebra what we
HasPt v, whose methods determine whether just discussed.
some ShapeD has a Point D inside of it.
class HasPt v implements ShapeVisitorI {

Point D p;
HasPtV(Point D -p) {
p = -p; }
public boolean forCircle(int r) {

return p.distanceToOO ::S r; }
public boolean forSquare(int s) {
ifl (p.x ::S s)
return (p.y ::S s);
else
return false; }
public
boolean forTmns(Point D q,Shape D s) {
return s.accept(
new HasPtV(p.minus(q))); }
We could have written the if . .. as
return (p.x <- s) && (p.y <- s).
\\That is the value of 50 We said that this point wasn't inside of that
new Circle(lO) circle, so the answer is false .
. accept (
new HasPt V(new CartesianPt(lO,lO)))?
51
Good. And what is the value of true.
new Square(lO)
. accept (
new HasPt V(new CartesianPt(lO,lO)))7
52
Let's consider something a bit more We already considered that one, too. The
interesting. \\That is the value of value is true, because the circle's origin is at
new Trans( new CartesianPt(5,6).
new Circle(lO))
. accept (
new HasPt v (new CartesianPt(lO,lO)))?

53
Right. And how about this: Now that is tricky. \Ve used Trans twice,
new Trans( which we should have expected given Trans's
new CartesianPt(5,4), definition.
new Trans(
new Circle(lO)))
. accept (
new HasPt v (new CartesianPt(lO,lO) ))?
54
But what is the value? First, we have to find out whether
new Trans(
new Circle(lO))
. accept(
new HasPtV(new CartesianPt(5,6)))
is true or false.
55
And then? Second, we need to look at
new Circle(lO)
.accept(
new HasPtV(new CartesianPt(O,O))),
but the value of this is obviously true.
Very good. Can we nest Trans three times? 56 Ten times, if we wish, because a Trans
contains a ShapeD, and that allows us to nest
things as often &'3 needed.
57
Ready to begin? \Vhat? \Vasn't that it?
No. The exciting part is about to start. 58 \Ve are all eyes.
59
How can we project a cube of cheese to a It becomes a square, obviously.
piece of paper?
And the orange on top? 60 A circle, Transed appropriately.
148 Chapter 9
Can we think of the two objects as one? 61 We can, but we have no way of saying that a
circle and a square belong together.
Here is our way. 62 That looks obvious after the fact. But why is
there a blank in accept?
class Union extends Shape v {
Shape v s;
Shape v t;
Union(Shape V _s,Shape v _t) {

return ;}
63
\Vhat do we know from Circle, Square, and We know that a ShapeVisito~ contains one
Trans about accept? method each for the Circle, Square, and Trans
variants. And each of these methods
consumes the fields of the respective kinds of
objects.
64
So what should we do now? We need to change ShapeVisitorI so that it
specifies a method for the Union variant in
addition to the methods for the existing
variants.
Correct, except that we won't allow ourselves 65 Why can't we change it?
to change ShapeVisitorI .
Just to make the problem more interesting. 66 In that case, we're stuck.

67
\Ve would be stuck, but fortunately we can \Vhich means that we extend interfaces the
extend interfaces. Take a look at this. way we extend classes.
~terface Union VisitorL"

extends ShapeVisitorI {
boolean fOl'Union(Shape D s,ShapeD t);
}
G8
Basically.l This extension produces an Does that mean accept in Union should
interface that contains all the obligations receive a UnionVisitorI, so that it can use the
(i.e., Hames of methods and \vhat they for'Union method?
consume and produce) of ShapeVisitorL" and
the additional one Ilamed forUnion.
1 l:nlike a class, an interface can actually extend several

uther interfaces. A class can implement s'everal different
interfaces.
69
Yes it should, but because UnionVisitorI \Ve have been here before. Our accept
extends ShapeVisitorI, it is also a method must consume a ShapeVisitorT and
ShapeVisitorL". fortunately every UnionVisitorL" implements a
ShapeVisitorI , too. But if we know that
accept consumes a UnionVisitorI , we can
convert the ShapeVisitorI to a UnionVisitorI
and invoke the forUnion method.
Perfect reasoning. Here is the completed 70 And it makes complete sense.

definition of Union.
class Union extends ShapeD

ShapeD s;
I
ShapeD t;
Union(ShapeD _s,Shape D -t) { I
s = _s:
t = _t; }
boolean accept(ShapeVisitorL" ask) {
return
(( UnionVisitorI)ask) .for Union ( S,t); }
150 Chapter 9
Let's create a Union shape. 71 That's trivial.
new Trans(
new Union(
new Square(10),
new Trans(
new Circle(5)))).
That's an interesting shape. Should we check 72 We can't. HasPt V is only a ShapeVisitorI . it

whether is not a UnionVisitorI.
is inside?
73
Could it be a UnionVisitorI ? No. It does not provide the method
fo,Union.
74
Define UnionHasPt V, which extends HasPt V Here it is. Its method checks whether the
with an appropriate method fo,Union. point is in one or the other part of a union.
The other methods come from HasPt v.
class UnionHasPt V extends HasPt V {

UnionHasPt V(Point D _p) {
super(_p); }
boolean fo,Union(Shape D s,Shape D t) {

if! (s.accept(this))
return true:
else
return t.accept(this): }
~recould have written the if ... as

return s.accept(this) II t.accept(this).
Does UnionHasPt V contain fo,Union? 75 Of course, \ve just put it in.

Is UnionHasPt v a UnionVisitorI? 76 It provides the required methods: forCircle,
forSquare, forTrans, and forUnion.
Correct, but unfortunately we have to add 77 The first two additional words have an
three more words to make this explicit. obvious meaning. They explicitly say that
this visitor provides the services of
I class UnionHasPt V UnionVisitorI. And, as we have said before,
extends HasPt v the addition of public is necessary, because
implements UnionVisitorI { this visitor implements an interface.
UnionHasPtV(Point"D -p) {
super( _p ); }
public
boolean forUnion(Shape"D s,Shape"D t) {
if (s.accept(this))
return true;
else
78
Good try. Let's see whether it works. What We know how forTrans works, so we·re really
should be the value of asking whether
new Trans( new CartesianPt(lO,lO)
is inside the Union shape.
new Union(
new Square(lO),
new Circle(lO)))
. accept(
new UnionHasPt V(
new CartesianPt(13,17)))?
So? 79 \\Thich means that we're asking whether

new CartesianPt(lO,lO)
is inside of
new Square(lO)
or inside of
new Circle(lO).
152 Chapter 9
Okay. And what should be the answer? 80 It should be true.
Let's see whether the value of 81 Usually we start by determining what kind of
new Trans( object we are working with.
new Union(
new Square(10),
new Circle(10)))
. accept (
new UnionHasPt v (
new CartesianPt( 13, 17)))
is true?
82
And? It's a ShapeD.
How did we construct this shape? 83 With Trans.
Which method should we use on it? 84 forTrans, of course.
Where is for Trans defined? 85 It is defined in HasPt v.
So what should we do now? 86 We should determine the value of

new Union(
new Square(10),
new Circle(10))
. accept (
new HasPt V (
new CartesianPt(10,lO))).
What type of object is 87 It's a ShapeD.

new Union(
new Square(10),
new Circle(10))?

I'\H
How did we construct this Shapev,? \Vith Union.
So which method should we use on it? 1'\9 forUnion, of course.
How do \ve find the appropriate for'Union In accept) which is defined in Union, we
method? confirm that
new HasPt V (
new CartesianPt(lO,lO))
is a UnionVisitorI and then invoke its
forUnion.
91
Is an instance of HasPt V a UnionVisitorI ? No!
Does it contain a method for'Union? 92 No!
~)3
Then what is the value of It doesn't have a value. \Ve are stuck. 1
new Union(
new Square(lO), 1 A Java program raises a RuntimeException, indicating
new Circle(lO)) that the attempt to confirm the UnionVisitorIlItSS of the
object failed. t-.lore specifically, we would see the following
. accept ( when running the program:
new HasPt V ( java . lang . ClassCastException: UnionHasPtV
at Union.accept( ... java: ... )
new CartesianPt(lO,lO)))'1 at UnionHasPtV.forTransC. .. java: ... )
at Trans.accept( ... java: ... ).
94
\Vhat do we do next'? Relax. Read a novel. Take a nap.
95
vVhich of those is best? You guessed it: whatever you did is best.
\Ve should have prepared this extension in a ~J6 How could we have done that?
better way.
154 Chapter 9
97
Here is the definition of HasPt v that we In two ways. First, it contains a new
should have provided if we wanted to extend . method: newHasPt. Second, it uses the new
it without making changes. method in place of new HasPt v in for Trans .
class HasPt v implements ShapeVisitorI {

Point V p;
HasPtV(Point V -p) {
p = -Pi }
ShapeVisitorI newHasPt(PointV p) {
return new HasPtV(p); }
public boolean forCircle(int r) {

return p.distanceToOO :::; r; }
public boolean forSquare(int s) {
if! (p.x :::; s)
return (p.y :::; s);
else
return false; }
public
boolean forTrans(Point V q,Shape v s) {
return
s.accept( newHasPt(p. minus ( q))); }
How does this definition differ from the

previous one?
98
Good. What does newHasPt produce? A new ShapeVisito~, as its interface implies.
99
And how does it produce that? By constructing a new instance of HasPt v.
Is newHasPt like a constructor? 100 It is virtually indistinguishable from a

constructor, which is why it is above the line
that separates constructors from methods.

Does that mean the new definition of HasPt v They are mostly indistinguishable. Both
and the previous one are really the same?l for Transes , the one in the previous and the
one in the new definition of HasPt v, produce
the same values when they consume the
1 A functional programmer would say that neliHasPt and
HasPtV are 'I-equivalent. same values.
Very well. But how does that help us \vith That's not obvious.
our problem"?
Ill:!
Can we override newHasPt when we extend Yes, we can override any method that we
HasPt v ? wish to override.
Let's override newHasPt in UnionHasPt v. \Vhen we override it, we need to make sure it
produces a ShapeVisitorX.
That's true. Should it produce a HasPt v or a The latter. Then forTrans in HasPt v keeps
UnionHasPt v? producing a UnionHasPt V , if we start with a
UnionHasPt v.
Good answer. Should we repeat it? 106 Let's just reread it.
The Ninth Bit of Advice

If a datatype may have to be extended,
be fOT"'lJ)ard looking and use a
const7"llctoT-like (o'ueTTidable) method
80 that visitoTs can be extended, too.
156 Chapter 9
And that's exactly what we need. Revise the 107 Here it is.
definition of UnionHasPt V. 1 ,------------------------,
class UnionHasPt v
extends HasPt v
implements UnionVisito,x {
UnionHasPt V(Point V _p) {
super( _p ); }
ShapeVisito,x newHasPt(Point V p) {
return new UnionHasPtV(p); }
public
boolean !orUnion(Shape V s,Shape v t) {
if (s.accept(this))
return true;
else
1 The is an instance of the factory method pattern [4J.
If we assemble all this into one picture, what 108 A drawing that helps our understanding of
do we get? the relationships among the classes and
interfaces.
accept
------- - - - - - - - ShapeVisitorI
What does the box mean? 109 Everything outside of the box is what we
designed originally and considered to be
unchangeable; everything inside is our
extension.

110
Does the picture convey the key idea of this No. It does not show the addition of a
chapter? constructor-like method to HasPt V and how
it is overridden in UnionHasPt v .
Is anything missing? III Square, but that's okay.
Let's see whether this definition works. 112 We remember that the shape was built with
\Vhat is the value of Trans.
new Trans(
new Union(
new Square(lO),
new Circle(lO)))
. accept (
new UnionHasPt V (
new CartesianPt(13,17)))?
\Vhich method should we use on it? 113 forTrans, of course.
\Vhere is forTrans defined? 114 It is defined in HasPt v .
So what should we do now? 115 We should determine the value of

new Union(
new Square(lO),
new Circle(lO))
. accept (
this. newHasPt(
new CartesianPt(lO,lO))).
What is this? 116 The current visitor, of course.
117
And how does that work? We determine the value of
this. newHasPt(
new CartesianPt(lO,lO))
and then use accept for the rest.
158 Chapter 9
And what do we create? 118 The new UnionVisitorI:
new UnionHasPt V (
new CartesianPt(lO,lO)).
What is the value of 119 UnionHasPt v also satisfies the interface

new Union( ShapeVisitorI, so now we can invoke the
new Square(lO), for Union method.
new Circle(lO))
. accept (
new UnionHasPt V (
new CartesianPt(lO,lO)))?
How do we do that? 120 We first determine the value of

new Square(lO)
. accept (
new UnionHasPt V (
new CartesianPt(lO,lO))).
If it is true, we're done.
Is it true? 121 It is. So we're done and we got the value we

expected.
Are we happy now? 122 Ecstatic.
Is it good to have extensible definitions? 123 Yes. People should use extensible definitions
if they want their code to be used more than
once.
Very well. Does this mean we can put 124 Yes, we can and should always do so.
together flexible and extensible definitions if
we use visitor protocols with these
constructor-like methods?
And why is that? 125 Because no program is ever finished.
Are you hungry yet? 126 Are our meals ever finished?

U@)u
~)m{~~@{t
"lS~~~aJ ~ @@illi~
I
Have you ever wondered where the pizza pies You should have. because someone needs to
come from? make the pie.
Here is our pizza pieman. 2 This is beyond anything we have seen before.
class Pieman M implements Pieman I {

PieD p = new BotO;
public int addTop(Object t) {
p = new Top(t,p)
return occTop(t); }
public int rem Top (Object t) {
p = (PieD)p.accept(new RemV(t))
return occTop(t); }
public int substTop(Object n,Object 0) {
p = (PieD )p. accept( new Subst v (n, 0))
return occTop(n); }
public int occTop(Object 0) {
return
((Integer)p. accept (new Occurs v (0)))
.int Value (); }
M This superscript is a reminder that the class manages a

data structure. Lower superscripts when you enter this kind
of definition in a file: PiemanM.
3
How so? Haven't we seen PieD, Top, and Bot We have seen them.
before?
And haven't we seen visitors like Rem v, Yes, yes. But what are the stand-alone
Subst V , and Occurs v for various datatypes? semicolons about?
Let's not worry about them for a while. 5 Fine, but they are weird.
The State of Things to Come 161

Here is the interface for Pieman'VI. Isn't it missing p?
interface Pieman I {
int addTop(Object t);
int remTop(Object t);
int HubstTop(Object n,Object 0);
int occTop(Object 0);
!l
\Ve dOll't specify fields in interfaces. And in \Vhatever.

any case, we don't want anybody else to
see p.
i1-~·~--_ - - - .- - .- - - - - - - - :
Here are PieVisitorI and PieD. They are very familiar.
l
interface PieVisitorI { :lass Bot extends PieD {
Object jorBot(); Object accept(PieVisitorI ask) {
I Object jOT'Top(Object LPieDr); , return ask.forBot(); }
}
}__ __ ____________ _ ______J
abstract class PieD { class Top extends PieD {
abstract Object t;
Object accept(PieVisitor I ask); PieD r;
Top(Object _LPie D _T) {
t = _t;
Define Bot and Top. r = _r; }
Object accept(PieVisitorI usk) {

return (1sk.forTop(t,T); }
162 Chapter 10
Here is Occu rs v. It counts how often some And this little visitor substitutes one good
topping occurs on a pie. topping for another.
class Occurs v implements PieVisitorT { class Subst v implements PieVisitorT {

Object a; Object n:
OccursV(Object _a) { Object 0;
a = _a; } Subst v (Object _n,Object _0) {
n = _n;
public Object JorBotO { o = _0: }
return new Integer(O): }
public Object JorTop(Object t,Pie D r) { public Object JorBotO {
if (t. equals ( a) ) return new BotO; }
return public Object JorTop(Object t,Pie D r) {
new Integer( ( (I nteger) if (o.equals(t))
(r. accept (this)) ) return
.intValueO new Top( n,(PieD)r.accept(this));
+ 1); else
else return
return r.accept(this); } new Top(t,(PieD)r.accept(this)); }
10
Great! Now we have almost all the visitors \\;'e remember that one. too.
for our pieman. Define Rem v, which removes
a topping from a pie. class Rem v implements PieVisitorT {
Object 0;
RemV(Object _0) {
o = _0: }
public Object JorBotO {

return new Bot(): }
public Object JorTop(Object t,Pie D r) {
if (o.equals(t))
return r.accept(this):
else
return
new Top(t,(PieD)r.accept(this)); }

Now we are ready to talk. \Vhat is the value 11 \Ve first create a Pieman M and then ask how
of many anchovies occur on the pie.
new Pieman,VlO.occTop(new AnchovyO)?
12
\Vhich pie? The pie named p in the new Pieman· VI .
And how many anchovies are on that pie? 13 None.
14
And what is the value of That's where those stand-alone semicolons
new Pieman,VlO.addTop(new AnchovyO)? come in again. They were never explained.
15
True. If we wish to determine the value of Yes, we must understand that. There is no
new Pieman-VlO.addTop(new AnchovyO), number x in the world for which
x = x + 1,
we must understand what
p = new Top(new Anchovy(),p) so why should we expect there to be a Java p
such that
return occTop(new AnchovyO) p = new Top(new Anchovy(),p)?
means'?
That's right. But that's what happens when 16 So what does it mean?
you have one too many double espressos.
Here it means that p changes and that future 17 And the change is that p has a new topping,
references to p reflect the change. right?
18
\Vhen does the future begin? Does it begin below the stand-alone
semicolon?
That's precisely what a stand-alone 19 It produces the number of anchovies on p.

semicolon means. Now do we know what
return occTop(new Anchovy())
produces?
164 Chapter 10
And how many are there? 20 We added one, so the value is 1.
And now what is the value of 21 It's 2, isn't it?

new Pieman M O.addTop(new AnchovyO)?
No. it's not. Take a close look. We created a 22 Oh, isn't there a way to place several
new pieman, and that pieman added only requests with the same pieman?
one anchovy to his p.
Yes, there is. Take a look at this: 23 Okay, y stands for some pieman.
Pieman I y = new PiemanMO.
Vlhat is the value of 24 1. We know that.

y.addTop(new AnchovyO)?
And now what is the value of 25 Still 1. According to the rules of semicolon
y.substTop(new TunaO,new AnchovyO)? and =, this replaces all anchovies on p with
tunas, changes p, and then counts how many
tunas are on p.
Correct. So what is the value of 26 0, because y's pie no longer contains any
y.occTop(new AnchovyO)? anchovies.
Very good. And now take a look at this: 27 What are the
I
Pieman yy = new PiemanMO.
\Vhat is the value of doing at the end?
yy.addTop(new AnchovyO)
yy.addTop(new AnchovyO)
yy.addTop(new SalmonO)

Because this is only half of what we want to 28 4. First we add two anchovies, then a
look at. Here is the other half: salmon, and two tunas. Then we substitute
yy.addTop(new Tuna()) the two anchovies by two tunas. So yy's pie
contains four tunas.
yy.addTop(new Tuna())
yy.substTop(new TunaO,new AnchovyO)?
And what is the value of 29 It's 0, because rem Top first removes all tunas
yy.remTop(new Tuna()) and then counts how many there are left.
after we are through with all that?
Does that mean rem Top always produces O? 30 Yes, it always does.
Now what is the value of 31 1.
yy.occTop(new SalmonO)?
And how about 32 0, because y and yy are two different piemen.

y.occTop(new SalmonO)?
Is yy the same pieman as before? 33 No, it changed.
So is it the same one? 34 When we eat a pizza pie, we change, but we

are still the same.
\Vhen we asked yy to substitute all anchovies 35 The p in yy changed, nothing else.

by tunas, did the pie change?
36
Does that mean that anybody can write No) because yy's type is Pieman I , p isn't
yy.p = new BotO available. Only add Top , rem Top , substTop,
and thus change a pieman like yy? and occTop are visible.
166 Chapter 10
Isn't it good that we didn't include p in 37 Yes, with this trick we can prevent others
Pieman I ? from changing p (or parts of p) in strange
ways. Everything is clear now.
Clear like soup? 38 Just like chicken soup.
Can we define a different version of Subst V so 39 We can't do that yet.

that it changes toppings the way a pieman
changes his pies?
And that's what we discuss next. Do you 40 No, a cup of coffee will do.
need a break?
Compare this new PieVisito,x with the first 41 It isn't all that different. A PieVisito,x must
one in this chapter. still provide two methods: forBot and
for Top , except that the former now
interface PieVisito,x { consumes a Bot and the latter a Top.
Object forBot(Bot that);
Object forTop(Top that);
}
True. Here is the unchanged datatype. 42 The definition is straightforward.
abstract class Pie v { class Bot extends Pie v {

abstract Object accept(PieVisitorI ask) {
Object accept(PieVisito,x ask); return ask.forBot(this); }
Define the Bot variant.
Is it? Why does it use this? 43 We only have one instance of Bot when we
use forBot, namely this, so forBot is clearly
supposed to consume this.

That's progress. And that's what happens in 44 Interesting.
Top, too.

Object t;
PieD r;
Top(Object _t,Pie D -') {
t = _t;
r = _r; }
Object accept(PieVisito,x ask) {

return ask.forTop(this); }
~Iodify this version of Occurs v so that it The forBot method basically stays the same,
implements the new PieVisitorI . but forTop changes somewhat.
class Occurs v implements PieVisito,x { class Occurs v implements PieVisitorI {

Object a; Object a;
OccursV(Object _a) { OccursV(Object _a) {
a = _a; } a = _a; }
public Object forBotO { public Object forBot(Bot that) {

return new Integer(O); } return new Integer(O); }
public Object forTop(Object t,Pie D r) { public Object forTop(Top that) {
if (t. equals ( a)) if (that. t. equals ( a))
return return
new Integer( ( (I nteger) new Integer( ((Integer)
(r. accept (this))) ( that. r. accept (this) ) )
.intValueO .intValueO
+ 1); + 1);
else else
return r.accept(this); } return that.r.accept(this); }
How does forBot change? 46 It now consumes a Bot, which is why we had
to add (Bot that) behind its name.
168 Chapter 10
How does JorTop change? 47 It no longer receives the field values of the
corresponding Top. Instead it consumes the
entire object, which makes the two fields
available a,." that. t and that. r.
And? 48 \\lith that, we can replace the fields t and r

with that. t and that. r.
49
Isn't that easy? This modification of Occurs v certainly is.
Then try Rem v . 50 It's easy; we use the same trick.
class Rem v implements PieVisitorI {

Object 0;
Rem v (Object _0) {
o = _0; }
public Object JorBot(Bot that) {

return new Bot(); }
public Object JorTop(Top that) {
if (0. equals( that. t))
return that.r.accept(this);
else
return
new Top( that. t,
(PieV)that.r.accept(this)); }
51
Do we need to do Subst v? Not really. It should be just like Rem v.
And indeed, it is. Happy now? 52 So far, so good. But what's the point of this
exercise?
Oh, PointVs? They will show up later. 53 Seriously.

Here is the point. 'Vhat is new about this 54 There are no news.
version of Subst v ?
I class Subst v implements PieVisito~ {

Object n;
Object 0;
SubstV(Object _n,Object _0) {
n = _n:
o = _0; }
public Object JorBot(Bot that) {

return that; }
public Object JorTop(Top that) {
if (0. equals (that. t)) {
that.t = n
that. r. accept (this)
return that: }
else {
that. r. accept (this)
return that; }
}
}
Don't they say "no news is good news?" 55 Does this saying apply here, too?
Yes, because we want to define a version of 56 That's a way of putting it.

Subst v that modifies toppings without
constructing a new pie.
\iVhat do the methods of Subst v always 57 They always return that, which is the object
return? that they consume.
58
So how do they substitute toppings? By changing the that before they return it.
Specifically, they change the t field of that to
n when it equals o.
170 Chapter 10
What? 59 The
that.t = n
does it.
60
Correct. And from here on, that.t holds the In the previous Su bst v, r. accept (this)
new topping. What is created a new pie from r with all toppings
that. r. accept( this) appropriately substituted. In our new
about? version, that. r. accept (this) modifies the pie r
so that below the following semicolon it
contains the appropriate toppings.
Is there anything else to say about the new 61 Not really. It does what it does, which is
Subst v ? what we wanted. 1
1 This is a true instance of the visitor pattern [4J. \Vhat we
previously called "visitor" pattern instances, were simple
variations on the theme.
Do we have to change Pieman M ? 62 No, we didn't change what the visitors do,
we only changed how they do things.
63
Is it truly safe to modify the toppings of a Yes, because the Pieman M manages the
pie? toppings of p, and nobody else sees p.
Can we do LtdSubst V now without creating 64 Now that's a piece of pie.

new instances of LtdSubst V or Top?
The Tenth Bit of Advice

When modifications to objects are
needed, use a class to insulate the
operations that modify objects.
Otherwise, beware the consequences of
your actions.

Here is a true dessert. It will help us 65 The datatype has three extensions.
understand what the point of state is.
class CartesianPt extends Point D {
abstract class Point D { CartesianPt(int _x,int _y) {
int x; super(_x,_y); }
int y;
PointD(int _x,int _y) { int distanceToOO {
x = _x; return l ';x 2 + y2J; }
y = -y; } }
boolean closerToO(Point'D p) {
return class ManhattanPt extends Point D {
distanceToOO :::; p.distanceToOO; } ManhattanPt(int _x ,int _y) {
Point D minus(Point D p) { super(_x,_y); }
return
new CartesianPt(x - p.x,y - p.y); } int distanceToOO {
abstract int distanceToOO; return x + y; }
} }
class ShadowedManhattanPt
extends ManhattanPt {
int Ax;
int Ay;
ShadowedManhattanPt(int _x,
int _y,
int _Ax,
int _Ay) {
super(_x,_y);
Ax = _Ax;
Ay = _Ay; }
int distanceToOO {
return
super.distanceToOO+~x + ~y; }
}
Aren't we missing a variant? 66 Yes, we are missing ShadowedCartesianPt.
172 Chapter 10
Good enough. We won't need it. Here is one 67 Shouldn't we add a method that changes all
point: the fields of the points?
new ManhattanPt(1,4).
If this point represents a child walking down
the streets of Manhattan, how do we
represent his movement?
Yes. Add to Point'D the method moveBy, 68 First we must know what the method is
which consumes two ints and changes the supposed to produce.
fields of a point appropriately.
The method should return the new distance 69 Now we know how to do this.
to the origin.
abstract class Poi nt'D {
int X;l
int y;
Point'D(int _x,int _y) {
x = _x;
y = -y; }
boolean closerToO(Point'D p) {
return
distanceToOO ~ p.distanceToOO; }
Point'D minus(Point'D p) {
return
new CartesianPt(x - p.x,y - p.y); }
int moveBy(int ~x,int ~y) {
x = x + ~x
y = y + ~y
return distanceToOO; }
abstract int distance ToOO;
}
Let ptChild stand for 70 5.

new ManhattanPt(1,4).
What is the value of
ptChild. distance ToOO?

\Vhat is the value of 71 15.
ptChild. moveBY(2,8)?
Good. ~mv let's watch a child with a 72 7.

helium-filled balloon that casts a shadow.
Let ptChildBalloon be
new ShadowedManhattanPt{I,4,l,l).
\Vhat is the value of
ptChildBalloon. distanceToO()?
\Vhat is the value of 73 17, of course.

ptChildBalloon.moveBy(2,8)?
74
Did the balloon move, too? Yes, it just moved along as we moved the
point.
Isn't that powerful? 75 It sure is. \Ve added one method, used it,
and everything moved.
The more things change, the cheaper our 76 Yes, but to get to the dessert, we had to
desserts get. work quite hard.
Correct but nmv we are through and it is 77 Don't forget to leave a tip.
time to go out and to celebrate with a grand
dinner.
174 Chapter 10
You have reached the end of your introduction to computation with classes, interfaces, and
objects. Are you now ready to tackle a major programming problem? Programming requires
two kinds of knowledge: understanding the nature of computation, and discovering the lexicon,
features, and idiosyncrasies of a particular programming language. The first of these is the more
difficult intellectual task. If you understand the material in this book, you have mastered that
challenge. Still, it would be well worth your time to develop a fuller understanding of all the
capabilities in Java-this requires getting access to a running Java system and mastering those
idiosyncrasies. If you want to understand Java and object-oriented systems in greater depth,
take a look at the following books:
References
1. Arnold and Gosling. The Java Programming Language. Addison-\\Tesley, Reading, Mas-
sachusetts, 1996.
2. Buschmann, r..leunier, Rohnert, Sommerlad, and Stal. A System of Patterns: Pattern-

Oriented Software Architecture. John Wiley & Sons, Ltd. Chichester, Europe, 1996.
3. Firesmith and Eykholt. Dictionary of Object Technology. SIGS Books, Inc., New York,
New York, 1995 and Prentice Hall, Englewood Cliffs, New Jersey, 1995.
4. Gamma, Helm, Johnson, and Vlissides. Design Patterns. Addison-Wesley, Reading,

~lassachusetts, 1994.
5. Gosling, Joy, and Steele. The Java Language Specification. Addison-\\Tesley, Reading,
Massachusetts, 1996.
6. Pree. Design Patterns for Object-Oriented Software Development. Addison-Wesley, Read-

ing, Ivlassachusetts, 1994.
Commencement 177
This is for the loyal Schemers and 11Lers. No, we wouldn't forget factorial.
interface TI {
o-+OI apply(TI x);
class MkFact implements oo--->ooI
public o--->oI apply (O--->oI fact) { :
II
} return new Fact(fact); } ~
interface o-+OI {
Object apply(Object x); class Fact implements o--->oI {
} o-+oI fact;
Fact( O--->oI -fact) {
fact = -fact; }
I interface OO~OOI { public Object apply(Object i) {
} o~oI apply(o~oI x); int inti = ((lnteger)i).intValue():
if (inti == 0)
return new Integer(l);
interface oo-+oo-+ooI { else
o-+oI apply (oo-+oOI x); return
new Integer(
}
inti
*( (Integer)
class Y implements oo-+oo-+ooI {
public o-+oI apply (oo-+ooI I) { fact. apply (new Integer( inti -- 1)))
return new H(f).apply(new H(f)); } . int Value 0 ); }
class H implements TI {
OO-+OOI f;
H(OO-+OOI -I) {
f = -f; }
public o-+OI apply(T I x) {
return J.apply(new G(x)); }
class G implements o-+oI {

TI x;
G(TI _x) {
X = _x; }
public Object apply(Object y) {
return (x.apply(x)).apply(y); }
}

A Little Java, A Few Patterns PDF

Uploaded by

Copyright:

Available Formats

A Little Java, A Few Patterns PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

A Little Java, A Few Patterns PDF

Uploaded by

Copyright:

Available Formats

What is the book primarily intended for?

What is the book primarily intended for?

What programming experience do readers need?

What programming experience do readers need?

A Little Java, A Few Patterns

THE INTENDED AUDIENCE

WHAT THIS BOOK IS NOT ABOUT

Here are some hints on how to experiment with Java: 1

public String toString() {

b) if the class has one field, say x, use

public String toString() {

c) if the class has two fields, say x and y, use

public String toString() {

3. Add the following class at the bottom of the file:

y.- + "\n " +

4. Finally, compile the file and interpret the class Main.

Is this a number: - 23? Yes, but we don't use negative integers.

\\That type of number is 5? int. 1

Quick, think of another integer! How about 19?

What type of value is true? 6 boolean.

What type of value is false? 7 boolean.

What is int? 9 A type.

What is boolean? 10 Another type.

What is a type? 11 A type is a name for a collection of values.

[ abstract class Seasoning D {} SeasoningD

I class Salt extends SeasoningD {}

[ class Pepper extends SeasoningD {}

D This superscript is a reminder that the class is a

\\That are abstract, class, and extends? 18 Easy:

1 Evaluating new SaltO twice does not produce the same

I class Thyme extends SeasoningV {} I class Sage extends SeasoningV {}

And then there were four. 22 Yes.

What is a Cartesian point? 23 It is basically a pair of numbers.

What is a point in Manhattan? 24 An intersection where two city streets meet.

class CartesianPt extends Point V {

class ManhattanPt extends Point V {

I abstract class Nu m'D {}

I class Zero extends Nu m'D {}

class OneMoreThan extends Num'D { OneMoreThan

Draw the picture, too.

Is this a Num D : 36 Yes, because OneMoreThan constructs a

\Vhat is 41 That is nonsense,l because 0 is not a Num'D.

43 1 is similar to, but not the same 3..<;.

Are there Illore Num'Ds than booleans? 45 Lots.

1 This answer is only conceptually correct .Java limits the

Class definitions do not introduce primitive 50 And what is that?

Almost. \Ve will soon see what that means. 52 Okay.

The First Bit of Advice

class Base extends LayerD {

class Slice extends LayerD {

\Vhat is It looks like an instance of Base. which

And '.vhat is It also looks like an instance of Base But

1 Arrays and strings are objects, too. \Ve don't discuss

Is this a LayerV : 59 false is not created with new, so this must be

Guess how we create a Layer V from false? 61 Easy now:

Ready for more? 63 Can't wait.

class CartesianPt extends Point V {

class ManhattanPt extends Point V {

How far is If the Empire State Building is the origin, we