org.evosuite.assertion.PrimitiveAssertion Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of evosuite-client Show documentation
The newest version!
/**
 * Copyright (C) 2010-2018 Gordon Fraser, Andrea Arcuri and EvoSuite
 * contributors
 *
 * This file is part of EvoSuite.
 *
 * EvoSuite is free software: you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License as published
 * by the Free Software Foundation, either version 3.0 of the License, or
 * (at your option) any later version.
 *
 * EvoSuite is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
 * Lesser Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with EvoSuite. If not, see .
 */
package org.evosuite.assertion;

import org.evosuite.testcase.TestCase;
import org.evosuite.testcase.execution.CodeUnderTestException;
import org.evosuite.testcase.execution.Scope;
import org.evosuite.utils.NumberFormatter;
public class PrimitiveAssertion extends Assertion {

	private static final long serialVersionUID = -3394333075511344913L;

	/** {@inheritDoc} */
	@Override
	public String getCode() {

		if (value == null) {
			return "assertNull(" + source.getName() + ");";
		} else if (source.getVariableClass().equals(float.class)) {
			return "assertEquals(" + NumberFormatter.getNumberString(value) + ", "
			        + source.getName() + ", 0.01F);";
		} else if (source.getVariableClass().equals(double.class)) {
			return "assertEquals(" + NumberFormatter.getNumberString(value) + ", "
			        + source.getName() + ", 0.01D);";
		} else if (value.getClass().isEnum()) {
			return "assertEquals(" + NumberFormatter.getNumberString(value) + ", "
			        + source.getName() + ");";
		} else if (source.isWrapperType()) {
			if (source.getVariableClass().equals(Float.class)) {
				return "assertEquals(" + NumberFormatter.getNumberString(value)
				        + "(float)" + source.getName() + ", 0.01F);";
			} else if (source.getVariableClass().equals(Double.class)) {
				return "assertEquals(" + NumberFormatter.getNumberString(value)
				        + "(double)" + source.getName() + ", 0.01D);";
			} else if (value.getClass().isEnum()) {
				return "assertEquals(" + NumberFormatter.getNumberString(value) + ", "
				        + source.getName() + ");";
			} else
				return "assertEquals(" + NumberFormatter.getNumberString(value) + ", ("
				        + NumberFormatter.getBoxedClassName(value) + ")"
				        + source.getName() + ");";
		} else
			return "assertEquals(" + NumberFormatter.getNumberString(value) + ", "
			        + source.getName() + ");";

	}

	/** {@inheritDoc} */
	@Override
	public Assertion copy(TestCase newTestCase, int offset) {
		PrimitiveAssertion s = new PrimitiveAssertion();
		s.source = source.copy(newTestCase, offset);
		s.value = value;
		s.comment = comment;
		s.killedMutants.addAll(killedMutants);
		return s;
	}

	/** {@inheritDoc} */
	@Override
	public boolean evaluate(Scope scope) {
		try {
			if (value != null)
				return value.equals(source.getObject(scope));
			else
				return source.getObject(scope) == null;
		} catch (CodeUnderTestException e) {
			throw new UnsupportedOperationException();
		}
	}

}