/* InvocationErrorVisitor - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */
package alloy.semantic;
import alloy.ast.ASTDepthFirstReturnVisitor;
import alloy.ast.InvocationExpr;
import alloy.util.Dbg;
import alloy.util.Msg;

public class InvocationErrorVisitor extends ASTDepthFirstReturnVisitor
{
    public Object visit(InvocationExpr invocationexpr) {
	Dbg.user(new Msg("an invocation cannot appear in this context",
			 invocationexpr));
	return null;
    }
}