| 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"); |
| } |
| } |