// generated by Dynamator Wed Mar 31 19:16:32 CST 2004 import java.io.PrintWriter; import java.util.Hashtable; public class TermsTable { private static final Hashtable dictionary = new Hashtable(); static { dictionary.put( "marker", "An invisible HTML element or attribute that identifies a " + "location in an HTML file. The HTML 4.0 markers are " + "div, span, id, and class."); dictionary.put( "locator", "An element in a Dynamator annotations file that identifies " + "the set of elements to which a set of overrides will apply."); dictionary.put( "prolog", "The beginning of the generated file, before the template."); dictionary.put( "epilog", "The end of the generated file, after the template."); dictionary.put( "override", "An element in a Dynamator annotations file that specifies " + "a set of changes to be applied to the template. " + "(AKA \"modifier\")"); dictionary.put( "template", "The file containing the static text pattern to be output " + " by the generated program. "); } public static void main(String[] args) { PrintWriter writer = new PrintWriter(System.out, true); output(writer); writer.flush(); writer.close(); } public static void output(PrintWriter out) { out.write("\n"); out.write(" \n"); out.write(" Dynamator Glossary\n"); out.write(" \n"); out.write(" \n"); out.write(" \n"); out.write(" \n"); out.write(" \n"); out.write(" \n"); out.write(" \n"); { final java.util.Dictionary $dictionary = dictionary; String entry; String entryKey; final java.util.Enumeration $dictionaryKeys = $dictionary.keys(); while ( $dictionaryKeys.hasMoreElements() ) { entryKey = (String) $dictionaryKeys.nextElement(); entry = (String) $dictionary.get(entryKey); out.write(" \n"); out.write(" \n"); out.write(" \n"); out.write(" \n"); } } out.write("
TermDefinition
"); out.write(String.valueOf(entryKey)); out.write(""); out.write(String.valueOf(entry)); out.write("
\n"); out.write(" \n"); out.write("\n"); } }