Examples/test-suite/csharp/nested_workaround_runme.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

using System;
using nested_workaroundNamespace;
#pragma warning disable 219

public class runme {
  static void Main() {
    {
      Inner inner = new Inner(5);
      Outer outer = new Outer();
      Inner newInner = outer.doubleInnerValue(inner);
      if (newInner.getValue() != 10)
        throw new Exception("inner failed");
    }

    {
      Outer outer = new Outer();
      Inner inner = outer.createInner(3);
      Inner newInner = outer.doubleInnerValue(inner);
      if (outer.getInnerValue(newInner) != 6)
        throw new Exception("inner failed");
    }
  }
}