org.jbpt.petri.unfolding.AbstractCondition Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jbpt-petri Show documentation

The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes.

The newest version!

package org.jbpt.petri.unfolding;

import org.jbpt.petri.IFlow;
import org.jbpt.petri.IMarking;
import org.jbpt.petri.INode;
import org.jbpt.petri.IPlace;
import org.jbpt.petri.ITransition;


public abstract class AbstractCondition, C extends ICondition, E extends IEvent, F extends IFlow, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking> 
	extends AbstractBPNode 
	implements ICondition {
	private static int count = 0; 	
	
	P s = null;
	E e = null;
	
	protected AbstractCondition() {
		this.ID = ++AbstractCondition.count;
	}
	
	public AbstractCondition(P place, E event) {
		this.ID = ++AbstractCondition.count;
		
		this.s = place;
		this.e = event;
	}
	
	@Override
	public P getPlace() {
		return this.s;
	}
	
	@Override
	public E getPreEvent() {
		return this.e;
	}
	
	@Override
	public void setPlace(P place) {
		this.s = place;
	}
	
	@Override
	public String toString() {
		return this.getName();
	}
	
	@Override
	public String getName() {
		//return String.format("%s-%s",this.ID,this.s.getName());
		return "";
	}
	
	@Override
	public boolean equals(Object that) {
		if (that == null || !(that instanceof ICondition)) return false;
		if (this == that) return true;
		
		@SuppressWarnings("unchecked")
		C thatC = (C) that;
		if (this.getPlace().equals(thatC.getPlace())) {
			if (this.getPreEvent()==null) {
				if (thatC.getPreEvent()==null) return true;
				return false;
			}
			else {
				if (this.getPreEvent().equals(thatC.getPreEvent())) return true;
				return false;
			}
		}
		
		return false;
	}

	@Override
	public int hashCode() {
		int hashCode = 0;
		hashCode += this.getPlace()==null ? 0 : 7 * this.getPlace().hashCode();
		hashCode += this.getPreEvent()==null ? 0 : 11 * this.getPreEvent().getTransition().hashCode();
		
		return hashCode;
	}

	@SuppressWarnings("unchecked")
	@Override
	public N getPetriNetNode() {
		return (N)this.s;
	}

	@Override
	public boolean isEvent() {
		return false;
	}

	@Override
	public boolean isCondition() {
		return true;
	}

	@Override
	public void setPreEvent(E event) {
		this.e = event;
	}
}