Skip to main content

valueIsPositiveInfinite

Short summary

This assertion method checks if the current value is positive infinite (infinity), for details check IEEE 754

Parameters

NameTypeCommentKind
currentValueLREALcurrent value to checkinput
messageAssertMessagemessage if the assertion is falseinput

Code

Declaration

METHOD valueIsPositiveInfinite
VAR_INPUT
(* current value to check *)
currentValue :LREAL;
(* message if the assertion is false *)
message :AssertMessage;
END_VAR

Implementation

IF (NOT THIS^.isValuePositiveInfinite(currentValue)) THEN
THIS^.assertionWasWrong(message, THIS^.getDebugInfo('valueIsPositiveInfinite'));
END_IF