Package de.tudresden.inf.lat.tabulas.extension
-
Interface Summary Interface Description Extension This models an extension. -
Class Summary Class Description DefaultExtension Default extension.DefaultExtension$ ExtensionException$ ExtensionManager This models an extension that can execute other extensions.ExtensionManager$ -
Exception Summary Exception Description ExtensionException Extension exception.