/**
* <copyright>
* </copyright>
*
*
*/
package robot.resource.robot.ui;
public class RobotUIMetaInformation extends robot.resource.robot.mopp.RobotMetaInformation {
public robot.resource.robot.IRobotHoverTextProvider getHoverTextProvider() {
return new robot.resource.robot.ui.RobotHoverTextProvider();
}
public robot.resource.robot.ui.RobotImageProvider getImageProvider() {
return robot.resource.robot.ui.RobotImageProvider.INSTANCE;
}
public robot.resource.robot.ui.RobotColorManager createColorManager() {
return new robot.resource.robot.ui.RobotColorManager();
}
/**
* @deprecated this method is only provided to preserve API compatibility. Use
* createTokenScanner(robot.resource.robot.IRobotTextResource,
* robot.resource.robot.ui.RobotColorManager) instead.
*/
public robot.resource.robot.ui.RobotTokenScanner createTokenScanner(robot.resource.robot.ui.RobotColorManager colorManager) {
return createTokenScanner(null, colorManager);
}
public robot.resource.robot.ui.RobotTokenScanner createTokenScanner(robot.resource.robot.IRobotTextResource resource, robot.resource.robot.ui.RobotColorManager colorManager) {
return new robot.resource.robot.ui.RobotTokenScanner(resource, colorManager);
}
public robot.resource.robot.ui.RobotCodeCompletionHelper createCodeCompletionHelper() {
return new robot.resource.robot.ui.RobotCodeCompletionHelper();
}
}