/*
See license.txt in the root of this project.
*/
# ifndef LMT_CONDITIONAL_H
# define LMT_CONDITIONAL_H
/*tex
The next list should be in sync with |if_branch_mapping| at the top of the |c| file with the
same name. The next ones also go on the condition stack so we need to retain this order and
organization.
There is a catch here: the codes of the |if_test_cmd|, |fi_or_else_cmd| and |or_else_cmd| are
all in this enumeration. This has to do with the history of not always checking for the cmd
code in the fast skipping branches. We could change that but not now.
Well, in the end I combined |if_test_cmd|, |fi_or_else_cmd| and |or_else_cmd| because they use
the same chr range anyway and it also simplifies some of the testing (especially after some
more robust cmd/chr checking was added, and after that the |fi_or_else_cmd| and |or_else_cmd|
were combined. The main motivation is that we can have a more consistent \LUA\ token interface
end. It is debatable as we divert from the original, but we already did that by introducing
more conditionals, |\orelse| and the generic |\ifconditional| that also demandeed all kind of
adaptations. Sorry. The comments are mostly the same, including references to the older cmd
codes (pre 2.07 there used to be some switch/case statements in places but these were flattened).
Btw, the |\unless| prefix is kept out of this because it relates to expansion and prefixes are
separate anyway. It would make the code less pretty.
One reason for a split in cmd codes is performance but we didn't loose on the change.
*/
typedef enum if_test_codes {
/*tex These are private chr codes: */
no_if_code, /*tex We're not in a condition. */
if_code, /*tex We have a condition. */
/*tex These are public chr codes: */
fi_code, /*tex |\fi| */
else_code, /*tex |\else| */
or_code, /*tex |\or| */
or_else_code, /*tex |\orelse| */
or_unless_code, /*tex |\orunless| */
/*tex
Here come the \if... codes. Some are just there to minimize tracing and are not faster,
like |\ifzerodim| (we can use |\ifcase| instead but not with |\unless|).
For historic reasons we see a mixture if |int| and |num| here but I see no reason the
change that now.
*/
if_char_code, /*tex |\if| */
if_cat_code, /*tex |\ifcat| */
if_int_code, /*tex |\ifnum| */
if_abs_int_code, /*tex |\ifabsnum| */
if_zero_int_code, /*tex |\ifzeronum|*/
if_interval_int_code,
if_posit_code,
if_abs_posit_code,
if_zero_posit_code,
if_interval_posit_code,
if_dim_code, /*tex |\ifdim| */
if_abs_dim_code, /*tex |\ifabsdim| */
if_zero_dim_code, /*tex |\ifzerodim| */
if_interval_dim_code,
if_odd_code, /*tex |\ifodd| */
if_vmode_code, /*tex |\ifvmode| */
if_hmode_code, /*tex |\ifhmode| */
if_mmode_code, /*tex |\ifmmode| */
if_inner_code, /*tex |\ifinner| */
if_void_code, /*tex |\ifvoid| */
if_hbox_code, /*tex |\ifhbox| */
if_vbox_code, /*tex |\ifvbox| */
if_tok_code, /*tex |\iftok| */
if_cstok_code, /*tex |\ifcstok| */
if_x_code, /*tex |\ifx| */
if_true_code, /*tex |\iftrue| */
if_false_code, /*tex |\iffalse| */
if_chk_int_code, /*tex |\ifchknum| */
if_chk_integer_code, /*tex |\ifchknumber| */
if_chk_intexpr_code, /*tex |\ifnumexpr| */
if_val_int_code, /*tex |\ifnumval| */
if_cmp_int_code, /*tex |\ifcmpnum| */
if_chk_dim_code, /*tex |\ifchkdim| */
if_chk_dimension_code, /*tex |\ifchkdimension| */
if_chk_dimexpr_code, /*tex |\ifdimexpr| */
if_val_dim_code, /*tex |\ifdimval| */
if_cmp_dim_code, /*tex |\ifcmpdim| */
if_case_code, /*tex |\ifcase| */
if_defined_code, /*tex |\ifdefined| */
if_csname_code, /*tex |\ifcsname| */
if_in_csname_code, /*tex |\ifincsname| */
if_font_char_code, /*tex |\iffontchar| */
if_condition_code, /*tex |\ifcondition| */
if_flags_code, /*tex |\ifflags| */
if_empty_code, /*tex |\ifempty| */
if_relax_code, /*tex |\ifrelax| */
if_boolean_code, /*tex |\ifboolean| */
if_numexpression_code, /*tex |\ifnumexpression| */
if_dimexpression_code, /*tex |\ifdimexpression| */
if_last_named_cs_code, /*tex |\iflastnamedcs| */
if_math_parameter_code, /*tex |\ifmathparameter| */
if_math_style_code, /*tex |\ifmathstyle| */
if_arguments_code, /*tex |\ifarguments| */
if_parameters_code, /*tex |\ifparameters| */
if_parameter_code, /*tex |\ifparameter| */
if_has_tok_code, /*tex |\ifhastok| */
if_has_toks_code, /*tex |\ifhastoks| */
if_has_xtoks_code, /*tex |\ifhasxtoks| */
if_has_char_code, /*tex |\ifhaschar| */
if_insert_code, /*tex |\ifinsert| */
if_in_alignment_code, /*tex |\ifinalignment| */
if_cramped_code, /*tex |\ifcrampedmathstyle| */
if_list_code, /*tex |\iflist| */
// if_bitwise_and_code, /*tex |\ifbitwiseand| */
} if_test_codes;
# define first_if_test_code fi_code
# define last_if_test_code if_list_code
//define last_if_test_code if_bitwise_and_code
# define first_real_if_test_code if_char_code
# define last_real_if_test_code if_list_code
//define last_real_if_test_code if_bitwise_and_code
typedef struct condition_state_info {
halfword cond_ptr; /*tex top of the condition stack */
quarterword cur_if; /*tex type of conditional being worked on */
quarterword if_limit; /*tex upper bound on |fi_or_else| codes */
singleword cur_unless;
singleword if_unless;
singleword if_step;
singleword unused;
halfword if_line; /*tex line where that conditional began */
halfword if_nesting;
halfword skip_line; /*tex skipping began here */
halfword chk_integer;
scaled chk_dimension;
} condition_state_info ;
extern condition_state_info lmt_condition_state;
extern void tex_conditional_if (halfword code, int unless);
extern void tex_conditional_fi_or_else (void);
extern void tex_conditional_unless (void);
extern void tex_show_ifs (void);
extern void tex_conditional_catch_up (void);
/* void tex_quit_fi (void); */
/* void tex_conditional_after_fi (void); */
# endif