public class JavaUndeployWriter extends JavaWriter
Modifier and Type | Field and Description |
---|---|
protected Definition |
definition
Field definition
|
emitter, LINE_LENGTH, type
Constructor and Description |
---|
JavaUndeployWriter(Emitter emitter,
Definition definition,
SymbolTable notUsed)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
generate()
Generate undeploy.wsdd.
|
protected java.lang.String |
getFileName()
Return the fully-qualified name of the undeploy.wsdd file
to be generated.
|
protected java.io.PrintWriter |
getPrintWriter(java.lang.String filename)
Method getPrintWriter
|
protected void |
writeDeployPort(java.io.PrintWriter pw,
Port port)
Write out deployment and undeployment instructions for given WSDL port
|
protected void |
writeDeployServices(java.io.PrintWriter pw)
Write out deployment and undeployment instructions for each WSDL service
|
protected void |
writeFileBody(java.io.PrintWriter pw)
Write the body of the deploy.wsdd file.
|
protected void |
writeFileHeader(java.io.PrintWriter pw)
Replace the default file header with the deployment doc file header.
|
closePrintWriter, getJavadocDescriptionPart, isFileGenerated, registerFile, verboseMessage, writeComment, writeComment, writeFileFooter
protected Definition definition
public JavaUndeployWriter(Emitter emitter, Definition definition, SymbolTable notUsed)
emitter
- definition
- notUsed
- public void generate() throws java.io.IOException
generate
in interface Generator
generate
in class JavaWriter
java.io.IOException
protected java.lang.String getFileName()
getFileName
in class JavaWriter
protected void writeFileHeader(java.io.PrintWriter pw) throws java.io.IOException
writeFileHeader
in class JavaWriter
pw
- java.io.IOException
protected void writeFileBody(java.io.PrintWriter pw) throws java.io.IOException
writeFileBody
in class JavaWriter
pw
- java.io.IOException
protected void writeDeployServices(java.io.PrintWriter pw) throws java.io.IOException
pw
- java.io.IOException
protected void writeDeployPort(java.io.PrintWriter pw, Port port) throws java.io.IOException
pw
- port
- java.io.IOException
protected java.io.PrintWriter getPrintWriter(java.lang.String filename) throws java.io.IOException
getPrintWriter
in class JavaWriter
filename
- java.io.IOException