org.evosuite.assertion

Class SameAssertion

java.lang.Object

org.evosuite.assertion.Assertion

org.evosuite.assertion.SameAssertion

All Implemented Interfaces:

Serializable

public class SameAssertion
extends Assertion

SameAssertion class.

Author:

Gordon Fraser

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected VariableReference	dest

Fields inherited from class org.evosuite.assertion.Assertion

comment, killedMutants, logger, source, statement, value

Constructor Summary

Constructors

Constructor and Description
SameAssertion()

Method Summary

Modifier and Type	Method and Description
Assertion	copy(TestCase newTestCase, int offset) Return a copy of the assertion, which is valid in newTestCase
boolean	equals(Object obj)
boolean	evaluate(Scope scope) Determine if assertion holds in current scope
String	getCode() This method returns the Java Code
VariableReference	getDest() Getter for the field dest.
Set<VariableReference>	getReferencedVariables() Return all the variables that are part of this assertion
int	hashCode()
void	setDest(VariableReference dest) Setter for the field dest.

Methods inherited from class org.evosuite.assertion.Assertion

addKilledMutation, changeClassLoader, clone, clone, getComment, getKilledMutations, getSource, getStatement, getValue, hasComment, isValid, setComment, setSource, setStatement, setValue

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

dest

protected VariableReference dest

Constructor Detail

SameAssertion

public SameAssertion()

Method Detail

getDest

public VariableReference getDest()

Getter for the field dest.

Returns:

a VariableReference object.

setDest

public void setDest(VariableReference dest)

Setter for the field dest.

Parameters:

dest - a VariableReference object.

getCode

public String getCode()

This method returns the Java Code

Specified by:

getCode in class Assertion

Returns:

a String object.

copy

public Assertion copy(TestCase newTestCase,
                      int offset)

Return a copy of the assertion, which is valid in newTestCase

Specified by:

copy in class Assertion

Parameters:

newTestCase - a TestCase object.

offset - a int.

Returns:

a Assertion object.

evaluate

public boolean evaluate(Scope scope)

Determine if assertion holds in current scope

Specified by:

evaluate in class Assertion

Parameters:

scope - The scope of the test case execution

Returns:

a boolean.

hashCode

public int hashCode()

Overrides:

hashCode in class Assertion

equals

public boolean equals(Object obj)

Overrides:

equals in class Assertion

getReferencedVariables

public Set<VariableReference> getReferencedVariables()

Return all the variables that are part of this assertion

Overrides:

getReferencedVariables in class Assertion

Returns:

a Set object.