.Modelica_Requirements.Internal.getElements

Interface

function getElements
  import Modelica.Utilities.Strings.*;
  input String line;
  input Boolean violated "=true, if violated requirement";
  output String checkedComponentName "Full path name of checked component";
  output String requirementName "Last name of requirement model";
  output String requirementText "Text of requirement";
  output String firstFailureTime "Time instant of first failure (if violated=true; otherwise dummy";
end getElements;