/trunk/Examples/test-suite/java/rename_pcre_encoder_runme.java

 1import rename_pcre_encoder.*;
 2
 3public class rename_pcre_encoder_runme {
 4  static { System.loadLibrary("rename_pcre_encoder"); }
 5
 6  public static void main(String argv[])
 7  {
 8    SomeWidget w = new SomeWidget();
 9    w.putBorderWidth(17);
10    if ( w.getBorderWidth() != 17 )
11      throw new RuntimeException(String.format("Border with should be 17, not %d",
12                                               w.getBorderWidth()));
13  }
14}