org.antlr.works.editor.tips

Class TipsManager

java.lang.Object

org.antlr.works.editor.tips.TipsManager

public class TipsManager
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	enabled
protected int	lastPosition
protected TipsOverlay	overlay
protected List<TipsProvider>	providers

Constructor Summary

Constructors

Constructor and Description
TipsManager()

Method Summary

Methods

Modifier and Type	Method and Description
void	addProvider(TipsProvider provider)
void	close()
void	displayAnyTipsAvailable(int position, Point location)
boolean	enabled()
List<String>	generateTips(int position)
void	hide()
void	setEnabled(boolean flag)
void	setOverlay(TipsOverlay overlay)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

providers

protected List<TipsProvider> providers

overlay

protected TipsOverlay overlay

lastPosition

protected int lastPosition

enabled

protected boolean enabled

Constructor Detail

TipsManager

public TipsManager()

Method Detail

setOverlay

public void setOverlay(TipsOverlay overlay)

addProvider

public void addProvider(TipsProvider provider)

setEnabled

public void setEnabled(boolean flag)

enabled

public boolean enabled()

displayAnyTipsAvailable

public void displayAnyTipsAvailable(int position,
                           Point location)

hide

public void hide()

generateTips

public List<String> generateTips(int position)

close

public void close()