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

Class ArrayVisitor

java.lang.Object

science.aist.gtf.verification.syntactic.visitor.AbstractVisitor<Object>

science.aist.gtf.verification.syntactic.visitor.ArrayVisitor

All Implemented Interfaces:

ConstraintVisitor<Object>

public class ArrayVisitor
extends AbstractVisitor<Object>

A visitor for a array

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
ArrayVisitor(RestrictedVisitorFactory visitorFactory)

Method Summary

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

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

ArrayVisitor

public ArrayVisitor(RestrictedVisitorFactory visitorFactory)

Method Detail

visit

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

Visit method for visiting an array

Parameters:

toVisit - An array 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