/* * @(#)AbstractTypeNode.java 1.12 06/10/25 * * Copyright 1990-2008 Sun Microsystems, Inc. All Rights Reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License version * 2 only, as published by the Free Software Foundation. * * This program is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * General Public License version 2 for more details (a copy is * included at /legal/license.txt). * * You should have received a copy of the GNU General Public License * version 2 along with this work; if not, write to the Free Software * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA * 02110-1301 USA * * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa * Clara, CA 95054 or visit www.sun.com if you need additional * information or have any questions. */ package com.sun.tools.jdwpgen; import java.util.*; import java.io.*; abstract class AbstractTypeNode extends AbstractNamedNode implements TypeNode { abstract String docType(); public abstract void genJavaWrite(PrintWriter writer, int depth, String writeLabel); abstract String javaRead(); void document(PrintWriter writer) { docRowStart(writer); writer.println("<td colspan=" + (maxStructIndent - structIndent) + ">"); writer.println(docType() + "<td><i>" + name() + "</i><td>" + comment() + " "); } String javaType() { return docType(); // default } public void genJavaRead(PrintWriter writer, int depth, String readLabel) { indent(writer, depth); writer.print(readLabel); writer.print(" = "); writer.print(javaRead()); writer.println(";"); genJavaDebugRead(writer, depth, readLabel, debugValue(readLabel)); } public void genJavaDeclaration(PrintWriter writer, int depth) { writer.println(); genJavaComment(writer, depth); indent(writer, depth); writer.print("final "); writer.print(javaType()); writer.print(" " + name); writer.println(";"); } public String javaParam() { return javaType() + " " + name; } }