1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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.put_borderWidth(17);
if ( w.get_borderWidth() != 17 )
throw new RuntimeException(String.format("Border with should be 17, not %d",
w.get_borderWidth()));
if ( rename_pcre_encoder.StartINSAneAndUNSAvoryTraNSAtlanticRaNSAck() != 42 )
throw new RuntimeException("Unexpected result of renamed function call");
}
}
|
