blob: cb843338bd61e831f9d950bc61df87bd88b90d21 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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()));
}
}
|