public class DOMSourceManager extends Object
| Constructor and Description |
|---|
DOMSourceManager() |
| Modifier and Type | Method and Description |
|---|---|
static DOMSource |
reuseDOM(String location)
Retrieve a saved DOMSource from a map.
|
static void |
saveDOM(String location,
DOMSource source)
Save a DOMSource to a map.
|
Copyright © 2023 Jet Propulsion Laboratory, California Institute of Technology. All rights reserved.