addInvariant

Generate Expression to call the invariant. Input: ad aggregate with the invariant vthis variable with 'this'

Return Value

void expression that calls the invariant

Suggestion Box / Bug Report