using System; | |
using rename_pcre_encoderNamespace; | |
public class runme { | |
static void Main() { | |
SomeWidget w = new SomeWidget(); | |
w.put_borderWidth(17); | |
if ( w.get_borderWidth() != 17 ) | |
throw new Exception(String.Format("Border with should be 17, not {0}", | |
w.get_borderWidth())); | |
if ( rename_pcre_encoder.StartINSAneAndUNSAvoryTraNSAtlanticRaNSAck() != 42 ) | |
throw new Exception("Unexpected result of renamed function call"); | |
} | |
} |