Package org.variantsync.diffdetective.variation.tree.view.relevance

Class Configure

java.lang.Object

org.variantsync.diffdetective.variation.tree.view.relevance.Configure

All Implemented Interfaces:

Predicate<VariationNode<?,?>>, Source, Relevance

public class Configure
extends Object
implements Relevance

Relevance predicate that generates (partial) variants from variation trees. This relevance predicate is the implementation of Equation 5 in our SPLC'23 paper.

Field Summary

Fields

Modifier and Type	Field	Description
private final FixTrueFalse.Formula	configuration

Fields inherited from interface org.variantsync.diffdetective.util.Source

Unknown

Constructor Summary

Constructors

Constructor	Description
Configure(Map<String,Boolean> assignment)	Create a configuration from an assignment of variable names to boolean values.
Configure(org.prop4j.Node configuration)	Create a configuration relevance from a propositional formula that encodes selections and deselections of variables.
Configure(FixTrueFalse.Formula configuration)	Same as Configure(Node) but with a formula that is witnessed to not contain true or false constants not at the root.

Method Summary

Modifier and Type	Method	Description
private <TreeNode extends VariationNode<TreeNode, ?>> void	computeViewNodes(List<TreeNode> vs, Consumer<TreeNode> markRelevant)
<TreeNode extends VariationNode<TreeNode, ?>> void	computeViewNodes(TreeNode v, Consumer<TreeNode> markRelevant)	Delegates to Relevance.computeViewNodesCheckAll(Relevance, VariationNode, Consumer) with this relevance as the first parameter.
private <TreeNode extends VariationNode<TreeNode, ?>> boolean	computeViewNodesOfElifChain(TreeNode v, Consumer<TreeNode> markRelevant)
List<Object>	getSourceArguments()	Returns a list of arguments required to understand this source.
String	getSourceExplanation()	Returns a short, one line explanation or identifier of this source.
boolean	test(VariationNode<?,?> v)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.function.Predicate

and, negate, or

Methods inherited from interface org.variantsync.diffdetective.util.Source

fullExplanation, functionExplanation, getRootSource, getSources, shallowExplanation

Field Details

configuration

private final FixTrueFalse.Formula configuration

Constructor Details

Configure

public Configure(FixTrueFalse.Formula configuration)

Same as Configure(Node) but with a formula that is witnessed to not contain true or false constants not at the root. Workaround for FeatureIDE bug FeatureIDE Issue 1333.

Configure

public Configure(org.prop4j.Node configuration)

Create a configuration relevance from a propositional formula that encodes selections and deselections of variables. Typically, the given formula should be in conjunctive normal form. The given configuration may be partial or complete.

Parameters:

configuration - A propositional formula that denotes selections and deselections.

Configure

public Configure(Map<String,Boolean> assignment)

Create a configuration from an assignment of variable names to boolean values. The given assignment may be complete or partial. Internally, a big conjunction of literals is created:

           ⋀ f              ∧          ⋀ ¬ f
   (f, true) ∈ assignment    (f, false) ∈ assignment
 

As an example, suppose the map contains the following entries:

   A ↦ true
   B ↦ false
   C ↦ true
 

then we construct a formula A ∧ (¬ B) ∧ C.

Method Details

test

public boolean test(VariationNode<?,?> v)

Specified by:

test in interface Predicate<VariationNode<?,?>>

computeViewNodes

private <TreeNode extends VariationNode<TreeNode,
?>>
void computeViewNodes(List<TreeNode> vs,
 Consumer<TreeNode> markRelevant)

computeViewNodes

public <TreeNode extends VariationNode<TreeNode,
?>>
void computeViewNodes(TreeNode v,
 Consumer<TreeNode> markRelevant)

Description copied from interface: Relevance

Delegates to Relevance.computeViewNodesCheckAll(Relevance, VariationNode, Consumer) with this relevance as the first parameter.

Specified by:

computeViewNodes in interface Relevance

computeViewNodesOfElifChain

private <TreeNode extends VariationNode<TreeNode,
?>>
boolean computeViewNodesOfElifChain(TreeNode v,
 Consumer<TreeNode> markRelevant)

Returns:

true if the given node was marked relevant

getSourceArguments

public List<Object> getSourceArguments()

Description copied from interface: Source

Returns a list of arguments required to understand this source. Each argument in the result list should represent a string without newlines and will be formatted together with Source.getSourceExplanation() like "sourceExplanation(argument1, argument2)" by Source.shallowExplanation(). This method is only intended to access the arguments for printing. In case access to the well-typed object is required, use Source.<T>findFirst(org.variantsync.diffdetective.util.Source,java.lang.Class<T>) or Source.<T>findAll(org.variantsync.diffdetective.util.Source,java.lang.Class<T>) and use the accessors of the underlying type.

For ease of implementing Source, the return value is a list of Objects instead of a list of Strings to allow code like List.of(arg0, arg1, arg2) instead of List.of(arg0.toString(), arg1.toString(), arg2.toString()). Users of this function should assume nothing from the returned objects except that Object.toString() is well behaved.

Specified by:

getSourceArguments in interface Source

Returns:

an empty list by default

See Also:

• Source.shallowExplanation()

getSourceExplanation

public String getSourceExplanation()

Description copied from interface: Source

Returns a short, one line explanation or identifier of this source. The result is used by Source.shallowExplanation() and is formatted together with Source.getSourceArguments() like "sourceExplanation(argument1, argument2)".

Specified by:

getSourceExplanation in interface Source

toString

public String toString()

Overrides:

toString in class Object