org.evosuite.assertion

Class Assertion

java.lang.Object

org.evosuite.assertion.Assertion

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

ArrayEqualsAssertion, CompareAssertion, EqualsAssertion, InspectorAssertion, NullAssertion, PrimitiveAssertion, PrimitiveFieldAssertion, SameAssertion

public abstract class Assertion
extends Object
implements Serializable

Abstract class of an executable code assertion

Author:

Gordon Fraser

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected String	comment Assertion Comment
protected Set<Mutation>	killedMutants
protected static org.slf4j.Logger	logger Constant logger
protected VariableReference	source Variable on which the assertion is made
protected Statement	statement Statement to which the assertion is added
protected Object	value Expected value of variable

Constructor Summary

Constructors

Constructor and Description
Assertion()

Method Summary

Modifier and Type	Method and Description
void	addKilledMutation(Mutation m)
void	changeClassLoader(ClassLoader loader)
Assertion	clone() Return a copy of the assertion
Assertion	clone(TestCase newTestCase) Return a copy of the assertion, which is valid in newTestCase
abstract Assertion	copy(TestCase newTestCase, int offset) Return a copy of the assertion, which is valid in newTestCase
boolean	equals(Object obj)
abstract boolean	evaluate(Scope scope) Determine if assertion holds in current scope
abstract String	getCode() This method returns the Java Code
String	getComment()
Set<Mutation>	getKilledMutations()
Set<VariableReference>	getReferencedVariables() Return all the variables that are part of this assertion
VariableReference	getSource() Getter for source variable
Statement	getStatement() Getter for statement to which assertion is added
Object	getValue() Getter for value object
boolean	hasComment()
int	hashCode()
boolean	isValid() Self-check
void	setComment(String comment)
void	setSource(VariableReference var)
void	setStatement(Statement statement) Setter for statement to which assertion is added
void	setValue(Object value)

Methods inherited from class java.lang.Object

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

Field Detail

source

protected VariableReference source

Variable on which the assertion is made

value

protected Object value

Expected value of variable

statement

protected Statement statement

Statement to which the assertion is added

comment

protected String comment

Assertion Comment

killedMutants

protected transient Set<Mutation> killedMutants

logger

protected static final org.slf4j.Logger logger

Constant logger

Constructor Detail

Assertion

public Assertion()

Method Detail

hasComment

public boolean hasComment()

setComment

public void setComment(String comment)

getComment

public String getComment()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

addKilledMutation

public void addKilledMutation(Mutation m)

getKilledMutations

public Set<Mutation> getKilledMutations()

setStatement

public void setStatement(Statement statement)

Setter for statement to which assertion is added

Parameters:

statement - a Statement object.

getStatement

public Statement getStatement()

Getter for statement to which assertion is added

Returns:

a Statement object.

getSource

public VariableReference getSource()

Getter for source variable

Returns:

a VariableReference object.

setSource

public void setSource(VariableReference var)

getValue

public Object getValue()

Getter for value object

Returns:

a Object object.

setValue

public void setValue(Object value)

getCode

public abstract String getCode()

This method returns the Java Code

Returns:

a String object.

clone

public final Assertion clone()

Return a copy of the assertion

Overrides:

clone in class Object

clone

public Assertion clone(TestCase newTestCase)

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

Parameters:

newTestCase - a TestCase object.

Returns:

a Assertion object.

copy

public abstract Assertion copy(TestCase newTestCase,
                               int offset)

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

Parameters:

newTestCase - a TestCase object.

offset - a int.

Returns:

a Assertion object.

evaluate

public abstract boolean evaluate(Scope scope)

Determine if assertion holds in current scope

Parameters:

scope - The scope of the test case execution

Returns:

a boolean.

getReferencedVariables

public Set<VariableReference> getReferencedVariables()

Return all the variables that are part of this assertion

Returns:

a Set object.

isValid

public boolean isValid()

Self-check

Returns:

a boolean.

changeClassLoader

public void changeClassLoader(ClassLoader loader)