de.uni.freiburg.iig.telematik.sepia.event.CapacityEvent Maven / Gradle / Ivy
package de.uni.freiburg.iig.telematik.sepia.event;
import java.util.EventObject;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractPlace;
public class CapacityEvent> extends EventObject {
private static final long serialVersionUID = 1392243966263846678L;
public int capacity = 0;
public CapacityEvent(P source, int capacity) {
super(source);
this.capacity = capacity;
}
@SuppressWarnings("unchecked")
@Override
public P getSource() {
return (P) super.getSource();
}
public int getCapacity(){
return capacity;
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy