Class ConfigureFeatureGroup_UI


  • public class ConfigureFeatureGroup_UI
    extends java.lang.Object
    Represents a ConfigurableFeatureGroup for configuring a Petri net.
    Author:
    dfahland
    • Field Detail

      • groupID

        public java.lang.String groupID
    • Constructor Detail

      • ConfigureFeatureGroup_UI

        public ConfigureFeatureGroup_UI​(ConfigurableFeatureGroup group,
                                        boolean forcedDoConfigure)
    • Method Detail

      • setDoConfigure

        public void setDoConfigure​(boolean configure)
      • getConfiguration

        public Configuration getConfiguration()
                                       throws java.lang.Exception
        Throws:
        java.lang.Exception
      • getPanel

        public javax.swing.JPanel getPanel()
        Returns:
        panel containing all controls