org.evosuite.assertion

Class InspectorAssertion

java.lang.Object

org.evosuite.assertion.Assertion

org.evosuite.assertion.InspectorAssertion

All Implemented Interfaces:

Serializable

public class InspectorAssertion
extends Assertion

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected Inspector	inspector

Fields inherited from class org.evosuite.assertion.Assertion

comment, killedMutants, logger, source, statement, value

Constructor Summary

Constructors

Constructor and Description
InspectorAssertion()
InspectorAssertion(Inspector inspector, Statement statement, VariableReference source, Object value)

Method Summary

Modifier and Type	Method and Description
void	changeClassLoader(ClassLoader loader)
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
Inspector	getInspector() Getter for the field inspector.
int	hashCode()
boolean	isValid() Self-check

Methods inherited from class org.evosuite.assertion.Assertion

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

Methods inherited from class java.lang.Object

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

Field Detail

inspector

protected Inspector inspector

Constructor Detail

InspectorAssertion

public InspectorAssertion()

InspectorAssertion

public InspectorAssertion(Inspector inspector,
                          Statement statement,
                          VariableReference source,
                          Object value)

Method Detail

getInspector

public Inspector getInspector()

Getter for the field inspector.

Returns:

a Inspector 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.

getCode

public String getCode()

This method returns the Java Code

Specified by:

getCode in class Assertion

Returns:

a String 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

isValid

public boolean isValid()

Self-check

Overrides:

isValid in class Assertion

Returns:

a boolean.

changeClassLoader

public void changeClassLoader(ClassLoader loader)

Overrides:

changeClassLoader in class Assertion