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);