org.evosuite.symbolic.expr

Class StringConstraint

java.lang.Object

org.evosuite.symbolic.expr.Constraint<String>

org.evosuite.symbolic.expr.StringConstraint

All Implemented Interfaces:

Serializable

public final class StringConstraint
extends Constraint<String>

See Also:

Serialized Form

Field Summary

Fields inherited from class org.evosuite.symbolic.expr.Constraint

size

Constructor Summary

Constructors

Constructor and Description
StringConstraint(StringComparison left, Comparator comp, IntegerConstant right)

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(ConstraintVisitor<K,V> v, V arg)
Comparator	getComparator() getComparator
Expression<?>	getLeftOperand() getLeftOperand
Expression<?>	getRightOperand() getRightOperand
Constraint<String>	negate()
String	toString()

Methods inherited from class org.evosuite.symbolic.expr.Constraint

equals, getConstants, getSize, getVariables, hashCode, isSolveable, normalize

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

StringConstraint

public StringConstraint(StringComparison left,
                        Comparator comp,
                        IntegerConstant right)

Method Detail

getComparator

public Comparator getComparator()

Description copied from class: Constraint

getComparator

Specified by:

getComparator in class Constraint<String>

Returns:

a Comparator object.

getLeftOperand

public Expression<?> getLeftOperand()

Description copied from class: Constraint

getLeftOperand

Specified by:

getLeftOperand in class Constraint<String>

Returns:

a Expression object.

getRightOperand

public Expression<?> getRightOperand()

Description copied from class: Constraint

getRightOperand

Specified by:

getRightOperand in class Constraint<String>

Returns:

a Expression object.

toString

public String toString()

Overrides:

toString in class Object

negate

public Constraint<String> negate()

Specified by:

negate in class Constraint<String>

accept

public <K,V> K accept(ConstraintVisitor<K,V> v,
                      V arg)

Specified by:

accept in class Constraint<String>