public interface ObservableControlFlowGraph
| Modifier and Type | Method and Description |
|---|---|
void |
addPredsOfListener(PredecessorListener l) |
void |
addSuccsOfListener(SuccessorListener l) |
void |
step(Statement curr,
Statement succ) |
void |
unregisterAllListeners() |
void addPredsOfListener(PredecessorListener l)
void addSuccsOfListener(SuccessorListener l)
void unregisterAllListeners()
Copyright © 2024. All rights reserved.