|
|
@ -20,6 +20,18 @@ class TypeInformation(Type): |
|
|
|
def type(self) -> "Contract": |
|
|
|
def type(self) -> "Contract": |
|
|
|
return self._type |
|
|
|
return self._type |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@property |
|
|
|
|
|
|
|
def storage_size(self) -> Tuple[int, bool]: |
|
|
|
|
|
|
|
""" |
|
|
|
|
|
|
|
32 is incorrect, as Type(x) return a kind of structure that can contain |
|
|
|
|
|
|
|
an arbitrary number of value |
|
|
|
|
|
|
|
As Type(x) cannot be directly stored, we are assuming that the correct storage size |
|
|
|
|
|
|
|
will be handled by the fields access |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
:return: |
|
|
|
|
|
|
|
""" |
|
|
|
|
|
|
|
return 32, True |
|
|
|
|
|
|
|
|
|
|
|
def __str__(self): |
|
|
|
def __str__(self): |
|
|
|
return f"type({self.type.name})" |
|
|
|
return f"type({self.type.name})" |
|
|
|
|
|
|
|
|
|
|
|