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

Packages that use GraniteProperties

Package	Description
org.granite.builder
org.granite.builder.properties

Uses of GraniteProperties in org.granite.builder

Methods in org.granite.builder that return GraniteProperties

Modifier and Type	Method and Description
GraniteProperties	BuilderConfiguration.getProperties()
GraniteProperties	GraniteBuilderContext.getProperties()

Uses of GraniteProperties in org.granite.builder.properties

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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
static boolean	GranitePropertiesLoader.isOutdated(org.eclipse.core.resources.IProject project, GraniteProperties properties)
static void	GranitePropertiesLoader.save(org.eclipse.core.resources.IProject project, GraniteProperties properties)