/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
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0
- import rename_pcre_encoder.*;
- public class rename_pcre_encoder_runme {
- static { System.loadLibrary("rename_pcre_encoder"); }
- public static void main(String argv[])
- {
- SomeWidget w = new SomeWidget();
- w.putBorderWidth(17);
- if ( w.getBorderWidth() != 17 )
- throw new RuntimeException(String.format("Border with should be 17, not %d",
- w.getBorderWidth()));
- }
- }