Add interface for additional Dim checks

[aschaal]

Checks can be done by extra scripts. But they need to load all Dim files which can take time if there are 100k of requirements.

Hook the checks into "dim check" dynamically.

From @JTiefnig:

Define a Ruby interface for doing additional checks.

Maybe adding an array in the config file with Ruby files, which contain these checks.
In consistency-check, these files could be loaded and executed, e.g.: (pseudo code):

check_files.each do |c|
  result = load(c).call(“check”, requirements, original_data)
  if result.value != 0
     log…
     exit…
  end
end

This will safe a lot of time and enables the projects to add checks without the need to change the verifier and all requirement engineers have that automatically on their local machines.

Example checks:

• ASIL_A is not used
• developer is not empty

[aschaal]

From @sudeeptarlekar:

I would be bit risky as user can write anything and using eval is security issue.

Add an option in the config file, something like scripts which will accept the list of Ruby files.
These scripts should be executed only when Dim file loading is (or when all the checks are) finished.

If checks fail, just exit with error, no rollback or cleanup.

Add a warning, that changes made to Dim file are not checked during script execution, user must re-load Dim file to validate.