/*      $OpenBSD: roff_validate.c,v 1.19 2020/02/27 01:25:58 schwarze Exp $ */
/*
 * Copyright (c) 2010, 2017, 2018, 2020 Ingo Schwarze <schwarze@openbsd.org>
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted, provided that the above
 * copyright notice and this permission notice appear in all copies.
 *
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 */
#include <sys/types.h>

#include <assert.h>
#include <stdio.h>
#include <string.h>

#include "mandoc.h"
#include "roff.h"
#include "libmandoc.h"
#include "roff_int.h"

#define ROFF_VALID_ARGS struct roff_man *man, struct roff_node *n

typedef void    (*roff_valid_fp)(ROFF_VALID_ARGS);

static  void      roff_valid_br(ROFF_VALID_ARGS);
static  void      roff_valid_fi(ROFF_VALID_ARGS);
static  void      roff_valid_ft(ROFF_VALID_ARGS);
static  void      roff_valid_nf(ROFF_VALID_ARGS);
static  void      roff_valid_sp(ROFF_VALID_ARGS);

static  const roff_valid_fp roff_valids[ROFF_MAX] = {
        roff_valid_br,  /* br */
        NULL,  /* ce */
        roff_valid_fi,  /* fi */
        roff_valid_ft,  /* ft */
        NULL,  /* ll */
        NULL,  /* mc */
        roff_valid_nf,  /* nf */
        NULL,  /* po */
        NULL,  /* rj */
        roff_valid_sp,  /* sp */
        NULL,  /* ta */
        NULL,  /* ti */
};


void
roff_validate(struct roff_man *man)
{
        struct roff_node        *n;

        n = man->last;
        assert(n->tok < ROFF_MAX);
        if (roff_valids[n->tok] != NULL)
                (*roff_valids[n->tok])(man, n);
}

static void
roff_valid_br(ROFF_VALID_ARGS)
{
        struct roff_node        *np;

        if (n->next != NULL && n->next->type == ROFFT_TEXT &&
            *n->next->string == ' ') {
                mandoc_msg(MANDOCERR_PAR_SKIP, n->line, n->pos,
                    "br before text line with leading blank");
                roff_node_delete(man, n);
                return;
        }

        if ((np = roff_node_prev(n)) == NULL)
                return;

        switch (np->tok) {
        case ROFF_br:
        case ROFF_sp:
        case MDOC_Pp:
                mandoc_msg(MANDOCERR_PAR_SKIP,
                    n->line, n->pos, "br after %s", roff_name[np->tok]);
                roff_node_delete(man, n);
                break;
        default:
                break;
        }
}

static void
roff_valid_fi(ROFF_VALID_ARGS)
{
        if ((n->flags & NODE_NOFILL) == 0)
                mandoc_msg(MANDOCERR_FI_SKIP, n->line, n->pos, "fi");
}

static void
roff_valid_ft(ROFF_VALID_ARGS)
{
        const char              *cp;

        if (n->child == NULL) {
                man->next = ROFF_NEXT_CHILD;
                roff_word_alloc(man, n->line, n->pos, "P");
                man->last = n;
                return;
        }

        cp = n->child->string;
        if (mandoc_font(cp, (int)strlen(cp)) != ESCAPE_ERROR)
                return;
        mandoc_msg(MANDOCERR_FT_BAD, n->line, n->pos, "ft %s", cp);
        roff_node_delete(man, n);
}

static void
roff_valid_nf(ROFF_VALID_ARGS)
{
        if (n->flags & NODE_NOFILL)
                mandoc_msg(MANDOCERR_NF_SKIP, n->line, n->pos, "nf");
}

static void
roff_valid_sp(ROFF_VALID_ARGS)
{
        struct roff_node        *np;

        if ((np = roff_node_prev(n)) == NULL)
                return;

        switch (np->tok) {
        case ROFF_br:
                mandoc_msg(MANDOCERR_PAR_SKIP,
                    np->line, np->pos, "br before sp");
                roff_node_delete(man, np);
                break;
        case MDOC_Pp:
                mandoc_msg(MANDOCERR_PAR_SKIP,
                    n->line, n->pos, "sp after Pp");
                roff_node_delete(man, n);
                break;
        default:
                break;
        }
}