code: public void setStrictFloatingPoint(boolean newStrictFloatingPoint)
  	{
  		boolean oldStrictFloatingPoint = strictFloatingPoint;
  		strictFloatingPoint = newStrictFloatingPoint;
  		if (eNotificationRequired())
  			eNotify(new ENotificationImpl(this, Notification.SET, TypesPackage.JVM_OPERATION__STRICT_FLOATING_POINT, oldStrictFloatingPoint, strictFloatingPoint));
  	}
docs: <!-- begin-user-doc -->
  <!-- end-user-doc -->
  @generated