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< AxlElementPath > | convertToPathCollection (AxlElementPath parentPath, Collection<?extends IAXLangElement > collection) |
static Collection< AxlElementPath > | convertToPathCollection (AxlElementPath parentPath, Iterator<?extends IAXLangElement > iterator) |
Protected Member Functions | |
AxlIterator (IAXLangElement element) | |
Protected Attributes | |
IAXLangElement | theElement |
de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.AxlIterator | ( | IAXLangElement | element | ) | [protected] |
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()"
parent | should be an IAXLangElement or an corresponding AxlElementPath |
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] |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIteratorConfiguration, de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIteratorHierarchy, de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIteratorModel, de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIteratorPort, de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIteratorRelation, and de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIteratorSubComponent.
abstract void de.fraunhofer.isst.axbench.operations.checker.solver.axliterator.AxlIterator.resetChildrenIterator | ( | ) | [pure virtual] |