public class LayoutInfo extends Data
| Constructor and Description | 
|---|
LayoutInfo(int nrOfNodes,
          int nrOfEdges)
Creates a new LayoutInfo instance. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
addTimingMeasurement(long t)
Add a timing measurement for the last finished step in the layout. 
 | 
protected javax.json.JsonObjectBuilder | 
convertToJson()
Converts this piece of data to JSON, which is then suitable of being stored in a database. 
 | 
protected java.lang.String | 
getKey()
Returns a key with which data of this type can be identified. 
 | 
java.util.List<java.lang.Long> | 
getMeasurements()  | 
int | 
getNrOfEdges()  | 
int | 
getNrOfNodes()  | 
long | 
getTotalTime()  | 
void | 
setTotalTime(long t)
Sets the total time spent for the last layout. 
 | 
void | 
setWasInterrupted(boolean wasInterrupted)
Sets whether execution of the layout algorithm was interrupted. 
 | 
boolean | 
wasInterrupted()  | 
getAnnotatedJsonpublic LayoutInfo(int nrOfNodes,
                  int nrOfEdges)
nrOfNodes - The number of nodes in the graph being laid out.nrOfEdges - The number of edges in the graph being laid out.public void addTimingMeasurement(long t)
t - The time taken for the last step, in milliseconds.public void setTotalTime(long t)
t - The total time t for the last layout, in milliseconds.public void setWasInterrupted(boolean wasInterrupted)
wasInterrupted - Whether execution was interrupted.public boolean wasInterrupted()
public int getNrOfEdges()
public int getNrOfNodes()
public long getTotalTime()
public java.util.List<java.lang.Long> getMeasurements()
protected javax.json.JsonObjectBuilder convertToJson()
DataData.getAnnotatedJson() and
 a time stamp is added to the object.convertToJson in class Data