Class KernelManager

All Implemented Interfaces:
PropertyChangeFirer, PropertyChangeProvider, InstanceManagerAutoDefault

Manages Kernels.
  • Constructor Details

  • Method Details

    • newKernel

      public Kernel newKernel(String name)
      Create a new Kernel
      Parameters:
      name - string name for this Kernel
      Returns:
      Kernel
    • deleteKernel

      public void deleteKernel(String name)
      Delete a Kernel by name
      Parameters:
      name - string name for the Kernel
    • getKernelByName

      public Kernel getKernelByName(String name)
      Get a Kernel by name
      Parameters:
      name - string name for the Kernel
      Returns:
      named Kernel
    • replaceKernelName

      public void replaceKernelName(String oldName, String newName)
    • load

      public void load(org.jdom2.Element root)
    • store

      public void store(org.jdom2.Element root)
      Create an XML element to represent this Entry. This member has to remain synchronized with the detailed DTD in operations-cars.dtd.
      Parameters:
      root - The common Element for operations-cars.dtd.
    • setDirtyAndFirePropertyChange

      protected void setDirtyAndFirePropertyChange(String p, Object old, Object n)