Extensions
Basic Usage
var extensions = require("core/extensions");
var response = require("http/response");
var mainmenu = [];
var menuExtensions = extensions.getExtensions("ide-menu");
for (var i = 0; i < menuExtensions.length; i++) {
var module = menuExtensions[i];
menuExtension = require(module);
var menu = menuExtension.getMenu();
mainmenu.push(menu);
}
response.println(JSON.stringify(mainmenu));
Functions
Function |
Description |
Returns |
getExtensionPoints() |
Returns an array of the extension points names |
array of string |
getExtensions(extensionPoint) |
Returns an array of the extensions names for the specified extension point |
array of string |