Skip to main content

valueIsPositiveZero

Short summary​

This assertion method checks if the current value is +0.0 for details check IEEE 754

Parameters​

NameTypeCommentKind
currentValueREALcurrent value to checkinput
messageAssertMessagemessage if the assertion is falseinput

Code​

Declaration​

METHOD valueIsPositiveZero
VAR_INPUT
	(* current value to check *)
	currentValue	:REAL;
	(* message if the assertion is false *)
	message			:AssertMessage;
END_VAR
VAR
	(* just to cast ``currentValue`` *)
	currentValueAsDWord	:POINTER TO DWORD;
END_VAR

Implementation​

currentValueAsDWord := ADR(currentValue);
IF (currentValueAsDWord^ <> THIS^.ZERO) THEN
	THIS^.assertionWasWrong(message, THIS^.getDebugInfo('valueIsPositiveZero'));
END_IF