Represents the concatenation operator in the regular expression. The node can have 0 to n children in list of UnboundedRegExpElement as operands of the concatenation. More...

#include <UnboundedRegExpConcatenation.h>

Inheritance diagram for regexp::UnboundedRegExpConcatenation< SymbolType >:

[legend]

Collaboration diagram for regexp::UnboundedRegExpConcatenation< SymbolType >:

[legend]

Public Member Functions
	UnboundedRegExpConcatenation ()=default
	Creates a new instance of the concatenation node. By default it is semantically equivalent to epsilon. More...

UnboundedRegExpConcatenation< SymbolType > *	clone () const &override
	( ) const & More...

UnboundedRegExpConcatenation< SymbolType > *	clone () &&override
	( ) const & More...

ext::smart_ptr< FormalRegExpElement< SymbolType > >	asFormal () const override

bool	testSymbol (const SymbolType &symbol) const override

void	computeMinimalAlphabet (ext::set< SymbolType > &alphabet) const override

bool	checkAlphabet (const ext::set< SymbolType > &alphabet) const override

const ext::ptr_vector< UnboundedRegExpElement< SymbolType > > &	getElements () const

const ext::ptr_vector< UnboundedRegExpElement< SymbolType > > &	getElements ()

void	appendElement (UnboundedRegExpElement< SymbolType > &&element)

void	appendElement (const UnboundedRegExpElement< SymbolType > &element)

std::strong_ordering	operator<=> (const UnboundedRegExpElement< SymbolType > &other) const override
	< SymbolType >::operator <=> ( const UnboundedRegExpElement < SymbolType > & other ) const; More...

std::strong_ordering	operator<=> (const UnboundedRegExpConcatenation< SymbolType > &) const

bool	operator== (const UnboundedRegExpElement< SymbolType > &other) const override
	< SymbolType >::operator == ( const UnboundedRegExpElement < SymbolType > & other ) const; More...

bool	operator== (const UnboundedRegExpConcatenation< SymbolType > &) const

void	operator>> (ext::ostream &out) const override
	< UnboundedRegExpElement < SymbolType > >::operator >> ( ext::ostream & ) More...

ext::smart_ptr< UnboundedRegExpElement< DefaultSymbolType > >	normalize () &&override
	< SymbolType >::normalize ( ) && More...

Public Member Functions inherited from ext::VararyNode< UnboundedRegExpElement< SymbolType > >
	VararyNode ()=default
	Default constructor. Sets the vector of children to empty vector. More...

	VararyNode (ext::ptr_vector< UnboundedRegExpElement< SymbolType > > c)
	Constructor from vector of child nodes. More...

	VararyNode (const VararyNode &other)
	Copy constructor of the class. More...

	VararyNode (VararyNode &&other) noexcept
	Move constructor of the class. More...

	~VararyNode () noexcept override=default
	Destructor of the class. More...

VararyNode &	operator= (const VararyNode &other)
	Copy operator of assignment. More...

VararyNode &	operator= (VararyNode &&other) noexcept
	Move operator of assignment. More...

const ext::ptr_vector< UnboundedRegExpElement< SymbolType > > &	getChildren () &
	Getter of the vector of children. More...

const ext::ptr_vector< UnboundedRegExpElement< SymbolType > > &	getChildren () const &
	Getter of the vector of children. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > > &&	getChildren () &&
	Getter of the child nodes. More...

void	setChildren (ext::ptr_vector< UnboundedRegExpElement< SymbolType > > c)
	Setter of the vector of children. More...

UnboundedRegExpElement< SymbolType > &	getChild (size_t index)
	Getter of the child at given index. More...

const UnboundedRegExpElement< SymbolType > &	getChild (size_t index) const
	Getter of the child at given index. More...

void	setChild (const UnboundedRegExpElement< SymbolType > &d, PositionIterator it)
	Setter of the single child of the node. More...

void	setChild (UnboundedRegExpElement< SymbolType > &&d, PositionIterator it)
	Setter of the single child of the node. More...

void	setChild (const UnboundedRegExpElement< SymbolType > &d, size_t index)
	Setter of the single child of the node. More...

void	setChild (UnboundedRegExpElement< SymbolType > &&d, size_t index)
	Setter of the single child of the node. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator it, const UnboundedRegExpElement< SymbolType > &d)
	Inserts a new child at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_reverse_iterator it, const UnboundedRegExpElement< SymbolType > &d)
	Inserts a new child at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator it, const UnboundedRegExpElement< SymbolType > &d)
	Inserts a new child at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_iterator it, const UnboundedRegExpElement< SymbolType > &d)
	Inserts a new child at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator it, UnboundedRegExpElement< SymbolType > &&d)
	Inserts a new child at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_reverse_iterator it, UnboundedRegExpElement< SymbolType > &&d)
	Inserts a new child at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator it, UnboundedRegExpElement< SymbolType > &&d)
	Inserts a new child at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_iterator it, UnboundedRegExpElement< SymbolType > &&d)
	Inserts a new child at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_reverse_iterator it, InputIterator first, InputIterator last)
	Inserts a new children from a given range at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator it, InputIterator first, InputIterator last)
	Inserts a new children from a given range at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_iterator it, InputIterator first, InputIterator last)
	Inserts a new children from a given range at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	insert (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator it, InputIterator first, InputIterator last)
	Inserts a new children from a given range at position specified by iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	erase (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator it)
	Erases a child specified by an iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	erase (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_reverse_iterator it)
	Erases a child specified by an iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	erase (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator it)
	Erases a child specified by an iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	erase (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_iterator it)
	Erases a child specified by an iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	erase (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator first, typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator last)
	Erases a range of children specified by an iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	erase (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_reverse_iterator first, typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_reverse_iterator last)
	Erases a range of children specified by an iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	erase (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator first, typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator last)
	Erases a range of children specified by an iterator. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	erase (typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_iterator first, typename ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_iterator last)
	Erases a range of children specified by an iterator. More...

void	clear ()
	Erases all children. More...

void	pushBackChild (const UnboundedRegExpElement< SymbolType > &d)
	Appends a new child at the end of the child vector. More...

void	pushBackChild (UnboundedRegExpElement< SymbolType > &&d)
	Appends a new child at the end of the child vector. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	begin ()
	Getter of an iterator to the begining of children vector. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_iterator	begin () const
	Getter of an iterator to the begining of children vector. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	rbegin ()
	Getter of an iterator to the begining of children vector. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_reverse_iterator	rbegin () const
	Getter of an iterator to the begining of children vector. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::iterator	end ()
	Getter of an iterator to the end of children vector. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_iterator	end () const
	Getter of an iterator to the end of children vector. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::reverse_iterator	rend ()
	Getter of an iterator to the end of children vector. More...

ext::ptr_vector< UnboundedRegExpElement< SymbolType > >::const_reverse_iterator	rend () const
	Getter of an iterator to the end of children vector. More...

Detailed Description

template<class SymbolType>
class regexp::UnboundedRegExpConcatenation< SymbolType >

Represents the concatenation operator in the regular expression. The node can have 0 to n children in list of UnboundedRegExpElement as operands of the concatenation.

The structure is derived from VararyNode that provides the children list and its accessors.

The node can be visited by the UnboundedRegExpElement < SymbolType >::Visitor

Template Parameters

SymbolType used for the terminal alphabet

Constructor & Destructor Documentation

◆ UnboundedRegExpConcatenation()

template<class SymbolType >

regexp::UnboundedRegExpConcatenation< SymbolType >::UnboundedRegExpConcatenation ( )

explicitdefault

Creates a new instance of the concatenation node. By default it is semantically equivalent to epsilon.

Member Function Documentation

◆ appendElement() [1/2]

template<class SymbolType >

void regexp::UnboundedRegExpConcatenation< SymbolType >::appendElement ( const UnboundedRegExpElement< SymbolType > & element )

Node appending method. The node is added to the current list of nodes.

Parameters

appended node

Here is the call graph for this function:

◆ appendElement() [2/2]

template<class SymbolType >

void regexp::UnboundedRegExpConcatenation< SymbolType >::appendElement ( UnboundedRegExpElement< SymbolType > && element )

Node appending method. The node is added to the current list of nodes.

Parameters

appended node

Here is the caller graph for this function:

◆ asFormal()

template<class SymbolType >

ext::smart_ptr< FormalRegExpElement< SymbolType > > regexp::UnboundedRegExpConcatenation< SymbolType >::asFormal

override

◆ checkAlphabet()

template<class SymbolType >

bool regexp::UnboundedRegExpConcatenation< SymbolType >::checkAlphabet ( const ext::set< SymbolType > & alphabet ) const

override

Traverses the regexp tree and checks whether all symbols in the regexp tree are in the alphabet

Parameters

alphabet alphabet to check against

Returns: true if symbols in the regexp are in the alphabet, false otherwise

◆ clone() [1/2]

template<class SymbolType >

UnboundedRegExpConcatenation< SymbolType > * regexp::UnboundedRegExpConcatenation< SymbolType >::clone ( ) &&

override

( ) const &

◆ clone() [2/2]

template<class SymbolType >

UnboundedRegExpConcatenation< SymbolType > * regexp::UnboundedRegExpConcatenation< SymbolType >::clone ( ) const &

override

( ) const &

◆ computeMinimalAlphabet()

template<class SymbolType >

void regexp::UnboundedRegExpConcatenation< SymbolType >::computeMinimalAlphabet ( ext::set< SymbolType > & alphabet ) const

override

Traverses the regexp tree computing minimal alphabet needed by regexp

Parameters

alphabet All alphabet symbols encountered are added into this set

Here is the call graph for this function:

Here is the caller graph for this function:

◆ getElements() [1/2]

template<class SymbolType >

const ext::ptr_vector< UnboundedRegExpElement< SymbolType > > & regexp::UnboundedRegExpConcatenation< SymbolType >::getElements

Getter of child nodes of the regexp node

Returns: child nodes

◆ getElements() [2/2]

template<class SymbolType >

const ext::ptr_vector< UnboundedRegExpElement< SymbolType > > & regexp::UnboundedRegExpConcatenation< SymbolType >::getElements

Getter of child nodes of the regexp node

Returns: child nodes

Here is the caller graph for this function:

◆ normalize()

template<class SymbolType >

ext::smart_ptr< UnboundedRegExpElement< DefaultSymbolType > > regexp::UnboundedRegExpConcatenation< SymbolType >::normalize ( ) &&

inlineoverride

< SymbolType >::normalize ( ) &&

Abstract class representing element in the unbounded regular expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the terminal alphabet < SymbolType >::normalize ( ) &&

Here is the call graph for this function:

Here is the caller graph for this function:

◆ operator<=>() [1/2]

template<class SymbolType >

std::strong_ordering regexp::UnboundedRegExpConcatenation< SymbolType >::operator<=> ( const UnboundedRegExpConcatenation< SymbolType > & other ) const

The three way comparison implementation

Parameters

other the other instance

Returns: the ordering between this object and the other.

Here is the call graph for this function:

◆ operator<=>() [2/2]

template<class SymbolType >

std::strong_ordering regexp::UnboundedRegExpConcatenation< SymbolType >::operator<=> ( const UnboundedRegExpElement< SymbolType > & other ) const

inlineoverride

< SymbolType >::operator <=> ( const UnboundedRegExpElement < SymbolType > & other ) const;

Abstract class representing element in the unbounded regular expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the terminal alphabet < SymbolType >::operator <=> ( const UnboundedRegExpElement < SymbolType > & other ) const;

◆ operator==() [1/2]

template<class SymbolType >

bool regexp::UnboundedRegExpConcatenation< SymbolType >::operator== ( const UnboundedRegExpConcatenation< SymbolType > & other ) const

The equality comparison implementation.

Parameters

other the other object to compare with.

Returns: true if this and other objects are equal, false othervise

Here is the call graph for this function:

◆ operator==() [2/2]

template<class SymbolType >

bool regexp::UnboundedRegExpConcatenation< SymbolType >::operator== ( const UnboundedRegExpElement< SymbolType > & other ) const

inlineoverride

< SymbolType >::operator == ( const UnboundedRegExpElement < SymbolType > & other ) const;

Abstract class representing element in the unbounded regular expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the terminal alphabet < SymbolType >::operator == ( const UnboundedRegExpElement < SymbolType > & other ) const;

◆ operator>>()

template<class SymbolType >

void regexp::UnboundedRegExpConcatenation< SymbolType >::operator>> ( ext::ostream & out ) const

override

< UnboundedRegExpElement < SymbolType > >::operator >> ( ext::ostream & )

◆ testSymbol()

template<class SymbolType >

bool regexp::UnboundedRegExpConcatenation< SymbolType >::testSymbol ( const SymbolType & symbol ) const

override

The documentation for this class was generated from the following file:

alib2data/src/regexp/unbounded/UnboundedRegExpConcatenation.h

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ UnboundedRegExpConcatenation()

Member Function Documentation

◆ appendElement() [1/2]

◆ appendElement() [2/2]

◆ asFormal()

◆ checkAlphabet()

◆ clone() [1/2]

◆ clone() [2/2]

◆ computeMinimalAlphabet()

◆ getElements() [1/2]

◆ getElements() [2/2]

◆ normalize()

◆ operator<=>() [1/2]

◆ operator<=>() [2/2]

◆ operator==() [1/2]

◆ operator==() [2/2]

◆ operator>>()

◆ testSymbol()