org.grinvin.invariants

Interface InvariantNode.Visitor

public static interface InvariantNode.Visitor

Interface for visitors to these nodes.

Method Summary

void
visitFactory(InvariantFactory factory)
void
visitGroup(InvariantGroup group)
void
visitInvariant(Invariant invariant)

Method Details

visitFactory

public void visitFactory(InvariantFactory factory)

visitGroup

public void visitGroup(InvariantGroup group)

visitInvariant

public void visitInvariant(Invariant invariant)