+++ /dev/null
-/* Jalview - a java multiple alignment editor\r
- * Copyright (C) 1998 Michele Clamp\r
- *\r
- * This program is free software; you can redistribute it and/or\r
- * modify it under the terms of the GNU General Public License\r
- * as published by the Free Software Foundation; either version 2\r
- * of the License, or (at your option) any later version.\r
- *\r
- * This program is distributed in the hope that it will be useful,\r
- * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\r
- * GNU General Public License for more details.\r
- *\r
- * You should have received a copy of the GNU General Public License\r
- * along with this program; if not, write to the Free Software\r
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.\r
- */\r
-\r
-package jalview.io;\r
-\r
-import java.util.*;\r
-\r
-public class FileProperties {\r
- public String directory = "./";\r
- public String extension = ".seq";\r
-\r
- public FileProperties() {}\r
-\r
- public FileProperties(String directory, String extension) {\r
- this.directory = directory;\r
- this.extension = extension;\r
- }\r
-}\r
+++ /dev/null
-package jalview.io;\r
-\r
-import java.io.*;\r
-\r
-public interface OutputGenerator {\r
-\r
- public PostscriptProperties getPostscriptProperties();\r
- //public MailProperties getMailProperties();\r
- // public FileProperties getFileProperties();\r
-\r
- public void setPostscriptProperties(PostscriptProperties pp);\r
- // public void setFileProperties(FileProperties fp);\r
- //public void setMailProperties(MailProperties mp);\r
-\r
- public String getText(String format);\r
- public void getPostscript(PrintWriter bw);\r
- public void getPostscript(PrintStream ps);\r
- public StringBuffer getPostscript();\r
-\r
-}\r
+++ /dev/null
-package jalview.io;\r
-\r
-import java.util.*;\r
-\r
-public class PostscriptProperties {\r
-\r
- public static final int PORTRAIT = 0;\r
- public static final int LANDSCAPE = 1;\r
-\r
- public static int SHORTSIDE = 612;\r
- public static int LONGSIDE = 792;\r
-\r
- static Vector fonts = new Vector();\r
-\r
- static {\r
- fonts.addElement("Helvetica");\r
- fonts.addElement("Times-Roman");\r
- fonts.addElement("Courier New");\r
- }\r
-\r
- static Vector fontsizes = new Vector();\r
-\r
- static {\r
- fontsizes.addElement("6");\r
- fontsizes.addElement("8");\r
- fontsizes.addElement("10");\r
- fontsizes.addElement("12");\r
- fontsizes.addElement("14");\r
- fontsizes.addElement("16");\r
- }\r
-\r
- public int orientation = PORTRAIT;\r
- public int width = SHORTSIDE;\r
- public int height = LONGSIDE;\r
-\r
- public int xoffset = 30;\r
- public int yoffset = 30;\r
- public int fsize = 8;\r
- public String font = "Helvetica";\r
-\r
- public PostscriptProperties() {}\r
-\r
- public PostscriptProperties(int or, int w, int h, int xoff, int yoff, int fsize, String font) {\r
-\r
- this.orientation = or;\r
- this.width = w;\r
- this.height = h;\r
- this.xoffset = xoff;\r
- this.yoffset = yoff;\r
- this.fsize = fsize;\r
- this.font = font;\r
- }\r
-\r
- public int getOrientation() {\r
- return orientation;\r
- }\r
- public int getWidth() {\r
- return width;\r
- }\r
- public int getHeight() {\r
- return height;\r
- }\r
- public int getXOffset() {\r
- return xoffset;\r
- }\r
- public int getYOffset() {\r
- return yoffset;\r
- }\r
- public int getFSize() {\r
- return fsize;\r
- }\r
- public String getFont() {\r
- return font;\r
- }\r
-}\r