(*
 *
 * This file defines operations related to Editing a Question Functionality.  
 *
 *)


module QuestionEditFunctionality;

    from Questions import all;
    from Database import all;
    export all;

    operation EditQuestion
        inputs: q:Question, ldb:LocalDatabase;
        outputs: q':Question, ldb':LocalDatabase;
        precondition: (*A Question must be selected to edit*)
                      (q in ldb);
        postcondition: (*Question is added to the LocalDatabase*)
                      (q' in ldb'); 
        description: (*
             EditQuestion edits a previously created Question and adds it
             to the LocalDatabase.
        *);
    end EditQuestion;

end QuestionEditFunctionality;