summaryrefslogtreecommitdiffstats
path: root/org.eclipse.cdt.codan.core/src/org/eclipse/cdt/codan/core/model/cfg/IBasicBlock.java
blob: 406ab84f3f9ae3ef5e1fb627866cb4544d4659d5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
/*******************************************************************************
 * Copyright (c) 2010 Alena Laskavaia and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     Alena Laskavaia - initial API and implementation
 *******************************************************************************/
package org.eclipse.cdt.codan.core.model.cfg;

/**
 * Control flow graph's basic block node - super interface of all nodes.
 * It has set on incoming nodes and outgoing nodes.
 * <p/>
 * 
 * @noextend This interface is not intended to be extended by clients.
 * @noimplement This interface is not intended to be implemented by clients.
 */
public interface IBasicBlock {
	/**
	 * Incoming nodes - nodes that executed immediately before this one
	 * 
	 * @return array of incoming nodes, empty array of none
	 */
	IBasicBlock[] getIncomingNodes();

	/**
	 * Outgoing nodes - where control would be passed. Can be more than one if
	 * node is condition.
	 * 
	 * @return array of outgoing nodes, empty of none
	 */
	IBasicBlock[] getOutgoingNodes();

	/**
	 * @return size of array of incoming nodes
	 */
	int getIncomingSize();

	/**
	 * @return size of array of outgoing nodes
	 */
	int getOutgoingSize();
}