org.antlr.works.editor

Class EditorTips

java.lang.Object

org.antlr.works.editor.EditorTips

All Implemented Interfaces:

TipsProvider

public class EditorTips
extends Object
implements TipsProvider

Field Summary

Fields

Modifier and Type	Field and Description
TipsManager	tipsManager
GrammarWindow	window

Constructor Summary

Constructors

Constructor and Description
EditorTips(GrammarWindow window)

Method Summary

Methods

Modifier and Type	Method and Description
void	awake()
void	close()
void	display(Point relativePoint, Point absolutePoint)
void	hide()
List<String>	tipsProviderGetTips(int position)
void	toggleEnabled()

Methods inherited from class java.lang.Object

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

Field Detail

tipsManager

public TipsManager tipsManager

window

public GrammarWindow window

Constructor Detail

EditorTips

public EditorTips(GrammarWindow window)

Method Detail

awake

public void awake()

toggleEnabled

public void toggleEnabled()

hide

public void hide()

close

public void close()

display

public void display(Point relativePoint,
           Point absolutePoint)

tipsProviderGetTips

public List<String> tipsProviderGetTips(int position)

Specified by:

tipsProviderGetTips in interface TipsProvider