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
-