public class ModelHistory
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ModelHistory.ModelHistoryInfo |
Constructor and Description |
---|
ModelHistory() |
Modifier and Type | Method and Description |
---|---|
ModelHistory.ModelHistoryInfo |
get(java.lang.String longName) |
ModelHistory.ModelHistoryInfo[] |
getRecent(int k)
Returns the k most recently loaded models
|
void |
read(java.io.File file) |
void |
save(java.io.File file) |
ModelHistory.ModelHistoryInfo |
update(ModelInfo mi,
java.util.Date dateTime) |
public ModelHistory.ModelHistoryInfo get(java.lang.String longName)
public ModelHistory.ModelHistoryInfo update(ModelInfo mi, java.util.Date dateTime)
public ModelHistory.ModelHistoryInfo[] getRecent(int k)
public void read(java.io.File file) throws java.io.IOException
java.io.IOException
public void save(java.io.File file) throws java.io.IOException
java.io.IOException