/* IntUnsupportedVisitor - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */
package alloy.semantic;
import alloy.ast.ASTDepthFirstVisitor;
import alloy.ast.IntExprCastExpr;
import alloy.ast.SigExpr;
import alloy.util.Dbg;
import alloy.util.Msg;

public class IntUnsupportedVisitor extends ASTDepthFirstVisitor
{
    public void visit(SigExpr sigexpr) {
	if (sigexpr.nodeString().equals("Int"))
	    Dbg.user(new Msg("Int is currently unsupported", sigexpr));
    }
    
    public void visit(IntExprCastExpr intexprcastexpr) {
	Dbg.user(new Msg("Int is currently unsupported", intexprcastexpr));
    }
}