Commit 290b8ff9 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Completed Herculean task: DMT statically type-safe

parent 4e7489b8
......@@ -186,10 +186,10 @@ types). This used to cover Dumpable C/Ada Types and OG headers.'''
def main() -> None:
if "-v" in sys.argv:
import pkg_resources
version = pkg_resources.require("dmt")[0].version
print("aadl2glueC v" + str(version))
sys.exit(1)
import pkg_resources # pragma: no cover
version = pkg_resources.require("dmt")[0].version # pragma: no cover
print("aadl2glueC v" + str(version)) # pragma: no cover
sys.exit(1) # pragma: no cover
if sys.argv.count("-o") != 0:
idx = sys.argv.index("-o")
......
......@@ -213,10 +213,10 @@ Where <files> is a list of ASN.1 and ACN files, and options can be:
def main():
if "-v" in sys.argv:
import pkg_resources
version = pkg_resources.require("dmt")[0].version
print("asn2aadlPlus v" + str(version))
sys.exit(1)
import pkg_resources # pragma: no cover
version = pkg_resources.require("dmt")[0].version # pragma: no cover
print("asn2aadlPlus v" + str(version)) # pragma: no cover
sys.exit(1) # pragma: no cover
global g_keepFiles
global g_privateHeapSize
......
......@@ -61,10 +61,10 @@ def usage(argsToTools: Dict[str, str]) -> None:
def main() -> None:
if "-v" in sys.argv:
import pkg_resources
version = pkg_resources.require("dmt")[0].version
print("asn2dataModel v" + str(version))
sys.exit(1)
import pkg_resources # pragma: no cover
version = pkg_resources.require("dmt")[0].version # pragma: no cover
print("asn2dataModel v" + str(version)) # pragma: no cover
sys.exit(1) # pragma: no cover
argsToTools = {
'toOG': 'OG',
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment