+ public Alignment readFile(String inFile, String type, String format)
+ throws java.io.IOException
+ {
+ Alignment al;
+ if (format.equals("HTML"))
+ {
+ afile = new HtmlFile(inFile, type);
+ al = new Alignment(afile.getSeqsAsArray());
+ afile.addAnnotations(al);
+ }
+ else
+ {
+ al = super.readFile(inFile, type, format);
+ }
+
+ return al;
+ }
+
+ public AlignmentI readFromFile(FileParse source, String format)
+ throws java.io.IOException
+ {
+ Alignment al;
+ if (format.equals("HTML"))
+ {
+ afile = new HtmlFile(source);
+ al = new Alignment(afile.getSeqsAsArray());
+ afile.addAnnotations(al);
+ }
+ else
+ {
+ al = (Alignment) super.readFromFile(source, format);
+ }
+ return al;
+ }
+