org.eclipse.xtext.grammaranalysis.impl.NFAToDot Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of org.eclipse.xtend.standalone Show documentation

There is a newer version: 2.4.3

Show newest version

/*******************************************************************************
 * Copyright (c) 2009 itemis AG (http://www.itemis.eu) 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
 *
 *******************************************************************************/
package org.eclipse.xtext.grammaranalysis.impl;

import org.eclipse.xtext.AbstractElement;
import org.eclipse.xtext.GrammarToDot;
import org.eclipse.xtext.grammaranalysis.IGrammarNFAProvider;

/**
 * @author Moritz Eysholdt - Initial contribution and API
 */
public class NFAToDot extends GrammarToDot {

	protected IGrammarNFAProvider nfaProvider = new DefaultForwardNFAProvider();

	@Override
	protected Node drawAbstractElementTree(AbstractElement ele, Digraph d) {
		Node n = super.drawAbstractElementTree(ele, d);
		DefaultNFAState nfas = nfaProvider.getNFA(ele);

		for (DefaultNFATransition t : nfas.getOutgoing())
			d.add(drawFollowerEdge(ele, t, false));
		for (DefaultNFATransition t : nfas.getOutgoingAfterReturn())
			d.add(drawFollowerEdge(ele, t, true));

		if (nfas.getOutgoing().size() == 0
				&& nfas.getOutgoingAfterReturn().size() == 0 && !nfas.isEndState())
			n.setStyle("dotted");
		if (nfas.isEndState())
			n.put("peripheries", "2");
		return n;
	}

	protected Edge drawFollowerEdge(AbstractElement ele,
			DefaultNFATransition t, boolean isParent) {
		Edge e = new Edge(ele, t.getTarget().getGrammarElement());
		e.setLabel(String.valueOf(t.getPrecedence()));
		e.setStyle("dotted");
		if (isParent)
			e.put("arrowtail", "odot");
		if (t.isRuleCall())
			e.put("arrowhead", "onormalonormal");
		else
			e.put("arrowhead", "onormal");
		return e;
	}
}