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.IOExceptionpublic void save(java.io.File file)
          throws java.io.IOException
java.io.IOException