Utils.fail("Trying to get integer value for push value, but the constant hasn't been resolved yet.  It is of class " + push.getClass());
Utils.fail("Trying to get integer value for push value in filter " + this.getIdent() + ", but the constant hasn't been resolved yet.  It is of class " + push.getClass());
    public int getPushInt() {	// need int literal to get number	if (!(push instanceof JIntLiteral)) {	    Utils.fail("Trying to get integer value for push value, but the constant hasn't been resolved yet.  It is of class " + push.getClass());	}	return ((JIntLiteral)push).intValue();    }