edu.ucla.util.code
Class CPTCoder

Object
  extended by AbstractCodeGenius
      extended by CPTCoder
All Implemented Interfaces:
ChangeBroadcaster, CodeGenius

public class CPTCoder
extends AbstractCodeGenius
implements CodeGenius

Since:
032205
Author:
Keith Cascio

Field Summary
static OptionBreadth OPTION_AMOUNT
           
static CodeOption OPTION_WITH_COMMENTS
           
static String STR_METHOD_FOUNDATION
           
static String STR_METHOD_NAME
           
static String STR_NAME_OUTPUT_CLASS
           
 
Fields inherited from class AbstractCodeGenius
EVENT_SETTING_CHANGED
 
Constructor Summary
CPTCoder()
           
 
Method Summary
static String createClassJavadocComment(CodeGenius genius, String descrip)
           
static String createCompilationComment(CodeGenius genius)
           
static String createStandardComments(CodeGenius genius)
           
 String describe()
           
 String describeDependencies()
           
 void describeDependencies(Tree tree)
           
 String getIconFileName()
           
 OptionBreadth getOptionBreadth()
           
 CodeOption[] getOptions()
           
 String getOutputClassNameDefault()
           
 String getShortDescription()
           
static String stepToString(int step)
           
 void writeCode(PrintStream out)
           
 void writeDemo(boolean withComments, PrintStream out)
           
 void writeFoundationNetwork(boolean withComments, PrintStream out)
           
 void writePost(boolean withComments, CodeOptionValue breadth, PrintStream out)
           
 void writePre(boolean withComments, CodeOptionValue breadth, PrintStream out)
           
 
Methods inherited from class AbstractCodeGenius
addChangeListener, breadth, fireSettingChanged, getFlag, getOption, getOutputClassName, getWarnings, isCompilable, removeChangeListener, resetOptions, setFlag, setOption, setOutputClassName
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface CodeGenius
breadth, getFlag, getOption, getOutputClassName, getWarnings, isCompilable, resetOptions, setFlag, setOption, setOutputClassName
 
Methods inherited from interface ChangeBroadcaster
addChangeListener, fireSettingChanged, removeChangeListener
 

Field Detail

STR_NAME_OUTPUT_CLASS

public static final String STR_NAME_OUTPUT_CLASS
See Also:
Constant Field Values

STR_METHOD_NAME

public static final String STR_METHOD_NAME
See Also:
Constant Field Values

STR_METHOD_FOUNDATION

public static final String STR_METHOD_FOUNDATION
See Also:
Constant Field Values

OPTION_AMOUNT

public static final OptionBreadth OPTION_AMOUNT

OPTION_WITH_COMMENTS

public static final CodeOption OPTION_WITH_COMMENTS
Constructor Detail

CPTCoder

public CPTCoder()
Method Detail

getIconFileName

public String getIconFileName()
Specified by:
getIconFileName in interface CodeGenius

describe

public String describe()
Specified by:
describe in interface CodeGenius

getShortDescription

public String getShortDescription()
Specified by:
getShortDescription in interface CodeGenius

describeDependencies

public String describeDependencies()
Specified by:
describeDependencies in interface CodeGenius

describeDependencies

public void describeDependencies(Tree tree)
Specified by:
describeDependencies in interface CodeGenius

getOutputClassNameDefault

public String getOutputClassNameDefault()
Specified by:
getOutputClassNameDefault in interface CodeGenius

writeCode

public void writeCode(PrintStream out)
Specified by:
writeCode in interface CodeGenius

getOptions

public CodeOption[] getOptions()
Specified by:
getOptions in interface CodeGenius

getOptionBreadth

public OptionBreadth getOptionBreadth()
Specified by:
getOptionBreadth in interface CodeGenius
Since:
20060327

createCompilationComment

public static String createCompilationComment(CodeGenius genius)

createStandardComments

public static String createStandardComments(CodeGenius genius)

createClassJavadocComment

public static String createClassJavadocComment(CodeGenius genius,
                                               String descrip)

writePre

public void writePre(boolean withComments,
                     CodeOptionValue breadth,
                     PrintStream out)

writePost

public void writePost(boolean withComments,
                      CodeOptionValue breadth,
                      PrintStream out)

stepToString

public static String stepToString(int step)

writeDemo

public void writeDemo(boolean withComments,
                      PrintStream out)

writeFoundationNetwork

public void writeFoundationNetwork(boolean withComments,
                                   PrintStream out)


Copyright 2010 UCLA Automated Reasoning Group