org.evosuite.symbolic.vm.string

Class StartsWith

java.lang.Object

org.evosuite.symbolic.vm.SymbolicFunction

org.evosuite.symbolic.vm.string.StartsWith

Direct Known Subclasses:

StartsWith.StartsWith_S, StartsWith.StartsWith_SI

public abstract class StartsWith
extends SymbolicFunction

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StartsWith.StartsWith_S
static class	StartsWith.StartsWith_SI

Field Summary

Fields inherited from class org.evosuite.symbolic.vm.SymbolicFunction

env

Constructor Summary

Constructors

Constructor and Description
StartsWith(SymbolicEnvironment env, String desc)

Method Summary

Methods inherited from class org.evosuite.symbolic.vm.SymbolicFunction

beforeExecuteFunction, executeFunction, getConcArgument, getConcBooleanArgument, getConcBooleanRetVal, getConcByteArgument, getConcByteRetVal, getConcCharArgument, getConcCharRetVal, getConcDoubleArgument, getConcDoubleRetVal, getConcFloatArgument, getConcFloatRetVal, getConcIntArgument, getConcIntRetVal, getConcLongArgument, getConcLongRetVal, getConcReceiver, getConcRetVal, getConcShortArgument, getConcShortRetVal, getDesc, getName, getOwner, getSymbArgument, getSymbIntegerArgument, getSymbIntegerRetVal, getSymbRealArgument, getSymbRealRetVal, getSymbReceiver, getSymbRetVal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StartsWith

public StartsWith(SymbolicEnvironment env,
                  String desc)