public static string MethodReplacementObjectiveNameTemplate(string className, int line, int index)
{
var name = METHOD_REPLACEMENT + "_at_" + ClassName.Get(className).GetFullNameWithDots() +
"_" + PadNumber(line) + "_" + index;
return(name); //.intern();
}
IDictionary <int, IDictionary <int, IDictionary <bool, string> > > >(); //TODO: capacity 10_000
public static string BranchObjectiveName(string className, int line, int branchId, bool thenBranch)
{
var m0 =
BranchCache.ComputeIfAbsent(className,
k => new ConcurrentDictionary <int,
IDictionary <int, IDictionary <bool, string> > >()); //TODO: capacity 10_000
var m1 = m0.ComputeIfAbsent(line,
k => new ConcurrentDictionary <int, IDictionary <bool, string> >()); //TODO: capacity 10
var
m2 = m1.ComputeIfAbsent(branchId, k => new ConcurrentDictionary <bool, string>()); //TODO: capacity 2
return(m2.ComputeIfAbsent(thenBranch, k => {
var name = BRANCH + "_at_" +
ClassName.Get(className).GetFullNameWithDots()
+ "_at_line_" + PadNumber(line) + "_position_" + branchId;
if (thenBranch)
{
name += TRUE_BRANCH;
}
else
{
name += FALSE_BRANCH;
}
return name;
}));
}
public static string LineObjectiveName(string className, int line)
{
var map =
LineCache.ComputeIfAbsent(className,
c => new ConcurrentDictionary <int, string>()); //TODO: capacity 1000
return(map.ComputeIfAbsent(line,
l => LINE + "_at_" + ClassName.Get(className).GetFullNameWithDots() + "_" + PadNumber(line)));
// string name = LINE + "_at_" + ClassName.get(className).getFullNameWithDots() + "_" + padNumber(line);
// return name;//.intern();
}
public static string SuccessCallObjectiveName(string className, int line, int index)
{
var m0 =
CacheSuccessCall.ComputeIfAbsent(className,
c => new ConcurrentDictionary <int, IDictionary <int, string> >()); //TODO: capacity 10_000
var
m1 = m0.ComputeIfAbsent(line, l => new ConcurrentDictionary <int, string>()); //TODO: capacity 10
return(m1.ComputeIfAbsent(index, i =>
SUCCESS_CALL + "_at_" + ClassName.Get(className).GetFullNameWithDots() +
"_" + PadNumber(line) + "_" + index));
}
public static string ClassObjectiveName(string className)
{
return(CacheClass.ComputeIfAbsent(className, c => CLASS + "_" + ClassName.Get(c).GetFullNameWithDots()));
//string name = CLASS + "_" + ClassName.get(className).getFullNameWithDots();
//return name;//.intern();
}