import java.util.*;
import Jakarta.util.*;
import java.io.*;
public class TypeDeclaration {
// replaces extension TypeDeclaration with Java counterpart
public TypeDeclaration prepareReplace( JTSParseTree t ) {
AstNode.override( "TypeDeclaration.prepareReplace", this );
return null; // pacify whiney compiler
}
// is type decl an extension or not?
public boolean isExtension() {
AstNode.override( "TypeDeclaration.isExtension", this );
return true; // pacify whiney compiler
}
public void extensionOf( String name ) {
AstNode.override( "TypeDeclaration.extensionOf", this );
}
public String getAndMangleName() {
AstNode.override( "TypeDeclaration.getAndMangleName", this );
return null; // pacify whiney compiler
}
public String getName() {
AstNode.override( "TypeDeclaration.getName", this );
return null; // pacify whiney compiler
}
public void addModifiers( AST_Modifiers m ) {
AstNode.override( "TypeDeclaration.addModifiers", this );
}
public void setAbstractModifier() {
AstNode.override( "TypeDeclaration.setAbstractModifier", this );
}
public AST_Modifiers getModifier() {
AstNode.override( "TypeDeclaration.getModifier", this );
return null;
}
}