Package science.aist.gtf.verification.syntactic.visitor

Class IterableVisitor

java.lang.Object

science.aist.gtf.verification.syntactic.visitor.AbstractVisitor<Iterable<?>>

science.aist.gtf.verification.syntactic.visitor.IterableVisitor

All Implemented Interfaces:

ConstraintVisitor<Iterable<?>>

public class IterableVisitor
extends AbstractVisitor<Iterable<?>>

Visitor for an iterable

Since:

1.0

Author:

Christoph Praschl

Field Summary

Fields inherited from class science.aist.gtf.verification.syntactic.visitor.AbstractVisitor

visitorFactory

Constructor Summary

Constructors

Constructor	Description
IterableVisitor(RestrictedVisitorFactory visitorFactory)

Method Summary

Modifier and Type	Method	Description
PropertyVerificatorResult	visit(Iterable<?> toVisit, Field fieldOfToVisitInParent, Object parent, Collection<Object> visitedObjs)	Visit method for visiting an iterable

Methods inherited from class science.aist.gtf.verification.syntactic.visitor.AbstractVisitor

visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IterableVisitor

public IterableVisitor(RestrictedVisitorFactory visitorFactory)

Method Detail

visit

public PropertyVerificatorResult visit(Iterable<?> toVisit,
                                       Field fieldOfToVisitInParent,
                                       Object parent,
                                       Collection<Object> visitedObjs)

Visit method for visiting an iterable

Parameters:

toVisit - An iterable which should be visited

fieldOfToVisitInParent - the corresponding field in the parent of which toVisit contains the value

parent - The parent object wrapping the toVisit object

visitedObjs - A list of already visited objects to avoid circular calls

Returns:

A map of objects and its fields which break a constraint