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

Class ObjectVisitor

java.lang.Object

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

science.aist.gtf.verification.syntactic.visitor.ObjectVisitor

All Implemented Interfaces:

ConstraintVisitor<Object>

public class ObjectVisitor
extends AbstractVisitor<Object>

Visitor for an object

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
ObjectVisitor(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 object

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

ObjectVisitor

public ObjectVisitor(RestrictedVisitorFactory visitorFactory)

Method Detail

visit

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

Visit method for visiting an object

Parameters:

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