Invariant of the class, Computer Engineering

What are the conditions that have to be met for a condition to be an invariant of the class?

Ans) ? The condition should hold at the end of each constructor.

? The condition should hold at the end of each mutator (non-const) operation.

 

 

Posted Date: 4/8/2013 5:13:13 AM | Location : United States







Related Discussions:- Invariant of the class, Assignment Help, Ask Question on Invariant of the class, Get Answer, Expert's Help, Invariant of the class Discussions

Write discussion on Invariant of the class
Your posts are moderated
Related Questions
What is the  disadvantage of strobe  method. The drawbacks of strobe method are that the source unit that show the transfer has no way of knowing whether the destination unit h

Explain the concept of variable-partition contiguous storage allocation. Suppose that we have 1024K main memory available in that 128K is occupied through operating system pro

State the advantages Off-the-shelf -  tends to be less expensive as development costs can be spread over many users -  can be more sophisticated as large sales bring in c

Cache-Only Memory Access Model (COMA) As we have considered earlier, shared memory multiprocessor systems can use cache memories with each processor for decreasing the execution

Q. Find out if a particular file is available in a disk in DOS? Sometimes you may like to find out if a particular file is available in a disk. In that case, you can identify t

clasification of bus

What is interactive reporting? It helps you to make easy-to-read lists.  You can view an overview list first that having general information and give the user with the possibil

Explain the E-cheques verses Credit Cards in brief. E-cheques: E-cheques are utilized for business dealing into e-commerce. Transactions of such cheques take place onto Inter


Q. Computational Fluid Dynamics? Computational Fluid Dynamics: CFD was a FORTRAN like language developed in the early 70s at "Computational Fluid Dynamics Branch of Ames Resear