makes sure that after source the statement target gets executed . concode_field_sep Map<Statement,Statement[]> choices concode_elem_sep Map<Statement,Statement> links concode_elem_sep Map<Statement,Statement> parents concode_elem_sep Set<Statement> flowEnd concode_elem_sep Map<Statement,Statement[]> lines concode_elem_sep Statement source concode_elem_sep List<FlowNode> targets concode_elem_sep List<Statement> statements concode_elem_sep List<FlowNode> graph concode_elem_sep Map<String,Statement> labeled concode_elem_sep boolean marked concode_elem_sep FlowNode entry concode_elem_sep boolean flowEnd concode_field_sep List<FlowNode> getGraph concode_elem_sep void line concode_elem_sep boolean checkReturnsAlways concode_elem_sep boolean checkReturnsAlways concode_elem_sep Statement labeled concode_elem_sep void toGraph concode_elem_sep void follow concode_elem_sep void follow concode_elem_sep boolean checkReturnsSometimes concode_elem_sep boolean checkReturnsSometimes concode_elem_sep boolean unmark concode_elem_sep void setFlowEnd concode_elem_sep Statement[] trim concode_elem_sep Statement getSource concode_elem_sep String toString concode_elem_sep FlowNode getNode concode_elem_sep void choice concode_elem_sep void connect
void function ( Statement arg0 , Statement arg1 ) { if ( arg1 != null ) { links . put ( arg0 , arg1 ) ; } }