PageRenderTime 30ms CodeModel.GetById 21ms app.highlight 4ms RepoModel.GetById 1ms app.codeStats 0ms

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

#
Java | 14 lines | 12 code | 2 blank | 0 comment | 2 complexity | a0dd92c48f0e0b954d236901492c6589 MD5 | raw file
 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}