public static AnalysisEntity Create(
InterproceduralCaptureId interproceduralCaptureId,
ITypeSymbol type,
PointsToAbstractValue instanceLocation)
{
return(new AnalysisEntity(interproceduralCaptureId, type, instanceLocation));
}
public static AnalysisEntity Create(
CaptureId captureId,
ITypeSymbol type,
ControlFlowGraph controlFlowGraph,
bool isLValueFlowCapture)
{
var interproceduralCaptureId = new InterproceduralCaptureId(captureId, controlFlowGraph, isLValueFlowCapture);
return(new AnalysisEntity(interproceduralCaptureId, type));
}
private AnalysisEntity(InterproceduralCaptureId captureId, ITypeSymbol capturedType, PointsToAbstractValue location)
: this(symbol : null, indices : ImmutableArray <AbstractIndex> .Empty, instanceReferenceOperationSyntax : null,
captureId : captureId, location : location, type : capturedType, parent : null, isThisOrMeInstance : false)
{
}
public static AbstractLocation CreateFlowCaptureLocation(InterproceduralCaptureId captureId, ITypeSymbol locationType, ImmutableStack <IOperation> creationCallStackOpt) => Create(creationOpt: null, creationCallStackOpt: creationCallStackOpt, analysisEntityOpt: null, symbolOpt: null, captureIdOpt: captureId, locationType: locationType);
