// $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: " ); } }