public void Match(SymbolicReference.ApplyingContext context, SymbolicReference rootSummaryEntity)
{
if (IsConstAfterSimplification())
{
return;
}
MaterializeFields();
if (IsConstAfterSimplification())
{
return;
}
//MergeEntities()
rootSummaryEntity.Match(context, entities[0]);
}
public void Apply(SymbolicReference.ApplyingContext context, SymbolicReference rootSummaryEntity, DataFlowAnalysisResult result)
{
if (IsConstAfterSimplification())
{
return;
}
MaterializeFields();
if (IsConstAfterSimplification())
{
return;
}
for (int i = 0; i < entities.Length; i++)
{
var entity = entities[i];
entity.Apply(context, rootSummaryEntity, result);
}
}
