parsing(3o) [debian man page]

Parsing(3o)							   OCaml library						       Parsing(3o)

NAME

       Parsing - The run-time library for parsers generated by ocamlyacc.

Module
       Module	Parsing

Documentation
       Module Parsing
	: sig end

       The run-time library for parsers generated by ocamlyacc .

       val symbol_start : unit -> int

       symbol_start  and  Parsing.symbol_end are to be called in the action part of a grammar rule only. They return the offset of the string that
       matches the left-hand side of the rule: symbol_start() returns the offset of the first character; symbol_end() returns the offset after the
       last character. The first character in a file is at offset 0.

       val symbol_end : unit -> int

       See Parsing.symbol_start .

       val rhs_start : int -> int

       Same  as Parsing.symbol_start and Parsing.symbol_end , but return the offset of the string matching the n th item on the right-hand side of
       the rule, where n is the integer parameter to rhs_start and rhs_end .  n is 1 for the leftmost item.

       val rhs_end : int -> int

       See Parsing.rhs_start .

       val symbol_start_pos : unit -> Lexing.position

       Same as symbol_start , but return a position instead of an offset.

       val symbol_end_pos : unit -> Lexing.position

       Same as symbol_end , but return a position instead of an offset.

       val rhs_start_pos : int -> Lexing.position

       Same as rhs_start , but return a position instead of an offset.

       val rhs_end_pos : int -> Lexing.position

       Same as rhs_end , but return a position instead of an offset.

       val clear_parser : unit -> unit

       Empty the parser stack. Call it just after a parsing function has returned, to remove all pointers from the parser stack to structures that
       were built by semantic actions during parsing.  This is optional, but lowers the memory requirements of the programs.

       exception Parse_error

       Raised when a parser encounters a syntax error.	Can also be raised from the action part of a grammar rule, to initiate error recovery.

       val set_trace : bool -> bool

       Control	debugging  support  for  ocamlyacc  -generated	parsers.   After Parsing.set_trace true , the pushdown automaton that executes the
       parsers prints a trace of its actions (reading a token, shifting a state, reducing by a rule) on standard output.  Parsing.set_trace  false
       turns this debugging trace off.	The boolean returned is the previous state of the trace flag.

       Since 3.11.0

OCamldoc							    2012-06-26							       Parsing(3o)

CamlinternalOO(3o)						   OCaml library						CamlinternalOO(3o)

NAME

       CamlinternalOO - Run-time support for objects and classes.

Module
       Module	CamlinternalOO

Documentation
       Module CamlinternalOO
	: sig end

       Run-time support for objects and classes.  All functions in this module are for system use only, not for the casual user.

       === Classes ===

       type tag

       type label

       type table

       type meth

       type t

       type obj

       type closure

       val public_method_label : string -> tag

       val new_method : table -> label

       val new_variable : table -> string -> int

       val new_methods_variables : table -> string array -> string array -> label array

       val get_variable : table -> string -> int

       val get_variables : table -> string array -> int array

       val get_method_label : table -> string -> label

       val get_method_labels : table -> string array -> label array

       val get_method : table -> label -> meth

       val set_method : table -> label -> meth -> unit

       val set_methods : table -> label array -> unit

       val narrow : table -> string array -> string array -> string array -> unit

       val widen : table -> unit

       val add_initializer : table -> (obj -> unit) -> unit

       val dummy_table : table

       val create_table : string array -> table

       val init_class : table -> unit

       val inherits : table -> string array -> string array -> string array -> t * (table -> obj -> Obj.t) * t * obj -> bool -> Obj.t array

       val make_class : string array -> (table -> Obj.t -> t) -> t * (table -> Obj.t -> t) * (Obj.t -> t) * Obj.t

       type init_table

       val make_class_store : string array -> (table -> t) -> init_table -> unit

       val dummy_class : string * int * int -> t * (table -> Obj.t -> t) * (Obj.t -> t) * Obj.t

       === Objects ===

       val copy : (< .. > as 'a) -> 'a

       val create_object : table -> obj

       val create_object_opt : obj -> table -> obj

       val run_initializers : obj -> table -> unit

       val run_initializers_opt : obj -> obj -> table -> obj

       val create_object_and_run_initializers : obj -> table -> obj

       val send : obj -> tag -> t

       val sendcache : obj -> tag -> t -> int -> t

       val sendself : obj -> label -> t

       val get_public_method : obj -> tag -> closure

       === Table cache ===

       type tables

       val lookup_tables : tables -> closure array -> tables

       === Builtins to reduce code size ===

       type impl =
	| GetConst
	| GetVar
	| GetEnv
	| GetMeth
	| SetVar
	| AppConst
	| AppVar
	| AppEnv
	| AppMeth
	| AppConstConst
	| AppConstVar
	| AppConstEnv
	| AppConstMeth
	| AppVarConst
	| AppEnvConst
	| AppMethConst
	| MethAppConst
	| MethAppVar
	| MethAppEnv
	| MethAppMeth
	| SendConst
	| SendVar
	| SendEnv
	| SendMeth
	| Closure of closure

       === Parameters ===

       type params = {

       mutable compact_table : bool ;

       mutable copy_parent : bool ;

       mutable clean_when_copying : bool ;

       mutable retry_count : int ;

       mutable bucket_small_size : int ;
	}

       val params : params

       === Statistics ===

       type stats = {
	classes : int ;
	methods : int ;
	inst_vars : int ;
	}

       val stats : unit -> stats

OCamldoc							    2012-06-26							CamlinternalOO(3o)