// XMLDocumentHandler methods
//
/** Returns true if the information provided is synthesized. */
protected static boolean synthesized(Augmentations augs) {
HTMLEventInfo info = (HTMLEventInfo) augs.getItem(AUGMENTATIONS);
return info != null ? info.isSynthesized() : false;
} // synthesized(Augmentations):boolean