public void GetResult_ParameterizedMethodSymbolTableBuiltWithOverlappingEnvironment_FragmentFieldIsEmptyFragment()
{
Method sampleMethod = TestHelper.GetSample <SymbolTableBuilderSample>("ParameterizedMethod", _floatType, _objectType);
EmbeddedInitialSymbolTableBuilder embeddedInitialSymbolTableBuilder = new EmbeddedInitialSymbolTableBuilder(sampleMethod, _blacklistManager, _environment);
_environment.MakeSafe("_fragmentField", Fragment.CreateNamed("ThisShouldBeIgnored"));
ISymbolTable resultSymbolTable = embeddedInitialSymbolTableBuilder.GetResult();
Assert.That(resultSymbolTable.GetFragmentType("_fragmentField"), Is.EqualTo(Fragment.CreateEmpty()));
}
private void MergePostConditions(ISymbolTable adjustedContext, ISymbolTable postConditionSymbolTable)
{
foreach (string symbol in postConditionSymbolTable.Symbols)
{
adjustedContext.MakeSafe(symbol, postConditionSymbolTable.GetFragmentType(symbol));
}
}
private void MergeBlockAssignments(ISymbolTable context, ISymbolTable adjustedContext, BlockAssignment[] blockAssignments)
{
foreach (var blockAssignment in blockAssignments)
{
Fragment propagatedFragmentType = context.GetFragmentType(blockAssignment.SourceSymbol);
adjustedContext.MakeSafe(blockAssignment.TargetSymbol, propagatedFragmentType);
}
}
private void InferArrayFragment(AssignmentStatement assignmentStatement, string targetName, HandleContext context)
{
ISymbolTable symbolTable = context.SymbolTable;
Fragment targetFragmentType = symbolTable.InferFragmentType(assignmentStatement.Source);
if (context.ArrayFragmentTypeDefined[targetName] == false)
{
symbolTable.MakeSafe(targetName, targetFragmentType);
context.ArrayFragmentTypeDefined[targetName] = true;
}
else if (symbolTable.GetFragmentType(targetName) == Fragment.CreateLiteral())
{
symbolTable.MakeSafe(targetName, targetFragmentType);
}
else if (symbolTable.GetFragmentType(targetName) != targetFragmentType && targetFragmentType != Fragment.CreateLiteral())
{
symbolTable.MakeUnsafe(targetName);
}
}
private void PassReturnFragmentTypeToContext(Expression operand, Parameter parameter)
{
string symbol = IntrospectionUtility.GetVariableName(operand);
Fragment fragmentType = FragmentUtility.GetFragmentType(parameter.Attributes);
if (FragmentUtility.ContainsFragment(parameter.Attributes))
{
_symbolTable.MakeSafe(symbol, fragmentType);
}
else
{
_symbolTable.MakeUnsafe(symbol);
}
}
private void SetSymbolFragmentType(string name, AttributeNodeCollection attributes)
{
if (!_result.Contains(name))
{
if (FragmentUtility.ContainsFragment(attributes))
{
Fragment fragmentType = FragmentUtility.GetFragmentType(attributes);
_result.MakeSafe(name, fragmentType);
}
else
{
_result.MakeUnsafe(name);
}
}
}
public void Analyze(MethodCall methodCall, ISymbolTable context, List <IPreCondition> preConditions)
{
Method method = IntrospectionUtility.ExtractMethod(methodCall);
if (Analyzes(method) && methodCall.Callee is MemberBinding)
{
MemberBinding memberBinding = (MemberBinding)methodCall.Callee;
if (IsFragmentParameterInferenceMethod(method))
{
string variableName;
if (IntrospectionUtility.IsVariable(memberBinding.TargetObject, out variableName))
{
Fragment parameterFragment = ParameterFragmentUtility.ParameterFragmentIntersection(methodCall, context);
Fragment targetObjectFragment = context.GetFragmentType(variableName);
if (targetObjectFragment == Fragment.CreateLiteral() || targetObjectFragment.Undefined)
{
context.MakeSafe(variableName, parameterFragment);
}
else
{
if (targetObjectFragment == Fragment.CreateEmpty() && parameterFragment != Fragment.CreateLiteral()) // && parameterFragment != Fragment.CreateEmpty()
{
ProblemMetadata problemMetadata = new ProblemMetadata(methodCall.UniqueKey, methodCall.SourceContext, parameterFragment, targetObjectFragment);
IPreCondition precondition = new CustomInferencePreCondition(variableName, parameterFragment, problemMetadata);
preConditions.Add(precondition);
}
else if (!FragmentUtility.FragmentTypesAssignable(parameterFragment, targetObjectFragment))
{
context.MakeUnsafe(variableName);
}
}
}
}
else if (!IsSafeMethod(method))
{
string variableName;
if (IntrospectionUtility.IsVariable(memberBinding.TargetObject, out variableName))
{
context.MakeUnsafe(variableName);
}
}
}
}
private void SetSymbolFragmentType(ISymbolTable context)
{
context.MakeSafe (_symbol, _fragment);
}
private void SetSymbolFragmentType(ISymbolTable context)
{
context.MakeSafe(_symbol, _fragment);
}
public void Analyze(MethodCall methodCall, ISymbolTable context, List<IPreCondition> preConditions)
{
Method method = IntrospectionUtility.ExtractMethod (methodCall);
if (Analyzes(method) && methodCall.Callee is MemberBinding)
{
MemberBinding memberBinding = (MemberBinding) methodCall.Callee;
if (IsFragmentParameterInferenceMethod (method))
{
string variableName;
if (IntrospectionUtility.IsVariable (memberBinding.TargetObject, out variableName))
{
Fragment parameterFragment = ParameterFragmentUtility.ParameterFragmentIntersection (methodCall, context);
Fragment targetObjectFragment = context.GetFragmentType (variableName);
if (targetObjectFragment == Fragment.CreateLiteral() || targetObjectFragment.Undefined)
{
context.MakeSafe (variableName, parameterFragment);
}
else
{
if (targetObjectFragment == Fragment.CreateEmpty() && parameterFragment != Fragment.CreateLiteral()) // && parameterFragment != Fragment.CreateEmpty()
{
ProblemMetadata problemMetadata = new ProblemMetadata(methodCall.UniqueKey, methodCall.SourceContext, parameterFragment, targetObjectFragment);
IPreCondition precondition = new CustomInferencePreCondition(variableName, parameterFragment, problemMetadata);
preConditions.Add(precondition);
}
else if (!FragmentUtility.FragmentTypesAssignable(parameterFragment, targetObjectFragment))
{
context.MakeUnsafe(variableName);
}
}
}
}
else if (!IsSafeMethod(method))
{
string variableName;
if (IntrospectionUtility.IsVariable(memberBinding.TargetObject, out variableName))
{
context.MakeUnsafe(variableName);
}
}
}
}
private void MergePostConditions(ISymbolTable adjustedContext, ISymbolTable postConditionSymbolTable)
{
foreach (string symbol in postConditionSymbolTable.Symbols)
{
adjustedContext.MakeSafe (symbol, postConditionSymbolTable.GetFragmentType (symbol));
}
}
private void MergeBlockAssignments(ISymbolTable context, ISymbolTable adjustedContext, BlockAssignment[] blockAssignments)
{
foreach (var blockAssignment in blockAssignments)
{
Fragment propagatedFragmentType = context.GetFragmentType (blockAssignment.SourceSymbol);
adjustedContext.MakeSafe (blockAssignment.TargetSymbol, propagatedFragmentType);
}
}
