implemention file

[bhanusharma]

please help me

throttle::throttle(int size)
// Precondition:  size > 0;
// Postcondition: Throttle has size positions above the shutoff position, and its current position is off.
{
   assert(size>0);
   top_position = size;
   position = 0;
}

i have to fiil code
is this ccorrect??

[Ganon11]

Without understanding what your class is doing, we can't tell if this is the proper implementation. I can tell you, however, that since your PRE is size > 0, you don't need to use the assert statement. A precondition is something you can assume to be true every time the function is used. Thus, you may assume that size is always > 0. If you know that it is possible to enter a non-positive number for size, you may consider a different precondition.

[RedSon]

please help me

throttle::throttle(int size)
// Precondition:  size > 0;
// Postcondition: Throttle has size positions above the shutoff position, and its current position is off.
{
   assert(size>0);
   top_position = size;
   position = 0;
}

i have to fiil code
is this ccorrect??

This code fulfills your post condition. You set your top_position to size which would probably be better named as max or max_position, and you set your current position, which could be better named to curr_position, to 0. As for asserting that size is > 0 if your precondition states it then you can safely assume it to be true, but if you are concerned about security and error checking you should really return some kind of error code from this method then you can do stuff like:

if (size < 1)
{
return -1;//error code to say that precondition not met
}
 

[bhanusharma]

i did not understand implemention file. i have to fill precondition and postcondition and code. I tried but i am not sure about those.




File: throttle.cpp

// FILE: throttle.cpp
// CLASS IMPLEMENTION FILE of throttle
 
#include "throttle.h"
 
throttle::throttle()
//fill in precondition and postcondition
 
//precondition: none
//postcondition:
{
    top_position = 1;
    position = 0;
}
 
throttle::throttle(int size)
// Precondition:  size > 0;
// Postcondition: Throttle has size positions above the shutoff position, and its current position is off.
{
    //fill in correct code
top_position = 1;
    position = 0;
 
 
}
 
void throttle::shut_off()
//fill in precondition and postcondition
//precondition: none(  because  member functions no precondition right??)
//postcondition: the throttle has been turned off.
{
    position = 0;
}
 
void throttle::shift(int amount)
// Precondition: None
// Postcondition: Throttle’s position is moved by amount (but not below 0 or above top position).  If amount would move throttle beyond 0, set to 0.  If amount would move throttle beyond top position, set throttle to top position.
{
    // fill in correct code
position += amount;
if (position <0 )
   position = 0;
else if (position > top_postion)
postion = top_postion;
 
 
 
}
 
bool throttle::is_on() const;
// Precondition: None
// Postcondition: false if position is zero, true otherwise
{
    // fill in correct code
 
return (postion > 0);
}

File: usingthrottle.cpp

#include "throttle.h"
#include <iostream>
using namespace std;
//creates two throttles and shifts the second throttle an inputted amount.
void main(){
    throttle t1;
    int value;
    cout << "Type in a throttle size." << endl;
    cin >> value;
    throttle t2(value);
    cout<< “Type in a shift amount.” << endl;
cin >> value;
    t2.shift(value);
    if (t2.is_on())
        cout << “Throttle on” << endl;
    else
        cout << “Throttle off” << endl;    
}

[bhanusharma]

please help meeeeeeeeeeeee

[Ganon11]

OK, so returning to your first question about the second constructor:

I still think you can remove the assert statement from that definition, but it looks correct otherwise.

[bhanusharma]

i did not use assert statment.please tell me about other answer's r correct or not.

[bhanusharma]

i have problem with implemention file ,precondition and postcondition. please help me. I filled precondition and postcondition and code .I do not know those r correct or not.

// FILE: throttle.cpp
// CLASS IMPLEMENTION FILE of throttle
 
#include "throttle.h"
 
throttle::throttle()
//fill in precondition and postcondition
 
//precondition: none
//postcondition: i 
{
    top_position = 1;
    position = 0;
}
 
throttle::throttle(int size)
// Precondition:  size > 0;
// Postcondition: Throttle has size positions above the shutoff position, and its current position is off.
{
    //fill in correct code
top_position = 1;
    position = 0;
 
 
}
 
void throttle::shut_off()
//fill in precondition and postcondition
//precondition: none(  because  member functions no precondition right??)
//postcondition: the throttle has been turned off.
{
    position = 0;
}
 
void throttle::shift(int amount)
// Precondition: None
// Postcondition: Throttle’s position is moved by amount (but not below 0 or above top position).  If amount would move throttle beyond 0, set to 0.  If amount would move throttle beyond top position, set throttle to top position.
{
    // fill in correct code
position += amount;
if (position <0 )
   position = 0;
else if (position > top_postion)
postion = top_postion;
 
 
 
}
 
bool throttle::is_on() const;
// Precondition: None
// Postcondition: false if position is zero, true otherwise
{
    // fill in correct code
 
return (postion > 0);
} 
 

File: usingthrottle.cpp

#include "throttle.h"
#include <iostream>
using namespace std;
//creates two throttles and shifts the second throttle an inputted amount.
void main(){
    throttle t1;
    int value;
    cout << "Type in a throttle size." << endl;
    cin >> value;
    throttle t2(value);
    cout<< “Type in a shift amount.” << endl;
cin >> value;
    t2.shift(value);
    if (t2.is_on())
        cout << “Throttle on” << endl;
    else
        cout << “Throttle off” << endl;    
} 
 

please help me.

[AdrianH]

Without understanding what your class is doing, we can't tell if this is the proper implementation. I can tell you, however, that since your PRE is size > 0, you don't need to use the assert statement. A precondition is something you can assume to be true every time the function is used. Thus, you may assume that size is always > 0. If you know that it is possible to enter a non-positive number for size, you may consider a different precondition.

About preconditions, yes you should not need the assert() but in practice, programmers make mistakes, so the assert should be there anyway to enforce the precondition in debug mode. This will catch callers making improper use of the function call. Assertions will be removed when NDEBUG is defined so you don't loose anything by putting it in.

An assert for the post contidion may also be advisable, but when declaring variables to be used exclusivly by the post condition, you need to encompas them with
#ifndef NDEBUG
<vars here>
#endif

which can also be stated as:
#if !defined NDEBUG
<vars here>
#endif

Otherwise, if you don't the variables will be allocated but not used causing the compiler to complain about unused variables.


Adrian

[bhanusharma]

I need help throttle.cpp

[AdrianH]

i have problem with implemention file ,precondition and postcondition. please help me. I filled precondition and postcondition and code .I do not know those r correct or not.

Well, neither do I. Pre/postconditions are specific to what you are applying it to. Giving us the code without explanation doesn't do a whole lot either.

However, I will point out a few things:

// FILE: throttle.cpp
// CLASS IMPLEMENTION FILE of throttle
 
#include "throttle.h"
 
throttle::throttle()
//fill in precondition and postcondition
 
//precondition: none
//postcondition: i 
 

what does 'i' mean?

{
    top_position = 1;
    position = 0;
}
 
throttle::throttle(int size)
// Precondition:  size > 0;
// Postcondition: Throttle has size positions above the shutoff position, and its 

'size' positions is the number of desecrate possible positions above 0? Is there a maximum size?
'and its' sounds like it is not complete, what are you trying to say here?

current position is off.
{
    //fill in correct code
 

I hope you don't expect me to fill this out, as we don't do you work for you. And even if I could, I wouldn't have a clue as I don't know what you are trying to do.

top_position = 1;
    position = 0;
 
 
}
 
void throttle::shut_off()
//fill in precondition and postcondition
//precondition: none(  because  member functions no precondition right??)
//postcondition: the throttle has been turned off.
 

The postcondition looks right given the function name. The precondition is wrong in that member functions do have preconditions, whether that precondition is true (ie as you stated none) or something else, is entirely up to your member function. But ask yourself this, if I shut the throttle off, is there anything statement that must be true in order for me to shut the throttle off? If not, then true or none is the correct answer.

{
    position = 0;
}
 
void throttle::shift(int amount)
// Precondition: None
// Postcondition: Throttle’s position is moved by amount (but not below 0 or above top position).  If amount would move throttle beyond 0, set to 0.  If amount would move throttle beyond top position, set throttle to top position.
 

This looks good given the function name.

{
    // fill in correct code
position += amount;
if (position <0 )
   position = 0;
else if (position > top_postion)
postion = top_postion;
 
 
 
}
 
bool throttle::is_on() const;
// Precondition: None
// Postcondition: false if position is zero, true otherwise
 

This looks good given the function name.

{
    // fill in correct code
 
return (postion > 0);
} 
 

Remember:

• When generating preconditions, ask yourself "what statement must be true for you to be able to execute this function".
• When generating a postcondition, ask yourself, "what statement must be true when this function returns".

These pre/postconditions can relate to parameters, member variables, global variables, what some function can return (though this should be constant no matter how many times you call it, otherwise if the internal code depends on it, you are going to get erroneous results in the function).

It is not always easy or even sometimes practical to have these checked at runtime. This doesn't usually matter except in real-time situations when you have to run debug code in a real-time situation. You should do as you were doing by putting in asserts to test your preconditions as well as your postconditions.

Wait till you get into loop and class invariants. :) Don't be afraid to come back when you have questions about those.

Hope this helps.


Adrian

[bhanusharma]

// FILE: throttle.cpp
// CLASS IMPLEMENTION FILE of throttle

#include "throttle.h"

throttle::throttle()
//fill in precondition and postcondition

//precondition: none
//postcondition: i
I wrote by mistake 'i' .I don't know what will be postcondition here.

[RedSon]

Your pre and post conditions are something that only you can decide. It is the conditions that must be met before executing the code in your method and the conditions that are met by your code upon exiting. Stop asking us what your pre and post conditions are, we have no idea. Only you can decide what they should be.

Once you decide what your pre and post conditions are then you can write the code that will fulfill those conditions.

Adrian's post should have provided you with more then enough guidance to get started. Read it carefully, work on your program, watch a half an hour of Gilligan's Island, work on your program some more, and then post again.

[AdrianH]

// FILE: throttle.cpp
// CLASS IMPLEMENTION FILE of throttle

#include "throttle.h"

throttle::throttle()
//fill in precondition and postcondition

//precondition: none
//postcondition: i
I wrote by mistake 'i' .I don't know what will be postcondition here.

Do you have any defaults for a class instance? I would make those your postcondition.

One other thing. I'm not sure if your teacher has told you this, but it is possible to call a member function on a NULL object. In some cases this is ok, in most cases (anytime you must access a member variable of the class object means you are assuming this) it is not. You could put as a precondition for each of your member functions (excluding the constructors since it is assumed that this exists when the constructer is called due to the programme construct) a precondition that there is an object, i.e. this != NULL

Does this make sense?


Adrian

[bhanusharma]

Thank u Adrian

[AdrianH]

Thank u Adrian

No prob. Glad to help. Did you enjoy Gilligan's Island? :D


Adrian