jmlparser-parent
Toggle table of contents
3.28.2-J8.0-K13.5-SNAPSHOT
java
Target filter
java
Switch theme
Search in API
Skip to content
jmlparser-parent
jmlparser-core
/
com.github.javaparser
/
UnicodeEscapeProcessingProvider
/
PositionMapping
Position
Mapping
class
PositionMapping
(
source
)
An algorithm mapping
Position
form two corresponding files.
Members
Constructors
Position
Mapping
Link copied to clipboard
constructor
(
)
Creates a
UnicodeEscapeProcessingProvider.PositionMapping
.
Types
Position
Update
Link copied to clipboard
interface
PositionUpdate
Algorithm updating a
Position
from one file to a
Position
in a corresponding file.
Functions
is
Empty
Link copied to clipboard
open
fun
isEmpty
(
)
:
Boolean
Whether this is the identity transformation.
lookup
Link copied to clipboard
open
fun
lookup
(
position
:
Position
)
:
UnicodeEscapeProcessingProvider.PositionMapping.PositionUpdate
Looks up the
PositionUpdate
for the given Position.
transform
Link copied to clipboard
open
fun
transform
(
pos
:
Position
)
:
Position
Transforms the given
Position
.
open
fun
transform
(
range
:
Range
)
:
Range
Transforms the given
Range
.