com.ibm.wala.dataflow.IFDS.PartiallyBalancedTabulationProblem Maven / Gradle / Ivy
/*
* Copyright (c) 2007 IBM Corporation.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*/
package com.ibm.wala.dataflow.IFDS;
/**
* A {@link TabulationProblem} with additional support for computing with partially balanced
* parentheses.
*
* @param type of node in the supergraph
* @param type of a procedure (like a box in an RSM)
* @param type of factoids propagated when solving this problem
*/
public interface PartiallyBalancedTabulationProblem extends TabulationProblem {
@Override
IPartiallyBalancedFlowFunctions getFunctionMap();
/**
* If n is reached by a partially balanced parenthesis, what is the entry node we should use as
* the root of the {@link PathEdge} to n? Note that the result must in fact be an entry
* node of the procedure containing n.
*/
T getFakeEntry(T n);
}