Uses of Class
org.granite.builder.properties.GraniteProperties

Packages that use GraniteProperties

org.granite.builder
org.granite.builder.properties

Uses of GraniteProperties in org.granite.builder

Methods in org.granite.builder that return GraniteProperties

GraniteProperties	BuilderConfiguration.getProperties()
GraniteProperties	GraniteBuilderContext.getProperties()

Uses of GraniteProperties in org.granite.builder.properties

Methods in org.granite.builder.properties that return GraniteProperties

static GraniteProperties	GraniteProperties.getDefaultProperties()
static GraniteProperties	GranitePropertiesLoader.load(org.eclipse.core.resources.IProject project)

Methods in org.granite.builder.properties with parameters of type GraniteProperties

static boolean	GranitePropertiesLoader.isOutdated(org.eclipse.core.resources.IProject project, GraniteProperties properties)
static void	GranitePropertiesLoader.save(org.eclipse.core.resources.IProject project, GraniteProperties properties)