Ensure

Tuple of result identifier (possibly null) and statement. This is used to store out contracts: out(id){ ensure }

extern (C++)
struct Ensure {
Identifier id;
Statement ensure;
}

Members

Static functions

arraySyntaxCopy
Ensures* arraySyntaxCopy(Ensures* a)

Do syntax copy of an array of Ensure's.

Meta