comparison dwt/dwthelper/System.d @ 197:184ab53b7785

Changes and fixes for jface
author Frank Benoit <benoit@tionex.de>
date Thu, 10 Apr 2008 11:19:49 +0200
parents 00a333240696
children ab60f3309436
comparison
equal deleted inserted replaced
196:1e7701c27c03 197:184ab53b7785
126 } 126 }
127 127
128 static void exit( int code ){ 128 static void exit( int code ){
129 .exit(code); 129 .exit(code);
130 } 130 }
131 public static int identityHashCode(Object x){
132 if( x is null ){
133 return 0;
134 }
135 return (*cast(Object *)&x).toHash();
136 }
131 137
138 public static char[] getProperty( char[] key ){
139 switch( key ){
140 case "os.name": return "windows";
141 default: return null;
142 }
143 }
132 } 144 }
133 145