version 1.24, 2011/07/22 10:22:47 |
version 1.29, 2011/07/22 14:55:07 |
|
|
EQN_EOF |
EQN_EOF |
}; |
}; |
|
|
|
enum eqn_symt { |
|
EQNSYM_alpha, |
|
EQNSYM_beta, |
|
EQNSYM_chi, |
|
EQNSYM_delta, |
|
EQNSYM_epsilon, |
|
EQNSYM_eta, |
|
EQNSYM_gamma, |
|
EQNSYM_iota, |
|
EQNSYM_kappa, |
|
EQNSYM_lambda, |
|
EQNSYM_mu, |
|
EQNSYM_nu, |
|
EQNSYM_omega, |
|
EQNSYM_omicron, |
|
EQNSYM_phi, |
|
EQNSYM_pi, |
|
EQNSYM_ps, |
|
EQNSYM_rho, |
|
EQNSYM_sigma, |
|
EQNSYM_tau, |
|
EQNSYM_theta, |
|
EQNSYM_upsilon, |
|
EQNSYM_xi, |
|
EQNSYM_zeta, |
|
EQNSYM_DELTA, |
|
EQNSYM_GAMMA, |
|
EQNSYM_LAMBDA, |
|
EQNSYM_OMEGA, |
|
EQNSYM_PHI, |
|
EQNSYM_PI, |
|
EQNSYM_PSI, |
|
EQNSYM_SIGMA, |
|
EQNSYM_THETA, |
|
EQNSYM_UPSILON, |
|
EQNSYM_XI, |
|
EQNSYM_inter, |
|
EQNSYM_union, |
|
EQNSYM_prod, |
|
EQNSYM_int, |
|
EQNSYM_sum, |
|
EQNSYM_grad, |
|
EQNSYM_del, |
|
EQNSYM_times, |
|
EQNSYM_cdot, |
|
EQNSYM_nothing, |
|
EQNSYM_approx, |
|
EQNSYM_prime, |
|
EQNSYM_half, |
|
EQNSYM_partial, |
|
EQNSYM_inf, |
|
EQNSYM_muchgreat, |
|
EQNSYM_muchless, |
|
EQNSYM_larrow, |
|
EQNSYM_rarrow, |
|
EQNSYM_pm, |
|
EQNSYM_nequal, |
|
EQNSYM_equiv, |
|
EQNSYM_lessequal, |
|
EQNSYM_moreequal, |
|
EQNSYM__MAX |
|
}; |
|
|
struct eqnstr { |
struct eqnstr { |
const char *name; |
const char *name; |
size_t sz; |
size_t sz; |
}; |
}; |
|
|
#define STRNEQ(p1, sz1, p2, sz2) \ |
#define STRNEQ(p1, sz1, p2, sz2) \ |
(sz1) == (sz2) && 0 == strncmp((p1), (p2), (sz1)) |
((sz1) == (sz2) && 0 == strncmp((p1), (p2), (sz1))) |
#define EQNSTREQ(x, p, sz) \ |
#define EQNSTREQ(x, p, sz) \ |
STRNEQ((x)->name, (x)->sz, (p), (sz)) |
STRNEQ((x)->name, (x)->sz, (p), (sz)) |
|
|
|
Line 117 struct eqnpart { |
|
int (*fp)(struct eqn_node *); |
int (*fp)(struct eqn_node *); |
}; |
}; |
|
|
|
struct eqnsym { |
|
struct eqnstr str; |
|
const char *sym; |
|
}; |
|
|
enum eqnpartt { |
enum eqnpartt { |
EQN_DEFINE = 0, |
EQN_DEFINE = 0, |
EQN_SET, |
EQN_SET, |
EQN_UNDEF, |
EQN_UNDEF, |
|
EQN_GSIZE, |
EQN__MAX |
EQN__MAX |
}; |
}; |
|
|
static enum eqn_rest eqn_box(struct eqn_node *, struct eqn_box *); |
static enum eqn_rest eqn_box(struct eqn_node *, struct eqn_box *); |
static struct eqn_box *eqn_box_alloc(struct eqn_box *); |
static struct eqn_box *eqn_box_alloc(struct eqn_node *, |
|
struct eqn_box *); |
static void eqn_box_free(struct eqn_box *); |
static void eqn_box_free(struct eqn_box *); |
static struct eqn_def *eqn_def_find(struct eqn_node *, |
static struct eqn_def *eqn_def_find(struct eqn_node *, |
const char *, size_t); |
const char *, size_t); |
|
static int eqn_do_gsize(struct eqn_node *); |
static int eqn_do_define(struct eqn_node *); |
static int eqn_do_define(struct eqn_node *); |
static int eqn_do_set(struct eqn_node *); |
static int eqn_do_set(struct eqn_node *); |
static int eqn_do_undef(struct eqn_node *); |
static int eqn_do_undef(struct eqn_node *); |
Line 81 static const struct eqnpart eqnparts[EQN__MAX] = { |
|
Line 152 static const struct eqnpart eqnparts[EQN__MAX] = { |
|
{ { "define", 6 }, eqn_do_define }, /* EQN_DEFINE */ |
{ { "define", 6 }, eqn_do_define }, /* EQN_DEFINE */ |
{ { "set", 3 }, eqn_do_set }, /* EQN_SET */ |
{ { "set", 3 }, eqn_do_set }, /* EQN_SET */ |
{ { "undef", 5 }, eqn_do_undef }, /* EQN_UNDEF */ |
{ { "undef", 5 }, eqn_do_undef }, /* EQN_UNDEF */ |
|
{ { "gsize", 5 }, eqn_do_gsize }, /* EQN_UNDEF */ |
}; |
}; |
|
|
static const struct eqnstr eqnmarks[EQNMARK__MAX] = { |
static const struct eqnstr eqnmarks[EQNMARK__MAX] = { |
Line 118 static const struct eqnstr eqnpiles[EQNPILE__MAX] = { |
|
Line 190 static const struct eqnstr eqnpiles[EQNPILE__MAX] = { |
|
{ "lpile", 5 }, /* EQNPILE_LPILE */ |
{ "lpile", 5 }, /* EQNPILE_LPILE */ |
}; |
}; |
|
|
|
static const struct eqnsym eqnsyms[EQNSYM__MAX] = { |
|
{ { "alpha", 5 }, "*a" }, /* EQNSYM_alpha */ |
|
{ { "beta", 4 }, "*b" }, /* EQNSYM_beta */ |
|
{ { "chi", 3 }, "*x" }, /* EQNSYM_chi */ |
|
{ { "delta", 5 }, "*d" }, /* EQNSYM_delta */ |
|
{ { "epsilon", 7 }, "*e" }, /* EQNSYM_epsilon */ |
|
{ { "eta", 3 }, "*y" }, /* EQNSYM_eta */ |
|
{ { "gamma", 5 }, "*g" }, /* EQNSYM_gamma */ |
|
{ { "iota", 4 }, "*i" }, /* EQNSYM_iota */ |
|
{ { "kappa", 5 }, "*k" }, /* EQNSYM_kappa */ |
|
{ { "lambda", 6 }, "*l" }, /* EQNSYM_lambda */ |
|
{ { "mu", 2 }, "*m" }, /* EQNSYM_mu */ |
|
{ { "nu", 2 }, "*n" }, /* EQNSYM_nu */ |
|
{ { "omega", 5 }, "*w" }, /* EQNSYM_omega */ |
|
{ { "omicron", 7 }, "*o" }, /* EQNSYM_omicron */ |
|
{ { "phi", 3 }, "*f" }, /* EQNSYM_phi */ |
|
{ { "pi", 2 }, "*p" }, /* EQNSYM_pi */ |
|
{ { "psi", 2 }, "*q" }, /* EQNSYM_psi */ |
|
{ { "rho", 3 }, "*r" }, /* EQNSYM_rho */ |
|
{ { "sigma", 5 }, "*s" }, /* EQNSYM_sigma */ |
|
{ { "tau", 3 }, "*t" }, /* EQNSYM_tau */ |
|
{ { "theta", 5 }, "*h" }, /* EQNSYM_theta */ |
|
{ { "upsilon", 7 }, "*u" }, /* EQNSYM_upsilon */ |
|
{ { "xi", 2 }, "*c" }, /* EQNSYM_xi */ |
|
{ { "zeta", 4 }, "*z" }, /* EQNSYM_zeta */ |
|
{ { "DELTA", 5 }, "*D" }, /* EQNSYM_DELTA */ |
|
{ { "GAMMA", 5 }, "*G" }, /* EQNSYM_GAMMA */ |
|
{ { "LAMBDA", 6 }, "*L" }, /* EQNSYM_LAMBDA */ |
|
{ { "OMEGA", 5 }, "*W" }, /* EQNSYM_OMEGA */ |
|
{ { "PHI", 3 }, "*F" }, /* EQNSYM_PHI */ |
|
{ { "PI", 2 }, "*P" }, /* EQNSYM_PI */ |
|
{ { "PSI", 3 }, "*Q" }, /* EQNSYM_PSI */ |
|
{ { "SIGMA", 5 }, "*S" }, /* EQNSYM_SIGMA */ |
|
{ { "THETA", 5 }, "*H" }, /* EQNSYM_THETA */ |
|
{ { "UPSILON", 7 }, "*U" }, /* EQNSYM_UPSILON */ |
|
{ { "XI", 2 }, "*C" }, /* EQNSYM_XI */ |
|
{ { "inter", 5 }, "ca" }, /* EQNSYM_inter */ |
|
{ { "union", 5 }, "cu" }, /* EQNSYM_union */ |
|
{ { "prod", 4 }, "product" }, /* EQNSYM_prod */ |
|
{ { "int", 3 }, "integral" }, /* EQNSYM_int */ |
|
{ { "sum", 3 }, "sum" }, /* EQNSYM_sum */ |
|
{ { "grad", 4 }, "gr" }, /* EQNSYM_grad */ |
|
{ { "del", 3 }, "gr" }, /* EQNSYM_del */ |
|
{ { "times", 5 }, "mu" }, /* EQNSYM_times */ |
|
{ { "cdot", 4 }, "pc" }, /* EQNSYM_cdot */ |
|
{ { "nothing", 7 }, "&" }, /* EQNSYM_nothing */ |
|
{ { "approx", 6 }, "~~" }, /* EQNSYM_approx */ |
|
{ { "prime", 5 }, "aq" }, /* EQNSYM_prime */ |
|
{ { "half", 4 }, "12" }, /* EQNSYM_half */ |
|
{ { "partial", 7 }, "pd" }, /* EQNSYM_partial */ |
|
{ { "inf", 3 }, "if" }, /* EQNSYM_inf */ |
|
{ { ">>", 2 }, ">>" }, /* EQNSYM_muchgreat */ |
|
{ { "<<", 2 }, "<<" }, /* EQNSYM_muchless */ |
|
{ { "<-", 2 }, "<-" }, /* EQNSYM_larrow */ |
|
{ { "->", 2 }, "->" }, /* EQNSYM_rarrow */ |
|
{ { "+-", 2 }, "+-" }, /* EQNSYM_pm */ |
|
{ { "!=", 2 }, "!=" }, /* EQNSYM_nequal */ |
|
{ { "==", 2 }, "==" }, /* EQNSYM_equiv */ |
|
{ { "<=", 2 }, "<=" }, /* EQNSYM_lessequal */ |
|
{ { ">=", 2 }, ">=" }, /* EQNSYM_moreequal */ |
|
}; |
|
|
/* ARGSUSED */ |
/* ARGSUSED */ |
enum rofferr |
enum rofferr |
eqn_read(struct eqn_node **epp, int ln, |
eqn_read(struct eqn_node **epp, int ln, |
Line 168 eqn_alloc(int pos, int line, struct mparse *parse) |
|
Line 302 eqn_alloc(int pos, int line, struct mparse *parse) |
|
p->parse = parse; |
p->parse = parse; |
p->eqn.ln = line; |
p->eqn.ln = line; |
p->eqn.pos = pos; |
p->eqn.pos = pos; |
|
p->gsize = EQN_DEFSIZE; |
|
|
return(p); |
return(p); |
} |
} |
Line 200 eqn_eqn(struct eqn_node *ep, struct eqn_box *last) |
|
Line 335 eqn_eqn(struct eqn_node *ep, struct eqn_box *last) |
|
struct eqn_box *bp; |
struct eqn_box *bp; |
enum eqn_rest c; |
enum eqn_rest c; |
|
|
bp = eqn_box_alloc(last); |
bp = eqn_box_alloc(ep, last); |
bp->type = EQN_SUBEXPR; |
bp->type = EQN_SUBEXPR; |
|
|
while (EQN_OK == (c = eqn_box(ep, bp))) |
while (EQN_OK == (c = eqn_box(ep, bp))) |
Line 217 eqn_list(struct eqn_node *ep, struct eqn_box *last) |
|
Line 352 eqn_list(struct eqn_node *ep, struct eqn_box *last) |
|
size_t sz; |
size_t sz; |
enum eqn_rest c; |
enum eqn_rest c; |
|
|
bp = eqn_box_alloc(last); |
bp = eqn_box_alloc(ep, last); |
bp->type = EQN_LIST; |
bp->type = EQN_LIST; |
|
|
if (NULL == (start = eqn_nexttok(ep, &sz))) { |
if (NULL == (start = eqn_nexttok(ep, &sz))) { |
Line 260 eqn_box(struct eqn_node *ep, struct eqn_box *last) |
|
Line 395 eqn_box(struct eqn_node *ep, struct eqn_box *last) |
|
size_t sz; |
size_t sz; |
const char *start; |
const char *start; |
char *left; |
char *left; |
|
char sym[64]; |
enum eqn_rest c; |
enum eqn_rest c; |
int i, size; |
int i, size; |
struct eqn_box *bp; |
struct eqn_box *bp; |
Line 309 eqn_box(struct eqn_node *ep, struct eqn_box *last) |
|
Line 445 eqn_box(struct eqn_node *ep, struct eqn_box *last) |
|
return(EQN_ERR); |
return(EQN_ERR); |
} |
} |
left = mandoc_strndup(start, sz); |
left = mandoc_strndup(start, sz); |
if (EQN_DESCOPE != (c = eqn_eqn(ep, last))) |
c = eqn_eqn(ep, last); |
|
if (last->last) |
|
last->last->left = left; |
|
else |
|
free(left); |
|
if (EQN_DESCOPE != c) |
return(c); |
return(c); |
assert(last->last); |
assert(last->last); |
last->last->left = left; |
|
eqn_rewind(ep); |
eqn_rewind(ep); |
start = eqn_nexttok(ep, &sz); |
start = eqn_nexttok(ep, &sz); |
assert(start); |
assert(start); |
if (STRNEQ(start, sz, "right", 5)) |
if ( ! STRNEQ(start, sz, "right", 5)) |
return(EQN_DESCOPE); |
return(EQN_DESCOPE); |
if (NULL == (start = eqn_nexttok(ep, &sz))) { |
if (NULL == (start = eqn_nexttok(ep, &sz))) { |
EQN_MSG(MANDOCERR_EQNEOF, ep); |
EQN_MSG(MANDOCERR_EQNEOF, ep); |
Line 381 eqn_box(struct eqn_node *ep, struct eqn_box *last) |
|
Line 521 eqn_box(struct eqn_node *ep, struct eqn_box *last) |
|
last->last->size = size; |
last->last->size = size; |
} |
} |
|
|
bp = eqn_box_alloc(last); |
bp = eqn_box_alloc(ep, last); |
bp->type = EQN_TEXT; |
bp->type = EQN_TEXT; |
|
for (i = 0; i < (int)EQNSYM__MAX; i++) |
|
if (EQNSTREQ(&eqnsyms[i].str, start, sz)) { |
|
sym[63] = '\0'; |
|
snprintf(sym, 62, "\\[%s]", eqnsyms[i].sym); |
|
bp->text = mandoc_strdup(sym); |
|
return(EQN_OK); |
|
} |
|
|
bp->text = mandoc_strndup(start, sz); |
bp->text = mandoc_strndup(start, sz); |
return(EQN_OK); |
return(EQN_OK); |
} |
} |
Line 405 eqn_free(struct eqn_node *p) |
|
Line 553 eqn_free(struct eqn_node *p) |
|
} |
} |
|
|
static struct eqn_box * |
static struct eqn_box * |
eqn_box_alloc(struct eqn_box *parent) |
eqn_box_alloc(struct eqn_node *ep, struct eqn_box *parent) |
{ |
{ |
struct eqn_box *bp; |
struct eqn_box *bp; |
|
|
bp = mandoc_calloc(1, sizeof(struct eqn_box)); |
bp = mandoc_calloc(1, sizeof(struct eqn_box)); |
bp->parent = parent; |
bp->parent = parent; |
bp->size = EQN_DEFSIZE; |
bp->size = ep->gsize; |
|
|
if (NULL == parent->first) |
if (NULL == parent->first) |
parent->first = bp; |
parent->first = bp; |
Line 552 eqn_do_set(struct eqn_node *ep) |
|
Line 700 eqn_do_set(struct eqn_node *ep) |
|
const char *start; |
const char *start; |
|
|
if (NULL == (start = eqn_nextrawtok(ep, NULL))) |
if (NULL == (start = eqn_nextrawtok(ep, NULL))) |
EQN_MSG(MANDOCERR_EQNARGS, ep); |
EQN_MSG(MANDOCERR_EQNEOF, ep); |
else if (NULL == (start = eqn_nextrawtok(ep, NULL))) |
else if (NULL == (start = eqn_nextrawtok(ep, NULL))) |
EQN_MSG(MANDOCERR_EQNARGS, ep); |
EQN_MSG(MANDOCERR_EQNEOF, ep); |
else |
else |
return(1); |
return(1); |
|
|
Line 570 eqn_do_define(struct eqn_node *ep) |
|
Line 718 eqn_do_define(struct eqn_node *ep) |
|
int i; |
int i; |
|
|
if (NULL == (start = eqn_nextrawtok(ep, &sz))) { |
if (NULL == (start = eqn_nextrawtok(ep, &sz))) { |
EQN_MSG(MANDOCERR_EQNARGS, ep); |
EQN_MSG(MANDOCERR_EQNEOF, ep); |
return(0); |
return(0); |
} |
} |
|
|
Line 605 eqn_do_define(struct eqn_node *ep) |
|
Line 753 eqn_do_define(struct eqn_node *ep) |
|
start = eqn_next(ep, ep->data[(int)ep->cur], &sz, 0); |
start = eqn_next(ep, ep->data[(int)ep->cur], &sz, 0); |
|
|
if (NULL == start) { |
if (NULL == start) { |
EQN_MSG(MANDOCERR_EQNARGS, ep); |
EQN_MSG(MANDOCERR_EQNEOF, ep); |
return(0); |
return(0); |
} |
} |
|
|
Line 617 eqn_do_define(struct eqn_node *ep) |
|
Line 765 eqn_do_define(struct eqn_node *ep) |
|
} |
} |
|
|
static int |
static int |
|
eqn_do_gsize(struct eqn_node *ep) |
|
{ |
|
const char *start; |
|
size_t sz; |
|
|
|
if (NULL == (start = eqn_nextrawtok(ep, &sz))) { |
|
EQN_MSG(MANDOCERR_EQNEOF, ep); |
|
return(0); |
|
} |
|
|
|
ep->gsize = mandoc_strntoi(start, sz, 10); |
|
return(1); |
|
} |
|
|
|
static int |
eqn_do_undef(struct eqn_node *ep) |
eqn_do_undef(struct eqn_node *ep) |
{ |
{ |
const char *start; |
const char *start; |
Line 624 eqn_do_undef(struct eqn_node *ep) |
|
Line 787 eqn_do_undef(struct eqn_node *ep) |
|
size_t sz; |
size_t sz; |
|
|
if (NULL == (start = eqn_nextrawtok(ep, &sz))) { |
if (NULL == (start = eqn_nextrawtok(ep, &sz))) { |
EQN_MSG(MANDOCERR_EQNARGS, ep); |
EQN_MSG(MANDOCERR_EQNEOF, ep); |
return(0); |
return(0); |
} else if (NULL != (def = eqn_def_find(ep, start, sz))) |
} else if (NULL != (def = eqn_def_find(ep, start, sz))) |
def->keysz = 0; |
def->keysz = 0; |