org.evosuite.testcase.ConstraintHelper Maven / Gradle / Ivy
/**
* Copyright (C) 2010-2018 Gordon Fraser, Andrea Arcuri and EvoSuite
* contributors
*
* This file is part of EvoSuite.
*
* EvoSuite is free software: you can redistribute it and/or modify it
* under the terms of the GNU Lesser General Public License as published
* by the Free Software Foundation, either version 3.0 of the License, or
* (at your option) any later version.
*
* EvoSuite is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with EvoSuite. If not, see klass, String methodName) throws IllegalArgumentException {
Inputs.checkNull(test, klass);
int counter = 0;
for (int i = 0; i < test.size(); i++) {
Statement st = test.getStatement(i);
if (st instanceof MethodStatement) {
MethodStatement ms = (MethodStatement) st;
GenericMethod gm = ms.getMethod();
if(gm.getDeclaringClass().equals(klass) && gm.getName().equals(methodName)){
counter++;
}
}
}
return counter;
}
/**
*
* @param test
* @param className
* @param methodName
* @return a negative value if it is not present
*/
public static int getLastPositionOfMethodCall(TestCase test, String className, String methodName, int lastPosition){
Inputs.checkNull(test,className,methodName);
int pos = -1;
for (int i = 0; i < lastPosition; i++) {
Statement st = test.getStatement(i);
if (st instanceof MethodStatement) {
MethodStatement ms = (MethodStatement) st;
GenericMethod gm = ms.getMethod();
if(gm.getDeclaringClass().getCanonicalName().equals(className) && gm.getName().equals(methodName)){
pos = i;
}
}
}
return pos;
}
/**
*
* @param s
* @param c
* @return an array of size 2
*/
public static String[] getClassAndMethod(String s, Class c) {
String klassName = null;
String methodName = null;
if (s.contains("#")) {
int pos = s.indexOf('#');
klassName = s.substring(0, pos);
methodName = s.substring(pos + 1, s.length());
} else {
klassName = c.getCanonicalName();
methodName = s;
}
return new String[]{klassName, methodName};
}
/**
* Retrieve all blacklisted methods in the test.
* This is based on the 'excludeOthers' constraint
*
* @param tc
* @return
* @throws IllegalArgumentException
*/
public static List getExcludedMethods(TestCase tc) throws IllegalArgumentException{
Inputs.checkNull(tc);
List list = new ArrayList<>();
for(int i=0; i declaringClass = ao.getDeclaringClass();
for(String excluded : constraints.excludeOthers()) {
String[] klassAndMethod = getClassAndMethod(excluded, declaringClass);
list.add(klassAndMethod);
}
}
return list;
}
public static Constraints getConstraints(Statement st){
if(st instanceof MethodStatement){
return ((MethodStatement) st).getMethod().getMethod().getAnnotation(Constraints.class);
} else if(st instanceof ConstructorStatement){
return ((ConstructorStatement)st).getConstructor().getConstructor().getAnnotation(Constraints.class);
} else {
return null;
}
}
public static boolean isNull(VariableReference vr, TestCase tc){
if(vr instanceof NullReference){
return true;
}
Statement varSource = tc.getStatement(vr.getStPosition());
if(varSource instanceof PrimitiveStatement){ //eg for String
Object obj = ((PrimitiveStatement)varSource).getValue();
if(obj==null){
return true;
}
}
return false;
}
/**
*
* @param vr
* @param tc
* @return a negative value if the variable is not bounded
*/
public static int getLastPositionOfBounded(VariableReference vr, TestCase tc){
Inputs.checkNull(vr,tc);
int p = vr.getStPosition();
int lastPos = -1;
for(int i=p+1; i