Sounds a bit like Eiffel https://en.m.wikipedia.org/wiki/Eiffel_(programming_language...