Skip to content
Lint

migrate to new m2isar metamodel based on class instead of dict #490

Sign in to view logs

migrate to new m2isar metamodel based on class instead of dict

migrate to new m2isar metamodel based on class instead of dict #490

Triggered via push February 11, 2025 05:24
@PhilippvKPhilippvK
pushed 0d7b322
align_m2_metamodel
Status Success
Total duration 19s
Artifacts –

style.yml

on: push
Run linters
9s
Run linters
Check for License headers
7s
Check for License headers
Fit to window
Zoom out
Zoom in

Annotations

6 errors
/home/runner/work/seal5/seal5/seal5/frontends/coredsl2_seal5/parser.py#L12
import pathlib import pickle import sys from m2isar import M2Error, M2SyntaxError -from m2isar.metamodel import (M2_METAMODEL_VERSION, M2Model, arch, behav, patch_model) +from m2isar.metamodel import M2_METAMODEL_VERSION, M2Model, arch, behav, patch_model from m2isar.metamodel.code_info import CodeInfoBase from . import expr_interpreter from .architecture_model_builder import ArchitectureModelBuilder from .behavior_model_builder import BehaviorModelBuilder from .importer import recursive_import
/home/runner/work/seal5/seal5/seal5/frontends/coredsl2_seal5/parser.py#L314
# op.statements.insert(0, pc_inc) op.statements = always_block_statements + op.statements instr_def.operation = op logger.info("dumping model") - with open(model_path / (abs_top_level.stem + '.m2isarmodel'), 'wb') as f: - model_obj = M2Model( - M2_METAMODEL_VERSION, - {}, - sets, - CodeInfoBase.database - ) + with open(model_path / (abs_top_level.stem + ".m2isarmodel"), "wb") as f: + model_obj = M2Model(M2_METAMODEL_VERSION, {}, sets, CodeInfoBase.database) pickle.dump(model_obj, f) if __name__ == "__main__": main()
seal5/transform/converter.py#L71
Local variable 'new_model' is assigned to but never used (F841)
seal5/transform/converter.py#L71
Local variable 'new_model' is assigned to but never used (F841)
/home/runner/work/seal5/seal5/seal5/frontends/coredsl2_seal5/parser.py#L12
import pathlib import pickle import sys from m2isar import M2Error, M2SyntaxError -from m2isar.metamodel import (M2_METAMODEL_VERSION, M2Model, arch, behav, patch_model) +from m2isar.metamodel import M2_METAMODEL_VERSION, M2Model, arch, behav, patch_model from m2isar.metamodel.code_info import CodeInfoBase from . import expr_interpreter from .architecture_model_builder import ArchitectureModelBuilder from .behavior_model_builder import BehaviorModelBuilder from .importer import recursive_import
/home/runner/work/seal5/seal5/seal5/frontends/coredsl2_seal5/parser.py#L314
# op.statements.insert(0, pc_inc) op.statements = always_block_statements + op.statements instr_def.operation = op logger.info("dumping model") - with open(model_path / (abs_top_level.stem + '.m2isarmodel'), 'wb') as f: - model_obj = M2Model( - M2_METAMODEL_VERSION, - {}, - sets, - CodeInfoBase.database - ) + with open(model_path / (abs_top_level.stem + ".m2isarmodel"), "wb") as f: + model_obj = M2Model(M2_METAMODEL_VERSION, {}, sets, CodeInfoBase.database) pickle.dump(model_obj, f) if __name__ == "__main__": main()