2024-06-27 13:05:22 +00:00
|
|
|
|
package OurApplication;
|
|
|
|
|
|
2024-07-01 15:08:11 +00:00
|
|
|
|
import graph.DirectedGraph;
|
|
|
|
|
import graph.EdgeMarking;
|
|
|
|
|
import graph.VertexMarking;
|
2024-06-27 13:05:22 +00:00
|
|
|
|
import logging.LogElement;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* This class provides an example for using logging.LogElement.
|
|
|
|
|
* The super class has been extended by member value and corresponding get method.
|
|
|
|
|
* The standard constructor has been overwritten and a new one has been introduced.
|
|
|
|
|
* @see LogElement
|
|
|
|
|
* @author MSch<EFBFBD>fer
|
|
|
|
|
* DHBW Stuttgart/Campus Horb AI2008<br>
|
|
|
|
|
* <br>
|
|
|
|
|
*/
|
|
|
|
|
public class OurLogElement extends LogElement{
|
|
|
|
|
|
|
|
|
|
/** The log elements sum up value. */
|
|
|
|
|
protected long value;
|
2024-07-01 15:08:11 +00:00
|
|
|
|
protected DirectedGraph<VertexMarking, EdgeMarking> ourGraph;
|
2024-06-27 13:05:22 +00:00
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Standard constructor.
|
|
|
|
|
* Calls the constructor of super class and sets value 0.
|
|
|
|
|
*/
|
|
|
|
|
public OurLogElement() {
|
|
|
|
|
super();
|
|
|
|
|
value=0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Extended constructor.
|
|
|
|
|
* Sets specified step number, description and sum up value.
|
|
|
|
|
* @param step the log element's step number
|
|
|
|
|
* @param description the log element's step description
|
|
|
|
|
* @param value the log element's sum up value
|
|
|
|
|
*/
|
2024-07-01 15:08:11 +00:00
|
|
|
|
public OurLogElement(int step, String description, long value, DirectedGraph<VertexMarking, EdgeMarking> ourGraph){
|
2024-06-27 13:05:22 +00:00
|
|
|
|
this.step=step;
|
|
|
|
|
this.description=description;
|
|
|
|
|
this.value=value;
|
2024-07-01 15:08:11 +00:00
|
|
|
|
this.ourGraph = ourGraph;
|
2024-06-27 13:05:22 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Returns the log element's sum up value.
|
|
|
|
|
* @return the log element's sum up value
|
|
|
|
|
*/
|
|
|
|
|
public long getValue(){
|
|
|
|
|
return value;
|
|
|
|
|
}
|
2024-07-01 15:08:11 +00:00
|
|
|
|
public DirectedGraph<VertexMarking, EdgeMarking> getGraph(){
|
|
|
|
|
return this.ourGraph;
|
|
|
|
|
}
|
2024-06-27 13:05:22 +00:00
|
|
|
|
|
|
|
|
|
}
|