comparison dwtx/jface/text/rules/Token.d @ 162:1a5b8f8129df

...
author Frank Benoit <benoit@tionex.de>
date Mon, 08 Sep 2008 00:51:37 +0200
parents eb21d3dfc767
children eb98a5cbfd78
comparison
equal deleted inserted replaced
161:f8d52b926852 162:1a5b8f8129df
60 60
61 61
62 /** 62 /**
63 * Standard token: Undefined. 63 * Standard token: Undefined.
64 */ 64 */
65 public static const IToken UNDEFINED= new Token(T_UNDEFINED); 65 public static IToken UNDEFINED_;
66 public static IToken UNDEFINED(){
67 if( UNDEFINED_ is null ){
68 synchronized( Token.classinfo ){
69 if( UNDEFINED_ is null ){
70 UNDEFINED_ = new Token(T_UNDEFINED);
71 }
72 }
73 }
74 return UNDEFINED_;
75 }
66 /** 76 /**
67 * Standard token: End Of File. 77 * Standard token: End Of File.
68 */ 78 */
69 public static const IToken EOF= new Token(T_EOF); 79 public static IToken EOF_;
80 public static IToken EOF(){
81 if( EOF_ is null ){
82 synchronized( Token.classinfo ){
83 if( EOF_ is null ){
84 EOF_ = new Token(T_EOF);
85 }
86 }
87 }
88 return EOF_;
89 }
70 /** 90 /**
71 * Standard token: Whitespace. 91 * Standard token: Whitespace.
72 */ 92 */
73 public static const IToken WHITESPACE= new Token(T_WHITESPACE); 93 public static IToken WHITESPACE_;
94 public static IToken WHITESPACE(){
95 if( WHITESPACE_ is null ){
96 synchronized( Token.classinfo ){
97 if( WHITESPACE_ is null ){
98 WHITESPACE_ = new Token(T_WHITESPACE);
99 }
100 }
101 }
102 return WHITESPACE_;
103 }
74 104
75 /** 105 /**
76 * Standard token: Neither {@link #UNDEFINED}, {@link #WHITESPACE}, nor {@link #EOF}. 106 * Standard token: Neither {@link #UNDEFINED}, {@link #WHITESPACE}, nor {@link #EOF}.
77 * @deprecated will be removed 107 * @deprecated will be removed
78 */ 108 */
79 public static const IToken OTHER= new Token(T_OTHER); 109 public static IToken OTHER_;
110 public static IToken OTHER(){
111 if( OTHER_ is null ){
112 synchronized( Token.classinfo ){
113 if( OTHER_ is null ){
114 OTHER_ = new Token(T_OTHER);
115 }
116 }
117 }
118 return OTHER_;
119 }
80 120
81 /** The type of this token */ 121 /** The type of this token */
82 private int fType; 122 private int fType;
83 /** The data associated with this token */ 123 /** The data associated with this token */
84 private Object fData; 124 private Object fData;