org.nlogo.workspace
Class Checksummer
java.lang.Object
org.nlogo.workspace.Checksummer
public class Checksummer
- extends Object
MODEL_CHECK_FILENAME
public static final String MODEL_CHECK_FILENAME
- See Also:
- Constant Field Values
addChecksumEntry
public static void addChecksumEntry(AbstractWorkspace workspace)
throws LogoException,
CompilerException,
IOException
- Throws:
LogoException
CompilerException
IOException
addChecksumEntry
public static void addChecksumEntry(AbstractWorkspace workspace,
Map m,
String model)
throws LogoException,
CompilerException,
IOException
- Throws:
LogoException
CompilerException
IOException
calculateWorldChecksum
public static String calculateWorldChecksum(World world)
calculateGraphicsChecksum
public static String calculateGraphicsChecksum(AbstractWorkspace workspace)
writeModelCheckSumsToFile
public static void writeModelCheckSumsToFile(Map m)
throws IOException
- Writes the model checksums out to file
- Throws:
IOException
loadModelCheckSumsFromFile
public static Map loadModelCheckSumsFromFile()
throws IOException
- Loads the model checksums from file.
- Throws:
IOException
getRevisionNumber
public static String getRevisionNumber(String model)
throws IOException
- Throws:
IOException
getRevisionNumber
public static String getRevisionNumber(String modelName,
String dir)
throws IOException
- Throws:
IOException