Section.java
01 /* This file is part of the project "Hilbert II" - http://www.qedeq.org
02  *
03  * Copyright 2000-2011,  Michael Meyling <mime@qedeq.org>.
04  *
05  * "Hilbert II" is free software; you can redistribute
06  * it and/or modify it under the terms of the GNU General Public
07  * License as published by the Free Software Foundation; either
08  * version 2 of the License, or (at your option) any later version.
09  *
10  * This program is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13  * GNU General Public License for more details.
14  */
15 
16 package org.qedeq.kernel.se.base.module;
17 
18 
19 /**
20  * Section of a qedeq file.
21  *
22  @version $Revision: 1.6 $
23  @author  Michael Meyling
24  */
25 public interface Section {
26 
27     /**
28      * Get section numbering.
29      *
30      @return  No section numbering?
31      */
32     public Boolean getNoNumber();
33 
34     /**
35      * Get section title.
36      *
37      @return  Section title.
38      */
39     public LatexList getTitle();
40 
41     /**
42      * Get section introduction. Herein is general information about this section.
43      *
44      @return  Section introduction.
45      */
46     public LatexList getIntroduction();
47 
48     /**
49      * Get all subsections of this section.
50      *
51      @return  List of subsections.
52      */
53     public SubsectionList getSubsectionList();
54 
55 }