Beefy Boxes and Bandwidth Generously Provided by pair Networks
Pathologically Eclectic Rubbish Lister

Re^6: Programming is combat

by TimToady (Parson)
on Jul 09, 2004 at 21:19 UTC ( #373267=note: print w/ replies, xml ) Need Help??

in reply to Re^5: Programming is combat
in thread Programming is combat

It should be possible to do class invariants one way or another. Perhaps we could just say that any PRE and POST properties on the class itself automagically get attached to any methods defined in the class.

As for naming conflicts, A12 does talk about that some in the context of Roles, but similar reasoning applies to inherited methods. In general, renaming violates Liskov substitutability, so we discourage (but do not prevent) that approach in favor of distinguishing via multiple dispatch where possible, and use of a switch method where not. But in cases where renaming is used, it'll be important to make sure the correct PRE and POST are called at each level. If renaming is done simply by a wrapper method in the derived class, this will happen automatically, I suspect.

Nonetheless, if you're changing the contract of a class, you probably ought to consider delegation instead of inheritance. And the delegation mechanism certainly has plenty of hooks for renaming.

Comment on Re^6: Programming is combat

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://373267]
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others meditating upon the Monastery: (4)
As of 2016-02-06 14:12 GMT
Find Nodes?
    Voting Booth?

    How many photographs, souvenirs, artworks, trophies or other decorative objects are displayed in your home?

    Results (230 votes), past polls