decompiler
1.0.0
|
Interface for emitting the Decompiler's formal output: source code. More...
#include <prettyprint.hh>
Public Types | |
enum | syntax_highlight { keyword_color = 0, comment_color = 1, type_color = 2, funcname_color = 3, var_color = 4, const_color = 5, param_color = 6, global_color = 7, no_color = 8, error_color = 9, special_color = 10 } |
Possible types of syntax highlighting. More... | |
Public Member Functions | |
Emit (void) | |
virtual | ~Emit (void) |
Destructor. | |
virtual int4 | beginDocument (void)=0 |
Begin a whole document of output. More... | |
virtual void | endDocument (int4 id)=0 |
End a whole document of output. More... | |
virtual int4 | beginFunction (const Funcdata *fd)=0 |
Begin a whole declaration and body of a function. More... | |
virtual void | endFunction (int4 id)=0 |
End a whole declaration and body of a function. More... | |
virtual int4 | beginBlock (const FlowBlock *bl)=0 |
Begin a control-flow element. More... | |
virtual void | endBlock (int4 id)=0 |
End a control-flow element. More... | |
virtual void | tagLine (void)=0 |
Force a line break. More... | |
virtual void | tagLine (int4 indent)=0 |
Force a line break and indent level. More... | |
virtual int4 | beginReturnType (const Varnode *vn)=0 |
Begin a return type declaration. More... | |
virtual void | endReturnType (int4 id)=0 |
End a return type declaration. More... | |
virtual int4 | beginVarDecl (const Symbol *sym)=0 |
Begin a variable declaration. More... | |
virtual void | endVarDecl (int4 id)=0 |
End a variable declaration. More... | |
virtual int4 | beginStatement (const PcodeOp *op)=0 |
Begin a source code statement. More... | |
virtual void | endStatement (int4 id)=0 |
End a source code statement. More... | |
virtual int4 | beginFuncProto (void)=0 |
Begin a function prototype declaration. More... | |
virtual void | endFuncProto (int4 id)=0 |
End a function prototype declaration. More... | |
virtual void | tagVariable (const string &name, syntax_highlight hl, const Varnode *vn, const PcodeOp *op)=0 |
Emit a variable token. More... | |
virtual void | tagOp (const string &name, syntax_highlight hl, const PcodeOp *op)=0 |
Emit an operation token. More... | |
virtual void | tagFuncName (const string &name, syntax_highlight hl, const Funcdata *fd, const PcodeOp *op)=0 |
Emit a function identifier. More... | |
virtual void | tagType (const string &name, syntax_highlight hl, const Datatype *ct)=0 |
Emit a data-type identifier. More... | |
virtual void | tagField (const string &name, syntax_highlight hl, const Datatype *ct, int4 off, const PcodeOp *op)=0 |
Emit an identifier for a field within a structured data-type. More... | |
virtual void | tagComment (const string &name, syntax_highlight hl, const AddrSpace *spc, uintb off)=0 |
Emit a comment string as part of the generated source code. More... | |
virtual void | tagLabel (const string &name, syntax_highlight hl, const AddrSpace *spc, uintb off)=0 |
Emit a code label identifier. More... | |
virtual void | print (const string &data, syntax_highlight hl=no_color)=0 |
Emit other (more unusual) syntax as part of source code generation. More... | |
virtual int4 | openParen (const string &paren, int4 id=0)=0 |
Emit an open parenthesis. More... | |
virtual void | closeParen (const string &paren, int4 id)=0 |
Emit a close parenthesis. More... | |
virtual int4 | openGroup (void) |
Start a group of things that are printed together. More... | |
virtual void | closeGroup (int4 id) |
End a group of things that are printed together. More... | |
virtual void | clear (void) |
Reset the emitter to its initial state. | |
virtual void | setOutputStream (ostream *t)=0 |
Set the output stream for the emitter. | |
virtual ostream * | getOutputStream (void) const =0 |
Get the current output stream. | |
virtual void | spaces (int4 num, int4 bump=0) |
Emit a sequence of space characters as part of source code. More... | |
virtual int4 | startIndent (void) |
Start a new indent level. More... | |
virtual void | stopIndent (int4 id) |
End an indent level. More... | |
virtual int4 | startComment (void) |
Start a comment block within the emitted source code. More... | |
virtual void | stopComment (int4 id) |
End a comment block. More... | |
virtual void | flush (void) |
Flush any remaining character data. More... | |
virtual void | setMaxLineSize (int4 mls) |
Provide a maximum line size to the pretty printer. More... | |
virtual int4 | getMaxLineSize (void) const |
Get the current maximum line size. More... | |
virtual void | setCommentFill (const string &fill) |
Set the comment fill characters for when line breaks are forced. More... | |
virtual bool | emitsMarkup (void) const =0 |
Determine if this is an XML markup emitter. More... | |
virtual void | resetDefaults (void) |
(Re)set the default emitting options | |
int4 | getParenLevel (void) const |
Get the current parentheses depth. More... | |
int4 | getIndentIncrement (void) const |
Get the number of characters indented per level of nesting. More... | |
void | setIndentIncrement (int4 val) |
Set the number of characters indented per level of nesting. More... | |
void | setPendingPrint (PendPrint *pend) |
Set a pending print callback. More... | |
void | cancelPendingPrint (void) |
Cancel any pending print callback. More... | |
bool | hasPendingPrint (PendPrint *pend) const |
Check if the given print callback is still pending. More... | |
Static Public Attributes | |
static const string | EMPTY_STRING = "" |
An empty string. | |
Protected Member Functions | |
void | resetDefaultsInternal (void) |
Set options to default values for EmitMarkup. | |
void | emitPending (void) |
Emit any pending print commands. | |
Protected Attributes | |
int4 | indentlevel |
Current indent level (in fixed width characters) | |
int4 | parenlevel |
Current depth of parentheses. | |
int4 | indentincrement |
Change in indentlevel per level of nesting. | |
PendPrint * | pendPrint |
Pending print callback. | |
Interface for emitting the Decompiler's formal output: source code.
There are two basic functions being implemented through this interface:
Markup: allows recording of the natural grouping of the high-level tokens and directly links the nodes of the abstract syntax tree to the emitted tokens.
Pretty printing: Line breaks and additional white space characters are inserted within the emitted source code to enforce a maximum number of characters per line while minimizing breaks in important groups of syntax. Where extra line breaks are necessary, additional indenting is provided to reduce the impact on readability.
All printing must be surrounded by at least one begin and end tag pair:
Additional printing groups can be specified with tag pairs:
The tag* functions, emit the actual language tokens, supplying appropriate markup.
For an implementation that actually does pretty printing, see EmitPrettyPrint.
Possible types of syntax highlighting.
Values must match constants in ClangToken
|
inline |
Constructor
References resetDefaultsInternal().
|
pure virtual |
Begin a control-flow element.
Inform the emitter that a new control-flow section is starting. This is a source code unit usually surrounded with curly braces '{' and '}'.
bl | is the block structure object associated with the section |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitBlockCondition(), ghidra::PrintC::emitBlockDoWhile(), ghidra::PrintC::emitBlockGraph(), ghidra::PrintC::emitBlockIf(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockLs(), ghidra::PrintC::emitBlockSwitch(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitForLoop(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Begin a whole document of output.
Inform the emitter that generation of the source code document has begun
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::docAllGlobals(), ghidra::PrintC::docSingleGlobal(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Begin a function prototype declaration.
Inform the emitter that a function prototype is starting.
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitFunctionDeclaration(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Begin a whole declaration and body of a function.
Inform the emitter that generation of a function body has begun
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::docFunction(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Begin a return type declaration.
Inform the emitter that generation of a function's return type is starting.
vn | (if non-null) is the storage location for the return value |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::emitPrototypeOutput(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Begin a source code statement.
Inform the emitter that a source code statement is beginning.
op | is the root p-code operation of the statement |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitBlockBasic(), ghidra::PrintC::emitForLoop(), ghidra::PrintC::emitGotoStatement(), ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::emitStatement(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Begin a variable declaration.
Inform the emitter that a variable declaration has started.
sym | is the symbol being declared |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::emitVarDecl(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
inline |
Cancel any pending print callback.
If there is any print callback pending, cancel it
Referenced by ghidra::PrintC::emitBlockIf().
|
inlinevirtual |
End a group of things that are printed together.
Inform the emitter that a printing group is ending.
id | is the id associated with the group (as returned by openGroup) |
Reimplemented in ghidra::EmitPrettyPrint.
Referenced by ghidra::PrintC::emitFunctionDeclaration(), ghidra::PrintC::opCbranch(), and ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint().
|
pure virtual |
Emit a close parenthesis.
This method emits the parenthesis character itself and ends the printing unit that was started by the matching open parenthesis.
paren | is the close parenthesis character to emit |
id | is the id associated with the matching open parenthesis (as returned by openParen) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitBlockCondition(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitForLoop(), ghidra::PrintC::emitFunctionDeclaration(), ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::opBranchind(), ghidra::PrintC::opCbranch(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Determine if this is an XML markup emitter.
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintLanguage::emitsMarkup(), ghidra::EmitPrettyPrint::emitsMarkup(), and setCommentFill().
|
pure virtual |
End a control-flow element.
Inform the emitter that a control-flow section is ending.
id | is the id associated with the section (as returned by beginBlock) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitBlockCondition(), ghidra::PrintC::emitBlockDoWhile(), ghidra::PrintC::emitBlockGraph(), ghidra::PrintC::emitBlockIf(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockLs(), ghidra::PrintC::emitBlockSwitch(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitForLoop(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
End a whole document of output.
Inform the emitter that generation of the source code document is finished
id | is the id associated with the document (as returned by beginDocument) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::docAllGlobals(), ghidra::PrintC::docSingleGlobal(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
End a function prototype declaration.
Inform the emitter that a function prototype is ending.
id | is the id associated with the prototype (as returned by beginFuncProto) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitFunctionDeclaration(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
End a whole declaration and body of a function.
Inform the emitter that generation of a function body has ended
id | is the id associated with the function body (as returned by beginFunction) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::docFunction(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
End a return type declaration.
Inform the emitter that generation of a function's return type is ending.
id | is the id associated with the return type (as returned by beginReturnType) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::emitPrototypeOutput(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
End a source code statement.
Inform the emitter that a source code statement is ending.
id | is the id associated with the statement (as returned by beginStatement) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitBlockBasic(), ghidra::PrintC::emitForLoop(), ghidra::PrintC::emitGotoStatement(), ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::emitStatement(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
End a variable declaration.
Inform the emitter that a variable declaration has ended.
id | is the id associated with the declaration (as returned by beginVarDecl) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::emitVarDecl(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
inlinevirtual |
Flush any remaining character data.
Depending on the particular emitter, tokens and syntax that have been submitted to the emitter may be held internally for a time before getting output to the final stream. This routine makes sure submitted syntax is fully output.
Reimplemented in ghidra::EmitPrettyPrint.
Referenced by ghidra::PrintC::docAllGlobals(), ghidra::PrintC::docFunction(), ghidra::PrintC::docSingleGlobal(), ghidra::EmitPrettyPrint::flush(), and ghidra::EmitPrettyPrint::getOutputStream().
|
inline |
Get the number of characters indented per level of nesting.
References indentincrement.
|
inlinevirtual |
Get the current maximum line size.
If the emitter respects a maximum line size, return that size.
Reimplemented in ghidra::EmitPrettyPrint.
|
inline |
Get the current parentheses depth.
References parenlevel.
|
inline |
Check if the given print callback is still pending.
pend | is the given print callback to check |
Referenced by ghidra::PrintC::emitBlockIf().
|
inlinevirtual |
Start a group of things that are printed together.
Inform the emitter that a new printing group is starting.
Reimplemented in ghidra::EmitPrettyPrint.
Referenced by ghidra::PrintC::emitFunctionDeclaration(), ghidra::PrintC::opCbranch(), and ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint().
|
pure virtual |
Emit an open parenthesis.
This method emits the parenthesis character itself and also starts a printing unit of the source code being surrounded by the parentheses.
paren | is the open parenthesis character to emit |
id | is an id to associate with the parenthesis |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitBlockCondition(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitForLoop(), ghidra::PrintC::emitFunctionDeclaration(), ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::opBranchind(), ghidra::PrintC::opCbranch(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Emit other (more unusual) syntax as part of source code generation.
This method is used to emit syntax not covered by the other methods, such as spaces, semi-colons, braces, and other punctuation.
data | is the character data of the syntax being emitted |
hl | indicates how the syntax should be highlighted |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PendingBrace::callback(), ghidra::PrintC::docFunction(), ghidra::PrintC::emitBlockBasic(), ghidra::PrintC::emitBlockDoWhile(), ghidra::PrintC::emitBlockIf(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockSwitch(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitEnumDefinition(), ghidra::PrintC::emitForLoop(), ghidra::PrintC::emitFunctionDeclaration(), ghidra::PrintC::emitGotoStatement(), ghidra::PrintC::emitLabelStatement(), ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::emitPrototypeInputs(), ghidra::PrintC::emitStatement(), ghidra::PrintC::emitStructDefinition(), ghidra::PrintC::emitSwitchCase(), ghidra::PrintC::emitSymbolScope(), ghidra::PrintC::emitVarDeclStatement(), ghidra::PrintC::opCbranch(), ghidra::EmitPrettyPrint::overflow(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), spaces(), ghidra::TokenSplit::tagLine(), and ~Emit().
|
inlinevirtual |
Set the comment fill characters for when line breaks are forced.
If the pretty printer forces a line break in the middle of a comment, this string is emitted to provide proper syntax and indenting to continue the comment.
fill | is the set of fill characters |
Reimplemented in ghidra::EmitPrettyPrint.
References emitsMarkup().
|
inline |
Set the number of characters indented per level of nesting.
val | is the desired number of characters to indent |
Referenced by ghidra::PrintLanguage::setIndentIncrement().
|
inlinevirtual |
Provide a maximum line size to the pretty printer.
The emitter may insert line breaks to enforce this maximum.
mls | is the number of characters to set for the maximum line size |
Reimplemented in ghidra::EmitPrettyPrint.
Referenced by ghidra::EmitPrettyPrint::getOutputStream(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ghidra::PrintLanguage::setMaxLineSize().
|
inline |
Set a pending print callback.
The callback will be issued prior to the the next call to tagLine() unless a the method cancelPendingPrint() is called first.
pend | is the callback to be issued |
Referenced by ghidra::PrintC::emitBlockIf().
|
virtual |
Emit a sequence of space characters as part of source code.
num | is the number of space characters to emit |
bump | is the number of characters to indent if the spaces force a line break |
Reimplemented in ghidra::EmitPrettyPrint.
References print().
Referenced by clear(), ghidra::PrintC::emitBlockBasic(), ghidra::PrintC::emitBlockDoWhile(), ghidra::PrintC::emitBlockIf(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockSwitch(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitEnumDefinition(), ghidra::PrintC::emitForLoop(), ghidra::PrintC::emitFunctionDeclaration(), ghidra::PrintC::emitGotoStatement(), ghidra::PrintC::emitStructDefinition(), ghidra::PrintC::emitSwitchCase(), ghidra::EmitPrettyPrint::getOutputStream(), ghidra::PrintC::opBranch(), ghidra::PrintC::opCbranch(), ghidra::PrintC::opReturn(), ghidra::TokenSplit::print(), and ghidra::EmitPrettyPrint::print().
|
inlinevirtual |
Start a comment block within the emitted source code.
Inform the emitter that a set of comment tokens/lines is starting.
Reimplemented in ghidra::EmitPrettyPrint.
Referenced by ghidra::EmitPrettyPrint::getOutputStream().
|
inlinevirtual |
Start a new indent level.
Inform the emitter that one level of nesting is being added.
Reimplemented in ghidra::EmitPrettyPrint.
References indentincrement.
Referenced by ghidra::PendingBrace::callback(), ghidra::PrintC::docFunction(), ghidra::PrintC::emitBlockDoWhile(), ghidra::PrintC::emitBlockIf(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockSwitch(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitEnumDefinition(), ghidra::PrintC::emitForLoop(), ghidra::PrintC::emitStructDefinition(), and ghidra::EmitPrettyPrint::getOutputStream().
|
inlinevirtual |
End a comment block.
Inform the emitter that a set of comment tokens/lines is ending.
id | is the id associated with the block (as returned by startComment) |
Reimplemented in ghidra::EmitPrettyPrint.
Referenced by ghidra::EmitPrettyPrint::getOutputStream().
|
inlinevirtual |
End an indent level.
Inform the emitter that the current nesting has ended, and we are returning to the previous level.
id | is the id associated with the nesting (as returned by startIndent) |
Reimplemented in ghidra::EmitPrettyPrint.
References indentincrement.
Referenced by ghidra::PrintC::docFunction(), ghidra::PrintC::emitBlockDoWhile(), ghidra::PrintC::emitBlockIf(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockSwitch(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitEnumDefinition(), ghidra::PrintC::emitForLoop(), ghidra::PrintC::emitStructDefinition(), and ghidra::EmitPrettyPrint::getOutputStream().
|
pure virtual |
Emit a comment string as part of the generated source code.
Individual comments can be broken up and emitted using multiple calls to this method, but ultimately the comment delimiters and the body of the comment are both emitted with this method, which may provide addition markup.
name | is the character data for the comment |
hl | indicates how the comment should be highlighted |
spc | is the address space of the address where the comment is attached |
off | is the offset of the address where the comment is attached |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Emit an identifier for a field within a structured data-type.
A string representing an individual component of a structured data-type is emitted, possibly with additional markup.
name | is the character data for the identifier |
hl | indicates how the identifier should be highlighted |
ct | is the data-type associated with the field |
off | is the (byte) offset of the field within its structured data-type |
op | is the PcodeOp associated with the field (usually PTRSUB or SUBPIECE) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Emit a function identifier.
An identifier string representing the symbol name of the function is emitted, possible with additional markup.
name | is the character data for the identifier |
hl | indicates how the identifier should be highlighted |
fd | is the function |
op | is the CALL operation associated within the syntax tree or null for a declaration |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitFunctionDeclaration(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Emit a code label identifier.
A string describing a control-flow destination, as appropriate for the source language is output, possibly with additional markup.
name | is the character data of the label |
hl | indicates how the label should be highlighted |
spc | is the address space of the code address being labeled |
off | is the offset of the code address being labeled |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitLabel(), ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Force a line break.
Tell the emitter that a new line is desired at the current indent level
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::docAllGlobals(), ghidra::PrintC::docFunction(), ghidra::PrintC::docSingleGlobal(), ghidra::PrintC::emitBlockBasic(), ghidra::PrintC::emitBlockDoWhile(), ghidra::PrintC::emitBlockGoto(), ghidra::PrintC::emitBlockIf(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockSwitch(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitCommentFuncHeader(), ghidra::PrintC::emitEnumDefinition(), ghidra::PrintC::emitForLoop(), ghidra::PrintC::emitLabelStatement(), ghidra::PrintC::emitLocalVarDecls(), ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::emitStructDefinition(), ghidra::PrintC::emitSwitchCase(), ghidra::PrintC::emitVarDeclStatement(), ghidra::EmitPrettyPrint::overflow(), ghidra::EmitPrettyPrint::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Force a line break and indent level.
Tell the emitter that a new line is desired at a specific indent level. The indent level is overridden only for the line, then it returns to its previous value.
indent | is the desired indent level for the new line |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
|
pure virtual |
Emit an operation token.
The string representing the operation as appropriate for the source language is emitted, possibly with additional markup.
name | is the character data for the emitted representation |
hl | indicates how the token should be highlighted |
op | is the PcodeOp object associated with the operation with the syntax tree |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::PrintC::emitBlockDoWhile(), ghidra::PrintC::emitBlockIf(), ghidra::PrintC::emitBlockInfLoop(), ghidra::PrintC::emitBlockWhileDo(), ghidra::PrintC::emitForLoop(), ghidra::EmitMarkup::EmitMarkup(), ghidra::PrintC::opBranch(), ghidra::PrintC::opBranchind(), ghidra::PrintC::opCbranch(), ghidra::PrintC::opReturn(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Emit a data-type identifier.
A string representing the name of a data-type, as appropriate for the source language is emitted, possibly with additional markup.
name | is the character data for the identifier |
hl | indicates how the identifier should be highlighted |
ct | is the data-type description object |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().
|
pure virtual |
Emit a variable token.
An identifier string representing the variable is output, possibly with additional markup.
name | is the character data for the identifier |
hl | indicates how the identifier should be highlighted |
vn | is the Varnode representing the variable within the syntax tree |
op | is a p-code operation related to the use of the variable (may be null) |
Implemented in ghidra::EmitPrettyPrint, ghidra::EmitNoMarkup, and ghidra::EmitMarkup.
Referenced by ghidra::EmitMarkup::EmitMarkup(), ghidra::TokenSplit::print(), ghidra::EmitPrettyPrint::resetDefaultsPrettyPrint(), and ~Emit().