Preconditions assertion

A precondition is an assertion which should be true at the initiation of an operation. For instance, a square root operation can't accept a negative argument so a precondition of this operation is that it's argument be non-negative. Preconditions most often specify restrictions on parameters however they may also specify that other conditions have been established, like a file having been created or a device having been initialized. Generally an operation has no preconditions, meaning that it can be executed under any circumstances.

 

Posted Date: 9/20/2013 1:07:14 AM | Location : United States

Ask an Expert

Related Discussions:- Explain about the preconditions assertion, Assignment Help, Ask Question on Explain about the preconditions assertion, Get Answer, Expert's Help, Explain about the preconditions assertion Discussions

Write discussion on Explain about the preconditions assertion
Your posts are moderated

Write your message here..

Related Questions

What is ruby, What is Ruby Ruby has numerous simple types, including nu... What is Ruby Ruby has numerous simple types, including numeric classes such as Integer, Fixnum, Bignum, Float, Big Decimal, Rational, and Complex, textual classes like String,

Define wire-frame model, Define Wire-frame Model This skeletal view is ... Define Wire-frame Model This skeletal view is called a Wire-frame Model. Although not a realistic representation  of the object, it is still very useful in the early stages of

Depth first search, DEPTH FIRST SEARCH (DFS) The approach adopted into ... DEPTH FIRST SEARCH (DFS) The approach adopted into depth first search is to search deeper whenever possible. This algorithm frequently searches deeper through visiting unvisite

Implement a min-heap, Description A heap is an efficient tree-based data... Description A heap is an efficient tree-based data structure that can be used as a priority queue. Recall that the abstract data type of a priority queue has the following opera

Storing a sparse matrix in memory, Explain an efficient method of storing a... Explain an efficient method of storing a sparse matrix in memory. Write a module to find the transpose of the sparse matrix stored in this way. A matrix which contains number o

Define data model, Define data model?  A data model is a collection of ... Define data model?  A data model is a collection of conceptual tools for explaning data, data relationships, data semantics and consistency constraints.

Write down the algorithm of quick sort, Write down the algorithm of quick s... Write down the algorithm of quick sort. An algorithm for quick sort: void quicksort ( int a[ ], int lower, int upper ) {  int i ;  if ( upper > lower ) {   i = split ( a,

Infix expression to postfix form using the stack function, Q. Convert the f... Q. Convert the following given Infix expression to Postfix form using the stack function: x + y * z + ( p * q + r ) * s , Follow general precedence rule and suppose tha

Infix expression into the postfix expression, Q. Convert the given infix ex... Q. Convert the given infix expression into the postfix expression (also Show the steps) A ∗ (B + D)/ E - F(G + H / k ) Ans. Steps showing Infix to Post fix

Darw a flowchart to input 3 numbers, This algorithm inputs 3 numbers, every... This algorithm inputs 3 numbers, every number goes through successive division by 10 until its value is less than 1. An output is produced which comprise the number input and a val