| Previous | Table of Contents | Next |
[C-1] temporaryScope is valid only if the isTemporary is True.context Table inv:self.temporaryScope.notEmpty implies self.isTemporary=True
[C-2] checkOption is valid only if isReadOnly is False.context View inv:self.checkOption implies self.isReadOnly=False
[C-3] scale is valid only if precision is specified.context Column inv:self.scale.nonEmpty implies self.precision.notEmpty