de.upb.swt.epctools.simulator.explicit
Class JoinConnector_DS

java.lang.Object
  de.upb.swt.epctools.simulator.explicit.Node_DS
      de.upb.swt.epctools.simulator.explicit.JoinConnector_DS

Direct Known Subclasses:

AndJoinConnector_DS, OrJoinConnector_DS, XorJoinConnector_DS

abstract class JoinConnector_DS
extends Node_DS

Implements a join connector of the EPC data structure.

Author:

Ekkart Kindler, kindler@upb.de

Field Summary

(package private) java.util.Vector	inputArcs A vector with all input arcs of the join connector.
(package private) int	noMarkedInArcs The number of input arcs already marked during the marking algorithm.
(package private) Arc_DS	outputArc The output arc of the join connector.

Fields inherited from class de.upb.swt.epctools.simulator.explicit.Node_DS

epc, modelNode, nodeNumber

Constructor Summary

JoinConnector_DS()

Method Summary

(package private) void	addInputArc(Arc_DS arc) Adds an input arc to this node;
(package private) void	addOutputArc(Arc_DS arc) Adds an output arc to this node;

Methods inherited from class de.upb.swt.epctools.simulator.explicit.Node_DS

addSuccessors, enabled

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

inputArcs

java.util.Vector inputArcs

A vector with all input arcs of the join connector.

outputArc

Arc_DS outputArc

The output arc of the join connector.

noMarkedInArcs

int noMarkedInArcs

The number of input arcs already marked during the marking algorithm.

Constructor Detail

JoinConnector_DS

JoinConnector_DS()

Method Detail

addInputArc

void addInputArc(Arc_DS arc)

Adds an input arc to this node;

Specified by:

addInputArc in class Node_DS

Parameters:

arc - to be added as input arc

addOutputArc

void addOutputArc(Arc_DS arc)
            throws EPCSyntaxError

Adds an output arc to this node;

Specified by:

addOutputArc in class Node_DS

Parameters:

arc - to be added as output arc

Throws:

EPCSyntaxError - if there is an output arc already