pull/703/head
Josselin 4 years ago
parent eabcc49b6a
commit 3368b52a24
  1. 20
      slither/core/source_mapping/source_mapping.py

@ -9,16 +9,16 @@ class SourceMapping(Context):
super().__init__()
# TODO create a namedtuple for the source mapping rather than a dict
self._source_mapping: Optional[Dict] = None
self._start: Optional[int] = None
self._length: Optional[int] = None
self._filename_used: Optional[str] = None
self._filename_relative: Optional[str] = None
self._filename_absolute: Optional[str] = None
self._filename_short: Optional[str] = None
self._is_dependency: Optional[bool] = None
self._lines: Optional[List[int]] = None
self._starting_column: Optional[int] = None
self._ending_column: Optional[int] = None
# self._start: Optional[int] = None
# self._length: Optional[int] = None
# self._filename_used: Optional[str] = None
# self._filename_relative: Optional[str] = None
# self._filename_absolute: Optional[str] = None
# self._filename_short: Optional[str] = None
# self._is_dependency: Optional[bool] = None
# self._lines: Optional[List[int]] = None
# self._starting_column: Optional[int] = None
# self._ending_column: Optional[int] = None
@property
def source_mapping(self) -> Optional[Dict]:

Loading…
Cancel
Save