Kernel

public class Kernel

Kernel is the nucleus of Piazza Corvus. It initializes the basic configuration and sets up the plugin registry. After setting up the plugin registry, it activates the plugins and extension points and then Corvus is started.

Author:Hugo Y. K. Lam

Methods

getInstance

public static Kernel getInstance()

Gets the single kernel instance.

Returns:the kernel instance.

getPluginRegistry

public PluginRegistry getPluginRegistry()

Retrieves the plugin registry managed by this kernel.

Returns:the plugin registry.

getStartupTime

public Date getStartupTime()

Retrieves the startup time of this kernel.

Returns:the startup time.

hasErrors

public boolean hasErrors()

Checks whether there were any errors in the start up process of this kernel.

Returns:true if there were any errors in the start up process.

shutdown

public void shutdown()

Shutdowns this kernel and deactivates all the plugin registry.