ConForM.CoopnTools.CoKer.CodeVisual
Class MIFFormat

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CodeVisual.Format
        |
        +--ConForM.CoopnTools.CoKer.CodeVisual.MIFFormat

public class MIFFormat
extends Format


Fields inherited from class ConForM.CoopnTools.CoKer.CodeVisual.Format
ANSI, colnum, contextMode, conversions, conversionsLength, defaultFontSize, defaultTabSize, env, fontsize, formatNames, FORMATNUMBER, HTML, LATEX, MIF, out, PLAIN, tabMode, tabsize
 
Method Summary
protected  void resetColor()
          Reset the current color to normal.
protected  void setColor(java.awt.Color color)
          Set the current color to the parameter color.
protected  void writeContext(java.lang.String title)
          The context, optionnaly present, insure that the produced document is a stand-alone document.
protected  void writeDocumentHeader()
          Headers and footers are most outer texts, and are allway present
protected  void writeEndContext()
           
 
Methods inherited from class ConForM.CoopnTools.CoKer.CodeVisual.Format
getFontSize, getFormatter, getTabSize, setFontSize, setTabSize, supportedFormats, write, writeDocumentFooter, writeEndText, writeStartText
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

writeDocumentHeader

protected void writeDocumentHeader()
Description copied from class: Format
Headers and footers are most outer texts, and are allway present
Overrides:
writeDocumentHeader in class Format

writeContext

protected void writeContext(java.lang.String title)
Description copied from class: Format
The context, optionnaly present, insure that the produced document is a stand-alone document. If the context is not present, it should be assumed that the document will be included into a more broader one.
Overrides:
writeContext in class Format

writeEndContext

protected void writeEndContext()
Overrides:
writeEndContext in class Format

setColor

protected void setColor(java.awt.Color color)
Set the current color to the parameter color.
Overrides:
setColor in class Format

resetColor

protected void resetColor()
Reset the current color to normal.
Overrides:
resetColor in class Format