Uses of Class
org.variantsync.boosting.position.Position

Packages that use Position

Package	Description
org.variantsync.boosting.datastructure
org.variantsync.boosting.parsing
org.variantsync.boosting.position
org.variantsync.boosting.product

Uses of Position in org.variantsync.boosting.datastructure

Methods in org.variantsync.boosting.datastructure that return Position

Modifier and Type	Method	Description
Position	ASTNode.getStartPosition()	Return the position (file, line) where the content of this node starts.

Constructors in org.variantsync.boosting.datastructure with parameters of type Position

Modifier	Constructor	Description
	ASTNode(ASTNode parent, String code, Position position, ASTNode.NODE_TYPE type, org.logicng.formulas.Formula mapping)	Constructs a new ASTNode with the specified parameters.

Uses of Position in org.variantsync.boosting.parsing

Methods in org.variantsync.boosting.parsing that return Position

Modifier and Type	Method	Description
Position	JavaVisitor.parsePosition(com.github.javaparser.Position parserPosition)	Parses a javaparser Position object into our custom Position object.

Uses of Position in org.variantsync.boosting.position

Subclasses of Position in org.variantsync.boosting.position

Modifier and Type	Class	Description
class	FilePosition	Represents the location of a file.
class	LinePosition	Represents a position in a file with line and column numbers.
class	RootPosition	Represents the root position in a tree.
class	UnspecifiedPosition	Represents an unspecified position.

Fields in org.variantsync.boosting.position declared as Position

Modifier and Type	Field	Description
final Position	ProductPosition.position

Methods in org.variantsync.boosting.position that return Position

Modifier and Type	Method	Description
static Position	Position.fromSerializedPosition(String[] serializedPosition)	Creates a Position object from a serialized string.

Constructors in org.variantsync.boosting.position with parameters of type Position

Modifier	Constructor	Description
	ProductPosition(Variant variant, Position position)	Constructs a new ProductPosition object with the given Product and Position.

Uses of Position in org.variantsync.boosting.product

Methods in org.variantsync.boosting.product with parameters of type Position

Modifier and Type	Method	Description
org.logicng.formulas.Formula	Variant.getMappingFromPosition(Position position)	Returns the mapping of the node at the given position in the variant's AST or, if it has already been merged into the main tree, the mapping of the corresponding node in the main tree.
ASTNode	Variant.getNodeFromPosition(Position position)	Returns the ASTNode at the given position in the variant AST or, if it has already been merged into the main tree, returns the corresponding node in the main tree.