[poorlyknit]

Effect systems spring to mind but they're rather esoteric (in the Java world).