coffee/coffee.pygments
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
coffee.pygments/tests/examplefiles/nusmv/guidance.smv.output
Oleh Prypin 6f43092173
Also add auto-updatable output-based tests to examplefiles (#1689) 
Co-authored-by: Georg Brandl <georg@python.org>
2021-01-20 10:48:45 +01:00

8305 lines
231 KiB
Text
Generated
Raw Permalink Blame History

'--\n' Comment
'-- Shuttle Digital Autopilot\n' Comment
'-- by Sergey Berezin (berez@cs.cmu.edu)\n' Comment
'--\n' Comment
'MODULE' Keyword.Declaration
' ' Text.Whitespace
'cont_3eo_mode_select' Name.Variable
'(' Punctuation
'start' Name.Variable
',' Punctuation
'smode5' Name.Variable
',' Punctuation
'vel' Name.Variable
',' Punctuation
'q_bar' Name.Variable
',' Punctuation
'apogee_alt_LT_alt_ref' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
',' Punctuation
'alpha_n_GRT_alpha_reg2' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
',' Punctuation
'v_horiz_dnrng_LT_0' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'high_rate_sep' Name.Variable
',' Punctuation
'meco_confirmed' Name.Variable
')' Punctuation
'\n\n' Text.Whitespace
'VAR' Keyword.Declaration
' ' Text.Whitespace
'cont_3EO_start' Name.Variable
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'RTLS_abort_declared' Name.Variable
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'region_selected' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'm_mode' Name.Variable
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'mm102' Name.Variable
',' Punctuation
' ' Text.Whitespace
'mm103' Name.Variable
',' Punctuation
' ' Text.Whitespace
'mm601' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'r' Name.Variable
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'reg-1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg0' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg2' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg102' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'1' Literal.Number.Integer
',' Punctuation
'2' Literal.Number.Integer
',' Punctuation
'3' Literal.Number.Integer
',' Punctuation
'4' Literal.Number.Integer
',' Punctuation
'5' Literal.Number.Integer
',' Punctuation
'6' Literal.Number.Integer
',' Punctuation
'7' Literal.Number.Integer
',' Punctuation
'8' Literal.Number.Integer
',' Punctuation
'9' Literal.Number.Integer
',' Punctuation
'10' Literal.Number.Integer
',' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
',' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
'}' Punctuation
';' Punctuation
'\n\n' Text.Whitespace
'ASSIGN' Keyword.Declaration
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'cont_3EO_start' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'm_mode' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'{' Punctuation
'mm102' Name.Variable
',' Punctuation
' ' Text.Whitespace
'mm103' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'region_selected' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'RTLS_abort_declared' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'r' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'reg-1' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'2' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'2' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'smode5' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'5' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'2' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'vel' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'GRT_vi_3eo_max' Name.Variable
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'2' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'3' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'3' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'vel' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'LEQ_vi_3eo_min' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'6' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'3' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'4' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'4' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'4' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'6' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'5' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'6' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'6' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg0' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'6' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'7' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'7' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'8' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'8' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'GRT_qbar_reg3' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'high_rate_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'10' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'8' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'9' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'9' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'10' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'10' Literal.Number.Integer
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'start' Name.Variable
')' Punctuation
':' Punctuation
' ' Text.Whitespace
'1' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'exit' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
':' Punctuation
' ' Text.Whitespace
'step' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cont_3EO_start' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
' \n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'10' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cont_3EO_start' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'r' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg102' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'2' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'smode5' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'vel' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'GRT_vi_3eo_max' Name.Variable
':' Punctuation
' ' Text.Whitespace
'reg0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'4' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
':' Punctuation
' ' Text.Whitespace
'reg0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'5' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'v_horiz_dnrng_LT_0' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'8' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'GRT_qbar_reg3' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'high_rate_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg3' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'9' Literal.Number.Integer
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'(' Punctuation
'h_dot_LT_hdot_reg2' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'alpha_n_GRT_alpha_reg2' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'q_bar' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'GRT_qbar_reg1' Name.Variable
')' Punctuation
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'high_rate_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg2' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg1' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg-1' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
':' Punctuation
' ' Text.Whitespace
'r' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'RTLS_abort_declared' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'10' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm103' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
':' Punctuation
' ' Text.Whitespace
'RTLS_abort_declared' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'm_mode' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'10' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm103' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'mm601' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
':' Punctuation
' ' Text.Whitespace
'm_mode' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'region_selected' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'exit' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'region_selected' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n' Text.Whitespace
'MODULE' Keyword.Declaration
' ' Text.Whitespace
'cont_3eo_guide' Name.Variable
'(' Punctuation
'start' Name.Variable
',' Punctuation
'cont_3EO_start' Name.Variable
',' Punctuation
' ' Text.Whitespace
'mode_select_completed' Name.Variable
',' Punctuation
' ' Text.Whitespace
'et_sep_cmd' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'h_dot_LT_0' Name.Variable
',' Punctuation
' ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
',' Punctuation
' ' Text.Whitespace
'm_mode' Name.Variable
',' Punctuation
' ' Text.Whitespace
'r0' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'cont_minus_z_compl' Name.Variable
',' Punctuation
' ' Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
',' Punctuation
' ' Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
',' Punctuation
' ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
',' Punctuation
' ' Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
',' Punctuation
' ' Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'pre_sep' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_18' Name.Variable
',' Punctuation
' ' Text.Whitespace
'q_orb_LT_0' Name.Variable
',' Punctuation
' ' Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'cond_20b' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_21' Name.Variable
',' Punctuation
' ' Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_24' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_26' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'cond_27' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_29' Name.Variable
',' Punctuation
' ' Text.Whitespace
'mm602_OK' Name.Variable
')' Punctuation
'\n' Text.Whitespace
'VAR' Keyword.Declaration
'\n ' Text.Whitespace
'step' Name.Variable
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'1' Literal.Number.Integer
',' Punctuation
'a1' Name.Variable
',' Punctuation
'2' Literal.Number.Integer
',' Punctuation
'3' Literal.Number.Integer
',' Punctuation
'4' Literal.Number.Integer
',' Punctuation
'5' Literal.Number.Integer
',' Punctuation
'6' Literal.Number.Integer
',' Punctuation
'7' Literal.Number.Integer
',' Punctuation
'8' Literal.Number.Integer
',' Punctuation
'9' Literal.Number.Integer
',' Punctuation
'10' Literal.Number.Integer
',' Punctuation
'11' Literal.Number.Integer
',' Punctuation
'12' Literal.Number.Integer
',' Punctuation
'13' Literal.Number.Integer
',' Punctuation
'14' Literal.Number.Integer
',' Punctuation
'15' Literal.Number.Integer
',' Punctuation
'16' Literal.Number.Integer
',' Punctuation
'17' Literal.Number.Integer
',' Punctuation
'18' Literal.Number.Integer
',' Punctuation
'19' Literal.Number.Integer
',' Punctuation
'20' Literal.Number.Integer
',' Punctuation
'\n ' Text.Whitespace
'b20' Name.Variable
',' Punctuation
' ' Text.Whitespace
'c20' Name.Variable
',' Punctuation
' ' Text.Whitespace
'd20' Name.Variable
',' Punctuation
' ' Text.Whitespace
'21' Literal.Number.Integer
',' Punctuation
'22' Literal.Number.Integer
',' Punctuation
'23' Literal.Number.Integer
',' Punctuation
'24' Literal.Number.Integer
',' Punctuation
'25' Literal.Number.Integer
',' Punctuation
'26' Literal.Number.Integer
',' Punctuation
'27' Literal.Number.Integer
',' Punctuation
'28' Literal.Number.Integer
',' Punctuation
'29' Literal.Number.Integer
',' Punctuation
'exit' Name.Variable
',' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'call_RTLS_abort_task' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'first3' Name.Variable
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
' ' Text.Whitespace
'-- indicates if it is the first pass\n' Comment
' ' Text.Whitespace
'first8' Name.Variable
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'first27' Name.Variable
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
's_unconv' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'mode_2_indicator' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'et_sep_man_initiate' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'emerg_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cont_3eo_pr_delay' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'minus_z_reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'minus_z_reg2' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'minus_z_reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'minus_z_reg4' Name.Variable
',' Punctuation
' ' Text.Whitespace
'minus_z_reg102' Name.Variable
',' Punctuation
' ' Text.Whitespace
'0' Literal.Number.Integer
',' Punctuation
' ' Text.Whitespace
'5' Literal.Number.Integer
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'etsep_y_drift' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'undef' Name.Variable
',' Punctuation
' ' Text.Whitespace
'minus_z_reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'minus_z_reg2' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'minus_z_reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'minus_z_reg4' Name.Variable
',' Punctuation
' ' Text.Whitespace
'minus_z_reg102' Name.Variable
',' Punctuation
' ' Text.Whitespace
'0' Literal.Number.Integer
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'fwd_rcs_dump_enable' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'fcs_accept_icnct' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'orbiter_dump_ena' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'frz_3eo' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'high_rate_sep' Name.Variable
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'entry_gains' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cont_sep_cplt' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'pch_cmd_reg4' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'alpha_ok' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'reg-1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg0' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg2' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg4' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg102' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'early_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n' Text.Whitespace
'--------------------------------------------\n' Comment
'----- Additional Variables -----------------\n' Comment
'--------------------------------------------\n' Comment
' ' Text.Whitespace
'rtls_lo_f_d_delay' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'undef' Name.Variable
',' Punctuation
' ' Text.Whitespace
'0' Literal.Number.Integer
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'wcb2' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'undef' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg1_0' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg2_neg4' Name.Variable
',' Punctuation
' ' Text.Whitespace
'wcb2_3eo' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg4_0' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'reg102_undef' Name.Variable
',' Punctuation
' ' Text.Whitespace
'post_sep_0' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'q_gcb_i' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'undef' Name.Variable
',' Punctuation
' ' Text.Whitespace
'quat_reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'quat_reg2' Name.Variable
',' Punctuation
' ' Text.Whitespace
'quat_reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'quat_reg4' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'quat_reg102_undef' Name.Variable
',' Punctuation
' ' Text.Whitespace
'quat_entry_M50_to_cmdbody' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'oms_nz_lim' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'undef' Name.Variable
',' Punctuation
' ' Text.Whitespace
'oms_nz_lim_3eo' Name.Variable
',' Punctuation
' ' Text.Whitespace
'oms_nz_lim_iload' Name.Variable
',' Punctuation
' ' Text.Whitespace
'oms_nz_lim_std' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'contingency_nz_lim' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'undef' Name.Variable
',' Punctuation
' ' Text.Whitespace
'contingency_nz_lim_3eo' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'contingency_nz_lim_iload' Name.Variable
',' Punctuation
' ' Text.Whitespace
'contingency_nz_lim_std' Name.Variable
'}' Punctuation
';' Punctuation
'\n \n\n\n' Text.Whitespace
'ASSIGN' Keyword.Declaration
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'entry_gains' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'frz_3eo' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'cont_3eo_pr_delay' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'5' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'etsep_y_drift' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'r' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'reg-1' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'call_RTLS_abort_task' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'first3' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'first8' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'first27' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'cont_sep_cplt' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'et_sep_man_initiate' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'alpha_ok' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'pch_cmd_reg4' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n\n' Text.Whitespace
'-- Assumed initializations:\n' Comment
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'rtls_lo_f_d_delay' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'wcb2' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'q_gcb_i' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'oms_nz_lim' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'contingency_nz_lim' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'orbiter_dump_ena' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n' Text.Whitespace
'-- init(early_sep) := FALSE;\n' Comment
'\n' Text.Whitespace
'-------------\n' Comment
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'nextstep' Name.Variable
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'r' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'a1' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'(' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'mode_select_completed' Name.Variable
')' Punctuation
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'r0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'21' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cond_21' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg4' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'23' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'high_rate_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg1' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'r' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'first3' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'3' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'first3' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'first8' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'8' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'first8' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'first27' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'27' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
':' Punctuation
' ' Text.Whitespace
'first27' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
's_unconv' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'3' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
's_unconv' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'call_RTLS_abort_task' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'3' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'call_RTLS_abort_task' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'mode_2_indicator' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'4' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'mode_2_indicator' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'et_sep_man_initiate' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'5' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'h_dot_LT_0' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'14' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'pre_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'19' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_orb_LT_0' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'd20' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'26' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cond_26' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'29' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cond_29' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'et_sep_man_initiate' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'emerg_sep' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'5' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'h_dot_LT_0' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'emerg_sep' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cont_3eo_pr_delay' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'5' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'5' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'h_dot_LT_0' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' \n ' Text.Whitespace
'minus_z_reg3' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'7' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'cont_minus_z_compl' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
')' Punctuation
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'0' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'14' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'pre_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg102' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'19' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_orb_LT_0' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg4' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'd20' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg3' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'26' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cond_26' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg2' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'27' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'first27' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg1' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cont_3eo_pr_delay' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'etsep_y_drift' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'5' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'h_dot_LT_0' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' \n ' Text.Whitespace
'minus_z_reg3' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'7' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'cont_minus_z_compl' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
')' Punctuation
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'0' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'14' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'pre_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg102' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'19' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_orb_LT_0' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg4' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'd20' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg3' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'26' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cond_26' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg2' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'27' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'first27' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'minus_z_reg1' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'etsep_y_drift' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'fwd_rcs_dump_enable' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'8' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'first8' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'fwd_rcs_dump_enable' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'fcs_accept_icnct' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'9' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'fcs_accept_icnct' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n' Text.Whitespace
'-- next(step) = 1 & oms_rcs_i_c_inh_ena_cmd : {0,1};\n' Comment
' ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
' ' Text.Whitespace
'-- Assumed initialization\n' Comment
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'9' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'orbiter_dump_ena' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'start' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
' ' Text.Whitespace
'-- Assumed initialization\n' Comment
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'9' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'13' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'orbiter_dump_ena' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'frz_3eo' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'10' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'rcs_all_jet_inhibit' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'28' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'et_sep_man_initiate' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'frz_3eo' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'high_rate_sep' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'10' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'rcs_all_jet_inhibit' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'25' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'high_rate_sep' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'entry_gains' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'10' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'rcs_all_jet_inhibit' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'entry_gains' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cont_sep_cplt' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'12' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'mm602_OK' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cont_sep_cplt' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'pch_cmd_reg4' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'18' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'pch_cmd_reg4' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cond_18' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'pch_cmd_reg4' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'alpha_ok' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'20' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'alpha_ok' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'early_sep' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'27' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'first27' Name.Variable
' ' Text.Whitespace
':' Punctuation
' \n ' Text.Whitespace
'case' Keyword
' \n ' Text.Whitespace
'cond_27' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
' \n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
' \n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'early_sep' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
' \n\n' Text.Whitespace
'--------------------------------------------\n' Comment
'----- Additional Variables -----------------\n' Comment
'--------------------------------------------\n' Comment
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'rtls_lo_f_d_delay' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'start' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
' ' Text.Whitespace
'-- Assumed initialization\n' Comment
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'8' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'first8' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'0' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'rtls_lo_f_d_delay' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'wcb2' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'start' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
' ' Text.Whitespace
'-- Assumed initialization\n' Comment
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'10' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'post_sep_0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'12' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg4' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg4_0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'wcb2_3eo' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'14' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'pre_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg102_undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'15' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg4' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg4_0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'wcb2_3eo' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'25' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'reg2_neg4' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'wcb2' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'q_gcb_i' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'start' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
' ' Text.Whitespace
'-- Assumed initialization\n' Comment
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'11' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'quat_entry_M50_to_cmdbody' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'14' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'pre_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'quat_reg102_undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'16' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
' \n ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg4' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'quat_reg4' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'quat_reg3' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'22' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'quat_reg2' Name.Variable
';' Punctuation
'\n\n' Text.Whitespace
'-- Without this step the value "quat_reg2" would remain in "reg1":\n' Comment
'-- step = 23 & ABS_beta_n_GRT_beta_max & !high_rate_sep : undef;\n' Comment
' \n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'q_gcb_i' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'oms_nz_lim' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'start' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
' ' Text.Whitespace
'-- Assumed initialization\n' Comment
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'9' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'oms_nz_lim_3eo' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'12' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'mm602_OK' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'oms_nz_lim_std' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'oms_nz_lim' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'contingency_nz_lim' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'start' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
' ' Text.Whitespace
'-- Assumed initialization\n' Comment
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'9' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' \n ' Text.Whitespace
'contingency_nz_lim_3eo' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'12' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'mm602_OK' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'contingency_nz_lim_std' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'contingency_nz_lim' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n' Text.Whitespace
'DEFINE' Keyword.Declaration
'\n ' Text.Whitespace
'finished' Name.Variable
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'idle' Name.Variable
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n\n ' Text.Whitespace
'start_cont_3eo_mode_select' Name.Variable
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'nextstep' Name.Variable
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'a1' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'a1' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'(' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'mode_select_completed' Name.Variable
')' Punctuation
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'2' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'step' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'2' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
' \n ' Text.Whitespace
'!' Operator
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'first3' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'3' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
':' Punctuation
' ' Text.Whitespace
'4' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'3' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'4' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'4' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'et_sep_cmd' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'7' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'5' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'5' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'h_dot_LT_0' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'm_mode' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'6' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'6' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'13' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg4' Name.Variable
'}' Punctuation
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'15' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg2' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'22' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg1' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'27' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'7' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'cont_minus_z_compl' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'8' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'8' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'first8' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'9' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'10' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'9' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'10' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'!' Operator
'entry_mnvr_couter_LE_0' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'11' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'11' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'12' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'12' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'13' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'14' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'14' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'15' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'16' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'16' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'17' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'17' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg4' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'18' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'20' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'18' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'pch_cmd_reg4' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cond_18' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'19' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'19' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'20' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'b20' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'c20' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'b20' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'cond_20b' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'd20' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'c20' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'alpha_ok' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'd20' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'21' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'd20' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'nextstep21' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'nextstep21' Name.Variable
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'21' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'cond_21' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'15' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'22' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'23' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'23' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'high_rate_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'27' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'24' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'24' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'cond_24' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'high_rate_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'25' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'25' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'26' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'26' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'27' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'28' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'28' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'!' Operator
'et_sep_man_initiate' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'29' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'29' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'exit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'start' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'1' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'exit' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'step' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'post_sep_mode' Name.Variable
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'step' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'7' Literal.Number.Integer
',' Punctuation
'8' Literal.Number.Integer
',' Punctuation
'9' Literal.Number.Integer
',' Punctuation
'10' Literal.Number.Integer
',' Punctuation
'11' Literal.Number.Integer
',' Punctuation
'12' Literal.Number.Integer
'}' Punctuation
';' Punctuation
'\n\n' Text.Whitespace
'------------------------------------------------------------------\n' Comment
'------------------------------------------------------------------\n' Comment
'\n' Text.Whitespace
'MODULE' Keyword.Declaration
' ' Text.Whitespace
'main' Name.Variable
'\n' Text.Whitespace
'VAR' Keyword.Declaration
'\n ' Text.Whitespace
'smode5' Name.Variable
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'vel' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'GRT_vi_3eo_max' Name.Variable
',' Punctuation
' ' Text.Whitespace
'GRT_vi_3eo_min' Name.Variable
',' Punctuation
' ' Text.Whitespace
'LEQ_vi_3eo_min' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'q_bar' Name.Variable
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'GRT_qbar_reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'GRT_qbar_reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'LEQ_qbar_reg1' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'h_dot_LT_0' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'alpha_n_GRT_alpha_reg2' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'v_horiz_dnrng_LT_0' Name.Variable
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'meco_confirmed' Name.Variable
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'et_sep_cmd' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cont_minus_z_compl' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'pre_sep' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cond_18' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'q_orb_LT_0' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cond_20b' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cond_21' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cond_24' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cond_26' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cond_27' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'cond_29' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'mm602_OK' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'start_guide' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n ' Text.Whitespace
'mated_coast_mnvr' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'boolean' Keyword.Type
';' Punctuation
'\n\n ' Text.Whitespace
'cs' Name.Variable
':' Punctuation
' ' Text.Whitespace
'cont_3eo_mode_select' Name.Variable
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'start_cont_3eo_mode_select' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'smode5' Name.Variable
',' Punctuation
'vel' Name.Variable
',' Punctuation
'q_bar' Name.Variable
',' Punctuation
'apogee_alt_LT_alt_ref' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
',' Punctuation
'alpha_n_GRT_alpha_reg2' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
',' Punctuation
'v_horiz_dnrng_LT_0' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'high_rate_sep' Name.Variable
',' Punctuation
'meco_confirmed' Name.Variable
')' Punctuation
';' Punctuation
'\n\n ' Text.Whitespace
'cg' Name.Variable
':' Punctuation
' ' Text.Whitespace
'cont_3eo_guide' Name.Variable
'(' Punctuation
'start_guide' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
',' Punctuation
' ' Text.Whitespace
'et_sep_cmd' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'h_dot_LT_0' Name.Variable
',' Punctuation
' ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'r' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'cont_minus_z_compl' Name.Variable
',' Punctuation
' ' Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
',' Punctuation
' ' Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
',' Punctuation
' ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
',' Punctuation
' ' Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
',' Punctuation
' ' Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'pre_sep' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_18' Name.Variable
',' Punctuation
' ' Text.Whitespace
'q_orb_LT_0' Name.Variable
',' Punctuation
' ' Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
',' Punctuation
'\n ' Text.Whitespace
'cond_20b' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_21' Name.Variable
',' Punctuation
' ' Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_24' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_26' Name.Variable
',' Punctuation
' \n ' Text.Whitespace
'cond_27' Name.Variable
',' Punctuation
' ' Text.Whitespace
'cond_29' Name.Variable
',' Punctuation
' ' Text.Whitespace
'mm602_OK' Name.Variable
')' Punctuation
';' Punctuation
'\n\n' Text.Whitespace
'ASSIGN' Keyword.Declaration
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'start_guide' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'init' Name.Builtin
'(' Punctuation
'mated_coast_mnvr' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'entry_mnvr_couter_LE_0' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'!' Operator
'entry_mnvr_couter_LE_0' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n' Text.Whitespace
'---------------------------------------------------------------------\n' Comment
'---------------------------------------------------------------------\n' Comment
' ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'start_guide' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'start_guide' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'!' Operator
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'smode5' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'smode5' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'smode5' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'vel' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'vel' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'GRT_vi_3eo_max' Name.Variable
',' Punctuation
' ' Text.Whitespace
'GRT_vi_3eo_min' Name.Variable
',' Punctuation
' ' Text.Whitespace
'LEQ_vi_3eo_min' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'vel' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'q_bar' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'q_bar' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
'GRT_qbar_reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'GRT_qbar_reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'LEQ_qbar_reg1' Name.Variable
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'q_bar' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'q_bar_a_GRT_qbar_max_sep' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'apogee_alt_LT_alt_ref' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'h_dot_LT_hdot_reg2' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'h_dot_LT_0' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'h_dot_LT_0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'h_dot_LT_0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'alpha_n_GRT_alpha_reg2' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'alpha_n_GRT_alpha_reg2' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'alpha_n_GRT_alpha_reg2' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'delta_r_GRT_del_r_usp' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'v_horiz_dnrng_LT_0' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'v_horiz_dnrng_LT_0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'v_horiz_dnrng_LT_0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'meco_confirmed' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'meco_confirmed' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'meco_confirmed' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'et_sep_cmd' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'et_sep_cmd' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'et_sep_cmd' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'et_sep_cmd' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cont_minus_z_compl' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cont_minus_z_compl' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cont_minus_z_compl' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
' \n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'excess_OMS_propellant' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'q_bar_a_LT_qbar_oms_dump' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'rcs_all_jet_inhibit' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'alt_GRT_alt_min_102_dump' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'pre_sep' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'pre_sep' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'pre_sep' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cond_18' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_18' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_18' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'q_orb_LT_0' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'q_orb_LT_0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'q_orb_LT_0' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'ABS_alf_err_LT_alf_sep_err' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cond_20b' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_20b' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_20b' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cond_21' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_21' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_21' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'ABS_beta_n_GRT_beta_max' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cond_24' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_24' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_24' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cond_26' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_26' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_26' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cond_27' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_27' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_27' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cond_29' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_29' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'cond_29' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'mm602_OK' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'mm602_OK' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
',' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
'}' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'mm602_OK' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'mated_coast_mnvr' Name.Variable
')' Punctuation
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'next' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'step' Name.Variable
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'1' Literal.Number.Integer
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'6' Literal.Number.Integer
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg2' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg4' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg102' Name.Variable
'}' Punctuation
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'TRUE' Keyword.Constant
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'mated_coast_mnvr' Name.Variable
';' Punctuation
' \n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n' Text.Whitespace
'---------------------------------------------------------------------\n' Comment
'---------------------------------------------------------------------\n' Comment
'DEFINE' Keyword.Declaration
'\n ' Text.Whitespace
'fixed_values' Name.Variable
' ' Text.Whitespace
':=' Operator
' ' Text.Whitespace
'FALSE' Keyword.Constant
';' Punctuation
'\n\n ' Text.Whitespace
'output_ok' Name.Variable
' ' Text.Whitespace
':=' Operator
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'undef' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'wcb2' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'undef' Name.Variable
' ' Text.Whitespace
'|' Operator
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'cont_3eo_pr_delay' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'5' Literal.Number.Integer
' ' Text.Whitespace
'|' Operator
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'etsep_y_drift' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'undef' Name.Variable
' ' Text.Whitespace
':' Punctuation
'\n ' Text.Whitespace
'case' Keyword
'\n ' Text.Whitespace
'!' Operator
'mated_coast_mnvr' Name.Variable
':' Punctuation
' ' Text.Whitespace
'1' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n ' Text.Whitespace
'!' Operator
'mated_coast_mnvr' Name.Variable
':' Punctuation
' ' Text.Whitespace
'toint' Name.Variable
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'quat_entry_M50_to_cmdbody' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'wcb2' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'post_sep_0' Name.Variable
')' Punctuation
';' Punctuation
' \n' Text.Whitespace
'-- reg1 never happens?\n' Comment
'-- cg.r = reg1 : (cg.q_gcb_i = quat_reg1 & cg.wcb2 = reg1_0 &\n' Comment
'-- cg.cont_3eo_pr_delay = minus_z_reg1 &\n' Comment
'-- cg.etsep_y_drift = minus_z_reg1) | cg.emerg_sep;\n' Comment
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg2' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'toint' Name.Variable
'(' Punctuation
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'quat_reg2' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'wcb2' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg2_neg4' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'cont_3eo_pr_delay' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'minus_z_reg2' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'etsep_y_drift' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'minus_z_reg2' Name.Variable
')' Punctuation
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'emerg_sep' Name.Variable
')' Punctuation
';' Punctuation
'\n\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg3' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'toint' Name.Variable
'(' Punctuation
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'quat_reg3' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'wcb2' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'wcb2_3eo' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'cont_3eo_pr_delay' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'minus_z_reg3' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'etsep_y_drift' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'minus_z_reg3' Name.Variable
')' Punctuation
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'emerg_sep' Name.Variable
')' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg4' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'toint' Name.Variable
'(' Punctuation
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'quat_reg4' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'wcb2' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg4_0' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'cont_3eo_pr_delay' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'minus_z_reg4' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'etsep_y_drift' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'minus_z_reg4' Name.Variable
')' Punctuation
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'emerg_sep' Name.Variable
')' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'toint' Name.Variable
'(' Punctuation
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'quat_reg102_undef' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'wcb2' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102_undef' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'cont_3eo_pr_delay' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'minus_z_reg102' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'etsep_y_drift' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'minus_z_reg102' Name.Variable
')' Punctuation
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'emerg_sep' Name.Variable
')' Punctuation
';' Punctuation
'\n ' Text.Whitespace
'TRUE' Keyword.Constant
' ' Text.Whitespace
':' Punctuation
' ' Text.Whitespace
'0' Literal.Number.Integer
';' Punctuation
'\n ' Text.Whitespace
'esac' Keyword
';' Punctuation
'\n\n' Text.Whitespace
'---------------------------------------------------------------------\n' Comment
'-------- Specifications ---------------------------------------------\n' Comment
'---------------------------------------------------------------------\n' Comment
'\n' Text.Whitespace
'-- Contingency Guide terminates\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'!' Operator
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'AF' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- Contingency guide can be executed infinitely often\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
' ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
')' Punctuation
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'EF' Operator.Word
'(' Punctuation
'!' Operator
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
')' Punctuation
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'EF' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- Contingency mode select task works fine\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'(' Punctuation
'(' Punctuation
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'meco_confirmed' Name.Variable
')' Punctuation
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'reg-1' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'reg0' Name.Variable
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- Bad (initial) value never happens again once region is computed\n' Comment
'-- unless we restart the task\n' Comment
'\n' Text.Whitespace
'--SPEC AG(cs.r != reg-1 -> !E[!cg.start_cont_3eo_mode_select U \n' Comment
'-- cs.r = reg-1 & !cg.start_cont_3eo_mode_select])\n' Comment
'\n' Text.Whitespace
'-- Comment out each of the regions and see if this is still true\n' Comment
'-- (Check, if ALL of the regions can happen)\n' Comment
'\n' Text.Whitespace
'--SPEC AG(cs.r in {reg-1\n' Comment
'-- ,reg0\n' Comment
'-- ,reg1\n' Comment
'-- ,reg2\n' Comment
'-- ,reg3\n' Comment
'-- ,reg102\n' Comment
'-- })\n' Comment
'\n' Text.Whitespace
'-- Comment out each of the regions and see if this is still true\n' Comment
'-- (Check, if ALL of the regions can happen)\n' Comment
'\n' Text.Whitespace
'--SPEC AG(cg.r in {reg-1\n' Comment
'-- ,reg0\n' Comment
'-- ,reg1\n' Comment
'-- ,reg2\n' Comment
'-- ,reg3\n' Comment
'-- ,reg4\n' Comment
'-- ,reg102\n' Comment
'-- })\n' Comment
'\n' Text.Whitespace
'-- Mode_select starts at the next step after its "start" bit is set:\n' Comment
'\n' Text.Whitespace
'--SPEC AG(!cg.start_cont_3eo_mode_select -> \n' Comment
'-- AX(cg.start_cont_3eo_mode_select & cs.step in {exit, undef} -> \n' Comment
'-- AX(cs.step = 1 & !cs.region_selected)))\n' Comment
'\n' Text.Whitespace
'-- During major mode 103, the inertial velocity is monitored.\n' Comment
'-- Below an I-loaded velocity, a MECO would constitute a contingency\n' Comment
'-- abort. (Must NOT be in SMODE=5 (??))\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'start_cont_3eo_mode_select' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm103' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'vel' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'LEQ_vi_3eo_min' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'smode5' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'A' Operator.Word
'[' Punctuation
'!' Operator
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
']' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- Above a certain inertial velocity (in mode 103), the 3E/O field\n' Comment
'-- is blanked, indicating that a MECO at this point would not require\n' Comment
'-- an OPS 6 contingency abort.\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'(' Punctuation
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm103' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'vel' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'GRT_vi_3eo_max' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'!' Operator
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- Between the two velocities, an apogee altitude - velocity curve is \n' Comment
'-- constructed based on the current inertial velocity. If the apogee\n' Comment
'-- altitude is above this curve, a contingency abort capability is\n' Comment
'-- still required and a 3E/O region index will be calculated. \n' Comment
'-- Otherwise, the 3E/O field is blanked out and no further contingency\n' Comment
'-- abort calculations will be performed. (Must NOT be in SMODE=5 (??))\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'start_cont_3eo_mode_select' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm103' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'vel' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'GRT_vi_3eo_min' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'smode5' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
'\n ' Text.Whitespace
'A' Operator.Word
'[' Punctuation
'!' Operator
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'!' Operator
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
']' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- For an RTLS trajectory (SMODE=5), a check is made on the downrange\n' Comment
'-- velocity to see if the vehicle is heading away from the landing site.\n' Comment
'-- If this is the case, a 3E/O region index is calculated. If the vehicle\n' Comment
'-- is heading back to the landing site, and the current range to the MECO\n' Comment
'-- R-V line is greater than an I-loaded value, a 3E/O region index is\n' Comment
'-- calculated. Otherwise, an intact abort is possible and the 3E/O field\n' Comment
'-- is blanked.\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'start_cont_3eo_mode_select' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'smode5' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'!' Operator
'v_horiz_dnrng_LT_0' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'!' Operator
'delta_r_GRT_del_r_usp' Name.Variable
')' Punctuation
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'A' Operator.Word
'[' Punctuation
'!' Operator
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
']' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- If this task is called prior to SRB separation [mm102], the 3E/O region\n' Comment
'-- index is set to 102 and the 3E/O contingency flag is set.\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'start_cont_3eo_mode_select' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'AX' Operator.Word
' ' Text.Whitespace
'(' Punctuation
'A' Operator.Word
' ' Text.Whitespace
'[' Punctuation
' ' Text.Whitespace
'!' Operator
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
']' Punctuation
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- After SRB separation, on every pass that the 3E/O region index is\n' Comment
'-- calculated, a check is made to see if MECO confirmed has occured. If\n' Comment
'-- so, a check is made to see if the major mode is 103. If so, an RTLS is\n' Comment
'-- automatically invoked to transition to major mode 601.\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'!' Operator
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm103' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
'\n ' Text.Whitespace
'A' Operator.Word
'[' Punctuation
'!' Operator
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'reg0' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm601' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'RTLS_abort_declared' Name.Variable
']' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- Once the 3E/O contingency flag has been set, this task is no longer\n' Comment
'-- executed.\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'!' Operator
'cg' Name.Variable
'.' Punctuation
'start_cont_3eo_mode_select' Name.Variable
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- If MECO confirmed occurs in MM103 and an OPS 6 contingency abort\n' Comment
'-- procedure is still required, contingency 3E/O guidance sets the\n' Comment
'-- CONT_3EO_START flag ON. Contingency 3E/O guidance then switches\n' Comment
'-- from its display support function into an actual auto guidance\n' Comment
'-- steering process. [...] Contingency 3E/O guidance sets the RTLS abort\n' Comment
'-- declared flag and the MSC performs the transition from from major mode\n' Comment
'-- 103 to 601.\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'!' Operator
'cg' Name.Variable
'.' Punctuation
'idle' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm103' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'A' Operator.Word
'[' Punctuation
' ' Text.Whitespace
'!' Operator
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'region_selected' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'(' Punctuation
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm601' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'RTLS_abort_declared' Name.Variable
')' Punctuation
' ' Text.Whitespace
']' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- If MECO confirmed occurs in a major mode 601 and a contingency abort\n' Comment
'-- procedure is still required, contingency 3E/O guidance sets the\n' Comment
'-- CONT_3EO_START flag ON. [...] Contingency 3E/O guidance then commands\n' Comment
'-- 3E/O auto maneuvers in major mode 601. [What are these maneuvers??]\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm601' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'!' Operator
'et_sep_cmd' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'quat_reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'quat_reg2' Name.Variable
',' Punctuation
' ' Text.Whitespace
'quat_reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'quat_reg4' Name.Variable
',' Punctuation
' ' Text.Whitespace
'undef' Name.Variable
'}' Punctuation
'\n ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'emerg_sep' Name.Variable
')' Punctuation
'\n\n' Text.Whitespace
'-- If MECO confirmed occurs in a first stage (MM102) [...], contingency\n' Comment
'-- 3E/O guidance will command a fast ET separation during SRB tailoff in\n' Comment
'-- major mode 102. CONT 3E/O GUID will then command maneuver post-sep in\n' Comment
"-- MM601 (???). [ I'm not sure what indicates fast ET sep.: emerg_sep or\n" Comment
'-- early_sep, or what? ]\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm102' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'meco_confirmed' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'pre_sep' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
'\n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'emerg_sep' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'et_sep_cmd' Name.Variable
'\n ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'et_sep_man_initiate' Name.Variable
'\n ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'early_sep' Name.Variable
'\n ' Text.Whitespace
')' Punctuation
'\n\n' Text.Whitespace
'---------------------------------------------\n' Comment
'-- Invariants from Murphi code --------------\n' Comment
'---------------------------------------------\n' Comment
'\n' Text.Whitespace
'--SPEC AG(cg.finished -> (output_ok != 0 | (output_ok = undef & \n' Comment
'-- (cg.emerg_sep | !cg.cont_sep_cplt))))\n' Comment
'\n' Text.Whitespace
'--SPEC AG(!cg.finished & !cg.idle -> !mated_coast_mnvr | !et_sep_cmd)\n' Comment
'\n' Text.Whitespace
'-- Stronger version !!!\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'output_ok' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'0' Literal.Number.Integer
')' Punctuation
'\n\n' Text.Whitespace
'-- Contingency Guidance shall command an ET separation \n' Comment
'-- [under certain conditions :-].\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg1' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cond_29' Name.Variable
')' Punctuation
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg2' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cond_24' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cond_26' Name.Variable
')' Punctuation
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg3' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'alpha_ok' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cond_20b' Name.Variable
')' Punctuation
')' Punctuation
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg4' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cond_18' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_orb_LT_0' Name.Variable
')' Punctuation
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'pre_sep' Name.Variable
')' Punctuation
' ' Text.Whitespace
'-' Operator
'>' Operator
'\n ' Text.Whitespace
'et_sep_cmd' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'et_sep_man_initiate' Name.Variable
'\n ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'early_sep' Name.Variable
' \n ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'emerg_sep' Name.Variable
'\n ' Text.Whitespace
')' Punctuation
'\n\n' Text.Whitespace
'-- Contingency Guidance shall command at most one interconnected OMS dump.\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'!' Operator
'cg' Name.Variable
'.' Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'!' Operator
'cg' Name.Variable
'.' Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- Contingency Guidance shall command a transition to glide RTLS\n' Comment
'-- (flight mode 602)\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'm_mode' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'mm601' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'--cg.cont_sep_cplt | cg.emerg_sep |\n' Comment
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'call_RTLS_abort_task' Name.Variable
')' Punctuation
'\n\n' Text.Whitespace
'-- Paper, p. 28, unstated assumption 2: at step 6 the region is\n' Comment
'-- among 102, 1-4.\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'6' Literal.Number.Integer
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'reg102' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg2' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg4' Name.Variable
'}' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- The transition to mode 602 shall not occur until the entry maneuver\n' Comment
'-- has been calculated\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'!' Operator
'E' Operator.Word
'[' Punctuation
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'undef' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'cont_sep_cplt' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'undef' Name.Variable
']' Punctuation
'\n\n' Text.Whitespace
'-- The entry maneuver calculations shall not commence until the OMS/RCS\n' Comment
'-- interconnect, if any, is complete (??? What does it exactly mean???)\n' Comment
'-- !!!\n' Comment
'--SPEC AG(cg.oms_rcs_i_c_inh_ena_cmd -> \n' Comment
'-- !E[cg.oms_rcs_i_c_inh_ena_cmd U \n' Comment
'-- cg.q_gcb_i != undef & cg.oms_rcs_i_c_inh_ena_cmd])\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'!' Operator
'E' Operator.Word
'[' Punctuation
'rcs_all_jet_inhibit' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' \n ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'q_gcb_i' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'undef' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
']' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- The OMS dump shall not be considered until the -Z translation is complete.\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'!' Operator
'E' Operator.Word
'[' Punctuation
'!' Operator
'cont_minus_z_compl' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'!' Operator
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'orbiter_dump_ena' Name.Variable
']' Punctuation
'\n\n' Text.Whitespace
'-- Completion of -Z translation shall not be checked until ET separation\n' Comment
'-- has been commanded\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'!' Operator
'E' Operator.Word
'[' Punctuation
'!' Operator
'et_sep_cmd' Name.Variable
' ' Text.Whitespace
'U' Operator.Word
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'step' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'7' Literal.Number.Integer
']' Punctuation
'\n\n' Text.Whitespace
'-- ET separation shall be commanded if and only if an abort maneuver\n' Comment
'-- region is assigned [and again there are *certain conditions*].\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg1' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cond_29' Name.Variable
')' Punctuation
' ' Text.Whitespace
'&' Operator
' \n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg2' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cond_24' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cond_26' Name.Variable
')' Punctuation
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg3' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'alpha_ok' Name.Variable
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cond_20b' Name.Variable
')' Punctuation
')' Punctuation
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg4' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cond_18' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'q_orb_LT_0' Name.Variable
')' Punctuation
' ' Text.Whitespace
'&' Operator
'\n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'pre_sep' Name.Variable
')' Punctuation
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'et_sep_man_initiate' Name.Variable
' ' Text.Whitespace
'|' Operator
' ' Text.Whitespace
'et_sep_cmd' Name.Variable
'\n ' Text.Whitespace
'<' Operator
'-' Operator
'>' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'reg1' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg2' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg3' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg4' Name.Variable
',' Punctuation
' ' Text.Whitespace
'reg102' Name.Variable
'}' Punctuation
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- The assigned region can not change arbitrarily.\n' Comment
'\n' Text.Whitespace
'-- Regions 1 and 2 may interchange, but will not switch to any other region:\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'reg1' Name.Variable
',' Punctuation
'reg2' Name.Variable
'}' Punctuation
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'reg1' Name.Variable
',' Punctuation
'reg2' Name.Variable
'}' Punctuation
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- Regions 3 and 4 may interchange, but will not switch to any other region:\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cs' Name.Variable
'.' Punctuation
'cont_3EO_start' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'reg3' Name.Variable
',' Punctuation
'reg4' Name.Variable
'}' Punctuation
' ' Text.Whitespace
'-' Operator
'>' Operator
' \n ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'in' Operator.Word
' ' Text.Whitespace
'{' Punctuation
'reg3' Name.Variable
',' Punctuation
'reg4' Name.Variable
'}' Punctuation
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'-- Region 102 never changes:\n' Comment
'\n' Text.Whitespace
'SPEC' Keyword.Declaration
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'&' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'AG' Operator.Word
'(' Punctuation
'cg' Name.Variable
'.' Punctuation
'finished' Name.Variable
' ' Text.Whitespace
'-' Operator
'>' Operator
' ' Text.Whitespace
'cg' Name.Variable
'.' Punctuation
'r' Name.Variable
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'reg102' Name.Variable
')' Punctuation
')' Punctuation
'\n' Text.Whitespace
Reference in a new issue View git blame Copy permalink