Rivard F.Smalltalk.A reflective language

yield

heItsittod

ouslyVMturncommonpusat.edssame.withconrunexeTh

suspendsproc

ThethItone(itsthe

maphore

preves

waittothe(unsha[new.processsemaph:primiatbloc:currentwilland:.process] kitivfruntheyormak(thepriorityrunhisContext.).in

signalprocess,ssesforknewat

thewhic

thewa:=ProcessesvrrjailabletlycationeatesdyingwSemaphoregnal]the.proc"processrunning

haintoreiprocess,)running

beforelyofexecut

ss.othcurren

presen

nextThecod

thethisTheilehance.listated

escreationrity)previouwj[semaphorsemaphore\Giv

ough

BlockContextningsemaphonlypriincutmallakelfto

urns

The

mo

able re

tiv

facil

y

f Small-

inst

context of

the

cur

ntly runn ng

-

ss. It

is

an

nce of

the

3):

A

clremark.inly knows (Figu

ack,

alk is the

of

any

run

rgu

ents:), or the

v

of B

class,kClos

re

xts

c

of

ink

k f am s,

mell d

[Par94a].

The

pseued

-stav riable

ia the

con text

(sender)

MethodConhas \created" it

that the receiver is an instance of the BlockClosuroperand

: : : ),method

(

valueWithReld y

class) cur-

using

#valueWithArgumealuations: (or #va ue #val e:

pplica ion of methodwhic( f

ei

r:

tructiofaCompiledMethodthe ssage, and the arguments. Note

ins actually being executed beringmethod,

an

ly being executed,

remem

the

po

ter,

class for BlockContext.

18Wrenhareceivsimpli ed the

code for clearer understanding.

Context

executiv

The

thisConteession

aM thodContex

presen

aCompiledMe hod

me hod

xtreme

1<10> pu h local 0

er

expr

pc

2<44> pu h s lf

grams

execution, using

sender

3<80> send s mFr mPoint:

actionsrocutimanipulateobjectsSmall2mostFigureheendedrol.5ough.error2is(MethodCreturnthein3sctoalksucUsage:Twcan:fullyreplSmerr'ssttheplontasdl.acrejectlementsrsi:llTheconmenngk,ed.execuThissystemtrolintationlkExcerstd,orderof,ivitsimplemenpowhic:the,startthofofcaughstactiontsinwntotheSmallmodiorderofDebuggerkproposeclassapplication)excepinterc.intatioExceptionsyoforderestoreialkstackhisthexttakmayes[Don90..handler\toalternativobjectsrs.egular"itappropriaallows(seehandledearetoplf].regularnedbmrawhichbeinggureconprosedexxeertohy-

Therefore,

are

4 <65> re urn

handle

ceiver

of

secoru

plica

execution

memessagack is

aPoint

to

F

ck

= 2

3), whichandle:d

y = 4

me

il dMe

od

pc

ins

ucti

n

er

the

of m th

nd

rec iver

hod

ck

rgu

,

por

wor

ack

A

very impor an

f

re ca

look at

what part

of

the selected

context is

s lt

y con ext of

entire executivthestack,

executed,

ssage

insp ct

the receiver of the

ts and

temporaries of the selected

pr

ceed argumento \st p by s ep" execu

(send, step),

t xt,

by recompilation of its m thod,

conm dify any con

and continue thtextexecution with this new

code.

w illustrate. Dealingdeveltheirwithpmenuseextensiwithvironmalksmallof the,mewbutmodel,compl. Th compiler,isre/palizaypst

icalomainer tonewprovideyasconstructifwellusingregularaslanguagethessibleSmallth. Pre/postextenda suitsec heenactutroduceoffthecilaptiesll underin or

he

gory of softw

notengi

ring

ols. both dev

pro

men

nd coding

ns .

duringis ss

ti

l

vide

Applicationshanisms in

are

Thereforeto c ck b

.

proper ieselopf

and the assump

to

his role. A

Pr

post

con

cat

d v

um

la nguage:,

fo lowi

Flavors [M

o86], implemen

before/after

s.

he

cause

otedta

of pre/pstable

to

But

madeder

thodsconditionsofmpl

xcan

conditionsimplemenhanism and

bec usemethodsrely are assignedicationto

before/afme

ins

of the

the

is howteesw use

pre/post

onditions. Our

l is to pro

anoth

be

bjecked conditiw

the

thod methodsis calle .

guaran

when

ret

rns."

].

method

ply connectsamicitclass to its metacl ss

( f 2.2.1),

(regular(nameplem

atioin. It be

eadsu ts

eir ro

as

poscribedect-

ndit

i es those

pr expressesthat

vide pre/po

in

pre/postthaord spect

be

ods (SOM [DFM94], CLOS,: : :). O

of their uses

elves

i

ver

hods)Small

alk (cf 2.3.1)), w

us

men

and

the

softwar[Mey90rtie

to

be

dynamic

\T

onditionsvivial

adition of the lanaboutgWheng . Speci

by:

pre-

the

prop

rti

longer ustf

l. They should be

ved in

correct me hod use mak

conditi ns no

eased, ftware

lean from any devremoel pmen

opics.

This

of

aling

dy

y, lik

adding an insta

ce vari-

whicwithis

inst

nce.

In resp

ati

this

w

proposthe

Smalltion (or

n) of

modelpr pre/postconditionditions

he

class/meteactivcl ss ctouple,

ynamic behavior

:

follows:

alkusers

re used

catielopns are

ummar zed

he S

allanotherlk mod l

hi rarc ey indepe

dence:

able

ndywhere

hi

archy of classes.

Dyna

icithey

whe

do not in

rfere

all with

ode,

or

me ns b ing

ble to swap

rom

state where th y

re

activ

to

one

but only locally. Tholeactivity of

conditions on an A

(cfpurposeswiandsethodof2.the3omen.1))-semanusedprivatethis[GR83]canprotocolschemeics. videproto(usingNotiaresucceSmallol,thesupposedthatprivwhicreialkcy,edystaex:to, compilerastheensibeforthatreturnxampleprivofmethin

ofreturnanticsma

(contexwillthe tics" .evymbol)aluatedassumeW evy requireat an the poppoccurng

in

of meth

ds (or

n

a blockreturnsactivaluat

exib libody:

the code

of

whenpre-

and

post-

iti

ns m y accesscompatibilthe eth d context,

modion: cati

ns m

st be as small as possi

le.especiallyTh

look

the

source

pre/post

conditions

(

and temporaries,

are acuseriv

), witheth

Figurenori

whicthe clo es

beturn),

(cf

4):

The

rface

vivial

interface

ou

parametershod

(wi

man

{

as

ociated

d while

browsing th

c

the activity

ofa the

ulations),of class

kno

thr ugh

is

v

therdevelopmen

ool

justbrowsery losourceking at methclass name

splay (

usinghange popup menu, as in conditionsSmall alk's usage.

pane of

browser),

4 : The

tly selec

class (NodeIt m) has

he menu (

s) that pimermits the

h ng

from ac-

Figureconditiv to nonconditio-activcurrencutedndiations

(and vice versassociated).

condi

ons

ns

ness et (cf (c)).

odes is ex

runt

. The gure also showits

j temporarireConditioj

. ]

preCondit on.

Thisexpr1[..sucnosynblockP....ticsostCow represenexcrearNhaviti

hodsbeenof..qua] areopostCondi ersedintrseveraltionced,advantages:.aswhoseselit iscto

wit

meth uldcombin

in [Coi90]. Ars,a

matt\parasitic"of fact, th

ationst soluti

su ers major

backs:

qual ed me hods p

lute

inte f

of the cl ss, and

no way

fromprohibit theidraus

as

block to

in ons

scribedn xt,

Using

a condi ion allows full ac

ess to

to

method context. It w

theirv

quitne

sucth a

methodsc

text with

dinditiocultthesemanipulatesidetherepresem thod

itself

(both

tempo-

s

nd a guments accderivss would

hav

been

hard

do not allow

Extensiontestconditionsto if

sho

ld absolutely

not

activ

pre/p

st

3.1 rariModelalize,

example).

th ir

refore,urselv ac ive, thenmethod code needed f

Wheninterfere

ex cu

ur

ime.

This is

the

st -

p rtan

sp

ci cat

of

pre/post

.

activ . Th

the

estmeansus

be done

le time:

are

not

e, then

he

ndconditions

Th s poin

crucial.

It

hat at execu

time, w

gncutionand

th

method b

dy is

Thus, w rednditionsw di

renactivmpilation

.

Chang

ex

is gen

rat

d at compile

ime,

vice versa)

ng from ac iv to non-activ

at d.

manag

b havior according to dev

pm

methodSmalltoicseplassmpiuB.ucllyer)Thusalkof(cfraisare2kpr.3>>dusrnel./post1)defaultoneretu2.2.condit1)compilerClaandns. thelevMetaclassWithControonsthe.fromThemethodswhosthatcompilmethodtheofinstaofcompilerrClassiscesgivencon(cf(a-

Class of the

(i.

.,

one of theBehaviornext w

viorClassmetaclasshod

) (cf A.1),

the

default

>>

allsreturns

ompi er that d es not tak

into

(and just fo gets

ir

sociated

code ),

compilerClasthat d als with conditions codes.

MetaclassfroMetaclassm

WithControl to

Metaclass

rol>>compilerCl

accounretur s

(and vice versa) using

the

changeClassToThatOf:

Thus (cf Figure 5),

f

are

he compiinstacl

whoseconditionsare notactiv-

iv is an

in tance of

.

done by dyna

ically

ha cglassWng theithContro[Riv96] of the

is

ce

f

co

d ons to

,

ones is

Changing

ctiv

nonctiv

method (cf 1.2).

metaclass

class

Metaclass

namicallyFigureAnyClass5 .:The

AnyClass

s changes

its class

dy-

: is instance of

MetaclassWithControl

: inherits from

: dynamic

ss change

metaclassonllelynamicalwll Ahinwouldclassyourvelsaddedhavspecisubclas(cftaclacompilerClasses2.cation2proconnected.1:esw.Sma.Thisbyushavbehavior,bothAismethodandduebeenmoallto(cfwitsass).2icrited.subpar3and.1)is

no condevelopmdestedn tionwi hopicsnorsoinuievidedeir en inwou

.havThis( addedust

theirinsinheritancev ab

to

he

Clthassalk ss

n

,

in order

to remember the

activity at

. The

fault

co

w

ouldhaverface)to est neither

stance

ariable in order

to

an wer

corrtimect

v

-

iler.

Com

ared

ou s, th

last solu

expensiv

.

in

v

it

ionf

ass de ni

mp ct

nd

Mor

implies. It

nother problecom:

the

same

an

val

oned

whenClass

ilerClassbool fore release

not preasonablessib ation r,

prod

stage. Inclanoy case,

does not agree with

becasp ation that

not act ve,

should

w

(

(cf

2.2.1)) isconditions

of

thMetaclasskernel \ rick" to

rmsis

the

ininstancet

an applicatito

sed,

its classes

haeryv

spaceucboth

stru

.

A rec

p

of

notmen

in anywheny withcture

gular

Small alk.

u

it would

lo ger

b

to hav

both

\development"

ion

tance v

ablealllw ys

os

rele

sed

applclass

nd appl cati

the dev -

d ed,

f

actterferensiv condit ons are

put nsionMet

ss,

its

Finally,

otice that

th

extpossibleil u

tes

at

xt

eness

ol,

stead

of

Met

class, whthec

f

the

Small

alk

kernel.

In-

regr

ssion. Mor

er

newmodop in

inhe niteantiation

k

pp ars when

Metacl ssWithCo

its condit ons

MetaclassWithContrb extended, without causing the whole system to faeasil.

d

epest partof

Small

alk kntrolnel (cf 2.2.1) can

ery

ctivity set to true. This demonst

ates that even the v

3.2

Environmen

Exte

xt to be accessible from conditisioncodes. From ancon-

Our

of syntactic conventio

ws the

method and

rfachoicepoin

of view,

the user

loalloks at i s

associated

condition sources at the same time.

Practical

dd

Asneww metahav lassextendedcriptionthe

tomod

withorderdevel

[RM93]:bythisemaanglobalticsddewcsngtopics,areintrdescriinabrowsercospectionxedaccoubroperation. wsers.doesThus,t,classStandardwbetnohouldtomodsimplyeenrderalso,Smally takheskealforandlkthate tonewthebroaccounterfwnamtoce-,

MetaclassWithControl>>browsingNingNaassumeadd the '(c)'

string

su x

to

the name (classOnControlString

opmeneed:

ss,

but

for

its

.

With thiss

of

the

what

ssage,

class fully

controls

brow er

showser.

thod).

3.3

Compiler Extension

model and

Havi

g

esigned the structu al

part of

s

h

needed codes for activtermspre/post

.

w

its implication in

of interf ce

xten ion, w

w

Our

is

manipulation of the parse

ion

f

he post-

methv

doexists)an re urn

to extend the

in ordther to manag

hat

does

ot returncompilationtrue xecution time,

evalua

xception f

preconditions-

tree, which is generatedbasedy the Small alk par

er. W

possolution

-condi

(if

as the

c ndstatraison,

the

pre-

the

st

(if

rais

thexcep

W

be ev luated.

wrap thealuationposten one method using

rst

m

of the

. W

also add the test

last

of

the

hod.

As

with

pre

be thevalueNowOrOnUcode if ere to decompile the parse tree after

windDo: whicthatallows

xecution of

or wr p withinadd blockClosure re eived as

an ar-

true.

As

eturpostmay occur (in th

itself

its reshaping:

Nextgumengiv an equivconditionalen syntactic form of what could

the

t),

could cause