/* InvocationSanityCheckVisitor - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */
package alloy.semantic;
import alloy.ast.ASTDepthFirstVisitor;
import alloy.ast.EmptyExpr;
import alloy.ast.InvocationExpr;
import alloy.ast.InvocationFormula;
import alloy.util.Dbg;

public class InvocationSanityCheckVisitor extends ASTDepthFirstVisitor
{
    public void visit(InvocationExpr invocationexpr) {
	Dbg.chk((invocationexpr.getReceiver() instanceof EmptyExpr
		 || (invocationexpr.getReceiver()
		     == invocationexpr.getArgs().get(0))),
		invocationexpr.nodeString() + " is messed up");
    }
    
    public void visit(InvocationFormula invocationformula) {
	Dbg.chk((invocationformula.getReceiver() instanceof EmptyExpr
		 || (invocationformula.getReceiver()
		     == invocationformula.getArgs().get(0))),
		invocationformula.nodeString() + " is messed up");
    }
}