title World after hello printWorld() gets converted to: aspect World { advice execution("void hello()"): after() { printWorld(); } }
title World after hello printWorld() gets converted to: aspect World { advice execution("void hello()"): after() { printWorld(); } }