Coverage for skema/metal/model_linker/skema_model_linker/walkers/petrinet.py: 80%

5 statements  

« prev     ^ index     » next       coverage.py v7.5.0, created at 2024-04-30 17:15 +0000

1from typing import Optional, Any 

2 

3from . import JsonDictWalker 

4 

5 

6class PetriNetWalker(JsonDictWalker): 

7 

8 def _filter(self, obj_name: Optional[str], obj: Any, index: Optional[int]) -> bool: 

9 return obj_name in {"states", "parameters"}