org.antlr.works.editor.navigation

Class GoToHistory

java.lang.Object

org.antlr.works.editor.navigation.GoToHistory

public class GoToHistory
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected int	currentIndex
protected List<Integer>	history

Constructor Summary

Constructors

Constructor and Description
GoToHistory()

Method Summary

Methods

Modifier and Type	Method and Description
void	addPosition(int pos)
boolean	canGoBack()
boolean	canGoForward()
int	getBackPosition(int currentPosition)
int	getForwardPosition()

Methods inherited from class java.lang.Object

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

Field Detail

history

protected List<Integer> history

currentIndex

protected int currentIndex

Constructor Detail

GoToHistory

public GoToHistory()

Method Detail

addPosition

public void addPosition(int pos)

canGoBack

public boolean canGoBack()

canGoForward

public boolean canGoForward()

getBackPosition

public int getBackPosition(int currentPosition)

getForwardPosition

public int getForwardPosition()