private void addSuccessor(final int info, final Label successor) {
    """
	Adds a successor to the {@link #currentBlock currentBlock} block.
	
	@param info
	information about the control flow edge to be added.
	@param successor
	the successor block to be added to the current block.
    """
        // creates and initializes an Edge object...
        Edge b = new Edge();
        b.info = info;
        b.successor = successor;
        // ...and adds it to the successor list of the currentBlock block
        b.next = currentBlock.successors;
        currentBlock.successors = b;
    }
private void addSuccessor(final int info, final Label successor) {
        // creates and initializes an Edge object...
        Edge b = new Edge();
        b.info = info;
        b.successor = successor;
        // ...and adds it to the successor list of the currentBlock block
        b.next = currentBlock.successors;
        currentBlock.successors = b;
    }
private void addSuccessor ( final int info , final Label successor ) { // creates and initializes an Edge object... Edge b = new Edge ( ) ; b . info = info ; b . successor = successor ; // ...and adds it to the successor list of the currentBlock block b . next = currentBlock . successors ; currentBlock . successors = b ; }
Adds a successor to the {@link #currentBlock currentBlock} block.

@param info
information about the control flow edge to be added.
@param successor
the successor block to be added to the current block.
Adds a successor to the { @link #currentBlock currentBlock } block .