- <init>
Creates an automaton that corresponds to the set of all possible operations on
the given document un
- checkCharacters
Checks if a characters transition with the given parameters would be valid.
- checkDeleteCharacters
Checks if a deleteCharacters transition with the given parameters would be
valid.
- checkDeleteElementEnd
Checks if a deleteElementEnd with the given parameters would be valid.
- checkDeleteElementStart
Checks if a deleteElementStart with the given parameters would be valid.
- checkElementEnd
Checks if an elementEnd transition with the given parameters would be valid.
- checkElementStart
Checks if an elementStart with the given parameters would be valid.
- checkEndAnnotation
Checks if an endAnnotation with the given parameters would be valid.
- checkFinish
Checks whether the automaton is in an accepting state, i.e., whether the
operation would be valid if
- checkSetAttributes
Checks if a setAttributes with the given parameters would be valid.
- checkSkip
Checks if a skip transition with the given parameters would be valid.
- checkStartAnnotation
Checks if a startAnnotation with the given parameters would be valid.