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

Method programNode

libsolidity/formal/Predicate.cpp:98–101  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

96}
97
98ASTNode const* Predicate::programNode() const
99{
100 return m_node;
101}
102
103ContractDefinition const* Predicate::contextContract() const
104{

Callers 6

popInlineFrameMethod · 0.80
checkVerificationTargetsMethod · 0.80
constructorFunction · 0.80
constructorCallFunction · 0.80
functionFunction · 0.80
functionCallFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected