/** * Retrieves the active side-effect analysis */ public SideEffectAnalysis getSideEffectAnalysis() { if (!hasSideEffectAnalysis()) { setSideEffectAnalysis(new SideEffectAnalysis(getPointsToAnalysis(), getCallGraph())); } return activeSideEffectAnalysis; }
/** Retrieves the active side-effect analysis */ public SideEffectAnalysis getSideEffectAnalysis() { if(!hasSideEffectAnalysis()) { setSideEffectAnalysis( new SideEffectAnalysis( getPointsToAnalysis(), getCallGraph() ) ); } return activeSideEffectAnalysis; }
/** Retrieves the active side-effect analysis */ public SideEffectAnalysis getSideEffectAnalysis() { if(!hasSideEffectAnalysis()) { setSideEffectAnalysis( new SideEffectAnalysis( getPointsToAnalysis(), getCallGraph() ) ); } return activeSideEffectAnalysis; }