X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fcom%2Fstevesoft%2Fpat%2FProp.java;h=127e44a0849059bb66ea3798f5606c21467692f2;hb=4d7f98a6dd54d9863ba449ec79dcd95d25ed863d;hp=b6490a6bf33d274b0e7b0069190cf15914c8517a;hpb=7bc226b58110fa26d9dbd3f0c78095d06909ffc3;p=jalview.git

diff --git a/src/com/stevesoft/pat/Prop.java b/src/com/stevesoft/pat/Prop.java
index b6490a6..127e44a 100755
--- a/src/com/stevesoft/pat/Prop.java
+++ b/src/com/stevesoft/pat/Prop.java
@@ -1,73 +1,75 @@
-//
-// This software is now distributed according to
-// the Lesser Gnu Public License.  Please see
-// http://www.gnu.org/copyleft/lesser.txt for
-// the details.
-//    -- Happy Computing!
-//
-package com.stevesoft.pat;
-
-/** Get Unicode properties for a character.  See
- <a href="http://unicode.org">http://unicode.org</a>. */
-public class Prop
-{
-  /** Is this a "Decimal Digit" according to Unicode? */
-  public final static boolean isDecimalDigit(char c)
-  {
-    if (Bits.decimal_digit == null)
-    {
-      Bits.decimal_digit_f();
-    }
-    return Bits.decimal_digit.get(c);
-  }
-
-  /** Is this a "Alphabetic" according to Unicode? */
-  public final static boolean isAlphabetic(char c)
-  {
-    if (Bits.letter == null)
-    {
-      Bits.letter_f();
-    }
-    return Bits.letter.get(c);
-  }
-
-  /** Is this a "Math" according to Unicode? */
-  public final static boolean isMath(char c)
-  {
-    if (Bits.math == null)
-    {
-      Bits.math_f();
-    }
-    return Bits.math.get(c);
-  }
-
-  /** Is this a "Currency" according to Unicode? */
-  public final static boolean isCurrency(char c)
-  {
-    if (Bits.currency == null)
-    {
-      Bits.currency_f();
-    }
-    return Bits.currency.get(c);
-  }
-
-  /** Is c a white space character according to Unicode? */
-  public final static boolean isWhite(char c)
-  {
-    if (Bits.white == null)
-    {
-      Bits.white_f();
-    }
-    return Bits.white.get(c);
-  }
-
-  /** Is c a punctuation character according to Unicode? */
-  public final static boolean isPunct(char c)
-  {
-    if (Bits.punct == null)
-    {
-      Bits.punct_f();
-    }
-    return Bits.punct.get(c);
-  }
-}
+//
+// This software is now distributed according to
+// the Lesser Gnu Public License.  Please see
+// http://www.gnu.org/copyleft/lesser.txt for
+// the details.
+//    -- Happy Computing!
+//
+package com.stevesoft.pat;
+
+/**
+ * Get Unicode properties for a character. See <a
+ * href="http://unicode.org">http://unicode.org</a>.
+ */
+public class Prop
+{
+  /** Is this a "Decimal Digit" according to Unicode? */
+  public final static boolean isDecimalDigit(char c)
+  {
+    if (Bits.decimal_digit == null)
+    {
+      Bits.decimal_digit_f();
+    }
+    return Bits.decimal_digit.get(c);
+  }
+
+  /** Is this a "Alphabetic" according to Unicode? */
+  public final static boolean isAlphabetic(char c)
+  {
+    if (Bits.letter == null)
+    {
+      Bits.letter_f();
+    }
+    return Bits.letter.get(c);
+  }
+
+  /** Is this a "Math" according to Unicode? */
+  public final static boolean isMath(char c)
+  {
+    if (Bits.math == null)
+    {
+      Bits.math_f();
+    }
+    return Bits.math.get(c);
+  }
+
+  /** Is this a "Currency" according to Unicode? */
+  public final static boolean isCurrency(char c)
+  {
+    if (Bits.currency == null)
+    {
+      Bits.currency_f();
+    }
+    return Bits.currency.get(c);
+  }
+
+  /** Is c a white space character according to Unicode? */
+  public final static boolean isWhite(char c)
+  {
+    if (Bits.white == null)
+    {
+      Bits.white_f();
+    }
+    return Bits.white.get(c);
+  }
+
+  /** Is c a punctuation character according to Unicode? */
+  public final static boolean isPunct(char c)
+  {
+    if (Bits.punct == null)
+    {
+      Bits.punct_f();
+    }
+    return Bits.punct.get(c);
+  }
+}