Assuring good style for object-oriented programs | Synapse