@Deprecated public final class ParsingState extends Object
Constructor and Description |
---|
ParsingState(int firstPage,
FormattedDiskPage fkp)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
int |
getCurrentPageIndex()
Deprecated.
|
int |
getCurrentPropIndex()
Deprecated.
|
FormattedDiskPage |
getFkp()
Deprecated.
|
void |
setState(int currentPageIndex,
FormattedDiskPage fkp,
int currentPropIndex)
Deprecated.
|
public ParsingState(int firstPage, FormattedDiskPage fkp)
public int getCurrentPageIndex()
public FormattedDiskPage getFkp()
public int getCurrentPropIndex()
public void setState(int currentPageIndex, FormattedDiskPage fkp, int currentPropIndex)
Copyright © 2020. All rights reserved.