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;

Ensure syntaxCopy();

static Ensures* arraySyntaxCopy(Ensures* a);

}

Members

Functions

syntaxCopy Ensure syntaxCopy(): Undocumented in source. Be warned that the author may not have intended to support it.

Static functions

arraySyntaxCopy Ensures* arraySyntaxCopy(Ensures* a): Do syntax copy of an array of Ensure's.

Variables

ensure Statement ensure;: Undocumented in source.
id Identifier id;: Undocumented in source.

Meta

Source

See Implementation