public interface Stdrpt
void
printInfo(java.io.PrintStream output, Diagram sys)
void printInfo(java.io.PrintStream output, Diagram sys)