blob: f6289e7e2cc249dae11f1a555485f7c9fa92a18c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
using System;
using rename_pcre_encoderNamespace;
public class runme {
static void Main() {
SomeWidget w = new SomeWidget();
w.putBorderWidth(17);
if ( w.getBorderWidth() != 17 )
throw new Exception(String.Format("Border with should be 17, not {0}",
w.getBorderWidth()));
}
}
|