org.evosuite.assertion.SameTraceEntry 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 java.util.HashMap;
import java.util.HashSet;
import java.util.Map;
import java.util.Set;
import org.evosuite.Properties;
import org.evosuite.regression.ObjectDistanceCalculator;
import org.evosuite.testcase.variable.VariableReference;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

/**
 * SameTraceEntry class.
 *
 * @author Gordon Fraser
 */
public class SameTraceEntry implements OutputTraceEntry {

  private final static Logger logger = LoggerFactory.getLogger(SameTraceEntry.class);
  private final VariableReference var;
  private final Map equalityMap = new HashMap();
  private final Map equalityMapIntVar = new HashMap();

  /**
   * Constructor for SameTraceEntry.
   *
   * @param var a {@link org.evosuite.testcase.variable.VariableReference} object.
   */
  public SameTraceEntry(VariableReference var) {
    this.var = var;
  }

  /**
   * addEntry
   *
   * @param other a {@link org.evosuite.testcase.variable.VariableReference} object.
   * @param value a boolean.
   */
  public void addEntry(VariableReference other, boolean value) {
    equalityMap.put(other, value);
    equalityMapIntVar.put(other.getStPosition(), other);
  }

	/* (non-Javadoc)
   * @see org.evosuite.assertion.OutputTraceEntry#differs(org.evosuite.assertion.OutputTraceEntry)
	 */

  /**
   * {@inheritDoc}
   */
  @Override
  public boolean differs(OutputTraceEntry other) {
    if (other instanceof SameTraceEntry) {
      if (!((SameTraceEntry) other).var.equals(var)) {
        return false;
      }

      SameTraceEntry otherEntry = (SameTraceEntry) other;
      for (VariableReference otherVar : equalityMap.keySet()) {
        if (!otherEntry.equalityMap.containsKey(otherVar)) {
          continue;
        }

        if (!otherEntry.equalityMap.get(otherVar).equals(equalityMap.get(otherVar))) {
          return true;
        }
      }

    }
    return false;
  }

	/* (non-Javadoc)
   * @see org.evosuite.assertion.OutputTraceEntry#getAssertions(org.evosuite.assertion.OutputTraceEntry)
	 */

  /**
   * {@inheritDoc}
   */
  @Override
  public Set getAssertions(OutputTraceEntry other) {
    Set assertions = new HashSet();

    if (other instanceof SameTraceEntry) {
      SameTraceEntry otherEntry = (SameTraceEntry) other;
      for (Integer otherVar : equalityMapIntVar.keySet()) {
        if (!otherEntry.equalityMapIntVar.containsKey(otherVar)) {
          continue;
        }

        if (!otherEntry.equalityMap.get(otherEntry.equalityMapIntVar.get(otherVar))
            .equals(equalityMap.get(equalityMapIntVar.get(otherVar)))) {
          if (Properties.isRegression()) {
            double distance = ObjectDistanceCalculator
                .getObjectDistance(equalityMap.get(equalityMapIntVar.get(otherVar)),
                    otherEntry.equalityMap.get(otherEntry.equalityMapIntVar.get(otherVar)));
            if (distance == 0) {
              return assertions;
            }
          }
          SameAssertion assertion = new SameAssertion();
          assertion.source = var;
          assertion.dest = equalityMapIntVar.get(otherVar);
          assertion.value = equalityMap.get(equalityMapIntVar.get(otherVar));
          if (Properties.isRegression()) {
            assertion.setComment(
                "// (Same) Original Value: " + equalityMap.get(equalityMapIntVar.get(otherVar))
                    + " | Regression Value: " + otherEntry.equalityMap
                    .get(otherEntry.equalityMapIntVar.get(otherVar)));
          }
          assertions.add(assertion);
          assert (assertion.isValid());
        }
      }
    }
    return assertions;
  }

	/* (non-Javadoc)
   * @see org.evosuite.assertion.OutputTraceEntry#getAssertions()
	 */

  /**
   * {@inheritDoc}
   */
  @Override
  public Set getAssertions() {
    Set assertions = new HashSet();

    for (VariableReference otherVar : equalityMap.keySet()) {
      if (otherVar == null) {
        continue;
      }

      SameAssertion assertion = new SameAssertion();
      assertion.source = var;
      assertion.dest = otherVar;
      assertion.value = equalityMap.get(otherVar);
      assertions.add(assertion);
      assert (assertion.isValid());
    }
    return assertions;
  }

	/* (non-Javadoc)
	 * @see org.evosuite.assertion.OutputTraceEntry#isDetectedBy(org.evosuite.assertion.Assertion)
	 */

  /**
   * {@inheritDoc}
   */
  @Override
  public boolean isDetectedBy(Assertion assertion) {
    if (assertion instanceof SameAssertion) {
      SameAssertion ass = (SameAssertion) assertion;
      if (ass.source.equals(var)) {
        if (Properties.isRegression()) {
          if (equalityMapIntVar.get(ass.dest.getStPosition()) != null &&
              equalityMap.get(equalityMapIntVar.get(ass.dest.getStPosition())) != null) {
            return !equalityMap.get(equalityMapIntVar.get(ass.dest.getStPosition()))
                .equals(ass.value);
          }
        } else {
          if (equalityMap.containsKey(ass.dest)) {
            return !equalityMap.get(ass.dest).equals(ass.value);
          }
        }
      }
    }
    return false;
  }

	/* (non-Javadoc)
	 * @see org.evosuite.assertion.OutputTraceEntry#cloneEntry()
	 */

  /**
   * {@inheritDoc}
   */
  @Override
  public OutputTraceEntry cloneEntry() {
    SameTraceEntry copy = new SameTraceEntry(var);
    copy.equalityMap.putAll(equalityMap);
    copy.equalityMapIntVar.putAll(equalityMapIntVar);
    return copy;
  }

}