public class DomHistoryElement extends Object
| Constructor and Description |
|---|
DomHistoryElement(String domStr,
Document dom,
List<Eventable> eventSeq)
Constructor.
|
DomHistoryElement(String domStr,
List<Eventable> eventSeq)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
Document |
getDom() |
String |
getDomStr() |
List<Eventable> |
getEventSequence() |
void |
setDom(Document dom) |
void |
setDomStr(String domStr) |
void |
setEventSequence(List<Eventable> eventSequence) |
public DomHistoryElement(String domStr, Document dom, List<Eventable> eventSeq)
domStr - The DOM string.dom - The DOM.eventSeq - The events sequence as a list.Copyright © 2007–2019. All rights reserved.