* {@link Vertex#TYPE_OUTPUT_PORT} or {@link Vertex#TYPE_PORT}.
* @return A list of port names.
*/
private List<String> getPorts(IFile sourceFile, String[] portTypes) {
// refinement graph
GenericGraphParser parser = new GenericGraphParser(GraphitiModelPlugin
.getDefault().getConfigurations());
Graph graph = null;
try {
graph = parser.parse(sourceFile);
} catch (IncompatibleConfigurationFile e) {
System.out.println(e.getMessage());
}
// get ports from graph