|
@ -37,6 +37,7 @@ GlobalContext::GlobalContext(): |
|
|
m_magicVariables(vector<shared_ptr<MagicVariableDeclaration const>>{make_shared<MagicVariableDeclaration>("block", make_shared<MagicType>(MagicType::Kind::Block)), |
|
|
m_magicVariables(vector<shared_ptr<MagicVariableDeclaration const>>{make_shared<MagicVariableDeclaration>("block", make_shared<MagicType>(MagicType::Kind::Block)), |
|
|
make_shared<MagicVariableDeclaration>("msg", make_shared<MagicType>(MagicType::Kind::Message)), |
|
|
make_shared<MagicVariableDeclaration>("msg", make_shared<MagicType>(MagicType::Kind::Message)), |
|
|
make_shared<MagicVariableDeclaration>("tx", make_shared<MagicType>(MagicType::Kind::Transaction)), |
|
|
make_shared<MagicVariableDeclaration>("tx", make_shared<MagicType>(MagicType::Kind::Transaction)), |
|
|
|
|
|
make_shared<MagicVariableDeclaration>("now", make_shared<IntegerType>(256)), |
|
|
make_shared<MagicVariableDeclaration>("suicide", |
|
|
make_shared<MagicVariableDeclaration>("suicide", |
|
|
make_shared<FunctionType>(strings{"address"}, strings{}, FunctionType::Location::Suicide)), |
|
|
make_shared<FunctionType>(strings{"address"}, strings{}, FunctionType::Location::Suicide)), |
|
|
make_shared<MagicVariableDeclaration>("sha3", |
|
|
make_shared<MagicVariableDeclaration>("sha3", |
|
|