package Tutorial.AuthorTutorial;

import Tutorial.*;
import Tutorial.StudentTutorial.*;

/* SPEST PROBLEM:
   I don't know why the checker outputs these errors for the previous two
   lines:

found: 'Tutorial' but was expecting: ID at line: 3 at character: 7
found: 'Tutorial' but was expecting: ID at line: 4 at character: 7
null

   javac seems to be fine with them.
 */

/**
* An Author page is an individual topic page within a tutorial track. This is 
* the page that authors fill out their tutorial content on.
*/
public abstract class AuthorPage {
   Description description;
   CodeExample example;
   String tryItYourself;

   EditTextButtons toolbar;

   /*                                                          <pre>
      pre:
         //
         // The Description cannot be empty.
         //
         (description.intro.length() > 0) && (description.syntax.length() > 0);

      post:
         //
         // The edited page exists or has been added to the tutorial track.
         //
         authorPages'.contains(this);

   */
   abstract void save(StudentTutorial studentPages, AuthorTutorial authorPages);
   
   abstract void preview();

}