|
@ -397,11 +397,11 @@ MagicType::MagicType(MagicType::Kind _kind): |
|
|
break; |
|
|
break; |
|
|
case Kind::MSG: |
|
|
case Kind::MSG: |
|
|
m_members = MemberList({{"sender", make_shared<IntegerType const>(0, IntegerType::Modifier::ADDRESS)}, |
|
|
m_members = MemberList({{"sender", make_shared<IntegerType const>(0, IntegerType::Modifier::ADDRESS)}, |
|
|
|
|
|
{"gas", make_shared<IntegerType const>(256)}, |
|
|
{"value", make_shared<IntegerType const>(256)}}); |
|
|
{"value", make_shared<IntegerType const>(256)}}); |
|
|
break; |
|
|
break; |
|
|
case Kind::TX: |
|
|
case Kind::TX: |
|
|
m_members = MemberList({{"origin", make_shared<IntegerType const>(0, IntegerType::Modifier::ADDRESS)}, |
|
|
m_members = MemberList({{"origin", make_shared<IntegerType const>(0, IntegerType::Modifier::ADDRESS)}, |
|
|
{"gas", make_shared<IntegerType const>(256)}, |
|
|
|
|
|
{"gasprice", make_shared<IntegerType const>(256)}}); |
|
|
{"gasprice", make_shared<IntegerType const>(256)}}); |
|
|
break; |
|
|
break; |
|
|
default: |
|
|
default: |
|
|