cannam@49: # Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors
cannam@49: # Licensed under the MIT License:
cannam@49: #
cannam@49: # Permission is hereby granted, free of charge, to any person obtaining a copy
cannam@49: # of this software and associated documentation files (the "Software"), to deal
cannam@49: # in the Software without restriction, including without limitation the rights
cannam@49: # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
cannam@49: # copies of the Software, and to permit persons to whom the Software is
cannam@49: # furnished to do so, subject to the following conditions:
cannam@49: #
cannam@49: # The above copyright notice and this permission notice shall be included in
cannam@49: # all copies or substantial portions of the Software.
cannam@49: #
cannam@49: # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
cannam@49: # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
cannam@49: # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
cannam@49: # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
cannam@49: # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
cannam@49: # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
cannam@49: # THE SOFTWARE.
cannam@49: 
cannam@49: @0xd508eebdc2dc42b8;
cannam@49: 
cannam@49: using Cxx = import "c++.capnp";
cannam@49: 
cannam@49: # Use a namespace likely to cause trouble if the generated code doesn't use fully-qualified
cannam@49: # names for stuff in the capnproto namespace.
cannam@49: $Cxx.namespace("capnproto_test::capnp::test");
cannam@49: 
cannam@49: enum TestEnum {
cannam@49:   foo @0;
cannam@49:   bar @1;
cannam@49:   baz @2;
cannam@49:   qux @3;
cannam@49:   quux @4;
cannam@49:   corge @5;
cannam@49:   grault @6;
cannam@49:   garply @7;
cannam@49: }
cannam@49: 
cannam@49: struct TestAllTypes {
cannam@49:   voidField      @0  : Void;
cannam@49:   boolField      @1  : Bool;
cannam@49:   int8Field      @2  : Int8;
cannam@49:   int16Field     @3  : Int16;
cannam@49:   int32Field     @4  : Int32;
cannam@49:   int64Field     @5  : Int64;
cannam@49:   uInt8Field     @6  : UInt8;
cannam@49:   uInt16Field    @7  : UInt16;
cannam@49:   uInt32Field    @8  : UInt32;
cannam@49:   uInt64Field    @9  : UInt64;
cannam@49:   float32Field   @10 : Float32;
cannam@49:   float64Field   @11 : Float64;
cannam@49:   textField      @12 : Text;
cannam@49:   dataField      @13 : Data;
cannam@49:   structField    @14 : TestAllTypes;
cannam@49:   enumField      @15 : TestEnum;
cannam@49:   interfaceField @16 : Void;  # TODO
cannam@49: 
cannam@49:   voidList      @17 : List(Void);
cannam@49:   boolList      @18 : List(Bool);
cannam@49:   int8List      @19 : List(Int8);
cannam@49:   int16List     @20 : List(Int16);
cannam@49:   int32List     @21 : List(Int32);
cannam@49:   int64List     @22 : List(Int64);
cannam@49:   uInt8List     @23 : List(UInt8);
cannam@49:   uInt16List    @24 : List(UInt16);
cannam@49:   uInt32List    @25 : List(UInt32);
cannam@49:   uInt64List    @26 : List(UInt64);
cannam@49:   float32List   @27 : List(Float32);
cannam@49:   float64List   @28 : List(Float64);
cannam@49:   textList      @29 : List(Text);
cannam@49:   dataList      @30 : List(Data);
cannam@49:   structList    @31 : List(TestAllTypes);
cannam@49:   enumList      @32 : List(TestEnum);
cannam@49:   interfaceList @33 : List(Void);  # TODO
cannam@49: }
cannam@49: 
cannam@49: struct TestDefaults {
cannam@49:   voidField      @0  : Void    = void;
cannam@49:   boolField      @1  : Bool    = true;
cannam@49:   int8Field      @2  : Int8    = -123;
cannam@49:   int16Field     @3  : Int16   = -12345;
cannam@49:   int32Field     @4  : Int32   = -12345678;
cannam@49:   int64Field     @5  : Int64   = -123456789012345;
cannam@49:   uInt8Field     @6  : UInt8   = 234;
cannam@49:   uInt16Field    @7  : UInt16  = 45678;
cannam@49:   uInt32Field    @8  : UInt32  = 3456789012;
cannam@49:   uInt64Field    @9  : UInt64  = 12345678901234567890;
cannam@49:   float32Field   @10 : Float32 = 1234.5;
cannam@49:   float64Field   @11 : Float64 = -123e45;
cannam@49:   textField      @12 : Text    = "foo";
cannam@49:   dataField      @13 : Data    = 0x"62 61 72"; # "bar"
cannam@49:   structField    @14 : TestAllTypes = (
cannam@49:       voidField      = void,
cannam@49:       boolField      = true,
cannam@49:       int8Field      = -12,
cannam@49:       int16Field     = 3456,
cannam@49:       int32Field     = -78901234,
cannam@49:       int64Field     = 56789012345678,
cannam@49:       uInt8Field     = 90,
cannam@49:       uInt16Field    = 1234,
cannam@49:       uInt32Field    = 56789012,
cannam@49:       uInt64Field    = 345678901234567890,
cannam@49:       float32Field   = -1.25e-10,
cannam@49:       float64Field   = 345,
cannam@49:       textField      = "baz",
cannam@49:       dataField      = "qux",
cannam@49:       structField    = (
cannam@49:           textField = "nested",
cannam@49:           structField = (textField = "really nested")),
cannam@49:       enumField      = baz,
cannam@49:       # interfaceField can't have a default
cannam@49: 
cannam@49:       voidList      = [void, void, void],
cannam@49:       boolList      = [false, true, false, true, true],
cannam@49:       int8List      = [12, -34, -0x80, 0x7f],
cannam@49:       int16List     = [1234, -5678, -0x8000, 0x7fff],
cannam@49:       int32List     = [12345678, -90123456, -0x80000000, 0x7fffffff],
cannam@49:       int64List     = [123456789012345, -678901234567890, -0x8000000000000000, 0x7fffffffffffffff],
cannam@49:       uInt8List     = [12, 34, 0, 0xff],
cannam@49:       uInt16List    = [1234, 5678, 0, 0xffff],
cannam@49:       uInt32List    = [12345678, 90123456, 0, 0xffffffff],
cannam@49:       uInt64List    = [123456789012345, 678901234567890, 0, 0xffffffffffffffff],
cannam@49:       float32List   = [0, 1234567, 1e37, -1e37, 1e-37, -1e-37],
cannam@49:       float64List   = [0, 123456789012345, 1e306, -1e306, 1e-306, -1e-306],
cannam@49:       textList      = ["quux", "corge", "grault"],
cannam@49:       dataList      = ["garply", "waldo", "fred"],
cannam@49:       structList    = [
cannam@49:           (textField = "x structlist 1"),
cannam@49:           (textField = "x structlist 2"),
cannam@49:           (textField = "x structlist 3")],
cannam@49:       enumList      = [qux, bar, grault]
cannam@49:       # interfaceList can't have a default
cannam@49:       );
cannam@49:   enumField      @15 : TestEnum = corge;
cannam@49:   interfaceField @16 : Void;  # TODO
cannam@49: 
cannam@49:   voidList      @17 : List(Void)    = [void, void, void, void, void, void];
cannam@49:   boolList      @18 : List(Bool)    = [true, false, false, true];
cannam@49:   int8List      @19 : List(Int8)    = [111, -111];
cannam@49:   int16List     @20 : List(Int16)   = [11111, -11111];
cannam@49:   int32List     @21 : List(Int32)   = [111111111, -111111111];
cannam@49:   int64List     @22 : List(Int64)   = [1111111111111111111, -1111111111111111111];
cannam@49:   uInt8List     @23 : List(UInt8)   = [111, 222] ;
cannam@49:   uInt16List    @24 : List(UInt16)  = [33333, 44444];
cannam@49:   uInt32List    @25 : List(UInt32)  = [3333333333];
cannam@49:   uInt64List    @26 : List(UInt64)  = [11111111111111111111];
cannam@49:   float32List   @27 : List(Float32) = [5555.5, inf, -inf, nan];
cannam@49:   float64List   @28 : List(Float64) = [7777.75, inf, -inf, nan];
cannam@49:   textList      @29 : List(Text)    = ["plugh", "xyzzy", "thud"];
cannam@49:   dataList      @30 : List(Data)    = ["oops", "exhausted", "rfc3092"];
cannam@49:   structList    @31 : List(TestAllTypes) = [
cannam@49:       (textField = "structlist 1"),
cannam@49:       (textField = "structlist 2"),
cannam@49:       (textField = "structlist 3")];
cannam@49:   enumList      @32 : List(TestEnum) = [foo, garply];
cannam@49:   interfaceList @33 : List(Void);  # TODO
cannam@49: }
cannam@49: 
cannam@49: struct TestAnyPointer {
cannam@49:   anyPointerField @0 :AnyPointer;
cannam@49: 
cannam@49:   # Do not add any other fields here!  Some tests rely on anyPointerField being the last pointer
cannam@49:   # in the struct.
cannam@49: }
cannam@49: 
cannam@49: struct TestAnyOthers {
cannam@49:   anyStructField @0 :AnyStruct;
cannam@49:   anyListField @1 :AnyList;
cannam@49:   capabilityField @2 :Capability;
cannam@49: }
cannam@49: 
cannam@49: struct TestOutOfOrder {
cannam@49:   foo @3 :Text;
cannam@49:   bar @2 :Text;
cannam@49:   baz @8 :Text;
cannam@49:   qux @0 :Text;
cannam@49:   quux @6 :Text;
cannam@49:   corge @4 :Text;
cannam@49:   grault @1 :Text;
cannam@49:   garply @7 :Text;
cannam@49:   waldo @5 :Text;
cannam@49: }
cannam@49: 
cannam@49: struct TestUnion {
cannam@49:   union0 @0! :union {
cannam@49:     # Pack union 0 under ideal conditions: there is no unused padding space prior to it.
cannam@49:     u0f0s0  @4: Void;
cannam@49:     u0f0s1  @5: Bool;
cannam@49:     u0f0s8  @6: Int8;
cannam@49:     u0f0s16 @7: Int16;
cannam@49:     u0f0s32 @8: Int32;
cannam@49:     u0f0s64 @9: Int64;
cannam@49:     u0f0sp  @10: Text;
cannam@49: 
cannam@49:     # Pack more stuff into union0 -- should go in same space.
cannam@49:     u0f1s0  @11: Void;
cannam@49:     u0f1s1  @12: Bool;
cannam@49:     u0f1s8  @13: Int8;
cannam@49:     u0f1s16 @14: Int16;
cannam@49:     u0f1s32 @15: Int32;
cannam@49:     u0f1s64 @16: Int64;
cannam@49:     u0f1sp  @17: Text;
cannam@49:   }
cannam@49: 
cannam@49:   # Pack one bit in order to make pathological situation for union1.
cannam@49:   bit0 @18: Bool;
cannam@49: 
cannam@49:   union1 @1! :union {
cannam@49:     # Pack pathologically bad case.  Each field takes up new space.
cannam@49:     u1f0s0  @19: Void;
cannam@49:     u1f0s1  @20: Bool;
cannam@49:     u1f1s1  @21: Bool;
cannam@49:     u1f0s8  @22: Int8;
cannam@49:     u1f1s8  @23: Int8;
cannam@49:     u1f0s16 @24: Int16;
cannam@49:     u1f1s16 @25: Int16;
cannam@49:     u1f0s32 @26: Int32;
cannam@49:     u1f1s32 @27: Int32;
cannam@49:     u1f0s64 @28: Int64;
cannam@49:     u1f1s64 @29: Int64;
cannam@49:     u1f0sp  @30: Text;
cannam@49:     u1f1sp  @31: Text;
cannam@49: 
cannam@49:     # Pack more stuff into union1 -- each should go into the same space as corresponding u1f0s*.
cannam@49:     u1f2s0  @32: Void;
cannam@49:     u1f2s1  @33: Bool;
cannam@49:     u1f2s8  @34: Int8;
cannam@49:     u1f2s16 @35: Int16;
cannam@49:     u1f2s32 @36: Int32;
cannam@49:     u1f2s64 @37: Int64;
cannam@49:     u1f2sp  @38: Text;
cannam@49:   }
cannam@49: 
cannam@49:   # Fill in the rest of that bitfield from earlier.
cannam@49:   bit2 @39: Bool;
cannam@49:   bit3 @40: Bool;
cannam@49:   bit4 @41: Bool;
cannam@49:   bit5 @42: Bool;
cannam@49:   bit6 @43: Bool;
cannam@49:   bit7 @44: Bool;
cannam@49: 
cannam@49:   # Interleave two unions to be really annoying.
cannam@49:   # Also declare in reverse order to make sure union discriminant values are sorted by field number
cannam@49:   # and not by declaration order.
cannam@49:   union2 @2! :union {
cannam@49:     u2f0s64 @54: Int64;
cannam@49:     u2f0s32 @52: Int32;
cannam@49:     u2f0s16 @50: Int16;
cannam@49:     u2f0s8 @47: Int8;
cannam@49:     u2f0s1 @45: Bool;
cannam@49:   }
cannam@49: 
cannam@49:   union3 @3! :union {
cannam@49:     u3f0s64 @55: Int64;
cannam@49:     u3f0s32 @53: Int32;
cannam@49:     u3f0s16 @51: Int16;
cannam@49:     u3f0s8 @48: Int8;
cannam@49:     u3f0s1 @46: Bool;
cannam@49:   }
cannam@49: 
cannam@49:   byte0 @49: UInt8;
cannam@49: }
cannam@49: 
cannam@49: struct TestUnnamedUnion {
cannam@49:   before @0 :Text;
cannam@49: 
cannam@49:   union {
cannam@49:     foo @1 :UInt16;
cannam@49:     bar @3 :UInt32;
cannam@49:   }
cannam@49: 
cannam@49:   middle @2 :UInt16;
cannam@49: 
cannam@49:   after @4 :Text;
cannam@49: }
cannam@49: 
cannam@49: struct TestUnionInUnion {
cannam@49:   # There is no reason to ever do this.
cannam@49:   outer :union {
cannam@49:     inner :union {
cannam@49:       foo @0 :Int32;
cannam@49:       bar @1 :Int32;
cannam@49:     }
cannam@49:     baz @2 :Int32;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestGroups {
cannam@49:   groups :union {
cannam@49:     foo :group {
cannam@49:       corge @0 :Int32;
cannam@49:       grault @2 :Int64;
cannam@49:       garply @8 :Text;
cannam@49:     }
cannam@49:     bar :group {
cannam@49:       corge @3 :Int32;
cannam@49:       grault @4 :Text;
cannam@49:       garply @5 :Int64;
cannam@49:     }
cannam@49:     baz :group {
cannam@49:       corge @1 :Int32;
cannam@49:       grault @6 :Text;
cannam@49:       garply @7 :Text;
cannam@49:     }
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestInterleavedGroups {
cannam@49:   group1 :group {
cannam@49:     foo @0 :UInt32;
cannam@49:     bar @2 :UInt64;
cannam@49:     union {
cannam@49:       qux @4 :UInt16;
cannam@49:       corge :group {
cannam@49:         grault @6 :UInt64;
cannam@49:         garply @8 :UInt16;
cannam@49:         plugh @14 :Text;
cannam@49:         xyzzy @16 :Text;
cannam@49:       }
cannam@49: 
cannam@49:       fred @12 :Text;
cannam@49:     }
cannam@49: 
cannam@49:     waldo @10 :Text;
cannam@49:   }
cannam@49: 
cannam@49:   group2 :group {
cannam@49:     foo @1 :UInt32;
cannam@49:     bar @3 :UInt64;
cannam@49:     union {
cannam@49:       qux @5 :UInt16;
cannam@49:       corge :group {
cannam@49:         grault @7 :UInt64;
cannam@49:         garply @9 :UInt16;
cannam@49:         plugh @15 :Text;
cannam@49:         xyzzy @17 :Text;
cannam@49:       }
cannam@49: 
cannam@49:       fred @13 :Text;
cannam@49:     }
cannam@49: 
cannam@49:     waldo @11 :Text;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestUnionDefaults {
cannam@49:   s16s8s64s8Set @0 :TestUnion =
cannam@49:       (union0 = (u0f0s16 = 321), union1 = (u1f0s8 = 123), union2 = (u2f0s64 = 12345678901234567),
cannam@49:        union3 = (u3f0s8 = 55));
cannam@49:   s0sps1s32Set @1 :TestUnion =
cannam@49:       (union0 = (u0f1s0 = void), union1 = (u1f0sp = "foo"), union2 = (u2f0s1 = true),
cannam@49:        union3 = (u3f0s32 = 12345678));
cannam@49: 
cannam@49:   unnamed1 @2 :TestUnnamedUnion = (foo = 123);
cannam@49:   unnamed2 @3 :TestUnnamedUnion = (bar = 321, before = "foo", after = "bar");
cannam@49: }
cannam@49: 
cannam@49: struct TestNestedTypes {
cannam@49:   enum NestedEnum {
cannam@49:     foo @0;
cannam@49:     bar @1;
cannam@49:   }
cannam@49: 
cannam@49:   struct NestedStruct {
cannam@49:     enum NestedEnum {
cannam@49:       baz @0;
cannam@49:       qux @1;
cannam@49:       quux @2;
cannam@49:     }
cannam@49: 
cannam@49:     outerNestedEnum @0 :TestNestedTypes.NestedEnum = bar;
cannam@49:     innerNestedEnum @1 :NestedEnum = quux;
cannam@49:   }
cannam@49: 
cannam@49:   nestedStruct @0 :NestedStruct;
cannam@49: 
cannam@49:   outerNestedEnum @1 :NestedEnum = bar;
cannam@49:   innerNestedEnum @2 :NestedStruct.NestedEnum = quux;
cannam@49: }
cannam@49: 
cannam@49: struct TestUsing {
cannam@49:   using OuterNestedEnum = TestNestedTypes.NestedEnum;
cannam@49:   using TestNestedTypes.NestedStruct.NestedEnum;
cannam@49: 
cannam@49:   outerNestedEnum @1 :OuterNestedEnum = bar;
cannam@49:   innerNestedEnum @0 :NestedEnum = quux;
cannam@49: }
cannam@49: 
cannam@49: struct TestLists {
cannam@49:   # Small structs, when encoded as list, will be encoded as primitive lists rather than struct
cannam@49:   # lists, to save space.
cannam@49:   struct Struct0  { f @0 :Void; }
cannam@49:   struct Struct1  { f @0 :Bool; }
cannam@49:   struct Struct8  { f @0 :UInt8; }
cannam@49:   struct Struct16 { f @0 :UInt16; }
cannam@49:   struct Struct32 { f @0 :UInt32; }
cannam@49:   struct Struct64 { f @0 :UInt64; }
cannam@49:   struct StructP  { f @0 :Text; }
cannam@49: 
cannam@49:   # Versions of the above which cannot be encoded as primitive lists.
cannam@49:   struct Struct0c  { f @0 :Void; pad @1 :Text; }
cannam@49:   struct Struct1c  { f @0 :Bool; pad @1 :Text; }
cannam@49:   struct Struct8c  { f @0 :UInt8; pad @1 :Text; }
cannam@49:   struct Struct16c { f @0 :UInt16; pad @1 :Text; }
cannam@49:   struct Struct32c { f @0 :UInt32; pad @1 :Text; }
cannam@49:   struct Struct64c { f @0 :UInt64; pad @1 :Text; }
cannam@49:   struct StructPc  { f @0 :Text; pad @1 :UInt64; }
cannam@49: 
cannam@49:   list0  @0 :List(Struct0);
cannam@49:   list1  @1 :List(Struct1);
cannam@49:   list8  @2 :List(Struct8);
cannam@49:   list16 @3 :List(Struct16);
cannam@49:   list32 @4 :List(Struct32);
cannam@49:   list64 @5 :List(Struct64);
cannam@49:   listP  @6 :List(StructP);
cannam@49: 
cannam@49:   int32ListList @7 :List(List(Int32));
cannam@49:   textListList @8 :List(List(Text));
cannam@49:   structListList @9 :List(List(TestAllTypes));
cannam@49: }
cannam@49: 
cannam@49: struct TestFieldZeroIsBit {
cannam@49:   bit @0 :Bool;
cannam@49:   secondBit @1 :Bool = true;
cannam@49:   thirdField @2 :UInt8 = 123;
cannam@49: }
cannam@49: 
cannam@49: struct TestListDefaults {
cannam@49:   lists @0 :TestLists = (
cannam@49:       list0  = [(f = void), (f = void)],
cannam@49:       list1  = [(f = true), (f = false), (f = true), (f = true)],
cannam@49:       list8  = [(f = 123), (f = 45)],
cannam@49:       list16 = [(f = 12345), (f = 6789)],
cannam@49:       list32 = [(f = 123456789), (f = 234567890)],
cannam@49:       list64 = [(f = 1234567890123456), (f = 2345678901234567)],
cannam@49:       listP  = [(f = "foo"), (f = "bar")],
cannam@49:       int32ListList = [[1, 2, 3], [4, 5], [12341234]],
cannam@49:       textListList = [["foo", "bar"], ["baz"], ["qux", "corge"]],
cannam@49:       structListList = [[(int32Field = 123), (int32Field = 456)], [(int32Field = 789)]]);
cannam@49: }
cannam@49: 
cannam@49: struct TestLateUnion {
cannam@49:   # Test what happens if the unions are not the first ordinals in the struct.  At one point this
cannam@49:   # was broken for the dynamic API.
cannam@49: 
cannam@49:   foo @0 :Int32;
cannam@49:   bar @1 :Text;
cannam@49:   baz @2 :Int16;
cannam@49: 
cannam@49:   theUnion @3! :union {
cannam@49:     qux @4 :Text;
cannam@49:     corge @5 :List(Int32);
cannam@49:     grault @6 :Float32;
cannam@49:   }
cannam@49: 
cannam@49:   anotherUnion @7! :union {
cannam@49:     qux @8 :Text;
cannam@49:     corge @9 :List(Int32);
cannam@49:     grault @10 :Float32;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestOldVersion {
cannam@49:   # A subset of TestNewVersion.
cannam@49:   old1 @0 :Int64;
cannam@49:   old2 @1 :Text;
cannam@49:   old3 @2 :TestOldVersion;
cannam@49: }
cannam@49: 
cannam@49: struct TestNewVersion {
cannam@49:   # A superset of TestOldVersion.
cannam@49:   old1 @0 :Int64;
cannam@49:   old2 @1 :Text;
cannam@49:   old3 @2 :TestNewVersion;
cannam@49:   new1 @3 :Int64 = 987;
cannam@49:   new2 @4 :Text = "baz";
cannam@49: }
cannam@49: 
cannam@49: struct TestOldUnionVersion {
cannam@49:   union {
cannam@49:     a @0 :Void;
cannam@49:     b @1 :UInt64;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestNewUnionVersion {
cannam@49:   union {
cannam@49:     a :union {
cannam@49:       a0 @0 :Void;
cannam@49:       a1 @2 :UInt64;
cannam@49:     }
cannam@49:     b @1 :UInt64;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestStructUnion {
cannam@49:   un @0! :union {
cannam@49:     struct @1 :SomeStruct;
cannam@49:     object @2 :TestAnyPointer;
cannam@49:   }
cannam@49: 
cannam@49:   struct SomeStruct {
cannam@49:     someText @0 :Text;
cannam@49:     moreText @1 :Text;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestPrintInlineStructs {
cannam@49:   someText @0 :Text;
cannam@49: 
cannam@49:   structList @1 :List(InlineStruct);
cannam@49:   struct InlineStruct {
cannam@49:     int32Field @0 :Int32;
cannam@49:     textField @1 :Text;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestWholeFloatDefault {
cannam@49:   # At one point, these failed to compile in C++ because it would produce literals like "123f",
cannam@49:   # which is not valid; it needs to be "123.0f".
cannam@49:   field @0 :Float32 = 123;
cannam@49:   bigField @1 :Float32 = 2e30;
cannam@49:   const constant :Float32 = 456;
cannam@49:   const bigConstant :Float32 = 4e30;
cannam@49: }
cannam@49: 
cannam@49: struct TestGenerics(Foo, Bar) {
cannam@49:   foo @0 :Foo;
cannam@49:   rev @1 :TestGenerics(Bar, Foo);
cannam@49: 
cannam@49:   union {
cannam@49:     uv @2:Void;
cannam@49:     ug :group {
cannam@49:       ugfoo @3:Int32;
cannam@49:     }
cannam@49:   }
cannam@49: 
cannam@49:   struct Inner {
cannam@49:     foo @0 :Foo;
cannam@49:     bar @1 :Bar;
cannam@49:   }
cannam@49: 
cannam@49:   struct Inner2(Baz) {
cannam@49:     bar @0 :Bar;
cannam@49:     baz @1 :Baz;
cannam@49:     innerBound @2 :Inner;
cannam@49:     innerUnbound @3 :TestGenerics.Inner;
cannam@49: 
cannam@49:     struct DeepNest(Qux) {
cannam@49:       foo @0 :Foo;
cannam@49:       bar @1 :Bar;
cannam@49:       baz @2 :Baz;
cannam@49:       qux @3 :Qux;
cannam@49:     }
cannam@49:   }
cannam@49: 
cannam@49:   interface Interface(Qux) {
cannam@49:     call @0 Inner2(Text) -> (qux :Qux, gen :TestGenerics(TestAllTypes, TestAnyPointer));
cannam@49:   }
cannam@49: 
cannam@49:   annotation ann(struct) :Foo;
cannam@49: 
cannam@49:   using AliasFoo = Foo;
cannam@49:   using AliasInner = Inner;
cannam@49:   using AliasInner2 = Inner2;
cannam@49:   using AliasInner2Text = Inner2(Text);
cannam@49:   using AliasRev = TestGenerics(Bar, Foo);
cannam@49: 
cannam@49:   struct UseAliases {
cannam@49:     foo @0 :AliasFoo;
cannam@49:     inner @1 :AliasInner;
cannam@49:     inner2 @2 :AliasInner2;
cannam@49:     inner2Bind @3 :AliasInner2(Text);
cannam@49:     inner2Text @4 :AliasInner2Text;
cannam@49:     revFoo @5 :AliasRev.AliasFoo;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestGenericsWrapper(Foo, Bar) {
cannam@49:   value @0 :TestGenerics(Foo, Bar);
cannam@49: }
cannam@49: 
cannam@49: struct TestGenericsWrapper2 {
cannam@49:   value @0 :TestGenericsWrapper(Text, TestAllTypes);
cannam@49: }
cannam@49: 
cannam@49: interface TestImplicitMethodParams {
cannam@49:   call @0 [T, U] (foo :T, bar :U) -> TestGenerics(T, U);
cannam@49: }
cannam@49: 
cannam@49: interface TestImplicitMethodParamsInGeneric(V) {
cannam@49:   call @0 [T, U] (foo :T, bar :U) -> TestGenerics(T, U);
cannam@49: }
cannam@49: 
cannam@49: struct TestGenericsUnion(Foo, Bar) {
cannam@49:   # At one point this failed to compile.
cannam@49: 
cannam@49:   union {
cannam@49:     foo @0 :Foo;
cannam@49:     bar @1 :Bar;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestUseGenerics $TestGenerics(Text, Data).ann("foo") {
cannam@49:   basic @0 :TestGenerics(TestAllTypes, TestAnyPointer);
cannam@49:   inner @1 :TestGenerics(TestAllTypes, TestAnyPointer).Inner;
cannam@49:   inner2 @2 :TestGenerics(TestAllTypes, TestAnyPointer).Inner2(Text);
cannam@49:   unspecified @3 :TestGenerics;
cannam@49:   unspecifiedInner @4 :TestGenerics.Inner2(Text);
cannam@49:   wrapper @8 :TestGenericsWrapper(TestAllTypes, TestAnyPointer);
cannam@49:   cap @18 :TestGenerics(TestInterface, Text);
cannam@49:   genericCap @19 :TestGenerics(TestAllTypes, List(UInt32)).Interface(Data);
cannam@49: 
cannam@49:   default @5 :TestGenerics(TestAllTypes, Text) =
cannam@49:       (foo = (int16Field = 123), rev = (foo = "text", rev = (foo = (int16Field = 321))));
cannam@49:   defaultInner @6 :TestGenerics(TestAllTypes, Text).Inner =
cannam@49:       (foo = (int16Field = 123), bar = "text");
cannam@49:   defaultUser @7 :TestUseGenerics = (basic = (foo = (int16Field = 123)));
cannam@49:   defaultWrapper @9 :TestGenericsWrapper(Text, TestAllTypes) =
cannam@49:       (value = (foo = "text", rev = (foo = (int16Field = 321))));
cannam@49:   defaultWrapper2 @10 :TestGenericsWrapper2 =
cannam@49:       (value = (value = (foo = "text", rev = (foo = (int16Field = 321)))));
cannam@49: 
cannam@49:   aliasFoo @11 :TestGenerics(TestAllTypes, TestAnyPointer).AliasFoo = (int16Field = 123);
cannam@49:   aliasInner @12 :TestGenerics(TestAllTypes, TestAnyPointer).AliasInner
cannam@49:       = (foo = (int16Field = 123));
cannam@49:   aliasInner2 @13 :TestGenerics(TestAllTypes, TestAnyPointer).AliasInner2
cannam@49:       = (innerBound = (foo = (int16Field = 123)));
cannam@49:   aliasInner2Bind @14 :TestGenerics(TestAllTypes, TestAnyPointer).AliasInner2(List(UInt32))
cannam@49:       = (baz = [12, 34], innerBound = (foo = (int16Field = 123)));
cannam@49:   aliasInner2Text @15 :TestGenerics(TestAllTypes, TestAnyPointer).AliasInner2Text
cannam@49:       = (baz = "text", innerBound = (foo = (int16Field = 123)));
cannam@49:   aliasRev @16 :TestGenerics(TestAnyPointer, Text).AliasRev.AliasFoo = "text";
cannam@49: 
cannam@49:   useAliases @17 :TestGenerics(TestAllTypes, List(UInt32)).UseAliases = (
cannam@49:       foo = (int16Field = 123),
cannam@49:       inner = (foo = (int16Field = 123)),
cannam@49:       inner2 = (innerBound = (foo = (int16Field = 123))),
cannam@49:       inner2Bind = (baz = "text", innerBound = (foo = (int16Field = 123))),
cannam@49:       inner2Text = (baz = "text", innerBound = (foo = (int16Field = 123))),
cannam@49:       revFoo = [12, 34, 56]);
cannam@49: }
cannam@49: 
cannam@49: struct TestEmptyStruct {}
cannam@49: 
cannam@49: struct TestConstants {
cannam@49:   const voidConst      :Void    = void;
cannam@49:   const boolConst      :Bool    = true;
cannam@49:   const int8Const      :Int8    = -123;
cannam@49:   const int16Const     :Int16   = -12345;
cannam@49:   const int32Const     :Int32   = -12345678;
cannam@49:   const int64Const     :Int64   = -123456789012345;
cannam@49:   const uint8Const     :UInt8   = 234;
cannam@49:   const uint16Const    :UInt16  = 45678;
cannam@49:   const uint32Const    :UInt32  = 3456789012;
cannam@49:   const uint64Const    :UInt64  = 12345678901234567890;
cannam@49:   const float32Const   :Float32 = 1234.5;
cannam@49:   const float64Const   :Float64 = -123e45;
cannam@49:   const textConst      :Text    = "foo";
cannam@49:   const dataConst      :Data    = "bar";
cannam@49:   const structConst    :TestAllTypes = (
cannam@49:       voidField      = void,
cannam@49:       boolField      = true,
cannam@49:       int8Field      = -12,
cannam@49:       int16Field     = 3456,
cannam@49:       int32Field     = -78901234,
cannam@49:       int64Field     = 56789012345678,
cannam@49:       uInt8Field     = 90,
cannam@49:       uInt16Field    = 1234,
cannam@49:       uInt32Field    = 56789012,
cannam@49:       uInt64Field    = 345678901234567890,
cannam@49:       float32Field   = -1.25e-10,
cannam@49:       float64Field   = 345,
cannam@49:       textField      = "baz",
cannam@49:       dataField      = "qux",
cannam@49:       structField    = (
cannam@49:           textField = "nested",
cannam@49:           structField = (textField = "really nested")),
cannam@49:       enumField      = baz,
cannam@49:       # interfaceField can't have a default
cannam@49: 
cannam@49:       voidList      = [void, void, void],
cannam@49:       boolList      = [false, true, false, true, true],
cannam@49:       int8List      = [12, -34, -0x80, 0x7f],
cannam@49:       int16List     = [1234, -5678, -0x8000, 0x7fff],
cannam@49:       int32List     = [12345678, -90123456, -0x80000000, 0x7fffffff],
cannam@49:       int64List     = [123456789012345, -678901234567890, -0x8000000000000000, 0x7fffffffffffffff],
cannam@49:       uInt8List     = [12, 34, 0, 0xff],
cannam@49:       uInt16List    = [1234, 5678, 0, 0xffff],
cannam@49:       uInt32List    = [12345678, 90123456, 0, 0xffffffff],
cannam@49:       uInt64List    = [123456789012345, 678901234567890, 0, 0xffffffffffffffff],
cannam@49:       float32List   = [0, 1234567, 1e37, -1e37, 1e-37, -1e-37],
cannam@49:       float64List   = [0, 123456789012345, 1e306, -1e306, 1e-306, -1e-306],
cannam@49:       textList      = ["quux", "corge", "grault"],
cannam@49:       dataList      = ["garply", "waldo", "fred"],
cannam@49:       structList    = [
cannam@49:           (textField = "x structlist 1"),
cannam@49:           (textField = "x structlist 2"),
cannam@49:           (textField = "x structlist 3")],
cannam@49:       enumList      = [qux, bar, grault]
cannam@49:       # interfaceList can't have a default
cannam@49:       );
cannam@49:   const enumConst      :TestEnum = corge;
cannam@49: 
cannam@49:   const voidListConst      :List(Void)    = [void, void, void, void, void, void];
cannam@49:   const boolListConst      :List(Bool)    = [true, false, false, true];
cannam@49:   const int8ListConst      :List(Int8)    = [111, -111];
cannam@49:   const int16ListConst     :List(Int16)   = [11111, -11111];
cannam@49:   const int32ListConst     :List(Int32)   = [111111111, -111111111];
cannam@49:   const int64ListConst     :List(Int64)   = [1111111111111111111, -1111111111111111111];
cannam@49:   const uint8ListConst     :List(UInt8)   = [111, 222] ;
cannam@49:   const uint16ListConst    :List(UInt16)  = [33333, 44444];
cannam@49:   const uint32ListConst    :List(UInt32)  = [3333333333];
cannam@49:   const uint64ListConst    :List(UInt64)  = [11111111111111111111];
cannam@49:   const float32ListConst   :List(Float32) = [5555.5, inf, -inf, nan];
cannam@49:   const float64ListConst   :List(Float64) = [7777.75, inf, -inf, nan];
cannam@49:   const textListConst      :List(Text)    = ["plugh", "xyzzy", "thud"];
cannam@49:   const dataListConst      :List(Data)    = ["oops", "exhausted", "rfc3092"];
cannam@49:   const structListConst    :List(TestAllTypes) = [
cannam@49:       (textField = "structlist 1"),
cannam@49:       (textField = "structlist 2"),
cannam@49:       (textField = "structlist 3")];
cannam@49:   const enumListConst      :List(TestEnum) = [foo, garply];
cannam@49: }
cannam@49: 
cannam@49: const globalInt :UInt32 = 12345;
cannam@49: const globalText :Text = "foobar";
cannam@49: const globalStruct :TestAllTypes = (int32Field = 54321);
cannam@49: const globalPrintableStruct :TestPrintInlineStructs = (someText = "foo");
cannam@49: const derivedConstant :TestAllTypes = (
cannam@49:     uInt32Field = .globalInt,
cannam@49:     textField = TestConstants.textConst,
cannam@49:     structField = TestConstants.structConst,
cannam@49:     int16List = TestConstants.int16ListConst,
cannam@49:     structList = TestConstants.structListConst);
cannam@49: 
cannam@49: const genericConstant :TestGenerics(TestAllTypes, Text) =
cannam@49:     (foo = (int16Field = 123), rev = (foo = "text", rev = (foo = (int16Field = 321))));
cannam@49: 
cannam@49: const embeddedData :Data = embed "testdata/packed";
cannam@49: const embeddedText :Text = embed "testdata/short.txt";
cannam@49: const embeddedStruct :TestAllTypes = embed "testdata/binary";
cannam@49: 
cannam@49: interface TestInterface {
cannam@49:   foo @0 (i :UInt32, j :Bool) -> (x :Text);
cannam@49:   bar @1 () -> ();
cannam@49:   baz @2 (s: TestAllTypes);
cannam@49: }
cannam@49: 
cannam@49: interface TestExtends extends(TestInterface) {
cannam@49:   qux @0 ();
cannam@49:   corge @1 TestAllTypes -> ();
cannam@49:   grault @2 () -> TestAllTypes;
cannam@49: }
cannam@49: 
cannam@49: interface TestExtends2 extends(TestExtends) {}
cannam@49: 
cannam@49: interface TestPipeline {
cannam@49:   getCap @0 (n: UInt32, inCap :TestInterface) -> (s: Text, outBox :Box);
cannam@49:   testPointers @1 (cap :TestInterface, obj :AnyPointer, list :List(TestInterface)) -> ();
cannam@49: 
cannam@49:   struct Box {
cannam@49:     cap @0 :TestInterface;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: interface TestCallOrder {
cannam@49:   getCallSequence @0 (expected: UInt32) -> (n: UInt32);
cannam@49:   # First call returns 0, next returns 1, ...
cannam@49:   #
cannam@49:   # The input `expected` is ignored but useful for disambiguating debug logs.
cannam@49: }
cannam@49: 
cannam@49: interface TestTailCallee {
cannam@49:   struct TailResult {
cannam@49:     i @0 :UInt32;
cannam@49:     t @1 :Text;
cannam@49:     c @2 :TestCallOrder;
cannam@49:   }
cannam@49: 
cannam@49:   foo @0 (i :Int32, t :Text) -> TailResult;
cannam@49: }
cannam@49: 
cannam@49: interface TestTailCaller {
cannam@49:   foo @0 (i :Int32, callee :TestTailCallee) -> TestTailCallee.TailResult;
cannam@49: }
cannam@49: 
cannam@49: interface TestHandle {}
cannam@49: 
cannam@49: interface TestMoreStuff extends(TestCallOrder) {
cannam@49:   # Catch-all type that contains lots of testing methods.
cannam@49: 
cannam@49:   callFoo @0 (cap :TestInterface) -> (s: Text);
cannam@49:   # Call `cap.foo()`, check the result, and return "bar".
cannam@49: 
cannam@49:   callFooWhenResolved @1 (cap :TestInterface) -> (s: Text);
cannam@49:   # Like callFoo but waits for `cap` to resolve first.
cannam@49: 
cannam@49:   neverReturn @2 (cap :TestInterface) -> (capCopy :TestInterface);
cannam@49:   # Doesn't return.  You should cancel it.
cannam@49: 
cannam@49:   hold @3 (cap :TestInterface) -> ();
cannam@49:   # Returns immediately but holds on to the capability.
cannam@49: 
cannam@49:   callHeld @4 () -> (s: Text);
cannam@49:   # Calls the capability previously held using `hold` (and keeps holding it).
cannam@49: 
cannam@49:   getHeld @5 () -> (cap :TestInterface);
cannam@49:   # Returns the capability previously held using `hold` (and keeps holding it).
cannam@49: 
cannam@49:   echo @6 (cap :TestCallOrder) -> (cap :TestCallOrder);
cannam@49:   # Just returns the input cap.
cannam@49: 
cannam@49:   expectCancel @7 (cap :TestInterface) -> ();
cannam@49:   # evalLater()-loops forever, holding `cap`.  Must be canceled.
cannam@49: 
cannam@49:   methodWithDefaults @8 (a :Text, b :UInt32 = 123, c :Text = "foo") -> (d :Text, e :Text = "bar");
cannam@49: 
cannam@49:   getHandle @9 () -> (handle :TestHandle);
cannam@49:   # Get a new handle. Tests have an out-of-band way to check the current number of live handles, so
cannam@49:   # this can be used to test garbage collection.
cannam@49: 
cannam@49:   getNull @10 () -> (nullCap :TestMoreStuff);
cannam@49:   # Always returns a null capability.
cannam@49: }
cannam@49: 
cannam@49: interface TestMembrane {
cannam@49:   makeThing @0 () -> (thing :Thing);
cannam@49:   callPassThrough @1 (thing :Thing, tailCall :Bool) -> Result;
cannam@49:   callIntercept @2 (thing :Thing, tailCall :Bool) -> Result;
cannam@49:   loopback @3 (thing :Thing) -> (thing :Thing);
cannam@49: 
cannam@49:   interface Thing {
cannam@49:     passThrough @0 () -> Result;
cannam@49:     intercept @1 () -> Result;
cannam@49:   }
cannam@49: 
cannam@49:   struct Result {
cannam@49:     text @0 :Text;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestContainMembrane {
cannam@49:   cap @0 :TestMembrane.Thing;
cannam@49:   list @1 :List(TestMembrane.Thing);
cannam@49: }
cannam@49: 
cannam@49: struct TestTransferCap {
cannam@49:   list @0 :List(Element);
cannam@49:   struct Element {
cannam@49:     text @0 :Text;
cannam@49:     cap @1 :TestInterface;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: interface TestKeywordMethods {
cannam@49:   delete @0 ();
cannam@49:   class @1 ();
cannam@49:   void @2 ();
cannam@49:   return @3 ();
cannam@49: }
cannam@49: 
cannam@49: interface TestAuthenticatedBootstrap(VatId) {
cannam@49:   getCallerId @0 () -> (caller :VatId);
cannam@49: }
cannam@49: 
cannam@49: struct TestSturdyRef {
cannam@49:   hostId @0 :TestSturdyRefHostId;
cannam@49:   objectId @1 :AnyPointer;
cannam@49: }
cannam@49: 
cannam@49: struct TestSturdyRefHostId {
cannam@49:   host @0 :Text;
cannam@49: }
cannam@49: 
cannam@49: struct TestSturdyRefObjectId {
cannam@49:   tag @0 :Tag;
cannam@49:   enum Tag {
cannam@49:     testInterface @0;
cannam@49:     testExtends @1;
cannam@49:     testPipeline @2;
cannam@49:     testTailCallee @3;
cannam@49:     testTailCaller @4;
cannam@49:     testMoreStuff @5;
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: struct TestProvisionId {}
cannam@49: struct TestRecipientId {}
cannam@49: struct TestThirdPartyCapId {}
cannam@49: struct TestJoinResult {}
cannam@49: 
cannam@49: struct TestNameAnnotation $Cxx.name("RenamedStruct") {
cannam@49:   union {
cannam@49:     badFieldName @0 :Bool $Cxx.name("goodFieldName");
cannam@49:     bar @1 :Int8;
cannam@49:   }
cannam@49: 
cannam@49:   enum BadlyNamedEnum $Cxx.name("RenamedEnum") {
cannam@49:     foo @0;
cannam@49:     bar @1;
cannam@49:     baz @2 $Cxx.name("qux");
cannam@49:   }
cannam@49: 
cannam@49:   anotherBadFieldName @2 :BadlyNamedEnum $Cxx.name("anotherGoodFieldName");
cannam@49: 
cannam@49:   struct NestedStruct $Cxx.name("RenamedNestedStruct") {
cannam@49:     badNestedFieldName @0 :Bool $Cxx.name("goodNestedFieldName");
cannam@49:     anotherBadNestedFieldName @1 :NestedStruct $Cxx.name("anotherGoodNestedFieldName");
cannam@49: 
cannam@49:     enum DeeplyNestedEnum $Cxx.name("RenamedDeeplyNestedEnum") {
cannam@49:       quux @0;
cannam@49:       corge @1;
cannam@49:       grault @2 $Cxx.name("garply");
cannam@49:     }
cannam@49:   }
cannam@49: 
cannam@49:   badlyNamedUnion :union $Cxx.name("renamedUnion") {
cannam@49:     badlyNamedGroup :group $Cxx.name("renamedGroup") {
cannam@49:       foo @3 :Void;
cannam@49:       bar @4 :Void;
cannam@49:     }
cannam@49:     baz @5 :NestedStruct $Cxx.name("qux");
cannam@49:   }
cannam@49: }
cannam@49: 
cannam@49: interface TestNameAnnotationInterface $Cxx.name("RenamedInterface") {
cannam@49:   badlyNamedMethod @0 (badlyNamedParam :UInt8 $Cxx.name("renamedParam")) $Cxx.name("renamedMethod");
cannam@49: }