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

Class AbstractVisitor<T>

java.lang.Object

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

All Implemented Interfaces:

ConstraintVisitor<T>

Direct Known Subclasses:

ArrayVisitor, FieldsVisitor, FieldVisitor, IterableVisitor, ObjectVisitor

public abstract class AbstractVisitor<T>
extends Object
implements ConstraintVisitor<T>

Abstract visitor

Since:

1.0

Author:

Christoph Praschl

Field Summary

Fields

Modifier and Type	Field	Description
protected @NonNull RestrictedVisitorFactory	visitorFactory

Constructor Summary

Constructors

Constructor	Description
AbstractVisitor()

Method Summary

Modifier and Type	Method	Description
PropertyVerificatorResult	visit(T toVisit)	Visit method for visiting a generic object

Methods inherited from class java.lang.Object

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

Methods inherited from interface science.aist.gtf.verification.syntactic.visitor.ConstraintVisitor

visit

Field Detail

visitorFactory

@NonNull
protected @NonNull RestrictedVisitorFactory visitorFactory

Constructor Detail

AbstractVisitor

public AbstractVisitor()

Method Detail

visit

public PropertyVerificatorResult visit(T toVisit)

Visit method for visiting a generic object

Specified by:

visit in interface ConstraintVisitor<T>

Parameters:

toVisit - The generic object which should be visited

Returns:

A map of objects and its fields which break a constraint