Class AccumulationVisitor

All Implemented Interfaces:
TreeVisitor<Void,Void>
Direct Known Subclasses:
CalledMethodsVisitor

public class AccumulationVisitor extends BaseTypeVisitor<AccumulationAnnotatedTypeFactory>
The visitor for an accumulation checker. Issues predicate.invalid errors if the user writes an invalid predicate.