Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes

de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator Class Reference

List of all members.

Public Member Functions

abstract Collection<?extends
IAXLangElement
getChildrenCollection ()
abstract Iterator<?extends
IAXLangElement
getChildrenIterator ()
abstract boolean hasNextChild ()
abstract boolean hasNoChildren () throws SolverException
 checks if an IAXLangElement has NO children Abstract hook method of "AxlBddVisitor.translateIAXLangElementAtomic()"
abstract IAXLangElement nextChild ()
abstract int numberOfChildren ()
abstract void resetAll ()
abstract void resetChildrenIterator ()

Static Public Member Functions

static Collection< AxlElementPathconvertToPathCollection (AxlElementPath parentPath, Collection<?extends IAXLangElement > collection)
static Collection< AxlElementPathconvertToPathCollection (AxlElementPath parentPath, Iterator<?extends IAXLangElement > iterator)

Protected Member Functions

 AxlIterator (IAXLangElement element)

Protected Attributes

IAXLangElement theElement

Detailed Description

Author:
smann
Version:
0.9.0
Since:
0.9.0

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.AxlIterator ( IAXLangElement  element  )  [protected]

Member Function Documentation

static Collection<AxlElementPath> de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.convertToPathCollection ( AxlElementPath  parentPath,
Collection<?extends IAXLangElement collection 
) [static]
static Collection<AxlElementPath> de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.convertToPathCollection ( AxlElementPath  parentPath,
Iterator<?extends IAXLangElement iterator 
) [static]
abstract Collection<? extends IAXLangElement> de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.getChildrenCollection (  )  [pure virtual]
abstract Iterator<? extends IAXLangElement> de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.getChildrenIterator (  )  [pure virtual]
abstract boolean de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.hasNextChild (  )  [pure virtual]
abstract boolean de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.hasNoChildren (  )  throws SolverException [pure virtual]

checks if an IAXLangElement has NO children Abstract hook method of "AxlBddVisitor.translateIAXLangElementAtomic()"

Parameters:
parent should be an IAXLangElement or an corresponding AxlElementPath
Returns:
boolean
Exceptions:
if element does not represent an appropriate IAXLangElement (see implementing classes)

Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIteratorHierarchy, de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIteratorModel, and de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIteratorRelation.

abstract IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.nextChild (  )  [pure virtual]
abstract int de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.numberOfChildren (  )  [pure virtual]
abstract void de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.resetAll (  )  [pure virtual]
abstract void de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.resetChildrenIterator (  )  [pure virtual]

Member Data Documentation