internal override PointsToInstructionVisitor GetInstructionVisitor(PointsToInferer pti)
{
return(new ObjectConsistencyInstructionVisitor((ObjectConsistencyInferer)pti));
}
/// <summary>
/// Constructor
/// </summary>
/// <param name="pta"></param>
public ObjectConsistencyInstructionVisitor(PointsToInferer pta) : base(pta)
{
}
internal override PointsToInstructionVisitor GetInstructionVisitor(PointsToInferer pti)
{
return new ExposureVisitor((ExposureInferer )pti);
}
public ExposureVisitor(PointsToInferer pta)
: base(pta)
{
}
internal override PointsToInstructionVisitor GetInstructionVisitor(PointsToInferer pti)
{
return(new ExposureVisitor((ExposureInferer )pti));
}
public ExposureVisitor(PointsToInferer pta)
: base(pta)
{
}
/// <summary>
/// Constructor
/// </summary>
/// <param name="pta"></param>
public PointsToInstructionVisitor(PointsToInferer pta)
{
this.pta = pta;
PointsToAnalysis = this.pta.pointsToStateAnalysys;
}
protected virtual void AfterComputeInfererForMethod(Method m, PointsToInferer pta)
{
}
internal virtual PointsToInstructionVisitor GetInstructionVisitor(PointsToInferer pti)
{
return new PointsToInstructionVisitor(pti);
}
protected override void AfterComputeInfererForMethod(Method m, PointsToInferer pta)
{
//Save the results
PointsToAndWriteEffectsInferer ptwe = (PointsToAndWriteEffectsInferer)pta;
SetPurity(m, ptwe.IsPure);
base.AfterComputeInfererForMethod(m, pta);
}
internal override PointsToInstructionVisitor GetInstructionVisitor(PointsToInferer pti)
{
return new PointsToAndWriteEffectsInstructionVisitor((PointsToAndWriteEffectsInferer)pti);
}
/// <summary>
/// Constructor
/// </summary>
/// <param name="pta"></param>
public ObjectConsistencyInstructionVisitor (PointsToInferer pta): base(pta)
{
}
internal override PointsToInstructionVisitor GetInstructionVisitor(PointsToInferer pti)
{
return new ObjectConsistencyInstructionVisitor ((ObjectConsistencyInferer)pti);
}
