Explain source IDs.

This commit is contained in:
chriseth 2018-12-11 15:35:32 +01:00
parent fe87cc7eb0
commit 2f04633e27
2 changed files with 4 additions and 4 deletions

View File

@ -224,9 +224,9 @@ for displaying the current position in the source code inside a debugger
or for breakpoint handling. or for breakpoint handling.
Both kinds of source mappings use integer identifiers to refer to source files. Both kinds of source mappings use integer identifiers to refer to source files.
These are regular array indices into a list of source files usually called The identifier of a source file is stored in
``"sourceList"``, which is part of the combined-json and the output of ``output['sources'][sourceName]['id']`` where ``output`` is the output of the
the json / npm compiler. standard-json compiler interface parsed as JSON.
.. note :: .. note ::
In the case of instructions that are not associated with any particular source file, In the case of instructions that are not associated with any particular source file,

View File

@ -293,7 +293,7 @@ Output Description
// This contains the file-level outputs. In can be limited/filtered by the outputSelection settings. // This contains the file-level outputs. In can be limited/filtered by the outputSelection settings.
sources: { sources: {
"sourceFile.sol": { "sourceFile.sol": {
// Identifier (used in source maps) // Identifier of the source (used in source maps)
id: 1, id: 1,
// The AST object // The AST object
ast: {}, ast: {},