.Modelica_Requirements.Internal.printViolationsToLogFile

Interface

impure function printViolationsToLogFile
  import Modelica.Utilities.Streams.print;
  input String logFile "Name of log file";
  input String checkedComponentName "Full path name of checked component";
  input String requirementName "Full path name of requirement model";
  input String requirementText "Text of requirement";
  input Boolean atLeastOneFailure "= true, if requirement is violated (at least one failure)";
  input Boolean untested "= true, if requirement is untested, otherwise requirement is tested and satisfied";
  input Modelica.Units.SI.Time firstFailureTime "Time instant of first failure (if atLeastOneFailure=true)";
  output Real ok "Dummy variable needed for sorting";
end printViolationsToLogFile;