17dd5d87.0e37b3a0.js

(window.webpackJsonp=window.webpackJsonp||[]).push([[42],{140:function(e,t,n){"use strict";n.r(t),n.d(t,"frontMatter",(function(){return o})),n.d(t,"metadata",(function(){return l})),n.d(t,"rightToc",(function(){return s})),n.d(t,"default",(function(){return p}));var r=n(2),a=n(6),i=(n(0),n(469)),o={title:"Running Parsers"},l={id:"version-0.3.1/tutorial/running_parsers",isDocsHomePage:!1,title:"Running Parsers",description:"There ar two ways of running your parser on an input.",source:"@site/versioned_docs/version-0.3.1/tutorial/running_parsers.md",permalink:"/docs/0.3.1/tutorial/running_parsers",editUrl:"https://github.com/parsica-php/parsica/tree/main/versioned_docs/version-0.3.1/tutorial/running_parsers.md",version:"0.3.1",sidebar:"version-0.3.1/docs",previous:{title:"Building Blocks",permalink:"/docs/0.3.1/tutorial/building_blocks"},next:{title:"Mapping to Objects",permalink:"/docs/0.3.1/tutorial/mapping_to_objects"},latestVersionMainDocPermalink:"/docs"},s=[{value:"Try",id:"try",children:[]},{value:"Run",id:"run",children:[]},{value:"Continue with a result",id:"continue-with-a-result",children:[]}],c={rightToc:s};function p(e){var t=e.components,n=Object(a.a)(e,["components"]);return Object(i.b)("wrapper",Object(r.a)({},c,n,{components:t,mdxType:"MDXLayout"}),Object(i.b)("p",null,"There ar two ways of running your parser on an input. "),Object(i.b)("h2",{id:"try"},"Try"),Object(i.b)("p",null,"Most of the time, you'll want to use ",Object(i.b)("inlineCode",{parentName:"p"},"try"),". It will run the parser, return a ",Object(i.b)("inlineCode",{parentName:"p"},"ParseResult")," on success, and throw a ",Object(i.b)("inlineCode",{parentName:"p"},"ParserFailure")," exception if the input can't successfully be parsed. "),Object(i.b)("p",null,Object(i.b)("inlineCode",{parentName:"p"},"ParseResult")," has an ",Object(i.b)("inlineCode",{parentName:"p"},"output()")," method, which has the type ",Object(i.b)("inlineCode",{parentName:"p"},"T")," for a ",Object(i.b)("inlineCode",{parentName:"p"},"Parser<T>")," (see ",Object(i.b)("a",Object(r.a)({parentName:"p"},{href:"mapping_to_objects"}),"Mapping to Objects"),"). It also has a ",Object(i.b)("inlineCode",{parentName:"p"},"remainder()")," method, which gives you the part of the input that wasn't consumed by the parser."),Object(i.b)("p",null,Object(i.b)("inlineCode",{parentName:"p"},"ParserFailure")," has the usual ",Object(i.b)("inlineCode",{parentName:"p"},"Exception")," methods, and  "),Object(i.b)("pre",null,Object(i.b)("code",Object(r.a)({parentName:"pre"},{className:"language-php"}),'<?php\n$parser = string(\'hello\');\ntry {\n    $result = $parser->try("hello world");\n    echo $result->output(); // "hello"\n    echo $result->remainder(); // " world"\n    $result = $parser->try("hi world");\n} catch(ParserFailure $e) {\n    echo $e->expected(); // "string(hello)"\n    echo $e->got(); // "hi world"\n}\n')),Object(i.b)("h2",{id:"run"},"Run"),Object(i.b)("p",null,Object(i.b)("inlineCode",{parentName:"p"},"run")," is mostly intended for internal use. "),Object(i.b)("p",null,"The main difference between ",Object(i.b)("inlineCode",{parentName:"p"},"run")," and ",Object(i.b)("inlineCode",{parentName:"p"},"try")," is that ",Object(i.b)("inlineCode",{parentName:"p"},"run")," doesn't throw exceptions when parsing an input fails. (It might throw exceptions if your parser itself is incorrectly defined.) Instead, you'll always get a ",Object(i.b)("inlineCode",{parentName:"p"},"ParseResult"),", and you can inspect it with the same methods as above. You'll also get ",Object(i.b)("inlineCode",{parentName:"p"},"isSuccess")," and ",Object(i.b)("inlineCode",{parentName:"p"},"isFail"),", so you know what you're dealing with."),Object(i.b)("pre",null,Object(i.b)("code",Object(r.a)({parentName:"pre"},{className:"language-php"}),'<?php\n$parser = string("hello");\n$result = $parser->run("some input");\nif($result->isSuccess()) {\n    echo $result->output();\n    echo $result->remainder();\n} elseif ($result->isFail()) {\n    echo $result->expected();\n    echo $result->got();\n}\n')),Object(i.b)("h2",{id:"continue-with-a-result"},"Continue with a result"),Object(i.b)("p",null,"Using ",Object(i.b)("inlineCode",{parentName:"p"},"run")," instead of ",Object(i.b)("inlineCode",{parentName:"p"},"try")," is a good choice when you want to do something with the result, such as:"),Object(i.b)("ul",null,Object(i.b)("li",{parentName:"ul"},"Building your own combinators"),Object(i.b)("li",{parentName:"ul"},"Interacting with ",Object(i.b)("inlineCode",{parentName:"li"},"ParseResult")," while in the middle of a parse flow")),Object(i.b)("p",null,"To do that, ",Object(i.b)("inlineCode",{parentName:"p"},"ParseResult")," lets you continue parsing:"),Object(i.b)("pre",null,Object(i.b)("code",Object(r.a)({parentName:"pre"},{className:"language-php"}),'<?php\n$parser1 = string("hello");\n$result1 = $parser1->run("hello world");\n$parser2 = string("world");\n$result2 = $result1->continueWith($parser2);\n')),Object(i.b)("p",null,Object(i.b)("inlineCode",{parentName:"p"},"continueWith")," takes another parser, and uses it to parse the remainder of the of the result. You may have noticed we didn't check for ",Object(i.b)("inlineCode",{parentName:"p"},"isSuccess"),". That's becasue we don't need to. ",Object(i.b)("inlineCode",{parentName:"p"},"continueWith")," is smart; if ",Object(i.b)("inlineCode",{parentName:"p"},"$parser1")," fails, trying to continue parsing on the result will not have any effect. In fact, the example above will fail, because ",Object(i.b)("inlineCode",{parentName:"p"},"$parser1"),' doesn\'t take into account the space between "hello" and "world".'))}p.isMDXComponent=!0},469:function(e,t,n){"use strict";n.d(t,"a",(function(){return u})),n.d(t,"b",(function(){return h}));var r=n(0),a=n.n(r);function i(e,t,n){return t in e?Object.defineProperty(e,t,{value:n,enumerable:!0,configurable:!0,writable:!0}):e[t]=n,e}function o(e,t){var n=Object.keys(e);if(Object.getOwnPropertySymbols){var r=Object.getOwnPropertySymbols(e);t&&(r=r.filter((function(t){return Object.getOwnPropertyDescriptor(e,t).enumerable}))),n.push.apply(n,r)}return n}function l(e){for(var t=1;t<arguments.length;t++){var n=null!=arguments[t]?arguments[t]:{};t%2?o(Object(n),!0).forEach((function(t){i(e,t,n[t])})):Object.getOwnPropertyDescriptors?Object.defineProperties(e,Object.getOwnPropertyDescriptors(n)):o(Object(n)).forEach((function(t){Object.defineProperty(e,t,Object.getOwnPropertyDescriptor(n,t))}))}return e}function s(e,t){if(null==e)return{};var n,r,a=function(e,t){if(null==e)return{};var n,r,a={},i=Object.keys(e);for(r=0;r<i.length;r++)n=i[r],t.indexOf(n)>=0||(a[n]=e[n]);return a}(e,t);if(Object.getOwnPropertySymbols){var i=Object.getOwnPropertySymbols(e);for(r=0;r<i.length;r++)n=i[r],t.indexOf(n)>=0||Object.prototype.propertyIsEnumerable.call(e,n)&&(a[n]=e[n])}return a}var c=a.a.createContext({}),p=function(e){var t=a.a.useContext(c),n=t;return e&&(n="function"==typeof e?e(t):l(l({},t),e)),n},u=function(e){var t=p(e.components);return a.a.createElement(c.Provider,{value:t},e.children)},b={inlineCode:"code",wrapper:function(e){var t=e.children;return a.a.createElement(a.a.Fragment,{},t)}},d=a.a.forwardRef((function(e,t){var n=e.components,r=e.mdxType,i=e.originalType,o=e.parentName,c=s(e,["components","mdxType","originalType","parentName"]),u=p(n),d=r,h=u["".concat(o,".").concat(d)]||u[d]||b[d]||i;return n?a.a.createElement(h,l(l({ref:t},c),{},{components:n})):a.a.createElement(h,l({ref:t},c))}));function h(e,t){var n=arguments,r=t&&t.mdxType;if("string"==typeof e||r){var i=n.length,o=new Array(i);o[0]=d;var l={};for(var s in t)hasOwnProperty.call(t,s)&&(l[s]=t[s]);l.originalType=e,l.mdxType="string"==typeof e?e:r,o[1]=l;for(var c=2;c<i;c++)o[c]=n[c];return a.a.createElement.apply(null,o)}return a.a.createElement.apply(null,n)}d.displayName="MDXCreateElement"}}]);