class LHSGeneratorContextFactory {

    public int getMaximumDepth() {
        int depth = 0;
        for (LHSGeneratorContext gctx : contexts) {
            depth = Math.max(depth,
                             gctx.getDepth());
        }
        return depth;
    }

}