Package jadx.gui.utils

Class JumpManager

java.lang.Object

jadx.gui.utils.JumpManager

public class JumpManager
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
JumpManager()

Method Summary

Modifier and Type	Method	Description
void	addPosition(@Nullable JumpPosition pos)
@Nullable JumpPosition	getCurrent()
@Nullable JumpPosition	getNext()
@Nullable JumpPosition	getPrev()
void	reset()
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

JumpManager

public JumpManager()

Method Detail

addPosition

public void addPosition(@Nullable
                        @Nullable JumpPosition pos)

size

public int size()

getCurrent

@Nullable
public @Nullable JumpPosition getCurrent()

getPrev

@Nullable
public @Nullable JumpPosition getPrev()

getNext

@Nullable
public @Nullable JumpPosition getNext()

reset

public void reset()