edu.ucla.util.code
Class CPTCoder
Object
AbstractCodeGenius
CPTCoder
- All Implemented Interfaces:
- ChangeBroadcaster, CodeGenius
public class CPTCoder
- extends AbstractCodeGenius
- implements CodeGenius
- Since:
- 032205
- Author:
- Keith Cascio
Methods inherited from class AbstractCodeGenius |
addChangeListener, breadth, fireSettingChanged, getFlag, getOption, getOutputClassName, getWarnings, isCompilable, removeChangeListener, resetOptions, setFlag, setOption, setOutputClassName |
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
CPTCoder
public CPTCoder()
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