org.granite.builder.properties
Class GranitePropertiesLoader
java.lang.Object
org.granite.builder.properties.GranitePropertiesLoader
public class GranitePropertiesLoader
- extends java.lang.Object
- Author:
- Franck WOLFF
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GranitePropertiesLoader
public GranitePropertiesLoader()
load
public static GraniteProperties load(org.eclipse.core.resources.IProject project)
throws java.io.IOException
- Throws:
java.io.IOException
save
public static void save(org.eclipse.core.resources.IProject project,
GraniteProperties properties)
throws java.io.IOException
- Throws:
java.io.IOException
isOutdated
public static boolean isOutdated(org.eclipse.core.resources.IProject project,
GraniteProperties properties)
getPropertiesFile
public static java.io.File getPropertiesFile(org.eclipse.core.resources.IProject project)
exists
public static boolean exists(org.eclipse.core.resources.IProject project)