454 lines
4.8 KiB
HTML
454 lines
4.8 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE</H1>
|
|
Section: OCaml library (3o)<BR>Updated: 2020-01-30<BR><A HREF="#index">Index</A>
|
|
<A HREF="/cgi-bin/man/man2html">Return to Main Contents</A><HR>
|
|
|
|
<A NAME="lbAB"> </A>
|
|
<H2>NAME</H2>
|
|
|
|
CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE - no description
|
|
<A NAME="lbAC"> </A>
|
|
<H2>Module type</H2>
|
|
|
|
Module type CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE
|
|
<A NAME="lbAD"> </A>
|
|
<H2>Documentation</H2>
|
|
|
|
<P>
|
|
Module type
|
|
<B>INCREMENTAL_ENGINE</B>
|
|
|
|
<BR> =
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type token </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type production </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>'a</B>
|
|
|
|
<I>env </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>'a</B>
|
|
|
|
<I>checkpoint </I>
|
|
|
|
= private
|
|
<BR> | InputNeeded
|
|
<B>of </B>
|
|
|
|
<B>'a env</B>
|
|
|
|
<BR> | Shifting
|
|
<B>of </B>
|
|
|
|
<B>'a env</B>
|
|
|
|
<B>* 'a env * </B>
|
|
|
|
<B>bool</B>
|
|
|
|
<BR> | AboutToReduce
|
|
<B>of </B>
|
|
|
|
<B>'a env</B>
|
|
|
|
<B>* production</B>
|
|
|
|
<BR> | HandlingError
|
|
<B>of </B>
|
|
|
|
<B>'a env</B>
|
|
|
|
<BR> | Accepted
|
|
<B>of </B>
|
|
|
|
<B>'a</B>
|
|
|
|
<BR> | Rejected
|
|
<BR>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val offer </I>
|
|
|
|
:
|
|
<B>'a checkpoint -></B>
|
|
|
|
<B>token *</B>
|
|
|
|
<B>CamlinternalMenhirLib.IncrementalEngine.position *</B>
|
|
|
|
<B>CamlinternalMenhirLib.IncrementalEngine.position -></B>
|
|
|
|
<B>'a checkpoint</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val resume </I>
|
|
|
|
:
|
|
<B>'a checkpoint -></B>
|
|
|
|
<B>'a checkpoint</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type supplier </I>
|
|
|
|
=
|
|
<B>unit -></B>
|
|
|
|
<B>token *</B>
|
|
|
|
<B>CamlinternalMenhirLib.IncrementalEngine.position *</B>
|
|
|
|
<B>CamlinternalMenhirLib.IncrementalEngine.position</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val lexer_lexbuf_to_supplier </I>
|
|
|
|
:
|
|
<B>(Lexing.lexbuf -></B>
|
|
|
|
<B>token) -></B>
|
|
|
|
<B>Lexing.lexbuf -></B>
|
|
|
|
<B>supplier</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val loop </I>
|
|
|
|
:
|
|
<B>supplier -></B>
|
|
|
|
<B>'a checkpoint -></B>
|
|
|
|
<B>'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val loop_handle </I>
|
|
|
|
:
|
|
<B>('a -> 'answer) -></B>
|
|
|
|
<B>('a checkpoint -></B>
|
|
|
|
<B>'answer) -></B>
|
|
|
|
<B>supplier -></B>
|
|
|
|
<B>'a checkpoint -></B>
|
|
|
|
<B>'answer</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val loop_handle_undo </I>
|
|
|
|
:
|
|
<B>('a -> 'answer) -></B>
|
|
|
|
<B>('a checkpoint -></B>
|
|
|
|
<B>'a checkpoint -></B>
|
|
|
|
<B>'answer) -></B>
|
|
|
|
<B>supplier -></B>
|
|
|
|
<B>'a checkpoint -></B>
|
|
|
|
<B>'answer</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val shifts </I>
|
|
|
|
:
|
|
<B>'a checkpoint -></B>
|
|
|
|
<B>'a env option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val acceptable </I>
|
|
|
|
:
|
|
<B>'a checkpoint -></B>
|
|
|
|
<B>token -></B>
|
|
|
|
<B>CamlinternalMenhirLib.IncrementalEngine.position -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>'a</B>
|
|
|
|
<I>lr1state </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val number </I>
|
|
|
|
:
|
|
<B>'a lr1state -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val production_index </I>
|
|
|
|
:
|
|
<B>production -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val find_production </I>
|
|
|
|
:
|
|
<B>int -> production</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type element </I>
|
|
|
|
=
|
|
<BR> | Element
|
|
<B>: </B>
|
|
|
|
<B>'a lr1state * 'a</B>
|
|
|
|
<B>* CamlinternalMenhirLib.IncrementalEngine.position</B>
|
|
|
|
<B>* CamlinternalMenhirLib.IncrementalEngine.position</B>
|
|
|
|
<B>-> </B>
|
|
|
|
<B>element</B>
|
|
|
|
<BR>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type stack </I>
|
|
|
|
=
|
|
<B>element</B>
|
|
|
|
<B>CamlinternalMenhirLib.General.stream</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val stack </I>
|
|
|
|
:
|
|
<B>'a env -></B>
|
|
|
|
<B>stack</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val top </I>
|
|
|
|
:
|
|
<B>'a env -></B>
|
|
|
|
<B>element option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val pop_many </I>
|
|
|
|
:
|
|
<B>int -></B>
|
|
|
|
<B>'a env -></B>
|
|
|
|
<B>'a env option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val get </I>
|
|
|
|
:
|
|
<B>int -></B>
|
|
|
|
<B>'a env -></B>
|
|
|
|
<B>element option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val current_state_number </I>
|
|
|
|
:
|
|
<B>'a env -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val equal </I>
|
|
|
|
:
|
|
<B>'a env -></B>
|
|
|
|
<B>'a env -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val positions </I>
|
|
|
|
:
|
|
<B>'a env -></B>
|
|
|
|
<B>CamlinternalMenhirLib.IncrementalEngine.position *</B>
|
|
|
|
<B>CamlinternalMenhirLib.IncrementalEngine.position</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val env_has_default_reduction </I>
|
|
|
|
:
|
|
<B>'a env -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val state_has_default_reduction </I>
|
|
|
|
:
|
|
<B>'a lr1state -></B>
|
|
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val pop </I>
|
|
|
|
:
|
|
<B>'a env -></B>
|
|
|
|
<B>'a env option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val force_reduction </I>
|
|
|
|
:
|
|
<B>production -></B>
|
|
|
|
<B>'a env -></B>
|
|
|
|
<B>'a env</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val input_needed </I>
|
|
|
|
:
|
|
<B>'a env -></B>
|
|
|
|
<B>'a checkpoint</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
|
|
<HR>
|
|
<A NAME="index"> </A><H2>Index</H2>
|
|
<DL>
|
|
<DT id="1"><A HREF="#lbAB">NAME</A><DD>
|
|
<DT id="2"><A HREF="#lbAC">Module type</A><DD>
|
|
<DT id="3"><A HREF="#lbAD">Documentation</A><DD>
|
|
</DL>
|
|
<HR>
|
|
This document was created by
|
|
<A HREF="/cgi-bin/man/man2html">man2html</A>,
|
|
using the manual pages.<BR>
|
|
Time: 00:05:37 GMT, March 31, 2021
|
|
</BODY>
|
|
</HTML>
|