Class KernelManager

    • Method Detail

      • newKernel

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

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

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

        public void replaceKernelName​(java.lang.String oldName,
                                      java.lang.String newName)
      • store

        public void store​(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​(java.lang.String p,
                                                     java.lang.Object old,
                                                     java.lang.Object n)