

import java.util.*;
import Jakarta.util.*;
import java.io.*;

public class UnmodifiedTypeDeclaration {

    public void extensionOf( String name ) {
        AstNode.override( "UnmodifiedTypeDeclaration.extensionOf", this );
    }

    public boolean isExtension() {
        // override by Ute
        return false;
    }

    public String getName() {
        AstNode.override( "UnmodifiedTypeDeclaration.getName", this );
        return null;
    }

    // mangle class name, and return it

    public String getAndMangleName() {
        AstNode.override( "UnmodifiedTypeDeclaration.getAndMangleName", this );
        return null; // pacify whiney compiler
    }

    // replaces extension TypeDeclaration with Java counterpart
    // this method is overridden only in the case of extensions

    public  UnmodifiedTypeDeclaration prepareReplace( JTSParseTree t ) {
        // OVERRIDE only in the case of extensions
        return ( UnmodifiedTypeDeclaration ) this;
    }
}
