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

Class FieldVisitor

java.lang.Object

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

science.aist.gtf.verification.syntactic.visitor.FieldVisitor

All Implemented Interfaces:

ConstraintVisitor<Field>

public class FieldVisitor
extends AbstractVisitor<Field>

Visitor for a single field

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

Method Summary

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

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

FieldVisitor

public FieldVisitor(RestrictedVisitorFactory visitorFactory)

Method Detail

visit

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

Visit method for visiting a single field

Parameters:

toVisit - The generic 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