PogVisitor.java

package org.overture.pog.visitors;

import org.overture.pog.contexts.POContextStack;
import org.overture.pog.obligation.ProofObligationList;

/**
 * This is the proof obligation visitor climbs through the AST and builds the list of proof obligations the given
 * program exhibits. References: [1] http://wiki.overturetool.org/images/9/95/VDM10_lang_man.pdf for BNF definitions.
 * This work is based on previous work by Nick Battle in the VDMJ package.
 * 
 * @author Overture team
 * @since 1.0
 */
public class PogVisitor extends
		PogParamVisitor<POContextStack, ProofObligationList>
{

}