void function ( ) { indentation += indentationAmount ; }
increase indent while printing concode_field_sep String decreaseIndentationString concode_elem_sep String baseName concode_elem_sep String indentation concode_elem_sep String commentChar concode_elem_sep Map<String,String> toolParams concode_elem_sep StringBuffer outputString concode_elem_sep String toolParamsString concode_elem_sep String indentationAmount concode_elem_sep DecimalFormat df concode_elem_sep String outputFilename concode_elem_sep HystFrame outputFrame concode_elem_sep OutputType outputType concode_elem_sep String originalFilename concode_elem_sep Preconditions preconditions concode_elem_sep PrintStream outputStream concode_elem_sep Configuration config concode_field_sep void setOutputString concode_elem_sep String doubleToString concode_elem_sep String getCommandLineFlag concode_elem_sep void setBaseName concode_elem_sep String getToolName concode_elem_sep void setConfig concode_elem_sep void printComment concode_elem_sep boolean isInRelease concode_elem_sep void flush concode_elem_sep void printCommentblock concode_elem_sep void setOutputGui concode_elem_sep void decreaseIndentation concode_elem_sep void printLine concode_elem_sep void printLine concode_elem_sep void checkPreconditions concode_elem_sep String getExtension concode_elem_sep void setToolParamsString concode_elem_sep void printCommentHeader concode_elem_sep String getCommentCharacter concode_elem_sep void setOutputFile concode_elem_sep void setOutputNone concode_elem_sep Map<String,String> getDefaultParams concode_elem_sep void print concode_elem_sep void print concode_elem_sep void print concode_elem_sep String getCommentHeader concode_elem_sep void printNewline concode_elem_sep void populateParams concode_elem_sep void printAutomaton