On: Clean Code vs. A Philosophy Of Software Design

[klysm]

Encoding temporal dependencies (or exclusions) between methods is hard. You can get partially there by using something like a typestate pattern (common in rust).