2 * Copyright (c) 2009, Takeyuki Nagao
5 * Redistribution and use in source and binary forms, with or
6 * without modification, are permitted provided that the
7 * following conditions are met:
9 * * Redistributions of source code must retain the above
10 * copyright notice, this list of conditions and the
11 * following disclaimer.
12 * * Redistributions in binary form must reproduce the above
13 * copyright notice, this list of conditions and the
14 * following disclaimer in the documentation and/or other
15 * materials provided with the distribution.
17 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
18 * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
19 * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
20 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
21 * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR
22 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
24 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
25 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
27 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
28 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE
29 * USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY
32 package jp.sourceforge.dvibrowser.dvicore;
34 // TOOD: implement the default values.
35 public final class MetafontMode {
36 public static final MetafontMode FALLBACK_600DPI = new MetafontMode("ljfour", 600);
37 public static final MetafontMode FALLBACK_400DPI = new MetafontMode("agfatfzz", 400);
38 public static final MetafontMode FALLBACK = FALLBACK_600DPI;
39 private final String mode;
40 private final int bdpi;
42 public MetafontMode(String mode, int bdpi)
48 public String getMode() {
52 public int getBdpi() {
58 return mode.hashCode() + 33 * bdpi;
61 public boolean equals(Object o)
63 if (!(o instanceof MetafontMode)) {
66 MetafontMode mm = (MetafontMode) o;
67 return (mm.mode.equals(mode) && mm.bdpi == mm.bdpi);
70 public String toString() {
71 return getClass().getName() + "[mode=" + mode + ",bdpi=" + bdpi + "]";