// $Header: /home/apel/cvs/fstcomp/examples/Java/Graph/PrintHeader/Graph/Graph.java,v 1.1 2010-03-29 20:44:20 apel Exp $
/**
 * Please complete these missing tags
 * @author
 * @rref
 * @copyright
 * @concurrency
 * @see
 */
package Graph;

class Graph
{
    static int s = 0;
    /**
     * Please complete the missing tags for main
     * @param
     * @return
     * @throws
     * @pre
     * @post
     */
    public static void main( String [] args )
    {
        original( args );
        System.out.println( "========= PrintHeader ========" );
        System.out.println( "nothing to do here" );
    }
    /**
     * Please complete the missing tags for print
     * @param
     * @return
     * @throws
     * @pre
     * @post
     */
    void print()
    {
        s++;
        if( s == 1 )
        {
            printTopLevelHeader();
        }
        else
        {
            printSubLevelHeader();
        }
        original();
        s--;
    }
    /**
     * Please complete the missing tags for printTopLevelHeader
     * @param
     * @return
     * @throws
     * @pre
     * @post
     */
    static void printTopLevelHeader()
    {
        System.out.print( "top: " );
    }
    /**
     * Please complete the missing tags for printSubLevelHeader
     * @param
     * @return
     * @throws
     * @pre
     * @post
     */
    static void printSubLevelHeader()
    {
        System.out.print( "sub: " );
    }
}
