• Home
• de.uni.freiburg.iig.telematik
• JAGAL
• 1.0.1
• source code
• AbstractLabeledTransitionSystemComponent.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

de.uni.freiburg.iig.telematik.jagal.visualization.flexible.AbstractLabeledTransitionSystemComponent Maven / Gradle / Ivy

package de.uni.freiburg.iig.telematik.jagal.visualization.flexible;

import de.uni.freiburg.iig.telematik.jagal.ts.labeled.abstr.AbstractEvent;
import de.uni.freiburg.iig.telematik.jagal.ts.labeled.abstr.AbstractLTSState;
import de.uni.freiburg.iig.telematik.jagal.ts.labeled.abstr.AbstractLabeledTransitionRelation;
import de.uni.freiburg.iig.telematik.jagal.ts.labeled.abstr.AbstractLabeledTransitionSystem;

public class AbstractLabeledTransitionSystemComponent, E extends AbstractEvent, S extends AbstractLTSState, R extends AbstractLabeledTransitionRelation, O extends Object> extends AbstractTransitionSystemComponent {

	private static final long serialVersionUID = 4091538764969398029L;
	private boolean useEventLabels = false;

	public AbstractLabeledTransitionSystemComponent(G ts) throws Exception {
		super(ts);
	}

	public boolean isUseEventLabels() {
		return useEventLabels;
	}

	public void setUseEventLabels(boolean useEventLabels) {
		this.useEventLabels = useEventLabels;
	}

	@Override
	protected String getEdgeLabel(R edge) {
		if (isUseEventLabels())
			return edge.getEvent().getLabel();
		return edge.getEvent().getName();
	}
}