module de.renew.gui {
    // Provided Packages
    exports de.renew.gui;
    exports de.renew.io;
    exports de.renew.gui.pnml.creator;
    exports de.renew.io.exportFormats;
    exports de.renew.gui.nin;
    exports de.renew.gui.tool;

    // Needed for getClass().getResource() to work
    opens de.renew.gui.images;

    // Renew Dependencies
    requires transitive CH.ifa.draw;
    requires transitive de.renew.remote;
    requires transitive de.renew.formalism;
    requires static de.renew.ant;
    requires de.renew.simulator.api;
    requires de.renew.simulator.impl;
    requires de.renew.propertymanagement;

    // Java Dependencies
    requires java.desktop;
    requires java.naming;
    requires java.rmi;
    requires java.xml;

    // Third-Party Dependencies
    requires ant;
    requires docking.frames.common;
    requires docking.frames.core;
    requires ch.qos.reload4j;
}
