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

Class FieldsVisitor

java.lang.Object

science.aist.gtf.verification.syntactic.visitor.AbstractVisitor<Collection<Field>>

science.aist.gtf.verification.syntactic.visitor.FieldsVisitor

All Implemented Interfaces:

ConstraintVisitor<Collection<Field>>

public class FieldsVisitor
extends AbstractVisitor<Collection<Field>>

Visitor for visiting a collection of fields

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

Method Summary

Modifier and Type	Method	Description
PropertyVerificatorResult	visit(Collection<Field> toVisit, Field fieldOfToVisitInParent, Object parent, Collection<Object> visitedObjs)	Visit method for visiting a collection of fields

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

FieldsVisitor

public FieldsVisitor(RestrictedVisitorFactory visitorFactory)

Method Detail

visit

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

Visit method for visiting a collection of fields

Parameters:

toVisit - The collection of fields 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