%%% %% Section 8.6: Instance Initializers %% %% @author Martin Bravenboer <martin.bravenboer@gmail.com> %%% module languages/java-15/classes/InstanceInitializers imports languages/java-15/statements/Blocks exports sorts InstanceInit context-free syntax Block -> InstanceInit {cons("InstanceInit")}