diff --git a/docs/allclasses-index.html b/docs/allclasses-index.html
index a64ac7c..99ead1a 100644
--- a/docs/allclasses-index.html
+++ b/docs/allclasses-index.html
@@ -1,18 +1,18 @@
-
+
All Classes and Interfaces (trace-boosting 1.0.0 API)
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+Fields
+
+
+
+
+
static org.logicng.formulas.FormulaFactory
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
+Method Summary
+
+
All Methods Static Methods Instance Methods Concrete Methods
+
+
+
+
+
+
+
+
+
Computes mappings for the given target language and returns a MainTree object
+ containing the mappings.
+
+
+
+
+
static org.logicng.formulas.FormulaFactory
+
+
+
Returns the FormulaFactory instance that is currently in use.
+
+
+
+
+
Gets the input file name.
+
+
+
+
+
Gets the input folder path.
+
+
+
+
+
Returns an array of strings containing the paths for the input folder, input
+ file, results folder, and results file.
+
+
+
+
+
+
+
+
Gets the results file name.
+
+
+
+
+
Gets the results folder path.
+
+
+
+
+
Initializes the products by creating them from variants and configuration
+ files.
+
+
+
+
+
Loads the main tree from the specified folder.
+
+
+
+
+
+
+
+
+
+
+
static void
+
+
+
Saves the main tree object to a file in the specified folder.
+
+
void
+
+
+
void
+
+
+
Sets the input file name.
+
+
void
+
+
+
Sets the input folder path.
+
+
void
+
+
+
void
+
+
+
Sets the paths for input and results folders and files.
+
+
void
+
+
+
Sets the results file name.
+
+
void
+
+
+
Sets the results folder path.
+
+
+
+
+
Extracts associations from a given main tree by merging each product AST into
+ the main tree and collecting corresponding main tree nodes in the product for
+ backtracking later on.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+prepareProductLoader
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+traceExtractionAlgorithm
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/class-use/TraceBoosting.html b/docs/org/variantsync/boosting/class-use/TraceBoosting.html
new file mode 100644
index 0000000..fe27a67
--- /dev/null
+++ b/docs/org/variantsync/boosting/class-use/TraceBoosting.html
@@ -0,0 +1,58 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.TraceBoosting (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+No usage of org.variantsync.boosting.TraceBoosting
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/ASTNode.NODE_TYPE.html b/docs/org/variantsync/boosting/datastructure/ASTNode.NODE_TYPE.html
new file mode 100644
index 0000000..b896304
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/ASTNode.NODE_TYPE.html
@@ -0,0 +1,416 @@
+
+
+
+
+ASTNode.NODE_TYPE (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Nested Class Summary
+
+
+
+
+
+
+Enum Constant Summary
+Enum Constants
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Summary
+
+
All Methods Static Methods Concrete Methods
+
+
+
+
+
+
+
+
+
Returns the enum constant of this class with the specified name.
+
+
+
+
+
Returns an array containing the constants of this enum class, in
+the order they are declared.
+
+
+
+
+
Methods inherited from class java.lang.Enum
+
clone , compareTo , describeConstable , equals , finalize , getDeclaringClass , hashCode , name , ordinal , toString , valueOf
+
+
+
+
+
+
+
+
+Enum Constant Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+CLASS_OR_INTERFACE_DECLARATION
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+CONSTRUCTOR_DECLARATION
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ENUM_CONSTANT_DECLARATION
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/ASTNode.html b/docs/org/variantsync/boosting/datastructure/ASTNode.html
new file mode 100644
index 0000000..cc7e313
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/ASTNode.html
@@ -0,0 +1,402 @@
+
+
+
+
+ASTNode (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Nested Class Summary
+Nested Classes
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new ASTNode with the specified parameters.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
void
+
+
+
+
+
+
Returns a set of this node's child nodes.
+
+
+
+
+
org.logicng.formulas.Formula
+
+
+
Returns the best mapping as a formula
+
+
EccoSet <org.logicng.formulas.Formula>
+
+
+
Returns set set of all possible mappings (if the mapping is a DNF formula,
+ each clause is a possible mapping on its own) for this node.
+
+
+
+
+
+
+
+
Gets the equivalent node of this node.
+
+
+
+
+
Return the position (file, line) where the content of this node starts.
+
+
+
+
+
Gets the type of this node
+
+
boolean
+
+
+
Checks whether the given ASTNode is similar to this one.
+
+
void
+
+
+
Sets a specific mapping for this node
+
+
void
+
+
+
Sets the parent of this ASTNode in the AST.
+
+
void
+
+
+
Sets the equivalent node of this node.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+setProductEquivalent
+
+
+
+
+
+getProductEquivalent
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/Association.html b/docs/org/variantsync/boosting/datastructure/Association.html
new file mode 100644
index 0000000..4dbc011
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/Association.html
@@ -0,0 +1,526 @@
+
+
+
+
+Association (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new Association with the specified sets of modules and AST
+ nodes.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
boolean
+
+
+
+
+
+
Returns the set off all modules.
+
+
+
+
+
Returns the set of AST nodes contained in this EccoSet.
+
+
org.logicng.formulas.Formula
+
+
+
Returns the feature mapping formula associated with this object.
+
+
+
+
+
Returns the set of max module.
+
+
+
+
+
Returns the set of min modules.
+
+
+
+
+
Returns the set of not modules.
+
+
+
+
+
Returns a list of the smallest max modules.
+
+
+
+
+
Returns a list of the smallest min modules.
+
+
int
+
+
+
boolean
+
+
+
Returns whether the association tracks base code.
+
+
void
+
+
+
Removes the specified nodes from the current set of AST nodes.
+
+
void
+
+
+
void
+
+
+
Define this association as tracking base code.
+
+
void
+
+
+
Sets the feature mapping for the association.
+
+
void
+
+
+
void
+
+
+
void
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+getSmallestMinModules
+
+
+
+
+
+getSmallestMaxModules
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/EccoSet.html b/docs/org/variantsync/boosting/datastructure/EccoSet.html
new file mode 100644
index 0000000..a3dc6e1
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/EccoSet.html
@@ -0,0 +1,405 @@
+
+
+
+
+EccoSet (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new EccoSet with no elements.
+
+
+
+
Constructs a new EccoSet with the elements from the specified collection.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
boolean
+
+
+
+
+
+
Returns a new set that is an intersection between this set and the given set
+
+
+
+
+
Returns a new set that is an intersection between this set and the given set
+
+
void
+
+
+
Replaces an equivalent element in the set with a new version of it
+
+
+
+
+
Returns the power set of this set.
+
+
+
+
+
Returns a new set that is the union of this set and the given set
+
+
+
+
+
Returns a new set that is the union of this set and the given set
+
+
+
+
+
Returns a new set that contains all elements in this set after removing the
+ elements in the given set
+
+
+
+
+
Returns a new set that contains all elements in this set after removing the
+ elements in the given set
+
+
+
+
+
Methods inherited from class java.util.HashSet
+
add , clear , clone , contains , isEmpty , iterator , remove , size , spliterator , toArray , toArray
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/Feature.html b/docs/org/variantsync/boosting/datastructure/Feature.html
new file mode 100644
index 0000000..c03db5e
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/Feature.html
@@ -0,0 +1,275 @@
+
+
+
+
+Feature (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new Feature object with the given name.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
int
+
+
+
Compares this Feature object with the specified Feature object for order.
+
+
boolean
+
+
+
Compares this Feature object with the specified object for equality.
+
+
+
+
+
Returns the name of the feature.
+
+
int
+
+
+
Returns a hash code value for the Feature object.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/MainTree.html b/docs/org/variantsync/boosting/datastructure/MainTree.html
new file mode 100644
index 0000000..d16b555
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/MainTree.html
@@ -0,0 +1,275 @@
+
+
+
+
+MainTree (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Initializes a MainTree object with the given AbstractAST tree.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
org.logicng.formulas.Formula
+
+
+
Retrieves the mapping formula associated with a given product position.
+
+
+
+
+
Retrieves the set of ProductPositions associated with the given ASTNode.
+
+
+
+
+
Retrieves the AbstractAST tree associated with this MainTree.
+
+
+
+
+
Merges the Abstract Syntax Tree (AST) of the given product into the of this
+ main AST (main tree) and returns the set of all nodes
+ in the resulting main tree corresponding to the nodes of this AST.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/Module.html b/docs/org/variantsync/boosting/datastructure/Module.html
new file mode 100644
index 0000000..058b25f
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/Module.html
@@ -0,0 +1,257 @@
+
+
+
+
+Module (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new Module with the given set of literals.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
boolean
+
+
+
Compares this Module with the specified object for equality.
+
+
EccoSet <org.logicng.formulas.Literal>
+
+
+
Returns the set of literals contained in this Module.
+
+
int
+
+
+
Returns a hash code value for the Module.
+
+
int
+
+
+
Returns the number of literals in this Module.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/class-use/ASTNode.NODE_TYPE.html b/docs/org/variantsync/boosting/datastructure/class-use/ASTNode.NODE_TYPE.html
new file mode 100644
index 0000000..2e7b425
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/class-use/ASTNode.NODE_TYPE.html
@@ -0,0 +1,111 @@
+
+
+
+
+Uses of Enum Class org.variantsync.boosting.datastructure.ASTNode.NODE_TYPE (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Gets the type of this node
+
+
+
+
+
Returns the enum constant of this class with the specified name.
+
+
+
+
+
Returns an array containing the constants of this enum class, in
+the order they are declared.
+
+
+
+
+
+
+
+
+
Constructs a new ASTNode with the specified parameters.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/class-use/ASTNode.html b/docs/org/variantsync/boosting/datastructure/class-use/ASTNode.html
new file mode 100644
index 0000000..8dc3f95
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/class-use/ASTNode.html
@@ -0,0 +1,429 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.datastructure.ASTNode (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Gets the equivalent node of this node.
+
+
+
+
+
+
+
+
+
Returns the set of AST nodes contained in this EccoSet.
+
+
+
+
+
Returns a set of this node's child nodes.
+
+
+
+
+
Merges the Abstract Syntax Tree (AST) of the given product into the of this
+ main AST (main tree) and returns the set of all nodes
+ in the resulting main tree corresponding to the nodes of this AST.
+
+
+
+
+
+
void
+
+
+
+
+
+
Retrieves the set of ProductPositions associated with the given ASTNode.
+
+
boolean
+
+
+
Checks whether the given ASTNode is similar to this one.
+
+
void
+
+
+
Sets the parent of this ASTNode in the AST.
+
+
void
+
+
+
Sets the equivalent node of this node.
+
+
+
+
+
+
void
+
+
+
Removes the specified nodes from the current set of AST nodes.
+
+
+
+
+
+
+
+
+
Constructs a new ASTNode with the specified parameters.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Returns the root node of the Abstract Syntax Tree (AST).
+
+
+
+
+
+
+
+
+
Collects all nodes (except the root node) of the Abstract Syntax Tree (AST)
+ in one set to simplify their access.
+
+
+
+
+
Returns a set of all AST nodes in the tree.
+
+
+
+
+
+
void
+
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.body.ClassOrInterfaceDeclaration n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.body.ConstructorDeclaration n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.body.EnumConstantDeclaration n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.body.EnumDeclaration n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.body.MethodDeclaration n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.CompilationUnit n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.modules.ModuleDeclaration n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.NodeList nodeList,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.stmt.BlockStmt n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.stmt.DoStmt n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.stmt.ForEachStmt n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.stmt.ForStmt n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.stmt.IfStmt n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.stmt.SwitchEntry n,
+ ASTNode parent)
+
+
void
+
JavaVisitor. visit (com.github.javaparser.ast.stmt.SwitchStmt n,
+ ASTNode parent)
+
+
protected abstract void
+
+
+
This method is responsible for visiting the content of a file represented by
+ the given ASTNode and File object.
+
+
protected void
+
+
+
protected void
+
+
+
This method is used to visit the content of a file and create an AST node for
+ each line in the file.
+
+
+
+
+
+
+
+
+
Constructs an AbstractAST with a specified root node, set of AST nodes, and
+ optional filtering based on file types.
+
+
+
+
+
Constructs a new CAST object with the specified root node and AST nodes, and
+ default file types ".c" and ".h".
+
+
+
+
+
+
+
+
Constructs a LineAST object with the specified root node, AST nodes, and file
+ types.
+
+
+
+
+
+
+
+
+
Constructs an AbstractAST with a specified root node, set of AST nodes, and
+ optional filtering based on file types.
+
+
+
+
+
Constructs a new CAST object with the specified root node and AST nodes, and
+ default file types ".c" and ".h".
+
+
+
+
+
+
+
+
Constructs a LineAST object with the specified root node, AST nodes, and file
+ types.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Returns the ASTNode at the given position in the product AST or, if it has
+ already been merged into the main tree,
+ returns the corresponding node in the main tree.
+
+
+
+
+
+
+
+
+
Returns the set of AST nodes in the main tree.
+
+
+
+
+
+
void
+
+
+
Sets the AST nodes for the main tree.
+
+
+
+
+
+
+
+
+
Constructs a new Product object with the given parameters.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/class-use/Association.html b/docs/org/variantsync/boosting/datastructure/class-use/Association.html
new file mode 100644
index 0000000..dd1bcae
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/class-use/Association.html
@@ -0,0 +1,87 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.datastructure.Association (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Extracts associations from a given main tree by merging each product AST into
+ the main tree and collecting corresponding main tree nodes in the product for
+ backtracking later on.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/class-use/EccoSet.html b/docs/org/variantsync/boosting/datastructure/class-use/EccoSet.html
new file mode 100644
index 0000000..b624f69
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/class-use/EccoSet.html
@@ -0,0 +1,400 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.datastructure.EccoSet (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Extracts associations from a given main tree by merging each product AST into
+ the main tree and collecting corresponding main tree nodes in the product for
+ backtracking later on.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Returns the set off all modules.
+
+
+
+
+
Returns the set of AST nodes contained in this EccoSet.
+
+
+
+
+
Returns a set of this node's child nodes.
+
+
EccoSet <org.logicng.formulas.Literal>
+
+
+
Returns the set of literals contained in this Module.
+
+
EccoSet <org.logicng.formulas.Formula>
+
+
+
Returns set set of all possible mappings (if the mapping is a DNF formula,
+ each clause is a possible mapping on its own) for this node.
+
+
+
+
+
Returns the set of max module.
+
+
+
+
+
Returns the set of min modules.
+
+
+
+
+
Returns the set of not modules.
+
+
+
+
+
Returns a new set that is an intersection between this set and the given set
+
+
+
+
+
Returns a new set that is an intersection between this set and the given set
+
+
+
+
+
Returns the power set of this set.
+
+
+
+
+
Returns a new set that is the union of this set and the given set
+
+
+
+
+
Merges the Abstract Syntax Tree (AST) of the given product into the of this
+ main AST (main tree) and returns the set of all nodes
+ in the resulting main tree corresponding to the nodes of this AST.
+
+
+
+
+
Returns a new set that is the union of this set and the given set
+
+
+
+
+
Returns a new set that contains all elements in this set after removing the
+ elements in the given set
+
+
+
+
+
Returns a new set that contains all elements in this set after removing the
+ elements in the given set
+
+
+
+
+
+
+
+
+
Returns the power set of this set.
+
+
+
+
+
+
+
+
+
Returns a new set that is an intersection between this set and the given set
+
+
void
+
+
+
Removes the specified nodes from the current set of AST nodes.
+
+
void
+
+
+
void
+
+
+
void
+
+
+
void
+
+
+
+
+
+
Returns a new set that is the union of this set and the given set
+
+
+
+
+
Returns a new set that contains all elements in this set after removing the
+ elements in the given set
+
+
+
+
+
+
+
+
+
Constructs a new Association with the specified sets of modules and AST
+ nodes.
+
+
+
+
+
Constructs a new Module with the given set of literals.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Collects all nodes (except the root node) of the Abstract Syntax Tree (AST)
+ in one set to simplify their access.
+
+
+
+
+
Returns a set of all AST nodes in the tree.
+
+
+
+
+
+
+
+
+
Constructs an AbstractAST with a specified root node, set of AST nodes, and
+ optional filtering based on file types.
+
+
+
+
+
Constructs a new CAST object with the specified root node and AST nodes, and
+ default file types ".c" and ".h".
+
+
+
+
+
+
+
+
Constructs a LineAST object with the specified root node, AST nodes, and file
+ types.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
A set of all features associated with the initialization.
+
+
+
+
+
+
+
+
+
Returns the set of AST nodes in the main tree.
+
+
+
+
+
Retrieves the set of features associated with the product.
+
+
+
+
+
+
void
+
+
+
Sets the AST nodes for the main tree.
+
+
+
+
+
+
+
+
+
Constructs a new InitResult with the specified ID, set of all features, and
+ product.
+
+
+
+
+
Constructs a new Product object with the given parameters.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/class-use/Feature.html b/docs/org/variantsync/boosting/datastructure/class-use/Feature.html
new file mode 100644
index 0000000..ba00a5c
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/class-use/Feature.html
@@ -0,0 +1,144 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.datastructure.Feature (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
int
+
+
+
Compares this Feature object with the specified Feature object for order.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
A set of all features associated with the initialization.
+
+
+
+
+
+
+
+
+
Retrieves the set of features associated with the product.
+
+
+
+
+
+
+
+
+
Constructs a new InitResult with the specified ID, set of all features, and
+ product.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/class-use/MainTree.html b/docs/org/variantsync/boosting/datastructure/class-use/MainTree.html
new file mode 100644
index 0000000..1ad26ce
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/class-use/MainTree.html
@@ -0,0 +1,110 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.datastructure.MainTree (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Computes mappings for the given target language and returns a MainTree object
+ containing the mappings.
+
+
+
+
+
Loads the main tree from the specified folder.
+
+
+
+
+
+
static void
+
+
+
Saves the main tree object to a file in the specified folder.
+
+
+
+
+
Extracts associations from a given main tree by merging each product AST into
+ the main tree and collecting corresponding main tree nodes in the product for
+ backtracking later on.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/class-use/Module.html b/docs/org/variantsync/boosting/datastructure/class-use/Module.html
new file mode 100644
index 0000000..7f564f9
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/class-use/Module.html
@@ -0,0 +1,152 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.datastructure.Module (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Returns the set off all modules.
+
+
+
+
+
Returns the set of max module.
+
+
+
+
+
Returns the set of min modules.
+
+
+
+
+
Returns the set of not modules.
+
+
+
+
+
Returns a list of the smallest max modules.
+
+
+
+
+
Returns a list of the smallest min modules.
+
+
+
+
+
+
void
+
+
+
void
+
+
+
void
+
+
+
void
+
+
+
+
+
+
+
+
+
+
Constructs a new Association with the specified sets of modules and AST
+ nodes.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/package-summary.html b/docs/org/variantsync/boosting/datastructure/package-summary.html
new file mode 100644
index 0000000..9fe796d
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/package-summary.html
@@ -0,0 +1,138 @@
+
+
+
+
+org.variantsync.boosting.datastructure (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
All Classes and Interfaces Classes Enum Classes
+
+
+
+
+
+
+
Represents an association between modules and AST nodes.
+
+
+
+
Represents a node in an Abstract Syntax Tree (AST).
+
+
+
+
+
+
A custom set implementation to handle sets similar to how they are defined by
+ ECCO.
+
+
+
+
Represents a feature with a name.
+
+
+
+
The MainTree represents the AST resulting from merging several product ASTs.
+
+
+
+
A class representing a module in ECCO.
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/package-tree.html b/docs/org/variantsync/boosting/datastructure/package-tree.html
new file mode 100644
index 0000000..10b6cef
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/package-tree.html
@@ -0,0 +1,103 @@
+
+
+
+
+org.variantsync.boosting.datastructure Class Hierarchy (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+Package Hierarchies:
+
+
+
+Enum Class Hierarchy
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/datastructure/package-use.html b/docs/org/variantsync/boosting/datastructure/package-use.html
new file mode 100644
index 0000000..b4178b9
--- /dev/null
+++ b/docs/org/variantsync/boosting/datastructure/package-use.html
@@ -0,0 +1,169 @@
+
+
+
+
+Uses of Package org.variantsync.boosting.datastructure (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Represents an association between modules and AST nodes.
+
+
+
+
A custom set implementation to handle sets similar to how they are defined by
+ ECCO.
+
+
+
+
Represents a feature with a name.
+
+
+
+
The MainTree represents the AST resulting from merging several product ASTs.
+
+
+
+
+
+
+
+
+
+
+
+
Represents a node in an Abstract Syntax Tree (AST).
+
+
+
+
+
+
A custom set implementation to handle sets similar to how they are defined by
+ ECCO.
+
+
+
+
Represents a feature with a name.
+
+
+
+
A class representing a module in ECCO.
+
+
+
+
+
+
+
+
+
+
+
+
Represents a node in an Abstract Syntax Tree (AST).
+
+
+
+
A custom set implementation to handle sets similar to how they are defined by
+ ECCO.
+
+
+
+
+
+
+
+
+
+
+
+
Represents a node in an Abstract Syntax Tree (AST).
+
+
+
+
A custom set implementation to handle sets similar to how they are defined by
+ ECCO.
+
+
+
+
Represents a feature with a name.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/package-summary.html b/docs/org/variantsync/boosting/package-summary.html
new file mode 100644
index 0000000..76697bb
--- /dev/null
+++ b/docs/org/variantsync/boosting/package-summary.html
@@ -0,0 +1,114 @@
+
+
+
+
+org.variantsync.boosting (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
Classes
+
+
+
+
+
+
The TraceBoosting class encapsulates the algorithm for enhancing
+ retroactive comparison-based feature tracing with proactively collected feature traces.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/package-tree.html b/docs/org/variantsync/boosting/package-tree.html
new file mode 100644
index 0000000..d3cac75
--- /dev/null
+++ b/docs/org/variantsync/boosting/package-tree.html
@@ -0,0 +1,72 @@
+
+
+
+
+org.variantsync.boosting Class Hierarchy (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+Package Hierarchies:
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/package-use.html b/docs/org/variantsync/boosting/package-use.html
new file mode 100644
index 0000000..b4ee344
--- /dev/null
+++ b/docs/org/variantsync/boosting/package-use.html
@@ -0,0 +1,58 @@
+
+
+
+
+Uses of Package org.variantsync.boosting (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+No usage of org.variantsync.boosting
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/AbstractAST.html b/docs/org/variantsync/boosting/parsing/AbstractAST.html
new file mode 100644
index 0000000..1181059
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/AbstractAST.html
@@ -0,0 +1,378 @@
+
+
+
+
+AbstractAST (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+Fields
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs an AbstractAST with filtering based on file types.
+
+
+
+
Constructs an AbstractAST with no filtering based on file types.
+
+
+
+
Constructs an AbstractAST with a specified root node, set of AST nodes, and
+ optional filtering based on file types.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Abstract Methods Concrete Methods
+
+
+
+
+
+
+
+
+
Collects all nodes (except the root node) of the Abstract Syntax Tree (AST)
+ in one set to simplify their access.
+
+
+
+
+
Returns a set of all AST nodes in the tree.
+
+
+
+
+
Returns the root node of the Abstract Syntax Tree (AST).
+
+
protected abstract void
+
+
+
This method is responsible for visiting the content of a file represented by
+ the given ASTNode and File object.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/CAST.html b/docs/org/variantsync/boosting/parsing/CAST.html
new file mode 100644
index 0000000..468622b
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/CAST.html
@@ -0,0 +1,231 @@
+
+
+
+
+CAST (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+Detail:
+Field |
+Constr | Method
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new CAST object with default file types ".c" and ".h".
+
+
+
+
Constructs a new CAST object with the specified root file and default file
+ types ".c" and ".h".
+
+
+
+
Constructs a new CAST object with the specified root node and AST nodes, and
+ default file types ".c" and ".h".
+
+
+
+
+
+
+Method Summary
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/ESupportedLanguages.html b/docs/org/variantsync/boosting/parsing/ESupportedLanguages.html
new file mode 100644
index 0000000..8c6f67e
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/ESupportedLanguages.html
@@ -0,0 +1,257 @@
+
+
+
+
+ESupportedLanguages (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Nested Class Summary
+
+
+
+
+
+
+Enum Constant Summary
+Enum Constants
+
+
+
+
+
+
+Method Summary
+
+
All Methods Static Methods Concrete Methods
+
+
+
+
+
+
+
+
+
Returns the enum constant of this class with the specified name.
+
+
+
+
+
Returns an array containing the constants of this enum class, in
+the order they are declared.
+
+
+
+
+
Methods inherited from class java.lang.Enum
+
clone , compareTo , describeConstable , equals , finalize , getDeclaringClass , hashCode , name , ordinal , toString , valueOf
+
+
+
+
+
+
+
+
+Enum Constant Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/JavaAST.html b/docs/org/variantsync/boosting/parsing/JavaAST.html
new file mode 100644
index 0000000..9d046ef
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/JavaAST.html
@@ -0,0 +1,246 @@
+
+
+
+
+JavaAST (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
protected void
+
+
+
This method is responsible for visiting the content of a file represented by
+ the given ASTNode and File object.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/JavaVisitor.html b/docs/org/variantsync/boosting/parsing/JavaVisitor.html
new file mode 100644
index 0000000..932393a
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/JavaVisitor.html
@@ -0,0 +1,510 @@
+
+
+
+
+JavaVisitor (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+java.lang.Object
+
com.github.javaparser.ast.visitor.VoidVisitorWithDefaults<
ASTNode >
+
org.variantsync.boosting.parsing.JavaVisitor
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new JavaVisitor object with the specified visited file.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
void
+
+
+
+
+
+
Parses a javaparser Position object into our custom Position
+ object.
+
+
void
+
visit (com.github.javaparser.ast.body.ClassOrInterfaceDeclaration n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.body.ConstructorDeclaration n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.body.EnumConstantDeclaration n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.body.EnumDeclaration n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.body.MethodDeclaration n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.CompilationUnit n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.modules.ModuleDeclaration n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.NodeList nodeList,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.stmt.BlockStmt n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.stmt.DoStmt n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.stmt.ForEachStmt n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.stmt.ForStmt n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.stmt.IfStmt n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.stmt.SwitchEntry n,
+ ASTNode parent)
+
+
void
+
visit (com.github.javaparser.ast.stmt.SwitchStmt n,
+ ASTNode parent)
+
+
+
+
+
Methods inherited from class com.github.javaparser.ast.visitor.VoidVisitorWithDefaults
+defaultAction, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/LineAST.html b/docs/org/variantsync/boosting/parsing/LineAST.html
new file mode 100644
index 0000000..4da7630
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/LineAST.html
@@ -0,0 +1,282 @@
+
+
+
+
+LineAST (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a LineAST object with the specified root file and file types.
+
+
+
+
Constructs a LineAST object with the specified file types.
+
+
+
+
Constructs a LineAST object with the specified root node, AST nodes, and file
+ types.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
protected void
+
+
+
This method is used to visit the content of a file and create an AST node for
+ each line in the file.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/class-use/AbstractAST.html b/docs/org/variantsync/boosting/parsing/class-use/AbstractAST.html
new file mode 100644
index 0000000..39a30ef
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/class-use/AbstractAST.html
@@ -0,0 +1,157 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.parsing.AbstractAST (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Retrieves the AbstractAST tree associated with this MainTree.
+
+
+
+
+
+
+
+
+
Initializes a MainTree object with the given AbstractAST tree.
+
+
+
+
+
+
+
+
+
+
+
+
class
+
+
+
Represents a Syntax Tree (CAST) for C source code files.
+
+
class
+
+
+
Represents an Abstract Syntax Tree (AST) for Java files.
+
+
class
+
+
+
Represents a node in the Abstract Syntax Tree (AST) that represents a line of
+ code in a file.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Returns the Abstract Syntax Tree (AST) representing the product.
+
+
+
+
+
+
+
+
+
Constructs a new Product object with the given parameters.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/class-use/CAST.html b/docs/org/variantsync/boosting/parsing/class-use/CAST.html
new file mode 100644
index 0000000..b828f27
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/class-use/CAST.html
@@ -0,0 +1,58 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.parsing.CAST (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+No usage of org.variantsync.boosting.parsing.CAST
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/class-use/ESupportedLanguages.html b/docs/org/variantsync/boosting/parsing/class-use/ESupportedLanguages.html
new file mode 100644
index 0000000..eb04a30
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/class-use/ESupportedLanguages.html
@@ -0,0 +1,130 @@
+
+
+
+
+Uses of Enum Class org.variantsync.boosting.parsing.ESupportedLanguages (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Returns the enum constant of this class with the specified name.
+
+
+
+
+
Returns an array containing the constants of this enum class, in
+the order they are declared.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Initializes a ProductInitializationTask with the given product number,
+ product passport, and target language.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/class-use/JavaAST.html b/docs/org/variantsync/boosting/parsing/class-use/JavaAST.html
new file mode 100644
index 0000000..494fc0a
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/class-use/JavaAST.html
@@ -0,0 +1,58 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.parsing.JavaAST (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+No usage of org.variantsync.boosting.parsing.JavaAST
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/class-use/JavaVisitor.html b/docs/org/variantsync/boosting/parsing/class-use/JavaVisitor.html
new file mode 100644
index 0000000..4b45b82
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/class-use/JavaVisitor.html
@@ -0,0 +1,58 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.parsing.JavaVisitor (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+No usage of org.variantsync.boosting.parsing.JavaVisitor
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/class-use/LineAST.html b/docs/org/variantsync/boosting/parsing/class-use/LineAST.html
new file mode 100644
index 0000000..c5830e5
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/class-use/LineAST.html
@@ -0,0 +1,85 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.parsing.LineAST (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
class
+
+
+
Represents a Syntax Tree (CAST) for C source code files.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/package-summary.html b/docs/org/variantsync/boosting/parsing/package-summary.html
new file mode 100644
index 0000000..05aaab7
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/package-summary.html
@@ -0,0 +1,138 @@
+
+
+
+
+org.variantsync.boosting.parsing (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
All Classes and Interfaces Classes Enum Classes
+
+
+
+
+
+
+
AbstractAST is an abstract class representing an Abstract Syntax Tree (AST)
+ with a root node and a set of AST nodes.
+
+
+
+
Represents a Syntax Tree (CAST) for C source code files.
+
+
+
+
Enum representing supported programming languages.
+
+
+
+
Represents an Abstract Syntax Tree (AST) for Java files.
+
+
+
+
This class represents a Java visitor that is used to visit ASTNodes in a Java
+ file.
+
+
+
+
Represents a node in the Abstract Syntax Tree (AST) that represents a line of
+ code in a file.
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/package-tree.html b/docs/org/variantsync/boosting/parsing/package-tree.html
new file mode 100644
index 0000000..78520d0
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/package-tree.html
@@ -0,0 +1,100 @@
+
+
+
+
+org.variantsync.boosting.parsing Class Hierarchy (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+Package Hierarchies:
+
+
+Class Hierarchy
+
+java.lang.Object
+
+org.variantsync.boosting.parsing.AbstractAST (implements java.io.Serializable )
+
+org.variantsync.boosting.parsing.JavaAST
+org.variantsync.boosting.parsing.LineAST
+
+org.variantsync.boosting.parsing.CAST
+
+
+
+
+com.github.javaparser.ast.visitor.VoidVisitorWithDefaults<A> (implements com.github.javaparser.ast.visitor.VoidVisitor<A>)
+
+
+
+
+
+
+
+Enum Class Hierarchy
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/parsing/package-use.html b/docs/org/variantsync/boosting/parsing/package-use.html
new file mode 100644
index 0000000..d052d5d
--- /dev/null
+++ b/docs/org/variantsync/boosting/parsing/package-use.html
@@ -0,0 +1,143 @@
+
+
+
+
+Uses of Package org.variantsync.boosting.parsing (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Enum representing supported programming languages.
+
+
+
+
+
+
+
+
+
+
+
+
AbstractAST is an abstract class representing an Abstract Syntax Tree (AST)
+ with a root node and a set of AST nodes.
+
+
+
+
+
+
+
+
+
+
+
+
AbstractAST is an abstract class representing an Abstract Syntax Tree (AST)
+ with a root node and a set of AST nodes.
+
+
+
+
Enum representing supported programming languages.
+
+
+
+
Represents a node in the Abstract Syntax Tree (AST) that represents a line of
+ code in a file.
+
+
+
+
+
+
+
+
+
+
+
+
AbstractAST is an abstract class representing an Abstract Syntax Tree (AST)
+ with a root node and a set of AST nodes.
+
+
+
+
Enum representing supported programming languages.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/FilePosition.html b/docs/org/variantsync/boosting/position/FilePosition.html
new file mode 100644
index 0000000..22a92a6
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/FilePosition.html
@@ -0,0 +1,315 @@
+
+
+
+
+FilePosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new FilePosition object with the specified file path.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
int
+
+
+
Returns the column number associated with the FilePosition object.
+
+
boolean
+
+
+
Compares this FilePosition object with the specified object for equality.
+
+
+
+
+
Returns the file path as a Path object.
+
+
int
+
+
+
Returns the hash code value for the FilePosition object.
+
+
int
+
+
+
Returns the line number associated with the FilePosition object.
+
+
+
+
+
Returns a serialized representation of the FilePosition object.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/LinePosition.html b/docs/org/variantsync/boosting/position/LinePosition.html
new file mode 100644
index 0000000..59aea4d
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/LinePosition.html
@@ -0,0 +1,323 @@
+
+
+
+
+LinePosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a LinePosition object with the specified file position, line
+ number, and column number.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
int
+
+
+
Returns the column number of the line.
+
+
boolean
+
+
+
Compares this LinePosition object to the specified object for equality.
+
+
+
+
+
Returns the file path of the file that contains the line.
+
+
int
+
+
+
Returns a hash code value for the LinePosition object.
+
+
int
+
+
+
Returns the line number of the line.
+
+
+
+
+
Returns a serialized representation of the LinePosition object.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/Position.html b/docs/org/variantsync/boosting/position/Position.html
new file mode 100644
index 0000000..40afe69
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/Position.html
@@ -0,0 +1,331 @@
+
+
+
+
+Position (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
+Method Summary
+
+
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
+
+
+
+
+
+
abstract int
+
+
+
Returns the column number of the Position object.
+
+
abstract boolean
+
+
+
Checks if the Position object is equal to another object.
+
+
+
+
+
Returns the file path of the Position object.
+
+
+
+
+
Creates a Position object from a serialized string.
+
+
abstract int
+
+
+
Returns the hash code of the Position object.
+
+
abstract int
+
+
+
Returns the line number of the Position object.
+
+
+
+
+
Serializes the Position object into an array of strings.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+fromSerializedPosition
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/ProductPosition.html b/docs/org/variantsync/boosting/position/ProductPosition.html
new file mode 100644
index 0000000..40e1e1c
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/ProductPosition.html
@@ -0,0 +1,334 @@
+
+
+
+
+ProductPosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+Fields
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new ProductPosition object with the given Product and Position.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
int
+
+
+
Retrieves the column number associated with the Position of this
+ ProductPosition.
+
+
boolean
+
+
+
Checks if this ProductPosition is equal to another object.
+
+
+
+
+
Retrieves the file path associated with the Position of this ProductPosition.
+
+
int
+
+
+
Generates a hash code for this ProductPosition.
+
+
int
+
+
+
Retrieves the line number associated with the Position of this
+ ProductPosition.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/RootPosition.html b/docs/org/variantsync/boosting/position/RootPosition.html
new file mode 100644
index 0000000..7ba0246
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/RootPosition.html
@@ -0,0 +1,311 @@
+
+
+
+
+RootPosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+Fields
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
int
+
+
+
Returns the column number associated with the root position.
+
+
boolean
+
+
+
Checks if the given object is equal to this RootPosition instance.
+
+
+
+
+
Returns the file path associated with the root position.
+
+
int
+
+
+
Returns the hash code value for the root position.
+
+
int
+
+
+
Returns the line number associated with the root position.
+
+
+
+
+
Returns the serialized representation of the root position.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/UnspecifiedPosition.html b/docs/org/variantsync/boosting/position/UnspecifiedPosition.html
new file mode 100644
index 0000000..4fbe826
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/UnspecifiedPosition.html
@@ -0,0 +1,310 @@
+
+
+
+
+UnspecifiedPosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+Fields
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
int
+
+
+
Gets the column number associated with this UnspecifiedPosition.
+
+
boolean
+
+
+
Checks if this UnspecifiedPosition is equal to another object.
+
+
+
+
+
Gets the file path associated with this UnspecifiedPosition.
+
+
int
+
+
+
Generates a hash code for this UnspecifiedPosition.
+
+
int
+
+
+
Gets the line number associated with this UnspecifiedPosition.
+
+
+
+
+
Serializes the position into an array of strings.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/class-use/FilePosition.html b/docs/org/variantsync/boosting/position/class-use/FilePosition.html
new file mode 100644
index 0000000..b51eab5
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/class-use/FilePosition.html
@@ -0,0 +1,58 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.position.FilePosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+No usage of org.variantsync.boosting.position.FilePosition
+
+
+
diff --git a/docs/org/variantsync/boosting/position/class-use/LinePosition.html b/docs/org/variantsync/boosting/position/class-use/LinePosition.html
new file mode 100644
index 0000000..38e7680
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/class-use/LinePosition.html
@@ -0,0 +1,58 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.position.LinePosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+No usage of org.variantsync.boosting.position.LinePosition
+
+
+
diff --git a/docs/org/variantsync/boosting/position/class-use/Position.html b/docs/org/variantsync/boosting/position/class-use/Position.html
new file mode 100644
index 0000000..3f1c9da
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/class-use/Position.html
@@ -0,0 +1,212 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.position.Position (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Return the position (file, line) where the content of this node starts.
+
+
+
+
+
+
+
+
+
Constructs a new ASTNode with the specified parameters.
+
+
+
+
+
+
+
+
+
+
+
+
+
JavaVisitor. parsePosition (com.github.javaparser.Position parserPosition)
+
+
Parses a javaparser Position object into our custom Position
+ object.
+
+
+
+
+
+
+
+
+
+
+
+
class
+
+
+
Represents the location of a file.
+
+
class
+
+
+
Represents a position in a file with line and column numbers.
+
+
class
+
+
+
Represents the root position in a tree.
+
+
class
+
+
+
Represents an unspecified position.
+
+
+
+
+
+
+
+
+
Creates a Position object from a serialized string.
+
+
+
+
+
+
+
+
+
Constructs a new ProductPosition object with the given Product and Position.
+
+
+
+
+
+
+
+
+
+
+
+
org.logicng.formulas.Formula
+
+
+
Returns the mapping of the node at the given position in the product AST or,
+ if it has already been merged into the main tree, the mapping of the
+ corresponding
+ node in the main tree.
+
+
+
+
+
Returns the ASTNode at the given position in the product AST or, if it has
+ already been merged into the main tree,
+ returns the corresponding node in the main tree.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/class-use/ProductPosition.html b/docs/org/variantsync/boosting/position/class-use/ProductPosition.html
new file mode 100644
index 0000000..f174ada
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/class-use/ProductPosition.html
@@ -0,0 +1,96 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.position.ProductPosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Retrieves the set of ProductPositions associated with the given ASTNode.
+
+
+
+
+
+
org.logicng.formulas.Formula
+
+
+
Retrieves the mapping formula associated with a given product position.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/class-use/RootPosition.html b/docs/org/variantsync/boosting/position/class-use/RootPosition.html
new file mode 100644
index 0000000..4cdd6e5
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/class-use/RootPosition.html
@@ -0,0 +1,83 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.position.RootPosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/class-use/UnspecifiedPosition.html b/docs/org/variantsync/boosting/position/class-use/UnspecifiedPosition.html
new file mode 100644
index 0000000..2de52f4
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/class-use/UnspecifiedPosition.html
@@ -0,0 +1,83 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.position.UnspecifiedPosition (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/package-summary.html b/docs/org/variantsync/boosting/position/package-summary.html
new file mode 100644
index 0000000..aa3700b
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/package-summary.html
@@ -0,0 +1,133 @@
+
+
+
+
+org.variantsync.boosting.position (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
Classes
+
+
+
+
+
+
Represents the location of a file.
+
+
+
+
Represents a position in a file with line and column numbers.
+
+
+
+
Represents a position in a file, line, or root.
+
+
+
+
Represents a mapping between a Product and a Position.
+
+
+
+
Represents the root position in a tree.
+
+
+
+
Represents an unspecified position.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/package-tree.html b/docs/org/variantsync/boosting/position/package-tree.html
new file mode 100644
index 0000000..ff95c47
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/package-tree.html
@@ -0,0 +1,80 @@
+
+
+
+
+org.variantsync.boosting.position Class Hierarchy (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+Package Hierarchies:
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/position/package-use.html b/docs/org/variantsync/boosting/position/package-use.html
new file mode 100644
index 0000000..6be1c34
--- /dev/null
+++ b/docs/org/variantsync/boosting/position/package-use.html
@@ -0,0 +1,139 @@
+
+
+
+
+Uses of Package org.variantsync.boosting.position (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Represents a position in a file, line, or root.
+
+
+
+
Represents a mapping between a Product and a Position.
+
+
+
+
+
+
+
+
+
+
+
+
Represents a position in a file, line, or root.
+
+
+
+
+
+
+
+
+
+
+
+
Represents a position in a file, line, or root.
+
+
+
+
Represents the root position in a tree.
+
+
+
+
Represents an unspecified position.
+
+
+
+
+
+
+
+
+
+
+
+
Represents a position in a file, line, or root.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/Product.html b/docs/org/variantsync/boosting/product/Product.html
new file mode 100644
index 0000000..d37cdad
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/Product.html
@@ -0,0 +1,411 @@
+
+
+
+
+Product (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new Product object with the given parameters.
+
+
+
+
Creates a new Product object by copying the contents of another Product
+ object.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
boolean
+
+
+
void
+
+
+
Clears the product Abstract Syntax Tree (AST) by setting it to null.
+
+
+
+
+
Returns the set of AST nodes in the main tree.
+
+
+
+
+
Retrieves the set of features associated with the product.
+
+
org.logicng.formulas.Formula
+
+
+
Returns the mapping of the node at the given position in the product AST or,
+ if it has already been merged into the main tree, the mapping of the
+ corresponding
+ node in the main tree.
+
+
+
+
+
Returns the name of the object.
+
+
+
+
+
Returns the ASTNode at the given position in the product AST or, if it has
+ already been merged into the main tree,
+ returns the corresponding node in the main tree.
+
+
+
+
+
Returns the Abstract Syntax Tree (AST) representing the product.
+
+
int
+
+
+
void
+
+
+
Sets the AST nodes for the main tree.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Details
+
+
+
+
+
+
+
+
+
+
+
+
+getMappingFromPosition
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/ProductInitializationTask.InitResult.html b/docs/org/variantsync/boosting/product/ProductInitializationTask.InitResult.html
new file mode 100644
index 0000000..136c9a6
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/ProductInitializationTask.InitResult.html
@@ -0,0 +1,234 @@
+
+
+
+
+ProductInitializationTask.InitResult (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+java.lang.Object
+
org.variantsync.boosting.product.ProductInitializationTask.InitResult
+
+
+
+
+
+Field Summary
+Fields
+
+
+
+
+
+
+
+
A set of all features associated with the initialization.
+
+
final int
+
+
+
The ID of the initialization.
+
+
+
+
+
The product associated with the initialization.
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new InitResult with the specified ID, set of all features, and
+ product.
+
+
+
+
+
+
+Method Summary
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/ProductInitializationTask.html b/docs/org/variantsync/boosting/product/ProductInitializationTask.html
new file mode 100644
index 0000000..d0ed3d1
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/ProductInitializationTask.html
@@ -0,0 +1,236 @@
+
+
+
+
+ProductInitializationTask (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Nested Class Summary
+Nested Classes
+
+
+
+
+
static class
+
+
+
Represents the result of initializing a product.
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Initializes a ProductInitializationTask with the given product number,
+ product passport, and target language.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
+
+
+
Parses the sources and creates an InitResult with the created product.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+Constructor Details
+
+
+
+ProductInitializationTask
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/ProductLoadTask.LoadResult.html b/docs/org/variantsync/boosting/product/ProductLoadTask.LoadResult.html
new file mode 100644
index 0000000..42cd873
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/ProductLoadTask.LoadResult.html
@@ -0,0 +1,200 @@
+
+
+
+
+ProductLoadTask.LoadResult (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+Fields
+
+
+
+
+
final int
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
+Method Summary
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/ProductLoadTask.html b/docs/org/variantsync/boosting/product/ProductLoadTask.html
new file mode 100644
index 0000000..bc7389d
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/ProductLoadTask.html
@@ -0,0 +1,242 @@
+
+
+
+
+ProductLoadTask (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Nested Class Summary
+Nested Classes
+
+
+
+
+
static class
+
+
+
Represents the result of loading a product, containing the product ID and
+ product object.
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a ProductLoadTask with the given product file path.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Static Methods Instance Methods Concrete Methods
+
+
+
+
+
+
+
+
+
Loads the product from the file and returns a LoadResult object.
+
+
static void
+
+
+
Resets the processed count to zero.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/ProductLoader.html b/docs/org/variantsync/boosting/product/ProductLoader.html
new file mode 100644
index 0000000..e0f8b66
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/ProductLoader.html
@@ -0,0 +1,238 @@
+
+
+
+
+ProductLoader (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a ProductLoader with the specified list of load tasks and number
+ of threads.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
boolean
+
+
+
Checks if there are more products to load.
+
+
+
+
+
Loads the next product using a thread from the thread pool.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/ProductPassport.html b/docs/org/variantsync/boosting/product/ProductPassport.html
new file mode 100644
index 0000000..b2ed4a8
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/ProductPassport.html
@@ -0,0 +1,239 @@
+
+
+
+
+ProductPassport (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructs a new ProductPassport with the given name, sources root, and
+ configuration path.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Instance Methods Concrete Methods
+
+
+
+
+
+
+
+
+
Returns the path to the product configuration.
+
+
+
+
+
Returns the name of the product.
+
+
+
+
+
Returns the root path for the product sources.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/ProductSaveTask.html b/docs/org/variantsync/boosting/product/ProductSaveTask.html
new file mode 100644
index 0000000..d9cddd0
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/ProductSaveTask.html
@@ -0,0 +1,222 @@
+
+
+
+
+ProductSaveTask (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Summary:
+
+
+
+Detail:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+Constructors
+
+
+
+
+
+
Constructor for ProductSaveTask.
+
+
+
+
+
+
+Method Summary
+
+
All Methods Static Methods Instance Methods Concrete Methods
+
+
+
+
+
+
static void
+
+
+
Reset the processed count to zero.
+
+
void
+
+
+
Saves the product to a file.
+
+
+
+
+
Methods inherited from class java.lang.Object
+
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/class-use/Product.html b/docs/org/variantsync/boosting/product/class-use/Product.html
new file mode 100644
index 0000000..d63c7d8
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/class-use/Product.html
@@ -0,0 +1,216 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.product.Product (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Merges the Abstract Syntax Tree (AST) of the given product into the of this
+ main AST (main tree) and returns the set of all nodes
+ in the resulting main tree corresponding to the nodes of this AST.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Constructs a new ProductPosition object with the given Product and Position.
+
+
+
+
+
+
+
+
+
+
+
+
+
ProductInitializationTask.InitResult. product
+
+
The product associated with the initialization.
+
+
+
+
+
+
+
+
+
+
+
+
Loads the next product using a thread from the thread pool.
+
+
+
+
+
+
+
+
+
Constructs a new InitResult with the specified ID, set of all features, and
+ product.
+
+
+
+
+
+
+
+
Creates a new Product object by copying the contents of another Product
+ object.
+
+
+
+
+
Constructor for ProductSaveTask.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/class-use/ProductInitializationTask.InitResult.html b/docs/org/variantsync/boosting/product/class-use/ProductInitializationTask.InitResult.html
new file mode 100644
index 0000000..f16ce9a
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/class-use/ProductInitializationTask.InitResult.html
@@ -0,0 +1,85 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.product.ProductInitializationTask.InitResult (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
ProductInitializationTask. call ()
+
+
Parses the sources and creates an InitResult with the created product.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/class-use/ProductInitializationTask.html b/docs/org/variantsync/boosting/product/class-use/ProductInitializationTask.html
new file mode 100644
index 0000000..847a5c1
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/class-use/ProductInitializationTask.html
@@ -0,0 +1,86 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.product.ProductInitializationTask (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Initializes the products by creating them from variants and configuration
+ files.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/class-use/ProductLoadTask.LoadResult.html b/docs/org/variantsync/boosting/product/class-use/ProductLoadTask.LoadResult.html
new file mode 100644
index 0000000..46956d7
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/class-use/ProductLoadTask.LoadResult.html
@@ -0,0 +1,85 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.product.ProductLoadTask.LoadResult (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Loads the product from the file and returns a LoadResult object.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/class-use/ProductLoadTask.html b/docs/org/variantsync/boosting/product/class-use/ProductLoadTask.html
new file mode 100644
index 0000000..082cdb4
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/class-use/ProductLoadTask.html
@@ -0,0 +1,87 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.product.ProductLoadTask (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Constructs a ProductLoader with the specified list of load tasks and number
+ of threads.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/class-use/ProductLoader.html b/docs/org/variantsync/boosting/product/class-use/ProductLoader.html
new file mode 100644
index 0000000..6df9a3d
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/class-use/ProductLoader.html
@@ -0,0 +1,83 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.product.ProductLoader (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/class-use/ProductPassport.html b/docs/org/variantsync/boosting/product/class-use/ProductPassport.html
new file mode 100644
index 0000000..0801c4d
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/class-use/ProductPassport.html
@@ -0,0 +1,106 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.product.ProductPassport (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Initializes a ProductInitializationTask with the given product number,
+ product passport, and target language.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/class-use/ProductSaveTask.html b/docs/org/variantsync/boosting/product/class-use/ProductSaveTask.html
new file mode 100644
index 0000000..a7644d7
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/class-use/ProductSaveTask.html
@@ -0,0 +1,58 @@
+
+
+
+
+Uses of Class org.variantsync.boosting.product.ProductSaveTask (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+No usage of org.variantsync.boosting.product.ProductSaveTask
+
+
+
diff --git a/docs/org/variantsync/boosting/product/package-summary.html b/docs/org/variantsync/boosting/product/package-summary.html
new file mode 100644
index 0000000..0575410
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/package-summary.html
@@ -0,0 +1,144 @@
+
+
+
+
+org.variantsync.boosting.product (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
Classes
+
+
+
+
+
+
The Product class represents a product with features and an abstract syntax tree (AST).
+
+
+
+
A Callable task for initializing a product with the given parameters.
+
+
+
+
Represents the result of initializing a product.
+
+
+
+
A class that implements an Iterator for loading products using multiple
+ threads.
+
+
+
+
A Callable task that loads a product from a given file path.
+
+
+
+
Represents the result of loading a product, containing the product ID and
+ product object.
+
+
+
+
The ProductPassport collects the information about the product name,
+ sources root, and configuration path.
+
+
+
+
A class representing a task to save a product to a file.
+
+
+
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/package-tree.html b/docs/org/variantsync/boosting/product/package-tree.html
new file mode 100644
index 0000000..1516e5a
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/package-tree.html
@@ -0,0 +1,79 @@
+
+
+
+
+org.variantsync.boosting.product Class Hierarchy (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+Package Hierarchies:
+
+
+
+
+
+
diff --git a/docs/org/variantsync/boosting/product/package-use.html b/docs/org/variantsync/boosting/product/package-use.html
new file mode 100644
index 0000000..7409d54
--- /dev/null
+++ b/docs/org/variantsync/boosting/product/package-use.html
@@ -0,0 +1,159 @@
+
+
+
+
+Uses of Package org.variantsync.boosting.product (trace-boosting 1.0.0 API)
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
The Product class represents a product with features and an abstract syntax tree (AST).
+
+
+
+
A Callable task for initializing a product with the given parameters.
+
+
+
+
A class that implements an Iterator for loading products using multiple
+ threads.
+
+
+
+
The ProductPassport collects the information about the product name,
+ sources root, and configuration path.
+
+
+
+
+
+
+
+
+
+
+
+
The Product class represents a product with features and an abstract syntax tree (AST).
+
+
+
+
+
+
+
+
+
+
+
+
The Product class represents a product with features and an abstract syntax tree (AST).
+
+
+
+
+
+
+
+
+
+
+
+
The Product class represents a product with features and an abstract syntax tree (AST).
+
+
+
+
Represents the result of initializing a product.
+
+
+
+
A Callable task that loads a product from a given file path.
+
+
+
+
Represents the result of loading a product, containing the product ID and
+ product object.
+
+
+
+
The ProductPassport collects the information about the product name,
+ sources root, and configuration path.
+
+
+
+
+
+
+
+
+
diff --git a/docs/overview-summary.html b/docs/overview-summary.html
index cc0cc0c..771a3d3 100644
--- a/docs/overview-summary.html
+++ b/docs/overview-summary.html
@@ -1,7 +1,7 @@
-
+
trace-boosting 1.0.0 API
Class Hierarchy (trace-boosting 1.0.0 API)
Serialized Form (trace-boosting 1.0.0 API)