Interface ICFGOwnerContext
- All Known Subinterfaces:
IDMethodContext,IVariableInformationProvider,IVariableInformationProvider
public interface ICFGOwnerContext
Definition of a context owning or managing a control flow graph. The context may provide
additional information (such as variable names) not present in a CFG.
-
Method Summary
-
Method Details
-
getName
Get a variable name by id.- Parameters:
id-- Returns:
-
getSame
Get the copies of a variable having the provided id.- Parameters:
id- a variable id (original or copy)- Returns:
- a set of all variables that represent the "same" provided variable
-