TweetFollow Us on Twitter

About MacApp
Volume Number:3
Issue Number:8
Column Tag:MacApp Applications

How to Think in MacApp

By Howard Katz, British Columbia, Canada

This is very important. You must think in Russian. You cannot think in English and transpose. Do you think you can do that, Mr. Grant?

With those immortal words, our hero, Clint Eastwood, alias Mr. Grant, steals a Russian thought-controlled steath fighter, out-shoots his way from behind the Iron Curtain, and flies to freedom. Learning to think in MacApp is a little like that thought-controlled Jet Fighter. You must think in MacApp. You cannot think in Pascal and transpose. Do you think you can do that Mr. Grant?

Thinking StarTrek in Object Pascal

If you’ve been at all intrigued by what you’ve been reading about MacApp and object-oriented programming, you’re not alone. Apple’s been promoting MacApp heavily, and a number of developers, myself included, have discovered that object-oriented programming is a new and exciting way of doing and thinking about applications. But if you’re even the slightest bit confused by what you’ve read, don’t feel too bad - again, you’re not alone. I had a lot of trouble when I was first starting out (an understatement!), and I’ve talked to other developers who’ve also experienced similar difficulties. Much of my confusion centered not so much on MacApp itself, but rather on the more fundamental language issues introduced by Object Pascal (aka MPW Pascal). If you don’t have a good, solid understanding of what objects are and how to work with them, you won’t have a hope in a hot place of understanding what MacApp is all about.

This article, then, is an attempt to focus on a few of these new language issues, to hopefully cast them in a new light. I don’t think my treatment here is really all that different from what’s been presented in Apple’s documentation, in Kurt Schmucker’s Object-Oriented Programming for Macintosh, or in earlier issues of MacTutor. In some cases, it’s simply a question of emphasis, or of looking at a particular concept or programming construct in a slightly different way.

To make this exposition as “real” as possible, I’m going to assume that we’re writing a hypothetical Star Trek game and use that as a vehicle for my discussion (I personally need to see lots of concrete code before I can understand new concepts; you might be similar). Anyway, my apologies to Gene Roddenberry and Trekkies everywhere for any mistakes; I’m not trying too hard to be accurate (although I am trying to be objective).

As you’re probably aware, the fundamental new programming structure introduced by Object Pascal is the object (if you knew that, a cigar). Objects are simply packages of data, together with the specific code that acts on that data. Objects present a good way of modeling the behavior of a particular programming entity.

In a Star Trek game, for example, a good candidate for such an entity might be one of the many ships that are manipulated during the game. Let’s consider, for example, creating an object that represents a Klingon warship. Such a Klingon object would represent one ship in our game. It would use its data fields to maintain information on its current weapons status, its position, and so forth. The methods belonging to the Klingon object would manipulate this information to enact the specific behavior we expect of Klingon vessels.

Creating this object in our program is going to involve coding statements in at least three different places in the program. First, in an INTERFACE section of our program we’re going to find something like the following:

TYPE
 TKlingonVessel = OBJECT
 fNumTorpedoes :  INTEGER;
 ... { other relevant fields }
 PROCEDURE TKlingonVessel.LaunchTorpedoes;
 ... { other relevant methods }
 END;{ TKlingonVessel object type }

Notice, first of all, that this is a TYPE declaration, and that somewhere else in our code we can therefore expect to find a corresponding VAR declaration for a variable of this type. In particular, this is a declaration for an object type. This object-type declaration is our first interesting extension of standard Pascal syntax. It shares some of the characteristics of a RECORD type, except, most notably, that standard Pascal records don’t contain procedures as fields. Strange concept number one. Also note that the procedure name LaunchTorpedoes is prefixed by the object-type name, TKlingonVessel.

The naming conventions in the above piece of code, by the way, are just that - conventions. Object type identifiers start with a “T” and data fields start with an “f”. I’ll point out later why these conventions are useful.

Somewhere else in our program we’ll find an IMPLEMENTATION section that contains the actual code for the procedure (ie, method) TKlingonVessel.LaunchTorpedoes. It might look something like the following:

PROCEDURE TKlingonVessel.LaunchTorpedoes;
BEGIN
 IF fNumTorpedoes > 0 THEN 
 BEGIN
 fNumTorpedoes := fNumTorpedoes - 1;
 DoLaunch;
 END;
END;

The first interesting question I’d like to address is this: given this declaration of an object type and the IMPLEMENTATION of the single procedure it contains (or at least the single one I’ve shown), how do we invoke, or execute, the code for the procedure TKlingonVessel.LaunchTorpedoes?

If we were working in standard Pascal, the question would be so trivial as to be meaningless: you simply invoke the procedure by naming it at some point in your program. In Object Pascal, it’s not quite that simple. In Object Pascal, you can’t execute the code for this method until the object containing it has been created. And we haven’t created the object yet; we’ve simply declared an object TYPE, a template for the object to be.

This is one of the fundamental differences between standard Pascal and Object Pascal: in standard Pascal, code is fixed and immutable - it simply is. In Object Pascal, code has to be created on the fly at runtime before you can use it. Now, that’s a dramatic, though slightly inaccurate statement. It’s close enough to the way things work, however, to be useful.

How do we create the actual TKlingonVessel object and execute its code? The third piece of our program looks something like this:

 VAR
 aKlingonVessel  :  TKlingonVessel;
 BEGIN
 NEW( aKlingonVessel );
 aKlingonVessel.fNumTorpedoes := 10;
 aKlingonVessel.LaunchTorpedoes;
 ...
 END;

Obviously this piece of code is a wee bit strange - it’s unlikely that we’d create a new Klingon object and then immediately ask it to blindly launch a torpedo. I plead pedagogical considerations. At any rate, here’s the VAR statement for the variable I mentioned. This code fragment says that we’re going to create a new object, and that object will be of type TKlingonVessel as declared earlier. An object of this type will contain the data fields and methods that were declared for that object type. The NEW statement then actually creates the object at runtime and makes its fields and methods available for use.

This use of NEW is an extension of the standard Pascal NEW procedure. The compiler recognizes that we’re creating an object and not a standard data structure by the type of the variable that we’re NEWing, in this case aKlingonVessel.

Once we’ve created our object, its data fields become accessible. The statement

 aKlingonVessel.fNumTorpedoes := 10;

initializes the field fNumTorpedoes; prior to this statement, the value of the field was undefined. Note again the RECORD-like syntax used here. Only this time, we’re working with a variable and not an object type: note that the prefix, or qualifier, is changed accordingly.

Finally, we can execute the code of our launch procedure with the statement:

 aKlingonVessel.LaunchTorpedoes;

This creation of a new object is known as instantiation, a wonderful term; we have created an instance of this object type. Its data fields are now stuffable; its code is now executable.

To confuse matters just a bit (just when you thought you were getting things under control): the variable aKlingonVessel is not the object itself. Close, but no cigar. The variable aKlingonVessel is an object reference variable, or simply an object reference. Why?

The relationship between an object reference variable and an object is very similar to that between a handle and the handled block it points to. An object actually is a handled block, but with a few important differences from our standard understanding of the term. It floats on the heap, just like a normal handled block, and is just large enough to contain space for its data fields and code (well, almost). The handle itself, or more properly the object reference variable, is exactly four bytes long, as you’d expect for a handle.

OK, I was bending the truth - our object doesn’t actually contain the code for its methods, as I’ve stated. Rather, it contains a pointer that points to where the code actually resides in memory (and who knows, or cares where that is?). That’s why I said earlier that my statement about creating code on the fly at runtime is somewhat inaccurate - the code is already there; we just create the object that contains the pointer to it. Ken Doyle gave a good description of the method-table mechanism that handles this in the December ’86 issue of MacTutor (saving me from having to explain an implementation issue that I don’t fully understand anyway).

Syntactically, while an object-reference variable such as aKlingonVessel acts much like a handle, notice that we don’t have to use Pascal’s caret symbol to dereference it in order to get at the fields of the object it points to. The period separator is sufficient.

There’s one other interesting thing to look at. When we make the statement:

aKlingonVessel.LaunchTorpedoes,

we might say that we’re invoking this method from outside the object. But once that method begins to execute, we are, in a sense, inside the object. I’m talking here about the subsequent code that gets executed by the above line:

IF fNumTorpedoes > 0 THEN BEGIN
 fNumTorpedoes := fNumTorpedoes - 1;
 DoLaunch;
...

Notice, since we’re now on the inside looking out, that we needn’t qualify the fieldname fNumTorpedoes with the name of the object, aKlingonVessel, or the typename, TKlingonVessel. Either, in fact, would be an error. And here’s one place where naming conventions are useful: the “f” in “fNumTorpedoes” immediately tells us that this is a field belonging to our object, and not something else such as a global variable (in which case it would probably start with a “g,” again by convention). What’s important is that any of the data fields belonging to this object are accessible from within any of its methods, as long as the object exists. This is an extension of Standard Pascal’s scoping rules and has important consequences which we’ll look at later.

The matter of DoLaunch is slightly more involved. Since we’re inside a Klingon vessel object, DoLaunch might be the name of another method belonging to type KlingonVessel (that I haven’t shown), or it might be the name of a standard Pascal procedure that’s not a method at all. Again, once we’re inside an object and executing one of its methods, any other methods that we invoke that belong to that object are not qualified. Finally, there’s a minor variation on the first possibility that we’ll cover when we look at the subject of inheritance.

OK, we’ve now got Klingon vessel objects. More precisely, we’ve got one Klingon vessel object. This represents one ship. In a real Star Trek game, we would probably expect to find numerous Klingons, and there’s nothing to stop us from creating other objects of the same TKlingonVessel type. For example:

VAR
 aKlingon1:  TKlingonVessel;
 aKlingon2:  TKlingonVessel;
BEGIN
 NEW( aKlingon1 );
 aKlingon1.fNumTorpedoes := 10;
 aKlingon1.LaunchTorpedoes;
 NEW( aKlingon2 );
 aKlingon2.fNumTorpedoes := 30;
 aKlingon2.LaunchTorpedoes;
 ...

Now we’ve got two Klingon vessel objects floating in quadrant four, as well as in the heap. They share the same code (there are two pointers to the single method, LaunchTorpedoes), but it’s important to note that they each exist independently of the other one. In particular, their data fields are unique. This shouldn’t be a big surprise if you think about creating two RECORD variables in Pascal that are both based on the same type definition.

At the end of the above sequence of statements, aKlingon1 has 9 torpedoes left, and aKlingon2 has 29 torpedoes remaining.

OK, we’ve now got Klingon objects galore, one for every Klingon vessel in our game. Let’s back up a bit and put the above piece of code in context. The question is: where are these Klingons being created? In other words, who is creating them? Somebody has that responsibility.

In a typical game, we’ll probably have another object whose job it is to mind the board and keep track of turns and other things like that. We might call this the game object and declare it to be of type TGame. Our TGame object will also be responsible for creating all the vessels that are going to appear during the course of the game. This sequence of events (non-Macintosh usage here) is highly typical of the way most object-oriented programs behave at runtime: we initially instantiate one object; it in turn instantiates another; and so on down the line. (If you’re astute, you might well ask at this point what happens if we just keep on instantiating objects, knowing that every instantiation creates a new block in the heap. A very good question. Don’t ask; I’ll come back to this later).

In any event, if we go back and expand the above piece of code just a bit, it’ll look something like this:

{ IMPLEMENTATION }

TGame.NewVessel;
VAR
 aKlingon1:  TKlingonVessel;
 aKlingon2:  TKlingonVessel;
BEGIN
 NEW( aKlingon1 );
 aKlingon1.fNumTorpedoes := 10;
 aKlingon1.LaunchTorpedoes;
 NEW( aKlingon2 );
 aKlingon2.fNumTorpedoes := 30;
 aKlingon2.LaunchTorpedoes;
 ... { other stuff }
END;  { TGame.NewVessel }

All I’ve really done is bracket the code we saw earlier between the name of the game method and an END statement. Again, we’re being somewhat unrealistic for the sake of pedagogy. It’s much more likely that this NewVessel method of our game object would be used to create one Klingon, and not two, at a time, and that we’d invoke it whenever we wanted to create a new one (as indicated by a menu or dialog selection, or whatever). Since these objects differ only in the number of torpedoes we initialize them with (at least according to the limited context I’m showing here), we’d probably pass in a parameter like NumTorpedoes that immediately gets stuffed into the fNumTorpedoes field. In other words:

TGame.NewVessel( NumTorpedoes : INTEGER );
VAR
 aKlingon :  TKlingonVessel;
BEGIN
 NEW( aKlingon );
 aKlingon.fNumTorpedoes := NumTorpedoes;
 aKlingon.LaunchTorpedoes;
 ... { other stuff }
END;  { TGame.NewVessel }

To be able to keep track of individual Klingons, the TKlingonVessel type would also probably have a field called fID, and we’d increment this field by one for each new ship we added so that each Klingon had a unique number.

Rather than initializing our objects exactly as I’ve shown above, however, it’s a much more common practise to provide each object with its own initialization method, and pass our parameters to the method to let the object initialize its own fields. This occurs throughout MacApp. To wit:

NEW( aKlingon );
aKlingon.IKlingonVessel( NumTorpedoes );
aKlingon.LaunchTorpedoes;

and

TKlingonVessel.IKlingonVessel( NumTorpedoes:INTEGER);
 BEGIN
 fNumTorpedoes := NumTorpedoes;
 ... { other initialization stuff }

What can we say about the name of the method, IKlingonVessel? Again, simply a matter of convention, in which an “I” (obviously standing for “Init”) is prefixed to the object name. OK, that’s a long digression. The main reason I’ve shown the above code is to pose one further query (I love doing that; can’t you tell?).

The question is this: once the delimiting END statement is reached in the NewVessel method, what happens to the objects that were created there? Well, in a word: nothing. They continue to exist in the heap, but there’s no longer any way to reference their fields or methods from outside them. The only way we had of doing so within the NewVessel block was to use our reference variable, aKlingonVessel (or aKlingon1 or aKlingon2, as appropriate). Pascal’s scoping rules say that these variables are local to the method and cease to be once the block is exited. This is a problem, since our game object is likely to want to communicate with them later on.

The answer is to realize again that an object-reference variable is just that: a variable. And the value of a variable is a perfectly good candidate for sticking into one of the data fields of our game object via a Pascal assignment statement. That way, since the fields of the object continue to exist as long as the object itself exists, we’ll be able to get at any “subordinate” objects that are referenced there at any time we like. First, we’ll have to add the necessary reference field to our TGame TYPE declaration:

TYPE
 TGame = OBJECT
 fTheKlingon :  TKlingon;
 ...    { other relevant fields }
 PROCEDURE TGame.NewVessel;
 ...  { other relevant methods }
 END;  { TGame object type }

We can then do the following simple assignment in our TGame.NewVessel method:

TGame.NewVessel;
VAR
 aKlingonVessel :  TKlingonVessel;
BEGIN
 NEW( aKlingonVessel );
 fTheKlingon := aKlingonVessel; { <<-- }
 aKlingonVessel.fNumTorpedoes := 10;
 { or fTheKlingon.fNumTorpedoes := 10 }
 { ... etc. }

That’s it! We’ve now established a communcation link, if you will, between our game object and this particular Klingon vessel. No matter what other method of the game object may be executing later on, the game will be able request this Klingon to launch torpedoes or perform any of its other methods by using the fTheKlingon reference field. The syntax for doing so, by the way, is almost identical to what we’ve already seen. For example, if Klingons have a method that allows them to fire a phaser bank (I don’t even know if Klingons have phaser banks!), the game object can request one to do so simply by saying

fTheKlingon.FirePhasers;

We can even extend this usage into stranger realms. If our Klingon type has a method that allows it to scan neighboring quadrants for enemy warships and report their location, the game object can ask it to do so by saying

EnemyPosit := fTheKlingon.ReportEnemyPosit;

This is an example of a method that’s actually a function, rather than a procedure. This construct might seem somewhat strange if you haven’t encountered it before. I remember when I was reading the documentation and seeing constructs like this for the first time; there was a lot of head scratching. Hopefully, you’re not as slow as I was.

I’m going to leave it at that for the moment. There is a lot more. And we haven’t even talked about inheritance, overriding, SELF, or a number of other object-oriented subjects. Stay tuned next issue for Romulans, Vulcans, and the other denizens of deep space. Get objective.

 

Community Search:
MacTech Search:

Software Updates via MacUpdate

iShowU Instant 1.3.2 - Full-featured scr...
iShowU Instant gives you real-time screen recording like you've never seen before! It is the fastest, most feature-filled real-time screen capture tool from shinywhitebox yet. All of the features you... Read more
NeoFinder 7.5.1 - Catalog your external...
NeoFinder (formerly CDFinder) rapidly organizes your data, either on external or internal disks, or any other volumes. It catalogs and manages all your data, so you stay in control of your data... Read more
App Tamer 2.5 - Efficiently manage your...
App Tamer tames your processor-monopolizing apps and keeps them from chewing up excessive CPU time and battery life. Powered by a unique AutoStop feature, App Tamer stops each application when you... Read more
MainStage 3 3.4.4 - Live performance too...
Apple MainStage makes it easy to bring to the stage all the same instruments and effects that you love in your recording. Everything from the Sound Library and Smart Controls you're familiar with... Read more
iTubeDownloader 6.5.13 - Easily download...
iTubeDownloader is a powerful-yet-simple YouTube downloader for the masses. Because it contains a proprietary browser, you can browse YouTube like you normally would. When you see something you want... Read more
FileZilla 3.47.0 - Fast and reliable FTP...
FileZilla (ported from Windows) is a fast and reliable FTP client and server with lots of useful features and an intuitive interface. Version 3.47.0: Fixed regression loading advanced site... Read more
Transmit 5.6.3 - Excellent FTP/SFTP clie...
Transmit is an excellent FTP (file transfer protocol), SFTP, S3 (Amazon.com file hosting) and iDisk/WebDAV client that allows you to upload, download, and delete files over the internet. With the... Read more
Doomsday 2.2.2 - Play classic Doom on mo...
id Software's Doom pioneered the modern first-person shooter genre. Released in 1993, it was a quantum leap in game engine technology with fluid and - at the time - incredibly realistic 3D graphics.... Read more
Ableton Live 10.1.9 - Record music using...
Ableton Live lets you create and record music on your Mac. Use digital instruments, pre-recorded sounds, and sampled loops to arrange, produce, and perform your music like never before. Ableton Live... Read more
Maintenance 2.6.5 - System maintenance u...
Maintenance is a system maintenance and cleaning utility. It allows you to run miscellaneous tasks of system maintenance: Check the the structure of the disk Repair permissions Run periodic scripts... Read more

Latest Forum Discussions

See All

Creepy Little Monsters is a cute, monste...
Creepy Little Monsters is a retro throwback that sees you traversing tricky puzzle-platformer levels as a one-eyed monster. It aims to offer a fresh take on 80s and 90s classics of the genre, and it's out right now for iOS and Android. [Read more... | Read more »
Tyrant's Arena delivers intense her...
Tyrant's Arena is an intense midcore multiplayer actioner where you'll compete in tricky 3v3 matches to crush your opponents and earn neat rewards. It comes to us from developer Kroy Games, and it's now available for pre-registration on iOS and... | Read more »
Mobile Games Starter Kit
Over here at 148Apps, we regularly dive deep into the latest and greatest mobile games hitting the App Store, but that’s not always what people are looking for when searching for a new mobile game. Some folks just want to dip their toes into... | Read more »
Unresolved is a hard-hitting narrative a...
Ghofran Akil's Unresolved in an upcoming text-based adventure game that sees you playing as a mother attempting to find her disappeared husband during the Lebanese Civil War. [Read more] | Read more »
Marvel Strike Force introduces new brawl...
FoxNext's squad-based RPG Marvel Strike Force is set to receive some fresh characters from the X-Men and Iron Man series. They'll arrive as part of the game's latest update, which follows a sizable spending boycott on the title due to complaints... | Read more »
Speed Dating for Ghosts is a narrative a...
Speed Dating for Ghosts originally released on Steam back 2018, since then it has received honourable mentions for narrative during the Independent Games Festival. Now it's made its way over to iOS devices where it's available as a premium title... | Read more »
Fast-paced multiplayer title Tennis Star...
Tennis Stars: Ultimate Clash is the latest free-to-play tennis title to hit iOS and Android. It's said to be a fairly casual experience, offering easy-to-learn controls and fast-paced, mobile-friendly matches. [Read more] | Read more »
Super Mecha Champions' latest updat...
Super Mecha Champions' latest update sees the addition of a brand new character called R.E.D. Alongside that, there's news about the current season and a series of Emojis that have been added to the game. [Read more] | Read more »
Apple Arcade: Ranked - Top 50 [Updated 2...
In case you missed it, I am on a quest to rank every Apple Arcade game there is. [Read more] | Read more »
Apple Arcade: Ranked - 51+ [Updated 2.19...
This is part 2 of our Apple Arcade Ranking list. To see part 1, go here. To skip to part 3, click here. 51. Mini Motorways Description: [Read more] | Read more »

Price Scanner via MacPrices.net

B&H is again offering $100 discounts on M...
B&H Photo has 4-Core and 6-Core Mac minis on sale for $100 off Apple’s standard MSRP, with prices starting at only $699. Overnight shipping is free to many US addresses: – 3.6GHz Quad-Core mini... Read more
B&H Photo drops iMac prices, offers model...
B&H Photo has new 2019 21″ and 27″ 5K iMacs in stock today and on sale for up to $250 off Apple’s MSRP, with prices starting at only $999. These are the same iMacs sold by Apple in their retail... Read more
Flash sale! 11″ 64GB WiFi iPad Pro for $674,...
Walmart has the 11″ 64GB WiFi iPad Pro on sale on their online store today for $674. That’s $125 off Apple’s MSRP for this model and the cheapest price available from any Apple reseller. Choose free... Read more
Sale! Get the 256GB 13″ Silver MacBook Air fo...
Amazon has new 2019 13″ 1.6GHz/256GB MacBook Airs, in Silver, on sale today for only $999 shipped. Their price is $300 off Apple’s MSRP for this model, and it’s the cheapest price for a 256GB MacBook... Read more
Verizon offers free iPhone 7 to customers ope...
Verizon is offering a free 32GB iPhone 7 for new or existing customers who open a new line of service, no trade-in required. Cost of the phone is credited to your account monthly over 24 months. The... Read more
Sale! 10.5″ 256GB WiFi iPad Air for $549, $10...
Amazon has new 10.5″ 256GB WiFi iPad Airs, in Space Gray, on sale today for $549 shipped. Their price is $100 off Apple’s MSRP for this model, and it’s the cheapest price available from any Apple... Read more
Back on sale! Apple’s new Mac Pro for $5499,...
B&H Photo has the base 2019 Mac Pro (3.5GHz 8-Core Xeon, 32GB RAM, 256GB SSD) in stock today and on sale for $5499 including free overnight delivery to many addresses in the US. Their price is $... Read more
B&H offers $100 discount on base 13″ 1.4G...
B&H Photo has new 2019 13″ 1.4GHz MacBook Pros on sale for $100 off Apple’s MSRP today with prices starting at $1199. Overnight shipping is free to many addresses in the US. These are the same... Read more
Apple continues to offer Certified Refurbishe...
Apple has Certified Refurbished iPhone XS models available for up to $350 off MSRP, with prices starting at $699. Each iPhone is unlocked and comes with Apple’s standard one-year warranty and a new... Read more
Apple AirPods are on sale for $30 off today
Amazon has new 2019 Apple AirPods (non-Pro models) on sale today for $30 off MSRP, starting at $129. Shipping is free: – AirPods with Wireless Charging Case: $169 $30 off MSRP – AirPods with Charging... Read more

Jobs Board

Medical Assistant - *Apple* Valley Clinic -...
…professional, quality care to patients in the ambulatory setting at the M Health Fairview Apple Valley Clinic, located in Apple Valley, MN. Join the **M Health Read more
Geek Squad Advanced Repair *Apple* Professi...
**764652BR** **Job Title:** Geek Squad Advanced Repair Apple Professional **Job Category:** Store Associates **Store NUmber or Department:** 000245- Apple Read more
Medical Assistant - *Apple* Valley Clinic -...
…professional, quality care to patients in the ambulatory setting at the M Health Fairview Apple Valley Clinic, located in Apple Valley, MN. Join the **M Health Read more
Windows/ *Apple* Technical Support Engineer...
Windows/ Apple Technical Support Engineer McLean , VA , US Apply + Be you + Be Booz Allen + Be empowered + Learn More Job Description Location: McLean, VA, US Job Read more
Medical Assistant - *Apple* Valley Clinic -...
…professional, quality care to patients in the ambulatory setting at the M Health Fairview Apple Valley Clinic, located in Apple Valley, MN. Join the **M Health Read more
All contents are Copyright 1984-2011 by Xplain Corporation. All rights reserved. Theme designed by Icreon.