MCPcopy Create free account
hub / github.com/argotorg/solidity / newUniqueId

Method newUniqueId

libsolidity/formal/EncodingContext.cpp:53–56  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

51}
52
53unsigned EncodingContext::newUniqueId()
54{
55 return m_nextUniqueId++;
56}
57
58/// Variables.
59

Callers 9

createErrorBlockMethod · 0.80
newErrorIdMethod · 0.80
newBalancesMethod · 0.80
newStorageMethod · 0.80
visitMethod · 0.80
arithmeticOperationMethod · 0.80
divModWithSlacksMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected