X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcom%2Fstevesoft%2Fpat%2FProp.java;h=127e44a0849059bb66ea3798f5606c21467692f2;hb=b8790847f686f6d31d2098c6b9804f8acc1041c9;hp=9319db5d07e7a5aeb5a00630cb22f60c324480cd;hpb=c40cf903f740a72ab63dd1abc10fa33450ce660d;p=jalview.git
diff --git a/src/com/stevesoft/pat/Prop.java b/src/com/stevesoft/pat/Prop.java
index 9319db5..127e44a 100755
--- a/src/com/stevesoft/pat/Prop.java
+++ b/src/com/stevesoft/pat/Prop.java
@@ -1,52 +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
-http://unicode.org. */
-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 http://unicode.org.
+ */
+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);
+ }
+}