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 © 2022 Jet Propulsion Laboratory, California Institute of Technology. All rights reserved.