Github user geomacy commented on a diff in the pull request:

    https://github.com/apache/brooklyn-server/pull/462#discussion_r94440253
  
    --- Diff: 
core/src/main/java/org/apache/brooklyn/core/config/BasicConfigInheritance.java 
---
    @@ -28,51 +32,188 @@
     import org.apache.brooklyn.config.ConfigKey;
     import org.apache.brooklyn.config.ConfigValueAtContainer;
     import org.apache.brooklyn.util.collections.CollectionMerger;
    +import org.apache.brooklyn.util.exceptions.Exceptions;
     import org.apache.brooklyn.util.exceptions.ReferenceWithError;
     import org.apache.brooklyn.util.guava.Maybe;
    +import org.apache.brooklyn.util.text.Strings;
    +import org.slf4j.Logger;
    +import org.slf4j.LoggerFactory;
     
    +@SuppressWarnings("serial")
     public class BasicConfigInheritance implements ConfigInheritance {
     
    +    private static final Logger log = 
LoggerFactory.getLogger(BasicConfigInheritance.class);
    +    
         private static final long serialVersionUID = -5916548049057961051L;
     
         public static final String CONFLICT_RESOLUTION_STRATEGY_DEEP_MERGE = 
"deep_merge";
         public static final String CONFLICT_RESOLUTION_STRATEGY_OVERWRITE = 
"overwrite";
         
    +    public static abstract class DelegatingConfigInheritance implements 
ConfigInheritance {
    +        protected abstract ConfigInheritance getDelegate();
    +        
    +        @Override @Deprecated public InheritanceMode 
isInherited(ConfigKey<?> key, Object from, Object to) {
    +            return getDelegate().isInherited(key, from, to);
    +        }
    +        @Override public <TContainer, TValue> boolean 
isReinheritable(ConfigValueAtContainer<TContainer, TValue> parent, 
ConfigInheritanceContext context) {
    +            return getDelegate().isReinheritable(parent, context);
    +        }
    +        @Override public <TContainer, TValue> boolean 
considerParent(ConfigValueAtContainer<TContainer, TValue> local, 
ConfigValueAtContainer<TContainer, TValue> parent, ConfigInheritanceContext 
context) {
    +            return getDelegate().considerParent(local, parent, context);
    +        }
    +        @Override
    +        public <TContainer, TValue> 
ReferenceWithError<ConfigValueAtContainer<TContainer, TValue>> 
resolveWithParent(ConfigValueAtContainer<TContainer, TValue> local, 
ConfigValueAtContainer<TContainer, TValue> resolvedParent, 
ConfigInheritanceContext context) {
    +            return getDelegate().resolveWithParent(local, resolvedParent, 
context);
    +        }
    +        @Override
    +        public boolean equals(Object obj) {
    +            return super.equals(obj) || getDelegate().equals(obj);
    +        }
    +        
    +        // standard deserialization method
    +        protected ConfigInheritance readResolve() {
    +            return returnEquivalentConstant(this);
    +        }
    +    }
    +
    +    private static ConfigInheritance 
returnEquivalentConstant(ConfigInheritance candidate) {
    +        for (ConfigInheritance knownMode: Arrays.asList(
    +                NOT_REINHERITED, NOT_REINHERITED_ELSE_DEEP_MERGE, 
NEVER_INHERITED, OVERWRITE, BasicConfigInheritance.DEEP_MERGE)) {
    +            if (candidate.equals(knownMode)) return knownMode;
    +        }
    +        if (candidate.equals(new BasicConfigInheritance(false, 
CONFLICT_RESOLUTION_STRATEGY_OVERWRITE, true, true))) {
    +            // ignore the ancestor flag for this mode
    +            return NEVER_INHERITED;
    +        }
    +        return candidate;
    +    }
    +    
    +    /*
    +     * use of delegate is so that stateless classes can be defined to make 
the serialization nice,
    +     * both the name and hiding the implementation detail (also making it 
easier for that detail to change);
    +     * with aliased type names the field names here could even be aliases 
for the type names.
    +     * (we could alternatively have an "alias-for-final-instance" mode in 
serialization,
    +     * to optimize where we know that a java instance is final.)   
    +     */
    +    
    +    private static class NotReinherited extends 
DelegatingConfigInheritance {
    +        final static BasicConfigInheritance DELEGATE = new 
BasicConfigInheritance(false, CONFLICT_RESOLUTION_STRATEGY_OVERWRITE, false, 
true); 
    +        @Override protected ConfigInheritance getDelegate() { return 
DELEGATE; }
    +    }
         /** Indicates that a config key value should not be passed down from a 
container where it is defined.
          * Unlike {@link #NEVER_INHERITED} these values can be passed down if 
set as anonymous keys at a container
          * (ie the container does not expect it) to a container which does 
expect it, but it will not be passed down further. 
          * If the inheritor also defines a value the parent's value is ignored 
irrespective 
          * (as in {@link #OVERWRITE}; see {@link 
#NOT_REINHERITED_ELSE_DEEP_MERGE} if merging is desired). */
    -    public static BasicConfigInheritance NOT_REINHERITED = new 
BasicConfigInheritance(false,CONFLICT_RESOLUTION_STRATEGY_OVERWRITE,false);
    +    public static ConfigInheritance NOT_REINHERITED = new NotReinherited();
    +    
    +    private static class NotReinheritedElseDeepMerge extends 
DelegatingConfigInheritance {
    +        final static BasicConfigInheritance DELEGATE = new 
BasicConfigInheritance(false, CONFLICT_RESOLUTION_STRATEGY_DEEP_MERGE, false, 
true); 
    +        @Override protected ConfigInheritance getDelegate() { return 
DELEGATE; }
    +    }
         /** As {@link #NOT_REINHERITED} but in cases where a value is 
inherited because a parent did not recognize it,
          * if the inheritor also defines a value the two values should be 
merged. */
    -    public static BasicConfigInheritance NOT_REINHERITED_ELSE_DEEP_MERGE = 
new BasicConfigInheritance(false,CONFLICT_RESOLUTION_STRATEGY_DEEP_MERGE,false);
    -    /** Indicates that a key's value should never be inherited, even if 
defined on a container that does not know the key.
    -     * Most usages will prefer {@link #NOT_REINHERITED}. */
    -    public static BasicConfigInheritance NEVER_INHERITED = new 
BasicConfigInheritance(false,CONFLICT_RESOLUTION_STRATEGY_OVERWRITE,true);
    +    public static ConfigInheritance NOT_REINHERITED_ELSE_DEEP_MERGE = new 
NotReinheritedElseDeepMerge();
    +    
    +    private static class NeverInherited extends 
DelegatingConfigInheritance {
    +        final static BasicConfigInheritance DELEGATE = new 
BasicConfigInheritance(false, CONFLICT_RESOLUTION_STRATEGY_OVERWRITE, true, 
false);
    +        @Override protected ConfigInheritance getDelegate() { return 
DELEGATE; }
    +    }
    +    /** Indicates that a key's value should never be inherited, even if 
inherited from a value set on a container that does not know the key.
    +     * (Most usages will prefer {@link #NOT_REINHERITED}.) */
    +    public static ConfigInheritance NEVER_INHERITED = new NeverInherited();
    +    
    +    private static class Overwrite extends DelegatingConfigInheritance {
    +        final static BasicConfigInheritance DELEGATE = new 
BasicConfigInheritance(true, CONFLICT_RESOLUTION_STRATEGY_OVERWRITE, false, 
true);
    +        @Override protected ConfigInheritance getDelegate() { return 
DELEGATE; }
    +    }
         /** Indicates that if a key has a value at both an ancestor and a 
descendant, the descendant and his descendants
          * will prefer the value at the descendant. */
    -    public static BasicConfigInheritance OVERWRITE = new 
BasicConfigInheritance(true,CONFLICT_RESOLUTION_STRATEGY_OVERWRITE,false);
    +    public static ConfigInheritance OVERWRITE = new Overwrite();
    +    
    +    private static class DeepMerge extends DelegatingConfigInheritance {
    +        final static BasicConfigInheritance DELEGATE = new 
BasicConfigInheritance(true, CONFLICT_RESOLUTION_STRATEGY_DEEP_MERGE, false, 
true);
    +        @Override protected ConfigInheritance getDelegate() { return 
DELEGATE; }
    +    }
         /** Indicates that if a key has a value at both an ancestor and a 
descendant, the descendant and his descendants
    -     * should attempt to merge the values. If the values are not mergable 
behaviour is undefined
    +     * should attempt to merge the values. If the values are not mergeable 
behaviour is undefined
          * (and often the descendant's value will simply overwrite). */
    -    public static BasicConfigInheritance DEEP_MERGE = new 
BasicConfigInheritance(true,CONFLICT_RESOLUTION_STRATEGY_DEEP_MERGE,false);
    +    public static ConfigInheritance DEEP_MERGE = new DeepMerge();
    +
    +    // support conversion from these legacy fields
    +    @SuppressWarnings("deprecation")
    +    private static void registerReplacements() {
    +        
ConfigInheritance.Legacy.registerReplacement(ConfigInheritance.DEEP_MERGE, 
DEEP_MERGE); 
    +        
ConfigInheritance.Legacy.registerReplacement(ConfigInheritance.ALWAYS, 
OVERWRITE); 
    +        
ConfigInheritance.Legacy.registerReplacement(ConfigInheritance.NONE, 
NOT_REINHERITED); 
    +    }
    +    static { registerReplacements(); }
         
    -    /** reinheritable? true/false; if false, 
children/descendants/inheritors will never see it; default true */
    +    /** whether a value on a key defined locally should be inheritable by 
descendants.
    +     * if false at a point where a key is defined, 
    +     * children/descendants/inheritors will not be able to see its value, 
whether explicit or default.
    +     * default true:  things are normally reinherited.
    +     * <p>
    +     * note that this only takes effect where a key is defined locally.
    +     * if a key is not defined at an ancestor, a descendant setting this 
value false will not prevent it 
    +     * from inheriting values from ancestors.
    +     * <p> 
    +     * typical use case for setting this is false is where a key is 
consumed and descendants should not
    +     * "reconsume" it.  for example setting files to install on a VM need 
only be applied once,
    +     * and if it has <b>runtime management</b> hierarchy descendants which 
also understand that field they
    +     * should not install the same files. 
    +     * (there is normally no reason to set this false in the context of 
<b>type hierarchy</b> inheritance because
    +     * an ancestor type cannot "consume" a value.) */
         protected final boolean isReinherited;
    -    /** conflict-resolution-strategy? in {@link BasicConfigInheritance} 
supported values are
    +    
    +    /** a symbol indicating a conflict-resolution-strategy understood by 
the implementation.
    +     * in {@link BasicConfigInheritance} supported values are
          * {@link #CONFLICT_RESOLUTION_STRATEGY_DEEP_MERGE} and {@link 
#CONFLICT_RESOLUTION_STRATEGY_OVERWRITE}.
    -     * subclasses may pass null if they provide a custom implementaton of 
{@link #resolveWithParentCustomStrategy(ConfigValueAtContainer, 
ConfigValueAtContainer, 
org.apache.brooklyn.config.ConfigInheritance.ConfigInheritanceContext)} */
    +     * subclasses may pass null or a different string if they provide a 
custom implementaton 
    +     * of {@link #resolveWithParentCustomStrategy(ConfigValueAtContainer, 
ConfigValueAtContainer, 
org.apache.brooklyn.config.ConfigInheritance.ConfigInheritanceContext)} */
         @Nullable protected final String conflictResolutionStrategy;
    -    /** use-local-default-value? true/false; if true, overwrite above 
means "always ignore (even if null)"; default false
    -     * whereas merge means "use local default (if non-null)" */
    -    protected final boolean useLocalDefaultValue;
    +    
    +    /** @deprecated since 0.10.0 when this was introduced, now renamed 
{@link #localDefaultResolvesWithAncestorValue} */
    +    @Deprecated protected final Boolean useLocalDefaultValue;
    +    /** whether a local default value should be considered for resolution 
in the presence of an ancestor value.
    +     * can use true with overwrite to mean don't inherit, or true with 
merge to mean local default merged on top of inherited
    +     * (but be careful here, if local default is null in a merge it will 
delete ancestor values).
    +     * <p>
    +     * in most cases this is false, meaning a default value is ignored if 
the parent has a value.
    +     * <p>
    +     * null should not be used. a boxed object is taken (as opposed to a 
primitive boolean) only in order to support migration.    
    +     */
    +    @Nonnull
    +    protected final Boolean localDefaultResolvesWithAncestorValue;
     
    -    protected BasicConfigInheritance(boolean isReinherited, @Nullable 
String conflictResolutionStrategy, boolean useLocalDefaultValue) {
    +    /** whether a default set in an ancestor container's key definition 
will be considered as the
    +     * local default value at descendants who don't define any other value 
(nothing set locally and local default is null);
    +     * <p>
    +     * if true (now the usual behaviour), if an ancestor defines a default 
and a descendant doesn't, the ancestor's value will be taken as a default.
    +     * if it is also the case that localDefaultResolvesWithAncestorValue 
is true at the <i>ancestor</i> then a descendant who
    +     * defines a local default value (with this field true) will have its 
conflict resolution strategy
    +     * applied with the ancestor's default value.
    +     * <p>
    +     * if this is false, ancestor defaults are completely ignored; prior 
to 0.10.0 this was the normal behaviour,
    +     * but it caused surprises where default values in parameters did not 
take effect.
    +     * <p>
    +     * null should not be used. a boxed object is taken (as opposed to a 
primitive boolean) only in order to support migration.    
    +     */
    +    @Nonnull
    +    protected final Boolean ancestorDefaultInheritable;
    --- End diff --
    
    Is this really needed?   Is this condition actually an independent 
dimension of the behaviour of the class (i.e. it makes sense to specify it as 
an independently settable parameter), or is it really an "emergent" behaviour 
that can be inferred from other requirements?
    
    Looking at how it's actually used in the strategies above, it turns out 
that it is always the logical inverse of 
`localDefaultResolvesWithAncestorValue`.   How about we use Occam's Razor and 
do without this parameter, but instead replace its use with 
`!getLocalDefaultResolvesWithAncestorValue()`, and then tidy up the logic? 
    
    It's a small change to the code, but it does avoid introducing the overhead 
of another concept for developers to have to consider (config inheritance is 
complicated enough already!).   The only changes that would be needed, aside 
from trivial simplifications to `readResolve` and `equals`, would be a couple 
of lines in `resolveWithParent`, where line 268 becomes slightly simpler with 
the loss of one test, and at line 283 you just replace the condition.
    



---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---

Reply via email to