Uses of Interface
org.jboss.errai.workspaces.client.api.Tool

Packages that use Tool

org.jboss.errai.workspaces.client.api
org.jboss.errai.workspaces.client.framework
org.jboss.errai.workspaces.client.listeners
org.jboss.errai.workspaces.client.widgets

Uses of Tool in org.jboss.errai.workspaces.client.api

Methods in org.jboss.errai.workspaces.client.api that return Tool

Tool[]

ToolSet.getAllProvidedTools()

Uses of Tool in org.jboss.errai.workspaces.client.framework

Classes in org.jboss.errai.workspaces.client.framework that implement Tool

class

ToolImpl

Methods in org.jboss.errai.workspaces.client.framework that return Tool

Tool	ToolProvider.getTool()

Uses of Tool in org.jboss.errai.workspaces.client.listeners

Constructors in org.jboss.errai.workspaces.client.listeners with parameters of type Tool

TabOpeningClickHandler(Tool tool)

Uses of Tool in org.jboss.errai.workspaces.client.widgets

Methods in org.jboss.errai.workspaces.client.widgets with parameters of type Tool

void	WSToolSetLauncher.addLink(String name, Tool tool)