
public class DynamicPropertyOracle extends Object implements PropertyOracle
PropertyOracle that helps discover the property values associated
with specific rebind results for generators.| Constructor and Description |
|---|
DynamicPropertyOracle(Properties properties) |
| Modifier and Type | Method and Description |
|---|---|
Set<BindingProperty> |
getAccessedProperties() |
ConfigurationProperty |
getConfigurationProperty(String propertyName)
Attempts to get a named configuration property.
|
Map<String,String> |
getPrescribedPropertyValuesByName()
Returns the mapping from property names to its currently prescribed value.
|
SelectionProperty |
getSelectionProperty(TreeLogger logger,
String propertyName)
Attempts to get a named deferred binding property.
|
boolean |
haveAccessedPropertiesChanged() |
void |
prescribePropertyValue(String propertyName,
String propertyValue) |
void |
reset()
Clears state in preparation for another round of rebind analysis on the same generator.
|
public DynamicPropertyOracle(Properties properties)
public boolean haveAccessedPropertiesChanged()
public Set<BindingProperty> getAccessedProperties()
public ConfigurationProperty getConfigurationProperty(String propertyName) throws BadPropertyValueException
PropertyOracleBadPropertyValueException if the property is undefined. The
result of invoking this method with the same propertyName must
be stable.getConfigurationProperty in interface PropertyOracleBadPropertyValueException - if the property is unknown or not a
configuration propertypublic Map<String,String> getPrescribedPropertyValuesByName()
public SelectionProperty getSelectionProperty(TreeLogger logger, String propertyName) throws BadPropertyValueException
PropertyOracleBadPropertyValueException if the property is either undefined
or has a value that is unsupported. The result of invoking this method with
the same propertyName must be stable.getSelectionProperty in interface PropertyOracleBadPropertyValueException - if the property is unknown or not a
selection propertypublic void prescribePropertyValue(String propertyName, String propertyValue)
public void reset()
Copyright © 2018. All rights reserved.