@tslite/parser 0.6.2 → 1.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.cjs +6 -7
- package/dist/index.d.cts +2 -32
- package/dist/index.d.ts +2 -32
- package/dist/index.js +6 -7
- package/package.json +4 -4
package/dist/index.cjs
CHANGED
|
@@ -1,7 +1,6 @@
|
|
|
1
|
-
'use strict';var core=require('@tslite/core');var ee=class extends core.TSLiteError{constructor(
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
`||N==="\
|
|
5
|
-
`&&o!=="\f")return o}return ""}var ht=new Set([")","]","}",","]);function Te(r,c,l=""){for(let o of c){let{enclosing:p,preceding:g,following:f}=yt(r,o),s=g==null||g.loc.end.line<o.loc.start.line,y=!s&&(f==null||o.loc.end.line<f.loc.start.line);if(s)f?he(f,o):g?ue(g,o):ge(p,o);else if(y)g?ue(g,o):f?he(f,o):ge(p,o);else {let F=ht.has(mt(l,o.end));g&&F?ue(g,o):f?he(f,o):g?ue(g,o):ge(p,o);}}}var be=(r=[])=>({vars:new Set(r),bounds:new Map,noCond:false,inferSink:null}),ie=(r,c)=>{let l=new Set(r.vars),o=new Map(r.bounds);for(let p of c)l.add(p.name),p.bound||p.isConst?o.set(p.name,{bound:p.bound,isConst:p.isConst}):o.delete(p.name);return {vars:l,bounds:o,noCond:r.noCond,inferSink:r.inferSink}},gt=(r,c)=>{let l=r.bounds.get(c);return l&&(l.bound||l.isConst)?{t:"var",name:c,...l.bound?{bound:l.bound}:{},...l.isConst?{isConst:true}:{}}:{t:"var",name:c}},je=r=>{let{peek:c,next:l,isP:o,isK:p,expectP:g,fail:f,unescape:s}=r,y=(u,h)=>{let d=r.tokens[r.pos()-1]??h;return Object.assign(u,{start:h.start,end:d.end,loc:{start:h.loc.start,end:d.loc.end}})},F=()=>{let u=r.pos(),h=r.tokens[u],d=r.tokens[u-1];return !!d&&!!h&&h.loc.start.line>d.loc.end.line},T=()=>{let u=0;for(let h=r.pos();h<r.tokens.length;h++){let d=r.tokens[h];if(d.type==="EOF")return false;if(d.type==="Punctuator"){if(["(","[","{","<"].includes(d.value))u++;else if([")","]","}",">"].includes(d.value)&&(u--,u===0)){let x=r.tokens[h+1];return !!x&&x.type==="Punctuator"&&x.value==="=>"}}}return false},a=()=>{let u=r.tokens,h=[],d=0,x=false;for(let k=r.pos();k<u.length;k++){let w=u[k];if(w.type==="EOF")break;if(w.type==="Punctuator"){if(w.value==="<")d++,d===1&&(x=true);else if(w.value===">"){if(d--,d===0)break}else w.value==="("||w.value==="["||w.value==="{"?(d++,x=false):w.value===")"||w.value==="]"||w.value==="}"?(d--,x=false):w.value===","&&d===1?x=true:x=false;continue}if(d===1&&x){if(w.type==="Keyword"&&w.value==="const")continue;if(w.type==="Identifier"){h.push(w.value),x=false;continue}}x=false;}return h},P=u=>{let h=ie(u,a().map(x=>({name:x})));g("<");let d=[];for(;!o(">");){let x=p("const");x&&l();let k=c();k.type!=="Identifier"&&f("Expected type parameter name"),l();let w;p("extends")&&(l(),w=D(h).schema),o("=")&&(l(),D(h)),d.push({name:k.value,...w?{bound:w}:{},...x?{isConst:true}:{}}),o(">")||g(",");}return g(">"),d},A=u=>{g("<");let h=[];for(;!o(">");)h.push(D(u)),o(">")||g(",");return g(">"),h},R=u=>{let h=c();return h.type==="Identifier"&&h.value===u},D=u=>{let h=c(),d=v(u);if(u.noCond||!p("extends")||F())return d;l();let x=[],k=v({...u,noCond:true,inferSink:x});g("?");let w=ie(u,x.map(J=>({name:J}))),j=D(w);g(":");let $=D(w);return {node:y({type:"TSConditionalType",checkType:d.node,extendsType:k.node,trueType:j.node,falseType:$.node},h),schema:{t:"conditional",check:d.schema,extends:k.schema,then:j.schema,else:$.schema,...x.length?{infer:x}:{}}}},v=u=>{let h=c();o("|")&&l();let d=b(u);if(!o("|"))return d;let x=[d.node],k=[d.schema];for(;o("|");){l();let w=b(u);x.push(w.node),k.push(w.schema);}return {node:y({type:"TSUnionType",types:x},h),schema:{t:"union",of:k}}},b=u=>{let h=c();o("&")&&l();let d=m(u);if(!o("&"))return d;let x=[d.node],k=[d.schema];for(;o("&");){l();let w=m(u);x.push(w.node),k.push(w.schema);}return {node:y({type:"TSIntersectionType",types:x},h),schema:{t:"intersection",of:k}}},m=u=>{let h=c();if(R("keyof")){l();let d=m(u);return {node:y({type:"TSTypeOperator",operator:"keyof",typeAnnotation:d.node},h),schema:{t:"keyof",of:d.schema}}}if(R("readonly")){l();let d=m(u);return d.schema.t!=="array"&&d.schema.t!=="tuple"&&f("'readonly' only applies to array and tuple types"),{node:y({...d.node,readonly:true},h),schema:{...d.schema,readonly:true}}}if(R("infer")){l();let d=c();d.type!=="Identifier"&&f("Expected 'infer' variable name"),l();let x=u.inferSink;return x?(x.push(d.value),{node:y({type:"TSInferType",name:d.value},h),schema:{t:"var",name:d.value}}):f("'infer' is only allowed in the 'extends' clause of a conditional")}return M(u)},M=u=>{let h=c(),d=X(u);for(;o("[")&&!F();)if(l(),o("]"))l(),d={node:y({type:"TSArrayType",elementType:d.node},h),schema:{t:"array",items:d.schema}};else {let x=D(u);g("]"),d={node:y({type:"TSIndexedAccessType",objectType:d.node,indexType:x.node},h),schema:{t:"index",obj:d.schema,key:x.schema}};}return d},E=(u,h,d)=>({node:y({type:"TSKeywordType",kind:h},u),schema:d}),X=u=>{let h=c();if(p("typeof")){l();let k=c();k.type!=="Identifier"&&f("Expected a name after 'typeof' in type position"),l();let w=[k.value];for(;o(".");){l();let j=c();j.type!=="Identifier"&&j.type!=="Keyword"&&f("Expected a property name after '.' in 'typeof'"),l(),w.push(j.value);}return {node:y({type:"TSTypeQuery",exprName:w},h),schema:{t:"typeQuery",path:w}}}if(o("<")){let k=P(u),w=ie(u,k);return z(w,h,k.map(j=>j.name))}if(o("(")){if(T())return z(u,h);l();let k=D(u.noCond?{...u,noCond:false}:u);return g(")"),k}if(o("{"))return L()?U(u):I(u);if(o("["))return N(u);let d=c();if(d.type==="String"){l();let k=s(d.value.slice(1,-1));return {node:y({type:"TSLiteralType",literal:k},h),schema:{t:"literal",value:k}}}if(d.type==="Number"){l();let k=Number(d.value);return {node:y({type:"TSLiteralType",literal:k},h),schema:{t:"literal",value:k}}}if(p("true"))return l(),{node:y({type:"TSLiteralType",literal:true},h),schema:{t:"literal",value:true}};if(p("false"))return l(),{node:y({type:"TSLiteralType",literal:false},h),schema:{t:"literal",value:false}};if(p("null"))return l(),E(h,"null",{t:"null"});if(p("void"))return l(),E(h,"void",{t:"void"});if(d.type==="Identifier"){switch(l(),d.value){case "string":return E(h,"string",{t:"string"});case "number":return E(h,"number",{t:"number"});case "boolean":return E(h,"boolean",{t:"boolean"});case "any":return E(h,"any",{t:"any"});case "unknown":return E(h,"unknown",{t:"unknown"});case "undefined":return E(h,"undefined",{t:"undefined"});case "never":return E(h,"never",{t:"union",of:[]})}let k=o("<")?A(u):[],w=k.map(J=>J.schema),j=k.length?k.map(J=>J.node):void 0,$=y({type:"TSTypeReference",typeName:d.value,...j?{typeArguments:j}:{}},h);return u.vars.has(d.value)&&w.length===0?{node:$,schema:gt(u,d.value)}:d.value==="ReturnType"&&w.length===1?{node:$,schema:{t:"returnType",fn:w[0]}}:d.value==="Parameters"&&w.length===1?{node:$,schema:{t:"parameters",fn:w[0]}}:(r.typeRefs?.push({name:d.value,loc:d.loc}),{node:$,schema:{t:"apply",name:d.value,args:w}})}r.recordError(`Expected a type but got '${d.value||d.type}'`,d);let x=r.createMissingNode({type:"TSTypeReference",typeName:""},d);return r.typeRefs?.push({name:"",loc:x.loc}),{node:x,schema:{t:"unknown"}}},V=u=>{g("(");let h=[];for(;!o(")");){let d=c();d.type!=="Identifier"&&f("Expected parameter name in function type"),l();let x=o("?");x&&l(),g(":");let k=D(u);h.push({node:y({type:"TSTypeParameter",name:d.value,typeAnnotation:k.node,...x?{optional:true}:{}},d),schema:{name:d.value,type:k.schema,...x?{optional:true}:{}}}),o(")")||g(",");}return g(")"),h},z=(u,h,d)=>{let x=V(u);g("=>");let k=D(u);return {node:y({type:"TSFunctionType",params:x.map(w=>w.node),returnType:k.node,...d?.length?{typeParams:[...d]}:{}},h),schema:{t:"fn",params:x.map(w=>w.schema),returns:k.schema,...d?.length?{typeParams:d}:{}}}},N=u=>{let h=c();g("[");let d=[],x=[],k=[];for(;!o("]");){if(o("...")){l();let j=D(u);j.schema.t==="array"?(x.push(j.schema.items),d.push(j.node.elementType),k.push("rest")):(x.push(j.schema),d.push(j.node),k.push("variadic"));}else {let j=D(u),$=o("?");$&&l(),x.push(j.schema),d.push(j.node),k.push($?"optional":"req");}o("]")||g(",");}g("]");let w=k.some(j=>j!=="req");return {node:y({type:"TSTupleType",elementTypes:d,...w?{flags:k}:{}},h),schema:w?{t:"tuple",elements:x,flags:k}:{t:"tuple",elements:x}}},L=()=>{let u=r.tokens,h=r.pos()+1;return u[h]?.type==="Punctuator"&&(u[h]?.value==="+"||u[h]?.value==="-")&&h++,u[h]?.type==="Identifier"&&u[h]?.value==="readonly"&&h++,u[h]?.type==="Punctuator"&&u[h]?.value==="["&&u[h+1]?.type==="Identifier"&&u[h+2]?.type==="Keyword"&&u[h+2]?.value==="in"},U=u=>{let h=c();g("{"),(o("+")||o("-"))&&l(),R("readonly")&&l(),g("[");let d=c();d.type!=="Identifier"&&f("Expected mapped type key name"),l(),p("in")||f("Expected 'in' in mapped type"),l();let x=D(u);R("as")&&f("Key remapping ('as') in mapped types is not supported"),g("]");let k=false,w=o("+")||o("-")?l().value:null;o("?")&&(l(),k=w!=="-"),g(":");let j=D(ie(u,[{name:d.value}]));return (o(";")||o(","))&&l(),g("}"),{node:y({type:"TSMappedType",key:d.value,constraint:x.node,typeAnnotation:j.node,optional:k},h),schema:{t:"mapped",key:d.value,over:x.schema,body:j.schema,optional:k}}},I=u=>{let h=c();g("{");let d=[],x={},k,w=[];for(;!o("}");){let $=c();if(o("(")){let J=V(u);g(":");let B=D(u);w.push({t:"fn",params:J.map(W=>W.schema),returns:B.schema}),d.push(y({type:"TSCallSignatureDeclaration",params:J.map(W=>W.node),returnType:B.node},$));}else if(o("[")){l(),c().type!=="Identifier"&&f("Expected index signature parameter name"),l(),g(":");let J=c();(J.type!=="Identifier"||J.value!=="string"&&J.value!=="number")&&f("Index signature parameter type must be 'string' or 'number'"),l(),g("]"),g(":");let B=D(u);k={key:J.value,value:B.schema},d.push(y({type:"TSIndexSignature",keyType:J.value,typeAnnotation:B.node},$));}else {let J=c(),B;if(J.type==="Identifier"||J.type==="Keyword")l(),B=J.value;else if(J.type==="String")l(),B=s(J.value.slice(1,-1));else if(J.type==="Number")l(),B=J.value;else return f("Expected property name in object type");let W=o("?");W&&l(),g(":");let ce=D(u);x[B]={type:ce.schema,...W?{optional:true}:{}},d.push(y({type:"TSPropertySignature",key:B,typeAnnotation:ce.node,...W?{optional:true}:{}},$));}if(o(";")||o(","))l();else break}g("}");let j=y({type:"TSTypeLiteral",members:d},h);return w.length>0?Object.keys(x).length>0||k?f("Callable object types (call signatures mixed with members) are not supported"):{node:j,schema:w.length===1?w[0]:{t:"overload",signatures:w}}:{node:j,schema:{t:"object",props:x,...k?{index:k}:{}}}};return {parseType:u=>D(be(u)),parseTypeParamList:()=>P(be()),parseTypeInScope:u=>D(ie(be(),u))}};var te=class extends core.TSLiteError{constructor(l,o,p,g,f){super("parse-error",`${l} (${o.line}:${o.column})`,{position:o,index:p,loc:g,end:f});this.position=o;this.index=p;this.loc=g;this.end=f;this.name="ParseError";}},bt=r=>{let c=r;return c!=null&&typeof c.start=="number"&&c.start===c.end&&c.start>=0},De=(r,c)=>Object.assign(r,{start:c.start,end:c.start,loc:{start:c.loc.start,end:c.loc.start}}),xt={"??":1,"||":2,"&&":3,"|":4,"^":5,"&":6,"==":7,"===":7,"!=":7,"!==":7,"<":8,"<=":8,">":8,">=":8,in:8,as:8,satisfies:8,"<<":9,">>":9,">>>":9,"+":10,"-":10,"*":11,"/":11,"%":11,"**":12},St=new Set(["??","||","&&"]),vt=new Set(["class","debugger","with","enum","interface"]),kt={enum:'use a union of literals (`type T = "a" | "b"`) \u2014 it is serializable',interface:"use a type alias (`type X = { \u2026 }`)",namespace:"use modules (`import`/`export`)",module:"use modules (`import`/`export`)",declare:"declare the shape via the DI env, or with a `type` alias",abstract:"classes are not part of the language \u2014 model with objects + functions"},wt={namespace:(r,c)=>r.type==="Identifier"&&c.type==="Punctuator"&&c.value==="{",module:(r,c)=>r.type==="Identifier"&&c.type==="Punctuator"&&c.value==="{",declare:r=>r.type==="Keyword"&&["const","let","var","function","class","enum","interface"].includes(r.value)||r.type==="Identifier"&&["type","namespace","module"].includes(r.value),abstract:r=>r.type==="Keyword"&&r.value==="class"},Pt=new Set(["=","+=","-=","*=","/=","%="]);function xe(r){let c=[],l=[],o=ae(r,e=>l.push(e),e=>c.push({code:"lex-error",...e})),p=0,g=[],f=(e=0)=>o[Math.min(p+e,o.length-1)],s=()=>o[p++],y=()=>o[p-1],F=()=>{let e=o[p],n=o[p-1];return !!e&&!!n&&e.loc.start.line>n.loc.end.line},T=()=>f().type==="EOF",a=e=>f().type==="Punctuator"&&f().value===e,P=e=>f().type==="Keyword"&&f().value===e,A=e=>f().type==="Identifier"&&f().value===e,R=(e,n=f())=>{throw D(e,n),new te(e,n.loc.start,n.start,n.loc,n.end)},D=(e,n=f())=>{let t=c[c.length-1];t&&t.index===n.start||c.push({code:"parse-error",message:e,position:n.loc.start,index:n.start,loc:n.loc,end:n.end});},v=e=>(a(e)||R(`Expected '${e}' but got '${f().value||f().type}'`),s()),b=(e,n)=>{let t=y()??n;return Object.assign(e,{start:n.start,end:t.end,loc:{start:n.loc.start,end:t.loc.end}})},m=(e,n,t)=>Object.assign(e,{start:n.start,end:t.end,loc:{start:n.loc.start,end:t.loc.end}}),M=e=>{let n="";for(let t=0;t<e.length;t++){if(e[t]!=="\\"){n+=e[t];continue}let i=e[++t];switch(i){case "n":n+=`
|
|
6
|
-
`;break;case "t":n+=" ";break;case "r":n+="\r";break;case "b":n+="\b";break;case "f":n+="\f";break;case "v":n+="\v";break;case "0":n+="\0";break;case "x":n+=String.fromCharCode(parseInt(e.slice(t+1,t+3),16)),t+=2;break;case "u":if(e[t+1]==="{"){let S=e.indexOf("}",t);n+=String.fromCodePoint(parseInt(e.slice(t+2,S),16)),t=S;}else n+=String.fromCharCode(parseInt(e.slice(t+1,t+5),16)),t+=4;break;default:n+=i;}}return n},E=(e=false)=>X(e),X=(e=false)=>{let n=V(e),t=f();if(t.type==="Punctuator"&&Pt.has(t.value)){s();let i=X();return m({type:"AssignmentExpression",operator:t.value,left:n,right:i},n,i)}return n},V=(e=false)=>{let n=N(0,e);if(!a("?"))return n;s();let t=E();v(":");let i=E();return m({type:"ConditionalExpression",test:n,consequent:t,alternate:i},n,i)},z=()=>{let e=f();if(e.type==="Keyword")return e.value==="in"?{op:"in",consume:1}:null;if(e.type==="Identifier")return e.value==="as"?{op:"as",consume:1}:e.value==="satisfies"?{op:"satisfies",consume:1}:null;if(e.type!=="Punctuator")return null;if(e.value===">"){let n=f(1);if(n.type==="Punctuator"&&n.value===">"&&e.end===n.start){let t=f(2);return t.type==="Punctuator"&&t.value===">"&&n.end===t.start?{op:">>>",consume:3}:{op:">>",consume:2}}return {op:">",consume:1}}return {op:e.value,consume:1}},N=(e,n=false)=>{let t=L();for(;;){let i=z();if(!i)break;let{op:S,consume:C}=i;if(S==="in"&&n)break;let O=xt[S];if(!O||O<=e)break;if(S==="satisfies"){if(F())break;R("'satisfies' is not supported in this language \u2014 a type annotation (`const x: T = \u2026`) also checks compatibility, but it declares the type as T, while 'satisfies' keeps the inferred one");}if(S==="as"){if(F())break;s();let K=oe(new Set);t=m({type:"TSAsExpression",expression:t,typeAnnotation:K.schema,typeAnnotationNode:K.node},t,y());continue}for(let K=0;K<C;K++)s();let _=N(S==="**"?O-1:O,n);t=m({type:St.has(S)?"LogicalExpression":"BinaryExpression",operator:S,left:t,right:_},t,_);}return t},L=()=>{let e=f();return e.type==="Punctuator"&&(e.value==="++"||e.value==="--")?(s(),b({type:"UpdateExpression",operator:e.value,prefix:true,argument:L()},e)):P("await")?(s(),b({type:"AwaitExpression",argument:L()},e)):P("typeof")||P("void")||P("delete")||e.type==="Punctuator"&&(e.value==="!"||e.value==="-"||e.value==="+"||e.value==="~")?U(e):u()},U=e=>{s();let n=L();return a("**")&&R(`An unary expression with the '${e.value}' operator is not allowed in the left-hand side of an exponentiation expression. Consider enclosing the expression in parentheses.`),b({type:"UnaryExpression",operator:e.value,prefix:true,argument:n},e)},I=()=>{let e=p,n=c.length,t=()=>(p=e,c.length=n,void 0);try{if(s(),a(">"))return t();let i=[];for(;i.push(oe(new Set).schema),!!a(",");)s();return a(">")?(s(),a("(")?i:t()):t()}catch{return t()}},u=()=>{let e=Me(),n=false;for(;;)if(a("?."))if(s(),n=true,a("(")){let{args:t,close:i}=h();e=m({type:"CallExpression",callee:e,arguments:t,optional:true},e,i);}else if(a("[")){s();let t=E(),i=v("]");e=m({type:"MemberExpression",object:e,property:t,computed:true,optional:true},e,i);}else {let t=f();t.type!=="Identifier"&&t.type!=="Keyword"&&R("Expected property name after '?.'"),s();let i=b({type:"Identifier",name:t.value},t);e=m({type:"MemberExpression",object:e,property:i,computed:false,optional:true},e,i);}else if(a(".")){s();let t=f(),i;t.type==="Identifier"||t.type==="Keyword"?(s(),i=b({type:"Identifier",name:t.value},t)):(D("Expected property name"),i=De({type:"Identifier",name:""},t)),e=m({type:"MemberExpression",object:e,property:i,computed:false,optional:false},e,i);}else if(a("[")){s();let t=E(),i=v("]");e=m({type:"MemberExpression",object:e,property:t,computed:true,optional:false},e,i);}else if(a("(")){let{args:t,close:i}=h();e=m({type:"CallExpression",callee:e,arguments:t,optional:false},e,i);}else if(a("<")){let t=I();if(!t)break;let{args:i,close:S}=h();e=m({type:"CallExpression",callee:e,arguments:i,optional:false,typeArguments:t},e,S);}else if(a("++")||a("--")){let t=s();e=m({type:"UpdateExpression",operator:t.value,prefix:false,argument:e},e,t);}else break;return n?m({type:"ChainExpression",expression:e},e,e):e},h=()=>{v("(");let e=[];for(;!a(")");)e.push(d()),a(")")||v(",");return {args:e,close:v(")")}},d=()=>{if(a("...")){let e=s(),n=E();return m({type:"SpreadElement",argument:n},e,n)}return E()},x=()=>{let e=f();return e.type!=="Identifier"&&R("Expected identifier"),s(),b({type:"Identifier",name:e.value},e)},k=e=>{let n=a("{")?w(e):a("[")?j(e):x();if(a(":")){s();let t=oe(e);n.typeAnnotation=t.schema,n.typeAnnotationNode=t.node;}return n},w=e=>{let n=v("{"),t=[];for(;!a("}");){if(a("...")){let S=s(),C=k(e);t.push(m({type:"RestElement",argument:C},S,C));}else {let S=x(),C,O=false;if(a(":")?(s(),C=k(e)):(C={...S},O=true),a("=")){s();let _=E();C=m({type:"AssignmentPattern",left:C,right:_},C,_);}t.push(m({type:"Property",key:S,value:C,kind:"init",shorthand:O,computed:false},S,C));}a("}")||v(",");}let i=v("}");return m({type:"ObjectPattern",properties:t},n,i)},j=e=>{let n=v("["),t=[];for(;!a("]");){if(a(",")){t.push(null),s();continue}if(a("...")){let S=s(),C=k(e);t.push(m({type:"RestElement",argument:C},S,C));}else {let S=k(e);if(a("=")){s();let C=E();S=m({type:"AssignmentPattern",left:S,right:C},S,C);}t.push(S);}a("]")||v(",");}let i=v("]");return m({type:"ArrayPattern",elements:t},n,i)},$=()=>{let e=0;for(let n=p;n<o.length;n++){let t=o[n];if(t.type==="EOF")return false;if(t.type==="Punctuator"){if(t.value==="("||t.value==="["||t.value==="{")e++;else if((t.value===")"||t.value==="]"||t.value==="}")&&(e--,e===0)){let i=o[n+1];return !i||i.type!=="Punctuator"?false:i.value==="=>"?true:i.value===":"?J(n+2):false}}}return false},J=e=>{let n=0;for(let t=e;t<o.length;t++){let i=o[t];if(i.type==="EOF")return false;if(i.type==="Punctuator")if(["(","[","{","<"].includes(i.value))n++;else if([")","]","}",">"].includes(i.value)){if(n===0)return false;n--;}else {if(n===0&&i.value==="=>")return true;if(n===0&&(i.value===";"||i.value===","))return false}}return false},B=(e=new Set)=>{v("(");let n=[];for(;!a(")");){if(a("...")){let t=s(),i=k(e);n.push(m({type:"RestElement",argument:i},t,i));}else {let t=k(e);if(a("=")){s();let i=E();t=m({type:"AssignmentPattern",left:t,right:i},t,i);}n.push(t);}a(")")||v(",");}return v(")"),n},W=(e,n)=>{let t=a("(")?B():[x()],i,S;if(a(":")){s();let O=oe(new Set);i=O.schema,S=O.node;}v("=>");let C=a("{")?se():E();return b({type:"ArrowFunctionExpression",params:t,body:C,async:e,expression:C.type!=="BlockStatement",generator:false,...i?{returnType:i,returnTypeNode:S}:{}},n)},ce=()=>{let e=v("["),n=[];for(;!a("]");){if(a(",")){s(),n.push(null);continue}n.push(d()),a("]")||v(",");}return m({type:"ArrayExpression",elements:n},e,v("]"))},Xe=()=>{let e=v("{"),n=[];for(;!a("}");){if(a("...")){let t=s(),i=E();n.push(m({type:"SpreadElement",argument:i},t,i));}else {let t=f(),i,S=false;if(a("["))S=true,s(),i=E(),v("]");else if(t.type==="String")s(),i=b({type:"Literal",value:M(t.value.slice(1,-1)),raw:t.value},t);else if(t.type==="Number")s(),i=b({type:"Literal",value:Number(t.value),raw:t.value},t);else if(t.type==="Identifier"||t.type==="Keyword")s(),i=b({type:"Identifier",name:t.value},t);else return R("Invalid property key");if(a(":")){s();let C=E();n.push(m({type:"Property",key:i,value:C,kind:"init",shorthand:false,computed:S},t,C));}else n.push(m({type:"Property",key:i,value:i,kind:"init",shorthand:true,computed:false},t,i));}a("}")||v(",");}return m({type:"ObjectExpression",properties:n},e,v("}"))},pe=(e,n)=>({type:"TemplateElement",value:{raw:e,cooked:M(e)},tail:n}),Ue=e=>{s();let n=[pe(e.value,false)],t=[];for(;;){t.push(E());let i=f();if(i.type==="TemplateMiddle")s(),n.push(pe(i.value,false));else if(i.type==="TemplateTail"){s(),n.push(pe(i.value,true));break}else R("Expected `}` to close template interpolation");}return b({type:"TemplateLiteral",quasis:n,expressions:t},e)},re=()=>{let e=f();return e.type!=="Identifier"&&R(`Expected JSX identifier but got '${e.value||e.type}'`),b({type:"JSXIdentifier",name:s().value},e)},ke=()=>{let e=re();if(a(":")){s();let n=re();return m({type:"JSXNamespacedName",namespace:e,name:n},e,n)}for(;a(".");){s();let n=re();e=m({type:"JSXMemberExpression",object:e,property:n},e,n);}return e},Q=e=>e.type==="JSXIdentifier"?e.name:e.type==="JSXNamespacedName"?`${Q(e.namespace)}:${Q(e.name)}`:`${Q(e.object)}.${Q(e.property)}`,Ke=()=>{let e=f();if(e.type==="String")return s(),b({type:"Literal",value:M(e.value.slice(1,-1)),raw:e.value},e);if(a("{")){let n=s(),t=X(),i=v("}");return m({type:"JSXExpressionContainer",expression:t},n,i)}return a("<")?fe():R(`Invalid JSX attribute value '${e.value||e.type}'`)},$e=()=>{let e=[];for(;!a(">")&&!a("/>")&&!T();){if(a("{")){let i=s();v("...");let S=X(),C=v("}");e.push(m({type:"JSXSpreadAttribute",argument:S},i,C));continue}let n=re();if(a(":")){s();let i=re();n=m({type:"JSXNamespacedName",namespace:n,name:i},n,i);}let t=null;a("=")&&(s(),t=Ke()),e.push(m({type:"JSXAttribute",name:n,value:t},n,t??n));}return e},we=()=>{let e=[];for(;!(a("</")||T());){let n=f();if(n.type==="JSXText")s(),e.push(b({type:"JSXText",value:n.value,raw:n.value},n));else if(a("{")){let t=s();if(a("}")){let i=s(),S=b({type:"JSXEmptyExpression"},t);e.push(m({type:"JSXExpressionContainer",expression:S},t,i));}else {let i=X(),S=v("}");e.push(m({type:"JSXExpressionContainer",expression:i},t,S));}}else a("<")?e.push(fe()):R(`Unexpected token in JSX children '${n.value||n.type}'`);}return e},fe=()=>{let e=v("<");if(a(">")){let Y=s(),ne=m({type:"JSXOpeningFragment"},e,Y),ot=we(),st=v("</"),Ce=v(">"),at=m({type:"JSXClosingFragment"},st,Ce);return m({type:"JSXFragment",openingFragment:ne,children:ot,closingFragment:at},e,Ce)}let n=ke(),t=$e();if(a("/>")){let Y=s(),ne=m({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:true},e,Y);return m({type:"JSXElement",openingElement:ne,children:[],closingElement:null},e,Y)}let i=v(">"),S=m({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:false},e,i),C=we(),O=v("</"),_=f(),K=ke();Q(K)!==Q(n)&&R(`JSX closing tag </${Q(K)}> does not match opening <${Q(n)}>`,_);let H=v(">"),G=m({type:"JSXClosingElement",name:K},O,H);return m({type:"JSXElement",openingElement:S,children:C,closingElement:G},e,H)},Me=()=>{let e=f();if(P("async")){let n=f(1);return n.value==="("||n.type==="Identifier"?(s(),W(true,e)):R("Unexpected 'async'")}if(a("(")&&$()||e.type==="Identifier"&&f(1).type==="Punctuator"&&f(1).value==="=>")return W(false,e);if(e.type==="Number")return s(),b({type:"Literal",value:Number(e.value),raw:e.value},e);if(e.type==="String")return s(),b({type:"Literal",value:M(e.value.slice(1,-1)),raw:e.value},e);if(e.type==="Template")return s(),b({type:"TemplateLiteral",expressions:[],quasis:[pe(e.value,true)]},e);if(e.type==="TemplateHead")return Ue(e);if(e.type==="Keyword")return e.value==="true"?(s(),b({type:"Literal",value:true,raw:"true"},e)):e.value==="false"?(s(),b({type:"Literal",value:false,raw:"false"},e)):e.value==="null"?(s(),b({type:"Literal",value:null,raw:"null"},e)):e.value==="new"?R("'new' is not supported \u2014 the language has no constructors (FP / portable IR). Use a factory function provided via DI (e.g. `now()` instead of `new Date()`)."):e.value==="function"?R("Anonymous functions are not supported \u2014 use an arrow function"):R(`'${e.value}' is not supported in this language`);if(e.type==="Identifier")return s(),b({type:"Identifier",name:e.value},e);if(a("(")){s();let n=E();return v(")"),n}return a("[")?ce():a("{")?Xe():a("<")?fe():R(`Unexpected token '${e.value||e.type}'`)},{parseType:oe,parseTypeParamList:Be,parseTypeInScope:_e}=je({tokens:o,pos:()=>p,peek:f,next:s,isP:a,isK:P,expectP:v,fail:R,recordError:D,createMissingNode:De,unescape:M,typeRefs:g}),ze=()=>{let e=s(),n=x(),t=[],i=[];a("<")&&(i=Be(),t=i.map(O=>O.name)),v("=");let S=_e(i),C=m({type:"TSTypeAliasDeclaration",id:n,typeParameters:t,typeAnnotation:S.schema,typeNode:S.node},e,y());return a(";")&&s(),C},q=()=>{let e=f();if(e.type==="Identifier"&&e.value==="type"&&f(1).type==="Identifier"&&f(2).type==="Punctuator"&&(f(2).value==="="||f(2).value==="<"))return ze();if(P("const")||P("let")||P("var")){let S=Pe();return a(";")&&s(),S}if(P("if"))return Ze();if(P("for"))return Ge();if(P("while"))return Ye();if(P("do"))return Qe();if(P("break")||P("continue"))return qe();if(P("return"))return et();if(P("throw"))return tt();if(P("try"))return nt();if(P("switch"))return rt();if(P("import"))return He();if(P("export"))return Ve();if(a("{"))return se();if((P("function")||P("async")&&f(1).type==="Keyword"&&f(1).value==="function")&&R("Function declarations are not supported \u2014 use 'const fn = () => \u2026'"),a(";"))return s(),b({type:"EmptyStatement"},e);if(e.type==="Keyword"&&vt.has(e.value)||e.type==="Identifier"&&wt[e.value]?.(f(1),f(2))===true){let S=kt[e.value];R(`'${e.value}' is not supported in this language`+(S?` \u2014 ${S}`:""));}let t=E(),i=a(";")?s():y();return m({type:"ExpressionStatement",expression:t},t,i)},Pe=()=>{let e=s(),n=e.value,t=()=>{let S=k(new Set),C=null;return a("=")?(s(),C=E()):n==="const"&&D("'const' declarations must be initialized"),m({type:"VariableDeclarator",id:S,init:C},S,C??S)},i=[t()];for(;a(",");)s(),i.push(t());return m({type:"VariableDeclaration",kind:n,declarations:i},e,i[i.length-1])},We=()=>{let e=f();return e.type!=="String"&&R("Expected module specifier string"),s(),b({type:"Literal",value:M(e.value.slice(1,-1)),raw:e.value},e)},He=()=>{let e=s(),n=[];if(f().type!=="String"){if(f().type==="Identifier"){let i=x();n.push(m({type:"ImportDefaultSpecifier",local:i},i,i)),a(",")&&s();}if(a("*")){let i=s();A("as")||R("Expected 'as' after '*' in import"),s();let S=x();n.push(m({type:"ImportNamespaceSpecifier",local:S},i,S));}else if(a("{")){for(s();!a("}")&&!T();){let i=x(),S=i;if(A("as")&&(s(),S=x()),n.push(m({type:"ImportSpecifier",imported:i,local:S},i,S)),a(","))s();else break}v("}");}A("from")||R("Expected 'from' in import declaration"),s();}let t=We();return a(";")&&s(),b({type:"ImportDeclaration",specifiers:n,source:t},e)},Ve=()=>{let e=s();if(P("default")){s();let n=E();return a(";")&&s(),b({type:"ExportDefaultDeclaration",declaration:n},e)}if(P("const")||P("let")||P("var")){let n=Pe();return a(";")&&s(),b({type:"ExportNamedDeclaration",declaration:n,specifiers:[],source:null},e)}if(a("{")){s();let n=[];for(;!a("}")&&!T();){let t=x(),i=t;if(A("as")&&(s(),i=x()),n.push(m({type:"ExportSpecifier",local:t,exported:i},t,i)),a(","))s();else break}return v("}"),a(";")&&s(),b({type:"ExportNamedDeclaration",declaration:null,specifiers:n,source:null},e)}return R("Expected 'const', '{', or 'default' after 'export'")},Ne=()=>f().type==="Identifier"&&f().value==="of",ye=()=>P("in"),Ge=()=>{let e=s();v("(");let n=null,t=null;if(!a(";"))if(P("const")||P("let")||P("var")){let O=s(),_=()=>{let H=x();if(a(":")){s();let G=oe(new Set);H.typeAnnotation=G.schema,H.typeAnnotationNode=G.node;}return H},K=_();if(Ne()||ye()){let H=m({type:"VariableDeclarator",id:K,init:null},K,K);t=m({type:"VariableDeclaration",kind:O.value,declarations:[H]},O,K);}else {let H=Y=>{let ne=null;return a("=")?(s(),ne=E(true)):O.value==="const"&&R("'const' declarations must be initialized"),m({type:"VariableDeclarator",id:Y,init:ne},Y,ne??Y)},G=[H(K)];for(;a(",");)s(),G.push(H(_()));n=m({type:"VariableDeclaration",kind:O.value,declarations:G},O,G[G.length-1]);}}else {let O=E(true);Ne()||ye()?t=O:n=O;}if(t){let O=ye();s();let _=E();v(")");let K=q();return m(O?{type:"ForInStatement",left:t,right:_,body:K}:{type:"ForOfStatement",left:t,right:_,body:K,await:false},e,K)}v(";");let i=a(";")?null:E();v(";");let S=a(")")?null:E();v(")");let C=q();return m({type:"ForStatement",init:n,test:i,update:S,body:C},e,C)},Qe=()=>{let e=s(),n=q();P("while")||R("Expected 'while' after the 'do' body"),s(),v("(");let t=E(),i=v(")");return a(";")&&s(),m({type:"DoWhileStatement",body:n,test:t},e,i)},qe=()=>{let e=s(),n=e.value==="break"?"BreakStatement":"ContinueStatement",t=a(";")?s():y();return m({type:n,label:null},e,t)},Ye=()=>{let e=s();v("(");let n=E();v(")");let t=q();return m({type:"WhileStatement",test:n,body:t},e,t)},Ze=()=>{let e=s();v("(");let n=E();v(")");let t=q(),i=null;return P("else")&&(s(),i=q()),m({type:"IfStatement",test:n,consequent:t,alternate:i},e,i??t)},et=()=>{let e=s(),n=null;!a(";")&&!a("}")&&!T()&&(n=E());let t=a(";")?s():y();return m({type:"ReturnStatement",argument:n},e,t)},tt=()=>{let e=s(),n=E(),t=a(";")?s():y();return m({type:"ThrowStatement",argument:n},e,t)},nt=()=>{let e=s(),n=se(),t=null,i=null;if(P("catch")){let S=s(),C=null;a("(")&&(s(),C=x(),v(")"));let O=se();t=m({type:"CatchClause",param:C,body:O},S,O);}return P("finally")&&(s(),i=se()),!t&&!i&&R("'try' requires a 'catch' or 'finally' clause"),m({type:"TryStatement",block:n,handler:t,finalizer:i},e,i??t??n)},rt=()=>{let e=s();v("(");let n=E();v(")"),v("{");let t=[];for(;!a("}")&&!T();){let S=f(),C=null;P("case")?(s(),C=E()):P("default")?s():R("Expected 'case' or 'default' in switch"),v(":");let O=[];for(;!a("}")&&!P("case")&&!P("default")&&!T();)O.push(q());t.push(m({type:"SwitchCase",test:C,consequent:O},S,y()??S));}let i=v("}");return m({type:"SwitchStatement",discriminant:n,cases:t},e,i)},se=()=>{let e=v("{"),n=Ee(()=>a("}"));return m({type:"BlockStatement",body:n},e,v("}"))},Ee=e=>{let n=[];for(;!e()&&!T();){if(f().type==="Unknown"){s();continue}try{n.push(q());}catch(t){if(!(t instanceof te))throw t;T()||s();}}return n};return {parseExpr:E,parseProgram:()=>{let e=f(),n=Ee(()=>false);return m({type:"Program",sourceType:"module",body:n,...g.length?{typeRefs:g}:{},...l.length?{comments:l}:{},...c.length?{parseDiagnostics:c}:{}},e,y()??e)},eof:T,fail:R,recordError:D,diagnostics:c}}function Je(r){let c=xe(r),l=c.parseProgram(),o=l.comments;return o?.length&&Te(l,o,r),{ast:l,diagnostics:c.diagnostics}}function Nt(r){let{ast:c,diagnostics:l}=Je(r),o=l[0];if(o){let p=o.code==="lex-error"?ee:te;throw new p(o.message,o.position,o.index,o.loc,o.end)}return c}function Et(r){let c=xe(r),l=c.parseExpr();c.eof()||c.fail("Unexpected token after expression");let o=c.diagnostics[0];if(o){let p=o.code==="lex-error"?ee:te;throw new p(o.message,o.position,o.index,o.loc,o.end)}return l}function Se(r){let c=xe(r),l;try{l=c.parseExpr(),c.eof()||c.recordError("Unexpected token after expression");}catch(o){if(!(o instanceof te)&&!(o instanceof ee))throw o}return {ast:l,diagnostics:c.diagnostics}}var Fe="{{";function Ct(r){let c=[0];for(let l=0;l<r.length;l++)r[l]===`
|
|
7
|
-
`&&c.push(l+1);return c}function de(r,c){let l=0,o=r.length-1;for(;l<o;){let p=l+o+1>>1;r[p]<=c?l=p:o=p-1;}return {line:l+1,column:c-r[l]}}var le=(r,c,l)=>({start:de(r,c),end:de(r,l)});function ve(r,c,l){if(Array.isArray(r)){for(let p of r)ve(p,c,l);return}if(!r||typeof r!="object")return;let o=r;typeof o.start=="number"&&typeof o.end=="number"&&(o.start+=c,o.end+=c,o.loc=le(l,o.start,o.end));for(let p in o)p!=="loc"&&ve(o[p],c,l);}function It(r,c,l){let o=r.index+c,p=r.end+c;return {...r,index:o,end:p,position:de(l,o),loc:le(l,o,p)}}var Lt=(r,c,l,o)=>({code:"parse-error",message:r,index:c,end:l,position:de(o,c),loc:le(o,c,l)}),Rt=new Set(["{","(","["]),At=new Set(["}",")","]"]);function Ot(r,c){let l=ae(r.slice(c),void 0,()=>{}),o=0;for(let p=0;p<l.length;p++){let g=l[p];if(g.type==="Punctuator"){if(Rt.has(g.value))o++;else if(At.has(g.value)){if(o>0)o--;else if(g.value==="}"){let f=l[p+1];if(f?.type==="Punctuator"&&f.value==="}"&&f.start===g.end)return c+g.start}}}}return -1}function jt(r){let c=Ct(r),l=[],o=[],p=[],g=0,f=0;for(;f<r.length;)if(r[f]==="{"&&r[f+1]==="{"){let a=f+Fe.length,P=Ot(r,a);if(P===-1){p.push(Lt("Unterminated '{{' \u2014 expected '}}'.",f,r.length,c));break}l.push({text:r.slice(g,f),start:g}),o.push({inner:r.slice(a,P),start:a}),g=P+Fe.length,f=g;}else f++;l.push({text:r.slice(g),start:g});let s=o.map(a=>{let{ast:P,diagnostics:A}=Se(a.inner);ve(P,a.start,c);for(let R of A)p.push(It(R,a.start,c));return P});if(p.length)return {kind:"error",diagnostics:p};if(o.length===0)return {kind:"literal"};let y=s;if(o.length===1&&l.every(a=>a.text===""))return {kind:"expression",node:y[0]};let F=(a,P)=>({type:"TemplateElement",value:{raw:a.text,cooked:a.text},tail:P,start:a.start,end:a.start+a.text.length,loc:le(c,a.start,a.start+a.text.length)});return {kind:"template",node:{type:"TemplateLiteral",quasis:l.map((a,P)=>F(a,P===l.length-1)),expressions:y,start:0,end:r.length,loc:le(c,0,r.length)}}}exports.KEYWORDS=Le;exports.LexError=ee;exports.ParseError=te;exports.attachComments=Te;exports.nodeIsMissing=bt;exports.parse=Nt;exports.parseExpression=Et;exports.parseExpressionTolerant=Se;exports.parseInterpolated=jt;exports.parseTolerant=Je;exports.tokenize=ae;
|
|
1
|
+
'use strict';var core=require('@tslite/core');var ee=class extends core.TSLiteError{constructor(i,s,u,S,f){super("lex-error",`${i} (${s.line}:${s.column})`,{position:s,index:u,loc:S,end:f});this.position=s;this.index=u;this.loc=S;this.end=f;this.name="LexError";}},Le=new Set(["const","if","else","return","async","await","true","false","null","typeof","let","var","function","class","new","for","while","do","this","throw","try","catch","finally","switch","case","break","continue","default","void","delete","instanceof","in","yield","import","export","extends","super","debugger","with","enum","interface"]),it=["...","===","!==","=>","?.","??","==","!=","<=",">=","&&","||","|","&","++","--","+=","-=","*=","/=","%=","**","<<","+","-","*","/","%","<",">","!","?",":",".",",",";","=","^","~","(",")","[","]","{","}"],ue=o=>o>="a"&&o<="z"||o>="A"&&o<="Z"||o==="_"||o==="$",de=o=>ue(o)||o>="0"&&o<="9",Z=o=>o>="0"&&o<="9",Ae=o=>Z(o)||o>="a"&&o<="f"||o>="A"&&o<="F",lt=o=>de(o)||o==="-",ie=o=>o===`
|
|
2
|
+
`||o==="\r"||o==="\u2028"||o==="\u2029",pe=(o,c)=>{let i=c;for(;;){let s=o[i]??"";if(s===" "||s===" "||s==="\f"||s==="\v"||ie(s))i++;else if(s==="/"&&o[i+1]==="/")for(i+=2;i<o.length&&!ie(o[i]??"");)i++;else if(s==="/"&&o[i+1]==="*"){for(i+=2;i<o.length&&!(o[i]==="*"&&o[i+1]==="/");)i++;i+=2;}else return i}},ct=(o,c)=>{if(!ue(o[c]??""))return c;let i=c+1;for(;de(o[i]??"");)i++;return i},Re=(o,c,i)=>o.startsWith(i,c)&&!de(o[c+i.length]??""),pt=(o,c)=>{let i=pe(o,c);Re(o,i,"const")&&(i=pe(o,i+5));let s=ct(o,i);if(s===i)return false;if(i=pe(o,s),Re(o,i,"extends")){let u=pe(o,i+7),S=o[u]??"";return !(S==="="||S===">"||S==="/")}return o[i]===","?true:o[i]==="="&&o[i+1]!==">"},ut=new Set(["(","[","{",",",";",":","?","=>","...","=","+","-","*","/","%","<","<=",">",">=","==","===","!=","!==","&&","||","??","!","+=","-=","*=","/=","%="]),dt=new Set(["return","typeof","await","delete","void","in","instanceof","else","case","yield","throw"]);function he(o,c,i){let s=[],u=0,S=1,f=0,r=()=>({line:S,column:f}),y=(N=0)=>o[u+N]??"",X=N=>{let A=r(),F={start:A,end:{line:S,column:f+1}};if(i){i({message:N,position:A,index:u,loc:F,end:u+1});return}throw new ee(N,A,u,F,u+1)},g=()=>{let N=o[u++];return N==="\r"?(o[u]===`
|
|
3
|
+
`&&u++,S++,f=0):N===`
|
|
4
|
+
`||N==="\u2028"||N==="\u2029"?(S++,f=0):f++,N},l=()=>{for(;;){let N=y();if(N===" "||N===" "||N==="\f"||N==="\v"||ie(N))g();else if(N==="/"&&y(1)==="/"){let A=u,F=r();g(),g();let C=u;for(;u<o.length&&!ie(y());)g();c?.({type:"Line",value:o.slice(C,u),start:A,end:u,loc:{start:F,end:r()}});}else if(N==="/"&&y(1)==="*"){let A=u,F=r();g(),g();let C=u,D=u;for(;;){if(u>=o.length){X("Unterminated block comment"),D=u;break}if(y()==="*"&&y(1)==="/"){D=u,g(),g();break}g();}c?.({type:"Block",value:o.slice(C,D),start:A,end:u,loc:{start:F,end:r()}});}else break}},b=(N,A,F,C)=>{s.push({type:N,value:A,start:F,end:u,loc:{start:C,end:r()}}),z=N==="Punctuator"?ut.has(A):N==="Keyword"?dt.has(A):N==="TemplateHead"||N==="TemplateMiddle";},H=N=>{for(g();u<o.length;){let A=y();if(A===N)return g(),o.slice(d,u);if(ie(A))return X("Unterminated string literal"),o.slice(d,u);if(A==="\\"){if(g(),u>=o.length)return X("Unterminated string literal"),o.slice(d,u);g();continue}g();}return X("Unterminated string literal"),o.slice(d,u)},R=()=>{if(y()==="0"&&(y(1)==="x"||y(1)==="X")){if(g(),g(),!Ae(y()))return X("Invalid hexadecimal literal");for(;Ae(y());)g();return}if(y()==="0"&&(y(1)==="b"||y(1)==="B")){if(g(),g(),y()!=="0"&&y()!=="1")return X("Invalid binary literal");for(;y()==="0"||y()==="1";)g();return}if(y()==="0"&&(y(1)==="o"||y(1)==="O")){if(g(),g(),!(y()>="0"&&y()<="7"))return X("Invalid octal literal");for(;y()>="0"&&y()<="7";)g();return}for(;Z(y());)g();if(y()===".")for(g();Z(y());)g();if(y()==="e"||y()==="E"){if(g(),(y()==="+"||y()==="-")&&g(),!Z(y()))return X("Invalid exponent");for(;Z(y());)g();}},O=()=>{let N=u;for(;u<o.length;){let A=y();if(A==="`"){let F=o.slice(N,u);return g(),{raw:F,interp:false}}if(A==="$"&&y(1)==="{"){let F=o.slice(N,u);return g(),g(),{raw:F,interp:true}}if(A==="\\"){if(g(),u>=o.length)break;g();continue}g();}return X("Unterminated template literal"),{raw:o.slice(N,u),interp:false}},d=0,I=0,T=[],z=true,P="js",B=[],W=[];for(;;){if(P==="jsxChildren"){d=u;let C=r();if(u>=o.length){b("EOF","",d,C);break}let D=y();if(D==="<"){y(1)==="/"?(g(),g(),b("Punctuator","</",d,C),P="jsxCloseTag"):(g(),b("Punctuator","<",d,C),B.push("jsxChildren"),P="jsxOpenTag");continue}if(D==="{"){g(),b("Punctuator","{",d,C),W.push({level:I,restore:"jsxChildren"}),P="js";continue}for(;u<o.length&&y()!=="<"&&y()!=="{";)g();b("JSXText",o.slice(d,u),d,C);continue}if(P==="jsxOpenTag"||P==="jsxCloseTag"){l(),d=u;let C=r();if(u>=o.length){b("EOF","",d,C);break}let D=y();if(ue(D)){for(g();lt(y());)g();b("Identifier",o.slice(d,u),d,C);continue}if(D==="/"&&y(1)===">"){g(),g(),b("Punctuator","/>",d,C),P=B.pop()??"js";continue}if(D===">"){g(),b("Punctuator",">",d,C),P=P==="jsxCloseTag"?B.pop()??"js":"jsxChildren";continue}if(D==="{"){g(),b("Punctuator","{",d,C),W.push({level:I,restore:P}),P="js";continue}if(D==='"'||D==="'"){b("String",H(D),d,C);continue}if(D==="="||D==="."||D===":"){g(),b("Punctuator",D,d,C);continue}X(`Unexpected character '${D}' in JSX tag`),g(),b("Unknown",D,d,C);continue}l(),d=u;let N=r();if(u>=o.length){b("EOF","",d,N);break}let A=y();if(ue(A)){for(;de(y());)g();let C=o.slice(d,u);b(Le.has(C)?"Keyword":"Identifier",C,d,N);continue}if(Z(A)||A==="."&&Z(y(1))){R(),b("Number",o.slice(d,u),d,N);continue}if(A==='"'||A==="'"){let C=H(A);b("String",C,d,N);continue}if(A==="`"){g();let{raw:C,interp:D}=O();D?(b("TemplateHead",C,d,N),T.push(I)):b("Template",C,d,N);continue}if(A==="<"&&z&&!pt(o,u+1)){g(),b("Punctuator","<",d,N),B.push("js"),P="jsxOpenTag";continue}if(A==="{"){g(),b("Punctuator","{",d,N),I++;continue}if(A==="}"){if(T.length>0&&I===T[T.length-1]){T.pop(),g();let{raw:C,interp:D}=O();b(D?"TemplateMiddle":"TemplateTail",C,d,N),D&&T.push(I);continue}if(W.length>0&&I===W[W.length-1].level){let{restore:C}=W.pop();g(),b("Punctuator","}",d,N),P=C;continue}g(),b("Punctuator","}",d,N),I--;continue}if(A==="?"&&y(1)==="."&&Z(y(2))){g(),b("Punctuator","?",d,N);continue}let F=it.find(C=>o.startsWith(C,u));if(F){for(let C=0;C<F.length;C++)g();b("Punctuator",F,d,N);continue}X(`Unexpected character '${A}'`),g(),b("Unknown",A,d,N);}return s}var ft=new Set(["leadingComments","trailingComments","innerComments","comments"]),je=o=>typeof o=="object"&&o!==null&&typeof o.type=="string"&&o.loc!=null&&typeof o.start=="number",De=new WeakMap;function yt(o){let c=De.get(o);if(c)return c;let i=[];for(let s of Object.keys(o)){if(ft.has(s))continue;let u=o[s];if(je(u))i.push(u);else if(Array.isArray(u))for(let S of u)je(S)&&i.push(S);}return i.sort((s,u)=>s.start-u.start),De.set(o,i),i}function mt(o,c){let i=o,s,u;for(;;){let S=yt(i);s=void 0,u=void 0;let f;for(let r of S){if(r.start<=c.start&&c.end<=r.end){f=r;break}if(r.end<=c.start)s=r;else if(c.end<=r.start){u=r;break}}if(!f)break;i=f;}return {enclosing:i,preceding:s,following:u}}var Te=(o,c)=>{(o.leadingComments??(o.leadingComments=[])).push(c);},fe=(o,c)=>{(o.trailingComments??(o.trailingComments=[])).push(c);},ge=(o,c)=>{(o.innerComments??(o.innerComments=[])).push(c);};function ht(o,c){for(let i=c;i<o.length;i++){let s=o[i];if(s!==" "&&s!==" "&&s!=="\r"&&s!==`
|
|
5
|
+
`&&s!=="\f")return s}return ""}var Tt=new Set([")","]","}",","]);function be(o,c,i=""){for(let s of c){let{enclosing:u,preceding:S,following:f}=mt(o,s),r=S==null||S.loc.end.line<s.loc.start.line,y=!r&&(f==null||s.loc.end.line<f.loc.start.line);if(r)f?Te(f,s):S?fe(S,s):ge(u,s);else if(y)S?fe(S,s):f?Te(f,s):ge(u,s);else {let X=Tt.has(ht(i,s.end));S&&X?fe(S,s):f?Te(f,s):S?fe(S,s):ge(u,s);}}}var ve=(o=[])=>({vars:new Set(o),bounds:new Map,noCond:false,inferSink:null}),oe=(o,c)=>{let i=new Set(o.vars),s=new Map(o.bounds);for(let u of c)i.add(u.name),u.bound||u.isConst?s.set(u.name,{bound:u.bound,isConst:u.isConst}):s.delete(u.name);return {vars:i,bounds:s,noCond:o.noCond,inferSink:o.inferSink}},gt=(o,c)=>{let i=o.bounds.get(c);return i&&(i.bound||i.isConst)?{t:"var",name:c,...i.bound?{bound:i.bound}:{},...i.isConst?{isConst:true}:{}}:{t:"var",name:c}},Oe=o=>{let{peek:c,next:i,isP:s,isK:u,expectP:S,fail:f,unescape:r}=o,y=(m,h)=>{let p=o.tokens[o.pos()-1]??h;return Object.assign(m,{start:h.start,end:p.end,loc:{start:h.loc.start,end:p.loc.end}})},X=()=>{let m=o.pos(),h=o.tokens[m],p=o.tokens[m-1];return !!p&&!!h&&h.loc.start.line>p.loc.end.line},g=()=>{let m=0;for(let h=o.pos();h<o.tokens.length;h++){let p=o.tokens[h];if(p.type==="EOF")return false;if(p.type==="Punctuator"){if(["(","[","{","<"].includes(p.value))m++;else if([")","]","}",">"].includes(p.value)&&(m--,m===0)){let v=o.tokens[h+1];return !!v&&v.type==="Punctuator"&&v.value==="=>"}}}return false},l=()=>{let m=o.tokens,h=[],p=0,v=false;for(let k=o.pos();k<m.length;k++){let w=m[k];if(w.type==="EOF")break;if(w.type==="Punctuator"){if(w.value==="<")p++,p===1&&(v=true);else if(w.value===">"){if(p--,p===0)break}else w.value==="("||w.value==="["||w.value==="{"?(p++,v=false):w.value===")"||w.value==="]"||w.value==="}"?(p--,v=false):w.value===","&&p===1?v=true:v=false;continue}if(p===1&&v){if(w.type==="Keyword"&&w.value==="const")continue;if(w.type==="Identifier"){h.push(w.value),v=false;continue}}v=false;}return h},b=m=>{let h=oe(m,l().map(v=>({name:v})));S("<");let p=[];for(;!s(">");){let v=u("const");v&&i();let k=c();k.type!=="Identifier"&&f("Expected type parameter name"),i();let w,L;if(u("extends")){i();let K=O(h);w=K.schema,L=K.node;}s("=")&&(i(),O(h)),p.push({name:k.value,...w?{bound:w}:{},...L?{boundNode:L}:{},...v?{isConst:true}:{}}),s(">")||S(",");}return S(">"),p},H=m=>{S("<");let h=[];for(;!s(">");)h.push(O(m)),s(">")||S(",");return S(">"),h},R=m=>{let h=c();return h.type==="Identifier"&&h.value===m},O=m=>{let h=c(),p=d(m);if(m.noCond||!u("extends")||X())return p;i();let v=[],k=d({...m,noCond:true,inferSink:v});S("?");let w=oe(m,v.map(J=>({name:J}))),L=O(w);S(":");let K=O(w);return {node:y({type:"TSConditionalType",checkType:p.node,extendsType:k.node,trueType:L.node,falseType:K.node},h),schema:{t:"conditional",check:p.schema,extends:k.schema,then:L.schema,else:K.schema,...v.length?{infer:v}:{}}}},d=m=>{let h=c();s("|")&&i();let p=I(m);if(!s("|"))return p;let v=[p.node],k=[p.schema];for(;s("|");){i();let w=I(m);v.push(w.node),k.push(w.schema);}return {node:y({type:"TSUnionType",types:v},h),schema:{t:"union",of:k}}},I=m=>{let h=c();s("&")&&i();let p=T(m);if(!s("&"))return p;let v=[p.node],k=[p.schema];for(;s("&");){i();let w=T(m);v.push(w.node),k.push(w.schema);}return {node:y({type:"TSIntersectionType",types:v},h),schema:{t:"intersection",of:k}}},T=m=>{let h=c();if(R("keyof")){i();let p=T(m);return {node:y({type:"TSTypeOperator",operator:"keyof",typeAnnotation:p.node},h),schema:{t:"keyof",of:p.schema}}}if(R("readonly")){i();let p=T(m);return p.schema.t!=="array"&&p.schema.t!=="tuple"&&f("'readonly' only applies to array and tuple types"),{node:y({...p.node,readonly:true},h),schema:{...p.schema,readonly:true}}}if(R("infer")){i();let p=c();p.type!=="Identifier"&&f("Expected 'infer' variable name"),i();let v=m.inferSink;return v?(v.push(p.value),{node:y({type:"TSInferType",name:p.value},h),schema:{t:"var",name:p.value}}):f("'infer' is only allowed in the 'extends' clause of a conditional")}return z(m)},z=m=>{let h=c(),p=B(m);for(;s("[")&&!X();)if(i(),s("]"))i(),p={node:y({type:"TSArrayType",elementType:p.node},h),schema:{t:"array",items:p.schema}};else {let v=O(m);S("]"),p={node:y({type:"TSIndexedAccessType",objectType:p.node,indexType:v.node},h),schema:{t:"index",obj:p.schema,key:v.schema}};}return p},P=(m,h,p)=>({node:y({type:"TSKeywordType",kind:h},m),schema:p}),B=m=>{let h=c();if(u("typeof")){i();let k=c();k.type!=="Identifier"&&f("Expected a name after 'typeof' in type position"),i();let w=[k.value];for(;s(".");){i();let L=c();L.type!=="Identifier"&&L.type!=="Keyword"&&f("Expected a property name after '.' in 'typeof'"),i(),w.push(L.value);}return {node:y({type:"TSTypeQuery",exprName:w},h),schema:{t:"typeQuery",path:w}}}if(s("<")){let k=b(m),w=oe(m,k);return N(w,h,k.map(L=>L.name))}if(s("(")){if(g())return N(m,h);i();let k=O(m.noCond?{...m,noCond:false}:m);return S(")"),k}if(s("{"))return F()?C(m):D(m);if(s("["))return A(m);let p=c();if(p.type==="String"){i();let k=r(p.value.slice(1,-1));return {node:y({type:"TSLiteralType",literal:k},h),schema:{t:"literal",value:k}}}if(p.type==="Number"){i();let k=Number(p.value);return {node:y({type:"TSLiteralType",literal:k},h),schema:{t:"literal",value:k}}}if(u("true"))return i(),{node:y({type:"TSLiteralType",literal:true},h),schema:{t:"literal",value:true}};if(u("false"))return i(),{node:y({type:"TSLiteralType",literal:false},h),schema:{t:"literal",value:false}};if(u("null"))return i(),P(h,"null",{t:"null"});if(u("void"))return i(),P(h,"void",{t:"void"});if(p.type==="Identifier"){switch(i(),p.value){case "string":return P(h,"string",{t:"string"});case "number":return P(h,"number",{t:"number"});case "boolean":return P(h,"boolean",{t:"boolean"});case "any":return P(h,"any",{t:"any"});case "unknown":return P(h,"unknown",{t:"unknown"});case "undefined":return P(h,"undefined",{t:"undefined"});case "never":return P(h,"never",{t:"union",of:[]})}let k=s("<")?H(m):[],w=k.map(J=>J.schema),L=k.length?k.map(J=>J.node):void 0,K=y({type:"TSTypeReference",typeName:p.value,...L?{typeArguments:L}:{}},h);return m.vars.has(p.value)&&w.length===0?{node:K,schema:gt(m,p.value)}:p.value==="ReturnType"&&w.length===1?{node:K,schema:{t:"returnType",fn:w[0]}}:p.value==="Parameters"&&w.length===1?{node:K,schema:{t:"parameters",fn:w[0]}}:(o.typeRefs?.push({name:p.value,loc:p.loc}),{node:K,schema:{t:"apply",name:p.value,args:w}})}o.recordError(`Expected a type but got '${p.value||p.type}'`,p);let v=o.createMissingNode({type:"TSTypeReference",typeName:""},p);return o.typeRefs?.push({name:"",loc:v.loc}),{node:v,schema:{t:"unknown"}}},W=m=>{S("(");let h=[];for(;!s(")");){let p=c();p.type!=="Identifier"&&f("Expected parameter name in function type"),i();let v=s("?");v&&i(),S(":");let k=O(m);h.push({node:y({type:"TSTypeParameter",name:p.value,typeAnnotation:k.node,...v?{optional:true}:{}},p),schema:{name:p.value,type:k.schema,...v?{optional:true}:{}}}),s(")")||S(",");}return S(")"),h},N=(m,h,p)=>{let v=W(m);S("=>");let k=O(m);return {node:y({type:"TSFunctionType",params:v.map(w=>w.node),returnType:k.node,...p?.length?{typeParams:[...p]}:{}},h),schema:{t:"fn",params:v.map(w=>w.schema),returns:k.schema,...p?.length?{typeParams:p}:{}}}},A=m=>{let h=c();S("[");let p=[],v=[],k=[];for(;!s("]");){if(s("...")){i();let L=O(m);L.schema.t==="array"?(v.push(L.schema.items),p.push(L.node.elementType),k.push("rest")):(v.push(L.schema),p.push(L.node),k.push("variadic"));}else {let L=O(m),K=s("?");K&&i(),v.push(L.schema),p.push(L.node),k.push(K?"optional":"req");}s("]")||S(",");}S("]");let w=k.some(L=>L!=="req");return {node:y({type:"TSTupleType",elementTypes:p,...w?{flags:k}:{}},h),schema:w?{t:"tuple",elements:v,flags:k}:{t:"tuple",elements:v}}},F=()=>{let m=o.tokens,h=o.pos()+1;return m[h]?.type==="Punctuator"&&(m[h]?.value==="+"||m[h]?.value==="-")&&h++,m[h]?.type==="Identifier"&&m[h]?.value==="readonly"&&h++,m[h]?.type==="Punctuator"&&m[h]?.value==="["&&m[h+1]?.type==="Identifier"&&m[h+2]?.type==="Keyword"&&m[h+2]?.value==="in"},C=m=>{let h=c();S("{"),(s("+")||s("-"))&&i(),R("readonly")&&i(),S("[");let p=c();p.type!=="Identifier"&&f("Expected mapped type key name"),i(),u("in")||f("Expected 'in' in mapped type"),i();let v=O(m);R("as")&&f("Key remapping ('as') in mapped types is not supported"),S("]");let k=false,w=s("+")||s("-")?i().value:null;s("?")&&(i(),k=w!=="-"),S(":");let L=O(oe(m,[{name:p.value}]));return (s(";")||s(","))&&i(),S("}"),{node:y({type:"TSMappedType",key:p.value,constraint:v.node,typeAnnotation:L.node,optional:k},h),schema:{t:"mapped",key:p.value,over:v.schema,body:L.schema,optional:k}}},D=m=>{let h=c();S("{");let p=[],v={},k,w=[];for(;!s("}");){let K=c();if(s("(")){let J=W(m);S(":");let M=O(m);w.push({t:"fn",params:J.map(_=>_.schema),returns:M.schema}),p.push(y({type:"TSCallSignatureDeclaration",params:J.map(_=>_.node),returnType:M.node},K));}else if(s("[")){i(),c().type!=="Identifier"&&f("Expected index signature parameter name"),i(),S(":");let J=c();(J.type!=="Identifier"||J.value!=="string"&&J.value!=="number")&&f("Index signature parameter type must be 'string' or 'number'"),i(),S("]"),S(":");let M=O(m);k={key:J.value,value:M.schema},p.push(y({type:"TSIndexSignature",keyType:J.value,typeAnnotation:M.node},K));}else {let J=c(),M;if(J.type==="Identifier"||J.type==="Keyword")i(),M=J.value;else if(J.type==="String")i(),M=r(J.value.slice(1,-1));else if(J.type==="Number")i(),M=J.value;else return f("Expected property name in object type");let _=s("?");_&&i(),S(":");let le=O(m);v[M]={type:le.schema,..._?{optional:true}:{}},p.push(y({type:"TSPropertySignature",key:M,typeAnnotation:le.node,..._?{optional:true}:{}},K));}if(s(";")||s(","))i();else break}S("}");let L=y({type:"TSTypeLiteral",members:p},h);return w.length>0?Object.keys(v).length>0||k?f("Callable object types (call signatures mixed with members) are not supported"):{node:L,schema:w.length===1?w[0]:{t:"overload",signatures:w}}:{node:L,schema:{t:"object",props:v,...k?{index:k}:{}}}};return {parseType:(m=[])=>O(oe(ve(),m)),parseTypeParamList:()=>b(ve()),parseTypeInScope:m=>O(oe(ve(),m))}};var te=class extends core.TSLiteError{constructor(i,s,u,S,f){super("parse-error",`${i} (${s.line}:${s.column})`,{position:s,index:u,loc:S,end:f});this.position=s;this.index=u;this.loc=S;this.end=f;this.name="ParseError";}},vt=o=>{let c=o;return c!=null&&typeof c.start=="number"&&c.start===c.end&&c.start>=0},Je=(o,c)=>Object.assign(o,{start:c.start,end:c.start,loc:{start:c.loc.start,end:c.loc.start}}),xt={"??":1,"||":2,"&&":3,"|":4,"^":5,"&":6,"==":7,"===":7,"!=":7,"!==":7,"<":8,"<=":8,">":8,">=":8,in:8,as:8,satisfies:8,"<<":9,">>":9,">>>":9,"+":10,"-":10,"*":11,"/":11,"%":11,"**":12},St=new Set(["??","||","&&"]),kt=new Set(["class","debugger","with","enum","interface"]),wt={enum:'use a union of literals (`type T = "a" | "b"`) \u2014 it is serializable',interface:"use a type alias (`type X = { \u2026 }`)",namespace:"use modules (`import`/`export`)",module:"use modules (`import`/`export`)",declare:"declare the shape via the DI env, or with a `type` alias",abstract:"classes are not part of the language \u2014 model with objects + functions"},Pt={namespace:(o,c)=>o.type==="Identifier"&&c.type==="Punctuator"&&c.value==="{",module:(o,c)=>o.type==="Identifier"&&c.type==="Punctuator"&&c.value==="{",declare:o=>o.type==="Keyword"&&["const","let","var","function","class","enum","interface"].includes(o.value)||o.type==="Identifier"&&["type","namespace","module"].includes(o.value),abstract:o=>o.type==="Keyword"&&o.value==="class"},Nt=new Set(["=","+=","-=","*=","/=","%="]);function xe(o){let c=[],i=[],s=he(o,e=>i.push(e),e=>c.push({code:"lex-error",...e})),u=0,S=[],f=(e=0)=>s[Math.min(u+e,s.length-1)],r=()=>s[u++],y=()=>s[u-1],X=()=>{let e=s[u],n=s[u-1];return !!e&&!!n&&e.loc.start.line>n.loc.end.line},g=()=>f().type==="EOF",l=e=>f().type==="Punctuator"&&f().value===e,b=e=>f().type==="Keyword"&&f().value===e,H=e=>f().type==="Identifier"&&f().value===e,R=(e,n=f())=>{throw O(e,n),new te(e,n.loc.start,n.start,n.loc,n.end)},O=(e,n=f())=>{let t=c[c.length-1];t&&t.index===n.start||c.push({code:"parse-error",message:e,position:n.loc.start,index:n.start,loc:n.loc,end:n.end});},d=e=>(l(e)||R(`Expected '${e}' but got '${f().value||f().type}'`),r()),I=(e,n)=>{let t=y()??n;return Object.assign(e,{start:n.start,end:t.end,loc:{start:n.loc.start,end:t.loc.end}})},T=(e,n,t)=>Object.assign(e,{start:n.start,end:t.end,loc:{start:n.loc.start,end:t.loc.end}}),z=e=>{let n="";for(let t=0;t<e.length;t++){if(e[t]!=="\\"){n+=e[t];continue}let a=e[++t];switch(a){case "n":n+=`
|
|
6
|
+
`;break;case "t":n+=" ";break;case "r":n+="\r";break;case "b":n+="\b";break;case "f":n+="\f";break;case "v":n+="\v";break;case "0":n+="\0";break;case "x":n+=String.fromCharCode(parseInt(e.slice(t+1,t+3),16)),t+=2;break;case "u":if(e[t+1]==="{"){let x=e.indexOf("}",t);n+=String.fromCodePoint(parseInt(e.slice(t+2,x),16)),t=x;}else n+=String.fromCharCode(parseInt(e.slice(t+1,t+5),16)),t+=4;break;default:n+=a;}}return n},P=(e=false)=>B(e),B=(e=false)=>{let n=W(e),t=f();if(t.type==="Punctuator"&&Nt.has(t.value)){r();let a=B();return T({type:"AssignmentExpression",operator:t.value,left:n,right:a},n,a)}return n},W=(e=false)=>{let n=A(0,e);if(!l("?"))return n;r();let t=P();d(":");let a=P();return T({type:"ConditionalExpression",test:n,consequent:t,alternate:a},n,a)},N=()=>{let e=f();if(e.type==="Keyword")return e.value==="in"?{op:"in",consume:1}:null;if(e.type==="Identifier")return e.value==="as"?{op:"as",consume:1}:e.value==="satisfies"?{op:"satisfies",consume:1}:null;if(e.type!=="Punctuator")return null;if(e.value===">"){let n=f(1);if(n.type==="Punctuator"&&n.value===">"&&e.end===n.start){let t=f(2);return t.type==="Punctuator"&&t.value===">"&&n.end===t.start?{op:">>>",consume:3}:{op:">>",consume:2}}return {op:">",consume:1}}return {op:e.value,consume:1}},A=(e,n=false)=>{let t=F();for(;;){let a=N();if(!a)break;let{op:x,consume:E}=a;if(x==="in"&&n)break;let j=xt[x];if(!j||j<=e)break;if(x==="satisfies"){if(X())break;R("'satisfies' is not supported in this language \u2014 a type annotation (`const x: T = \u2026`) also checks compatibility, but it declares the type as T, while 'satisfies' keeps the inferred one");}if(x==="as"){if(X())break;r();let U=se();t=T({type:"TSAsExpression",expression:t,typeAnnotation:U.schema,typeAnnotationNode:U.node},t,y());continue}for(let U=0;U<E;U++)r();let $=A(x==="**"?j-1:j,n);t=T({type:St.has(x)?"LogicalExpression":"BinaryExpression",operator:x,left:t,right:$},t,$);}return t},F=()=>{let e=f();return e.type==="Punctuator"&&(e.value==="++"||e.value==="--")?(r(),I({type:"UpdateExpression",operator:e.value,prefix:true,argument:F()},e)):b("await")?(r(),I({type:"AwaitExpression",argument:F()},e)):b("typeof")||b("void")||b("delete")||e.type==="Punctuator"&&(e.value==="!"||e.value==="-"||e.value==="+"||e.value==="~")?C(e):m()},C=e=>{r();let n=F();return l("**")&&R(`An unary expression with the '${e.value}' operator is not allowed in the left-hand side of an exponentiation expression. Consider enclosing the expression in parentheses.`),I({type:"UnaryExpression",operator:e.value,prefix:true,argument:n},e)},D=()=>{let e=u,n=c.length,t=()=>(u=e,c.length=n,void 0);try{if(r(),l(">"))return t();let a=[];for(;a.push(se().schema),!!l(",");)r();return l(">")?(r(),l("(")?a:t()):t()}catch{return t()}},m=()=>{let e=Me(),n=false;for(;;)if(l("?."))if(r(),n=true,l("(")){let{args:t,close:a}=h();e=T({type:"CallExpression",callee:e,arguments:t,optional:true},e,a);}else if(l("[")){r();let t=P(),a=d("]");e=T({type:"MemberExpression",object:e,property:t,computed:true,optional:true},e,a);}else {let t=f();t.type!=="Identifier"&&t.type!=="Keyword"&&R("Expected property name after '?.'"),r();let a=I({type:"Identifier",name:t.value},t);e=T({type:"MemberExpression",object:e,property:a,computed:false,optional:true},e,a);}else if(l(".")){r();let t=f(),a;t.type==="Identifier"||t.type==="Keyword"?(r(),a=I({type:"Identifier",name:t.value},t)):(O("Expected property name"),a=Je({type:"Identifier",name:""},t)),e=T({type:"MemberExpression",object:e,property:a,computed:false,optional:false},e,a);}else if(l("[")){r();let t=P(),a=d("]");e=T({type:"MemberExpression",object:e,property:t,computed:true,optional:false},e,a);}else if(l("(")){let{args:t,close:a}=h();e=T({type:"CallExpression",callee:e,arguments:t,optional:false},e,a);}else if(l("<")){let t=D();if(!t)break;let{args:a,close:x}=h();e=T({type:"CallExpression",callee:e,arguments:a,optional:false,typeArguments:t},e,x);}else if(l("++")||l("--")){let t=r();e=T({type:"UpdateExpression",operator:t.value,prefix:false,argument:e},e,t);}else break;return n?T({type:"ChainExpression",expression:e},e,e):e},h=()=>{d("(");let e=[];for(;!l(")");)e.push(p()),l(")")||d(",");return {args:e,close:d(")")}},p=()=>{if(l("...")){let e=r(),n=P();return T({type:"SpreadElement",argument:n},e,n)}return P()},v=()=>{let e=f();return e.type!=="Identifier"&&R("Expected identifier"),r(),I({type:"Identifier",name:e.value},e)},k=e=>{let n=l("{")?w(e):l("[")?L(e):v();if(l(":")){r();let t=se(e);n.typeAnnotation=t.schema,n.typeAnnotationNode=t.node;}return n},w=e=>{let n=d("{"),t=[];for(;!l("}");){if(l("...")){let x=r(),E=k(e);t.push(T({type:"RestElement",argument:E},x,E));}else {let x=v(),E,j=false;if(l(":")?(r(),E=k(e)):(E={...x},j=true),l("=")){r();let $=P();E=T({type:"AssignmentPattern",left:E,right:$},E,$);}t.push(T({type:"Property",key:x,value:E,kind:"init",shorthand:j,computed:false},x,E));}l("}")||d(",");}let a=d("}");return T({type:"ObjectPattern",properties:t},n,a)},L=e=>{let n=d("["),t=[];for(;!l("]");){if(l(",")){t.push(null),r();continue}if(l("...")){let x=r(),E=k(e);t.push(T({type:"RestElement",argument:E},x,E));}else {let x=k(e);if(l("=")){r();let E=P();x=T({type:"AssignmentPattern",left:x,right:E},x,E);}t.push(x);}l("]")||d(",");}let a=d("]");return T({type:"ArrayPattern",elements:t},n,a)},K=()=>{let e=0;for(let n=u;n<s.length;n++){let t=s[n];if(t.type==="EOF")return false;if(t.type==="Punctuator"){if(t.value==="("||t.value==="["||t.value==="{")e++;else if((t.value===")"||t.value==="]"||t.value==="}")&&(e--,e===0)){let a=s[n+1];return !a||a.type!=="Punctuator"?false:a.value==="=>"?true:a.value===":"?J(n+2):false}}}return false},J=e=>{let n=0;for(let t=e;t<s.length;t++){let a=s[t];if(a.type==="EOF")return false;if(a.type==="Punctuator")if(["(","[","{","<"].includes(a.value))n++;else if([")","]","}",">"].includes(a.value)){if(n===0)return false;n--;}else {if(n===0&&a.value==="=>")return true;if(n===0&&(a.value===";"||a.value===","))return false}}return false},M=(e=[])=>{d("(");let n=[];for(;!l(")");){if(l("...")){let t=r(),a=k(e);n.push(T({type:"RestElement",argument:a},t,a));}else {let t=k(e);if(l("=")){r();let a=P();t=T({type:"AssignmentPattern",left:t,right:a},t,a);}n.push(t);}l(")")||d(",");}return d(")"),n},_=(e,n,t=[])=>{let a=l("(")?M(t):[v()],x,E;if(l(":")){r();let $=se(t);x=$.schema,E=$.node;}d("=>");let j=l("{")?ae():P();return I({type:"ArrowFunctionExpression",params:a,body:j,async:e,expression:j.type!=="BlockStatement",generator:false,...x?{returnType:x,returnTypeNode:E}:{},...t.length?{typeParams:t.map($=>$.name),typeParamNodes:t}:{}},n)},le=()=>{let e=d("["),n=[];for(;!l("]");){if(l(",")){r(),n.push(null);continue}n.push(p()),l("]")||d(",");}return T({type:"ArrayExpression",elements:n},e,d("]"))},Xe=()=>{let e=d("{"),n=[];for(;!l("}");){if(l("...")){let t=r(),a=P();n.push(T({type:"SpreadElement",argument:a},t,a));}else {let t=f(),a,x=false;if(l("["))x=true,r(),a=P(),d("]");else if(t.type==="String")r(),a=I({type:"Literal",value:z(t.value.slice(1,-1)),raw:t.value},t);else if(t.type==="Number")r(),a=I({type:"Literal",value:Number(t.value),raw:t.value},t);else if(t.type==="Identifier"||t.type==="Keyword")r(),a=I({type:"Identifier",name:t.value},t);else return R("Invalid property key");if(l(":")){r();let E=P();n.push(T({type:"Property",key:a,value:E,kind:"init",shorthand:false,computed:x},t,E));}else n.push(T({type:"Property",key:a,value:a,kind:"init",shorthand:true,computed:false},t,a));}l("}")||d(",");}return T({type:"ObjectExpression",properties:n},e,d("}"))},ce=(e,n)=>({type:"TemplateElement",value:{raw:e,cooked:z(e)},tail:n}),Ke=e=>{r();let n=[ce(e.value,false)],t=[];for(;;){t.push(P());let a=f();if(a.type==="TemplateMiddle")r(),n.push(ce(a.value,false));else if(a.type==="TemplateTail"){r(),n.push(ce(a.value,true));break}else R("Expected `}` to close template interpolation");}return I({type:"TemplateLiteral",quasis:n,expressions:t},e)},re=()=>{let e=f();return e.type!=="Identifier"&&R(`Expected JSX identifier but got '${e.value||e.type}'`),I({type:"JSXIdentifier",name:r().value},e)},Se=()=>{let e=re();if(l(":")){r();let n=re();return T({type:"JSXNamespacedName",namespace:e,name:n},e,n)}for(;l(".");){r();let n=re();e=T({type:"JSXMemberExpression",object:e,property:n},e,n);}return e},G=e=>e.type==="JSXIdentifier"?e.name:e.type==="JSXNamespacedName"?`${G(e.namespace)}:${G(e.name)}`:`${G(e.object)}.${G(e.property)}`,Ue=()=>{let e=f();if(e.type==="String")return r(),I({type:"Literal",value:z(e.value.slice(1,-1)),raw:e.value},e);if(l("{")){let n=r(),t=B(),a=d("}");return T({type:"JSXExpressionContainer",expression:t},n,a)}return l("<")?ye():R(`Invalid JSX attribute value '${e.value||e.type}'`)},$e=()=>{let e=[];for(;!l(">")&&!l("/>")&&!g();){if(l("{")){let a=r();d("...");let x=B(),E=d("}");e.push(T({type:"JSXSpreadAttribute",argument:x},a,E));continue}let n=re();if(l(":")){r();let a=re();n=T({type:"JSXNamespacedName",namespace:n,name:a},n,a);}let t=null;l("=")&&(r(),t=Ue()),e.push(T({type:"JSXAttribute",name:n,value:t},n,t??n));}return e},ke=()=>{let e=[];for(;!(l("</")||g());){let n=f();if(n.type==="JSXText")r(),e.push(I({type:"JSXText",value:n.value,raw:n.value},n));else if(l("{")){let t=r();if(l("}")){let a=r(),x=I({type:"JSXEmptyExpression"},t);e.push(T({type:"JSXExpressionContainer",expression:x},t,a));}else {let a=B(),x=d("}");e.push(T({type:"JSXExpressionContainer",expression:a},t,x));}}else l("<")?e.push(ye()):R(`Unexpected token in JSX children '${n.value||n.type}'`);}return e},ye=()=>{let e=d("<");if(l(">")){let Q=r(),ne=T({type:"JSXOpeningFragment"},e,Q),ot=ke(),rt=d("</"),Ie=d(">"),st=T({type:"JSXClosingFragment"},rt,Ie);return T({type:"JSXFragment",openingFragment:ne,children:ot,closingFragment:st},e,Ie)}let n=Se(),t=$e();if(l("/>")){let Q=r(),ne=T({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:true},e,Q);return T({type:"JSXElement",openingElement:ne,children:[],closingElement:null},e,Q)}let a=d(">"),x=T({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:false},e,a),E=ke(),j=d("</"),$=f(),U=Se();G(U)!==G(n)&&R(`JSX closing tag </${G(U)}> does not match opening <${G(n)}>`,$);let q=d(">"),V=T({type:"JSXClosingElement",name:U},j,q);return T({type:"JSXElement",openingElement:x,children:E,closingElement:V},e,q)},Me=()=>{let e=f();if(b("async")){let n=f(1);if(n.value==="("||n.type==="Identifier")return r(),_(true,e);if(n.value==="<"){r();let t=we(e,true);if(t)return t}return R("Unexpected 'async'")}if(l("(")&&K()||e.type==="Identifier"&&f(1).type==="Punctuator"&&f(1).value==="=>")return _(false,e);if(e.type==="Number")return r(),I({type:"Literal",value:Number(e.value),raw:e.value},e);if(e.type==="String")return r(),I({type:"Literal",value:z(e.value.slice(1,-1)),raw:e.value},e);if(e.type==="Template")return r(),I({type:"TemplateLiteral",expressions:[],quasis:[ce(e.value,true)]},e);if(e.type==="TemplateHead")return Ke(e);if(e.type==="Keyword")return e.value==="true"?(r(),I({type:"Literal",value:true,raw:"true"},e)):e.value==="false"?(r(),I({type:"Literal",value:false,raw:"false"},e)):e.value==="null"?(r(),I({type:"Literal",value:null,raw:"null"},e)):e.value==="new"?R("'new' is not supported \u2014 the language has no constructors (FP / portable IR). Use a factory function provided via DI (e.g. `now()` instead of `new Date()`)."):e.value==="function"?R("Anonymous functions are not supported \u2014 use an arrow function"):R(`'${e.value}' is not supported in this language`);if(e.type==="Identifier")return r(),I({type:"Identifier",name:e.value},e);if(l("(")){r();let n=P();return d(")"),n}return l("[")?le():l("{")?Xe():l("<")?we(e)??ye():R(`Unexpected token '${e.value||e.type}'`)},we=(e,n=false)=>{let t=u,a=c.length,x=()=>(u=t,c.length=a,void 0);try{let E=Pe();return !E.length||!l("(")?x():_(n,e,E)}catch{return x()}},{parseType:se,parseTypeParamList:Pe,parseTypeInScope:Be}=Oe({tokens:s,pos:()=>u,peek:f,next:r,isP:l,isK:b,expectP:d,fail:R,recordError:O,createMissingNode:Je,unescape:z,typeRefs:S}),_e=()=>{let e=r(),n=v(),t=[],a=[];l("<")&&(a=Pe(),t=a.map(j=>j.name)),d("=");let x=Be(a),E=T({type:"TSTypeAliasDeclaration",id:n,typeParameters:t,...a.length?{typeParamNodes:a}:{},typeAnnotation:x.schema,typeNode:x.node},e,y());return l(";")&&r(),E},Y=()=>{let e=f();if(e.type==="Identifier"&&e.value==="type"&&f(1).type==="Identifier"&&f(2).type==="Punctuator"&&(f(2).value==="="||f(2).value==="<"))return _e();if(b("const")||b("let")||b("var")){let x=Ne();return l(";")&&r(),x}if(b("if"))return Qe();if(b("for"))return He();if(b("while"))return Ye();if(b("do"))return Ve();if(b("break")||b("continue"))return Ge();if(b("return"))return Ze();if(b("throw"))return et();if(b("try"))return tt();if(b("switch"))return nt();if(b("import"))return We();if(b("export"))return qe();if(l("{"))return ae();if((b("function")||b("async")&&f(1).type==="Keyword"&&f(1).value==="function")&&R("Function declarations are not supported \u2014 use 'const fn = () => \u2026'"),l(";"))return r(),I({type:"EmptyStatement"},e);if(e.type==="Keyword"&&kt.has(e.value)||e.type==="Identifier"&&Pt[e.value]?.(f(1),f(2))===true){let x=wt[e.value];R(`'${e.value}' is not supported in this language`+(x?` \u2014 ${x}`:""));}let t=P(),a=l(";")?r():y();return T({type:"ExpressionStatement",expression:t},t,a)},Ne=()=>{let e=r(),n=e.value,t=()=>{let x=k([]),E=null;return l("=")?(r(),E=P()):n==="const"&&O("'const' declarations must be initialized"),T({type:"VariableDeclarator",id:x,init:E},x,E??x)},a=[t()];for(;l(",");)r(),a.push(t());return T({type:"VariableDeclaration",kind:n,declarations:a},e,a[a.length-1])},ze=()=>{let e=f();return e.type!=="String"&&R("Expected module specifier string"),r(),I({type:"Literal",value:z(e.value.slice(1,-1)),raw:e.value},e)},We=()=>{let e=r(),n=[];if(f().type!=="String"){if(f().type==="Identifier"){let a=v();n.push(T({type:"ImportDefaultSpecifier",local:a},a,a)),l(",")&&r();}if(l("*")){let a=r();H("as")||R("Expected 'as' after '*' in import"),r();let x=v();n.push(T({type:"ImportNamespaceSpecifier",local:x},a,x));}else if(l("{")){for(r();!l("}")&&!g();){let a=v(),x=a;if(H("as")&&(r(),x=v()),n.push(T({type:"ImportSpecifier",imported:a,local:x},a,x)),l(","))r();else break}d("}");}H("from")||R("Expected 'from' in import declaration"),r();}let t=ze();return l(";")&&r(),I({type:"ImportDeclaration",specifiers:n,source:t},e)},qe=()=>{let e=r();if(b("default")){r();let n=P();return l(";")&&r(),I({type:"ExportDefaultDeclaration",declaration:n},e)}if(b("const")||b("let")||b("var")){let n=Ne();return l(";")&&r(),I({type:"ExportNamedDeclaration",declaration:n,specifiers:[],source:null},e)}if(l("{")){r();let n=[];for(;!l("}")&&!g();){let t=v(),a=t;if(H("as")&&(r(),a=v()),n.push(T({type:"ExportSpecifier",local:t,exported:a},t,a)),l(","))r();else break}return d("}"),l(";")&&r(),I({type:"ExportNamedDeclaration",declaration:null,specifiers:n,source:null},e)}return R("Expected 'const', '{', or 'default' after 'export'")},Ee=()=>f().type==="Identifier"&&f().value==="of",me=()=>b("in"),He=()=>{let e=r();d("(");let n=null,t=null;if(!l(";"))if(b("const")||b("let")||b("var")){let j=r(),$=()=>{let q=v();if(l(":")){r();let V=se();q.typeAnnotation=V.schema,q.typeAnnotationNode=V.node;}return q},U=$();if(Ee()||me()){let q=T({type:"VariableDeclarator",id:U,init:null},U,U);t=T({type:"VariableDeclaration",kind:j.value,declarations:[q]},j,U);}else {let q=Q=>{let ne=null;return l("=")?(r(),ne=P(true)):j.value==="const"&&R("'const' declarations must be initialized"),T({type:"VariableDeclarator",id:Q,init:ne},Q,ne??Q)},V=[q(U)];for(;l(",");)r(),V.push(q($()));n=T({type:"VariableDeclaration",kind:j.value,declarations:V},j,V[V.length-1]);}}else {let j=P(true);Ee()||me()?t=j:n=j;}if(t){let j=me();r();let $=P();d(")");let U=Y();return T(j?{type:"ForInStatement",left:t,right:$,body:U}:{type:"ForOfStatement",left:t,right:$,body:U,await:false},e,U)}d(";");let a=l(";")?null:P();d(";");let x=l(")")?null:P();d(")");let E=Y();return T({type:"ForStatement",init:n,test:a,update:x,body:E},e,E)},Ve=()=>{let e=r(),n=Y();b("while")||R("Expected 'while' after the 'do' body"),r(),d("(");let t=P(),a=d(")");return l(";")&&r(),T({type:"DoWhileStatement",body:n,test:t},e,a)},Ge=()=>{let e=r(),n=e.value==="break"?"BreakStatement":"ContinueStatement",t=l(";")?r():y();return T({type:n,label:null},e,t)},Ye=()=>{let e=r();d("(");let n=P();d(")");let t=Y();return T({type:"WhileStatement",test:n,body:t},e,t)},Qe=()=>{let e=r();d("(");let n=P();d(")");let t=Y(),a=null;return b("else")&&(r(),a=Y()),T({type:"IfStatement",test:n,consequent:t,alternate:a},e,a??t)},Ze=()=>{let e=r(),n=null;!l(";")&&!l("}")&&!g()&&(n=P());let t=l(";")?r():y();return T({type:"ReturnStatement",argument:n},e,t)},et=()=>{let e=r(),n=P(),t=l(";")?r():y();return T({type:"ThrowStatement",argument:n},e,t)},tt=()=>{let e=r(),n=ae(),t=null,a=null;if(b("catch")){let x=r(),E=null;l("(")&&(r(),E=v(),d(")"));let j=ae();t=T({type:"CatchClause",param:E,body:j},x,j);}return b("finally")&&(r(),a=ae()),!t&&!a&&R("'try' requires a 'catch' or 'finally' clause"),T({type:"TryStatement",block:n,handler:t,finalizer:a},e,a??t??n)},nt=()=>{let e=r();d("(");let n=P();d(")"),d("{");let t=[];for(;!l("}")&&!g();){let x=f(),E=null;b("case")?(r(),E=P()):b("default")?r():R("Expected 'case' or 'default' in switch"),d(":");let j=[];for(;!l("}")&&!b("case")&&!b("default")&&!g();)j.push(Y());t.push(T({type:"SwitchCase",test:E,consequent:j},x,y()??x));}let a=d("}");return T({type:"SwitchStatement",discriminant:n,cases:t},e,a)},ae=()=>{let e=d("{"),n=Ce(()=>l("}"));return T({type:"BlockStatement",body:n},e,d("}"))},Ce=e=>{let n=[];for(;!e()&&!g();){if(f().type==="Unknown"){r();continue}try{n.push(Y());}catch(t){if(!(t instanceof te))throw t;g()||r();}}return n};return {parseExpr:P,parseProgram:()=>{let e=f(),n=Ce(()=>false);return T({type:"Program",sourceType:"module",body:n,...S.length?{typeRefs:S}:{},...i.length?{comments:i}:{},...c.length?{parseDiagnostics:c}:{}},e,y()??e)},eof:g,fail:R,recordError:O,diagnostics:c}}function Fe(o){let c=xe(o),i=c.parseProgram(),s=i.comments;return s?.length&&be(i,s,o),{ast:i,diagnostics:c.diagnostics}}function Et(o){let{ast:c,diagnostics:i}=Fe(o),s=i[0];if(s){let u=s.code==="lex-error"?ee:te;throw new u(s.message,s.position,s.index,s.loc,s.end)}return c}function Ct(o){let c=xe(o),i=c.parseExpr();c.eof()||c.fail("Unexpected token after expression");let s=c.diagnostics[0];if(s){let u=s.code==="lex-error"?ee:te;throw new u(s.message,s.position,s.index,s.loc,s.end)}return i}function It(o){let c=xe(o),i;try{i=c.parseExpr(),c.eof()||c.recordError("Unexpected token after expression");}catch(s){if(!(s instanceof te)&&!(s instanceof ee))throw s}return {ast:i,diagnostics:c.diagnostics}}exports.KEYWORDS=Le;exports.LexError=ee;exports.ParseError=te;exports.attachComments=be;exports.nodeIsMissing=vt;exports.parse=Et;exports.parseExpression=Ct;exports.parseExpressionTolerant=It;exports.parseTolerant=Fe;exports.tokenize=he;
|
package/dist/index.d.cts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { TSLiteError, types
|
|
1
|
+
import { TSLiteError, types } from '@tslite/core';
|
|
2
2
|
|
|
3
3
|
/** Code dos erros lançados pelo parser/tokenizer. */
|
|
4
4
|
type ParserErrorCode = "lex-error" | "parse-error";
|
|
@@ -178,36 +178,6 @@ declare function parseExpressionTolerant(source: string): {
|
|
|
178
178
|
readonly diagnostics: readonly ParseDiagnostic[];
|
|
179
179
|
};
|
|
180
180
|
|
|
181
|
-
/**
|
|
182
|
-
* O resultado — uma **união discriminada de quatro casos**. A discriminação é o
|
|
183
|
-
* produto principal: quem chama decide o que fazer com cada um (o `literal`, no
|
|
184
|
-
* nosso caso, continua sendo dado do host — por isso NÃO devolve um `Literal`).
|
|
185
|
-
*/
|
|
186
|
-
type InterpolatedResult = {
|
|
187
|
-
readonly kind: "literal";
|
|
188
|
-
} | {
|
|
189
|
-
readonly kind: "expression";
|
|
190
|
-
readonly node: Expression;
|
|
191
|
-
} | {
|
|
192
|
-
readonly kind: "template";
|
|
193
|
-
readonly node: TemplateLiteral;
|
|
194
|
-
} | {
|
|
195
|
-
readonly kind: "error";
|
|
196
|
-
readonly diagnostics: readonly ParseDiagnostic[];
|
|
197
|
-
};
|
|
198
|
-
/**
|
|
199
|
-
* Faz o parse de uma string de HOST com interpolação `{{ … }}`. Ver
|
|
200
|
-
* {@link InterpolatedResult}. Tolerante por natureza (o editor é o consumidor
|
|
201
|
-
* principal): erro entra como o 4º braço, nunca lança.
|
|
202
|
-
*
|
|
203
|
-
* A regra de forma (e nada de tipo — o tipo cai no checker):
|
|
204
|
-
* - zero interpolações → `literal`;
|
|
205
|
-
* - **exatamente uma** interpolação e nada em volta → `expression` (o próprio nó);
|
|
206
|
-
* - qualquer outra combinação → `template` (`TemplateLiteral`, que É string);
|
|
207
|
-
* - qualquer diagnóstico (expressão inválida, `{{` sem `}}`) → `error`.
|
|
208
|
-
*/
|
|
209
|
-
declare function parseInterpolated(source: string): InterpolatedResult;
|
|
210
|
-
|
|
211
181
|
/** O mínimo que o algoritmo precisa de um nó: posição e os baldes de comentário. */
|
|
212
182
|
interface Positioned {
|
|
213
183
|
type: string;
|
|
@@ -251,4 +221,4 @@ type TypeRef = {
|
|
|
251
221
|
readonly loc: SourceLocation;
|
|
252
222
|
};
|
|
253
223
|
|
|
254
|
-
export { type CommentToken,
|
|
224
|
+
export { type CommentToken, KEYWORDS, type LexDiagnostic, LexError, type OnComment, type OnLexError, type ParseDiagnostic, ParseError, type ParseResult, type ParserErrorCode, type Position, type SourceLocation, type Token, type TokenType, type TypeRef, attachComments, nodeIsMissing, parse, parseExpression, parseExpressionTolerant, parseTolerant, tokenize };
|
package/dist/index.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { TSLiteError, types
|
|
1
|
+
import { TSLiteError, types } from '@tslite/core';
|
|
2
2
|
|
|
3
3
|
/** Code dos erros lançados pelo parser/tokenizer. */
|
|
4
4
|
type ParserErrorCode = "lex-error" | "parse-error";
|
|
@@ -178,36 +178,6 @@ declare function parseExpressionTolerant(source: string): {
|
|
|
178
178
|
readonly diagnostics: readonly ParseDiagnostic[];
|
|
179
179
|
};
|
|
180
180
|
|
|
181
|
-
/**
|
|
182
|
-
* O resultado — uma **união discriminada de quatro casos**. A discriminação é o
|
|
183
|
-
* produto principal: quem chama decide o que fazer com cada um (o `literal`, no
|
|
184
|
-
* nosso caso, continua sendo dado do host — por isso NÃO devolve um `Literal`).
|
|
185
|
-
*/
|
|
186
|
-
type InterpolatedResult = {
|
|
187
|
-
readonly kind: "literal";
|
|
188
|
-
} | {
|
|
189
|
-
readonly kind: "expression";
|
|
190
|
-
readonly node: Expression;
|
|
191
|
-
} | {
|
|
192
|
-
readonly kind: "template";
|
|
193
|
-
readonly node: TemplateLiteral;
|
|
194
|
-
} | {
|
|
195
|
-
readonly kind: "error";
|
|
196
|
-
readonly diagnostics: readonly ParseDiagnostic[];
|
|
197
|
-
};
|
|
198
|
-
/**
|
|
199
|
-
* Faz o parse de uma string de HOST com interpolação `{{ … }}`. Ver
|
|
200
|
-
* {@link InterpolatedResult}. Tolerante por natureza (o editor é o consumidor
|
|
201
|
-
* principal): erro entra como o 4º braço, nunca lança.
|
|
202
|
-
*
|
|
203
|
-
* A regra de forma (e nada de tipo — o tipo cai no checker):
|
|
204
|
-
* - zero interpolações → `literal`;
|
|
205
|
-
* - **exatamente uma** interpolação e nada em volta → `expression` (o próprio nó);
|
|
206
|
-
* - qualquer outra combinação → `template` (`TemplateLiteral`, que É string);
|
|
207
|
-
* - qualquer diagnóstico (expressão inválida, `{{` sem `}}`) → `error`.
|
|
208
|
-
*/
|
|
209
|
-
declare function parseInterpolated(source: string): InterpolatedResult;
|
|
210
|
-
|
|
211
181
|
/** O mínimo que o algoritmo precisa de um nó: posição e os baldes de comentário. */
|
|
212
182
|
interface Positioned {
|
|
213
183
|
type: string;
|
|
@@ -251,4 +221,4 @@ type TypeRef = {
|
|
|
251
221
|
readonly loc: SourceLocation;
|
|
252
222
|
};
|
|
253
223
|
|
|
254
|
-
export { type CommentToken,
|
|
224
|
+
export { type CommentToken, KEYWORDS, type LexDiagnostic, LexError, type OnComment, type OnLexError, type ParseDiagnostic, ParseError, type ParseResult, type ParserErrorCode, type Position, type SourceLocation, type Token, type TokenType, type TypeRef, attachComments, nodeIsMissing, parse, parseExpression, parseExpressionTolerant, parseTolerant, tokenize };
|
package/dist/index.js
CHANGED
|
@@ -1,7 +1,6 @@
|
|
|
1
|
-
import {TSLiteError}from'@tslite/core';var ee=class extends TSLiteError{constructor(
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
`||N==="\
|
|
5
|
-
`&&o!=="\f")return o}return ""}var ht=new Set([")","]","}",","]);function Te(r,c,l=""){for(let o of c){let{enclosing:p,preceding:g,following:f}=yt(r,o),s=g==null||g.loc.end.line<o.loc.start.line,y=!s&&(f==null||o.loc.end.line<f.loc.start.line);if(s)f?he(f,o):g?ue(g,o):ge(p,o);else if(y)g?ue(g,o):f?he(f,o):ge(p,o);else {let F=ht.has(mt(l,o.end));g&&F?ue(g,o):f?he(f,o):g?ue(g,o):ge(p,o);}}}var be=(r=[])=>({vars:new Set(r),bounds:new Map,noCond:false,inferSink:null}),ie=(r,c)=>{let l=new Set(r.vars),o=new Map(r.bounds);for(let p of c)l.add(p.name),p.bound||p.isConst?o.set(p.name,{bound:p.bound,isConst:p.isConst}):o.delete(p.name);return {vars:l,bounds:o,noCond:r.noCond,inferSink:r.inferSink}},gt=(r,c)=>{let l=r.bounds.get(c);return l&&(l.bound||l.isConst)?{t:"var",name:c,...l.bound?{bound:l.bound}:{},...l.isConst?{isConst:true}:{}}:{t:"var",name:c}},je=r=>{let{peek:c,next:l,isP:o,isK:p,expectP:g,fail:f,unescape:s}=r,y=(u,h)=>{let d=r.tokens[r.pos()-1]??h;return Object.assign(u,{start:h.start,end:d.end,loc:{start:h.loc.start,end:d.loc.end}})},F=()=>{let u=r.pos(),h=r.tokens[u],d=r.tokens[u-1];return !!d&&!!h&&h.loc.start.line>d.loc.end.line},T=()=>{let u=0;for(let h=r.pos();h<r.tokens.length;h++){let d=r.tokens[h];if(d.type==="EOF")return false;if(d.type==="Punctuator"){if(["(","[","{","<"].includes(d.value))u++;else if([")","]","}",">"].includes(d.value)&&(u--,u===0)){let x=r.tokens[h+1];return !!x&&x.type==="Punctuator"&&x.value==="=>"}}}return false},a=()=>{let u=r.tokens,h=[],d=0,x=false;for(let k=r.pos();k<u.length;k++){let w=u[k];if(w.type==="EOF")break;if(w.type==="Punctuator"){if(w.value==="<")d++,d===1&&(x=true);else if(w.value===">"){if(d--,d===0)break}else w.value==="("||w.value==="["||w.value==="{"?(d++,x=false):w.value===")"||w.value==="]"||w.value==="}"?(d--,x=false):w.value===","&&d===1?x=true:x=false;continue}if(d===1&&x){if(w.type==="Keyword"&&w.value==="const")continue;if(w.type==="Identifier"){h.push(w.value),x=false;continue}}x=false;}return h},P=u=>{let h=ie(u,a().map(x=>({name:x})));g("<");let d=[];for(;!o(">");){let x=p("const");x&&l();let k=c();k.type!=="Identifier"&&f("Expected type parameter name"),l();let w;p("extends")&&(l(),w=D(h).schema),o("=")&&(l(),D(h)),d.push({name:k.value,...w?{bound:w}:{},...x?{isConst:true}:{}}),o(">")||g(",");}return g(">"),d},A=u=>{g("<");let h=[];for(;!o(">");)h.push(D(u)),o(">")||g(",");return g(">"),h},R=u=>{let h=c();return h.type==="Identifier"&&h.value===u},D=u=>{let h=c(),d=v(u);if(u.noCond||!p("extends")||F())return d;l();let x=[],k=v({...u,noCond:true,inferSink:x});g("?");let w=ie(u,x.map(J=>({name:J}))),j=D(w);g(":");let $=D(w);return {node:y({type:"TSConditionalType",checkType:d.node,extendsType:k.node,trueType:j.node,falseType:$.node},h),schema:{t:"conditional",check:d.schema,extends:k.schema,then:j.schema,else:$.schema,...x.length?{infer:x}:{}}}},v=u=>{let h=c();o("|")&&l();let d=b(u);if(!o("|"))return d;let x=[d.node],k=[d.schema];for(;o("|");){l();let w=b(u);x.push(w.node),k.push(w.schema);}return {node:y({type:"TSUnionType",types:x},h),schema:{t:"union",of:k}}},b=u=>{let h=c();o("&")&&l();let d=m(u);if(!o("&"))return d;let x=[d.node],k=[d.schema];for(;o("&");){l();let w=m(u);x.push(w.node),k.push(w.schema);}return {node:y({type:"TSIntersectionType",types:x},h),schema:{t:"intersection",of:k}}},m=u=>{let h=c();if(R("keyof")){l();let d=m(u);return {node:y({type:"TSTypeOperator",operator:"keyof",typeAnnotation:d.node},h),schema:{t:"keyof",of:d.schema}}}if(R("readonly")){l();let d=m(u);return d.schema.t!=="array"&&d.schema.t!=="tuple"&&f("'readonly' only applies to array and tuple types"),{node:y({...d.node,readonly:true},h),schema:{...d.schema,readonly:true}}}if(R("infer")){l();let d=c();d.type!=="Identifier"&&f("Expected 'infer' variable name"),l();let x=u.inferSink;return x?(x.push(d.value),{node:y({type:"TSInferType",name:d.value},h),schema:{t:"var",name:d.value}}):f("'infer' is only allowed in the 'extends' clause of a conditional")}return M(u)},M=u=>{let h=c(),d=X(u);for(;o("[")&&!F();)if(l(),o("]"))l(),d={node:y({type:"TSArrayType",elementType:d.node},h),schema:{t:"array",items:d.schema}};else {let x=D(u);g("]"),d={node:y({type:"TSIndexedAccessType",objectType:d.node,indexType:x.node},h),schema:{t:"index",obj:d.schema,key:x.schema}};}return d},E=(u,h,d)=>({node:y({type:"TSKeywordType",kind:h},u),schema:d}),X=u=>{let h=c();if(p("typeof")){l();let k=c();k.type!=="Identifier"&&f("Expected a name after 'typeof' in type position"),l();let w=[k.value];for(;o(".");){l();let j=c();j.type!=="Identifier"&&j.type!=="Keyword"&&f("Expected a property name after '.' in 'typeof'"),l(),w.push(j.value);}return {node:y({type:"TSTypeQuery",exprName:w},h),schema:{t:"typeQuery",path:w}}}if(o("<")){let k=P(u),w=ie(u,k);return z(w,h,k.map(j=>j.name))}if(o("(")){if(T())return z(u,h);l();let k=D(u.noCond?{...u,noCond:false}:u);return g(")"),k}if(o("{"))return L()?U(u):I(u);if(o("["))return N(u);let d=c();if(d.type==="String"){l();let k=s(d.value.slice(1,-1));return {node:y({type:"TSLiteralType",literal:k},h),schema:{t:"literal",value:k}}}if(d.type==="Number"){l();let k=Number(d.value);return {node:y({type:"TSLiteralType",literal:k},h),schema:{t:"literal",value:k}}}if(p("true"))return l(),{node:y({type:"TSLiteralType",literal:true},h),schema:{t:"literal",value:true}};if(p("false"))return l(),{node:y({type:"TSLiteralType",literal:false},h),schema:{t:"literal",value:false}};if(p("null"))return l(),E(h,"null",{t:"null"});if(p("void"))return l(),E(h,"void",{t:"void"});if(d.type==="Identifier"){switch(l(),d.value){case "string":return E(h,"string",{t:"string"});case "number":return E(h,"number",{t:"number"});case "boolean":return E(h,"boolean",{t:"boolean"});case "any":return E(h,"any",{t:"any"});case "unknown":return E(h,"unknown",{t:"unknown"});case "undefined":return E(h,"undefined",{t:"undefined"});case "never":return E(h,"never",{t:"union",of:[]})}let k=o("<")?A(u):[],w=k.map(J=>J.schema),j=k.length?k.map(J=>J.node):void 0,$=y({type:"TSTypeReference",typeName:d.value,...j?{typeArguments:j}:{}},h);return u.vars.has(d.value)&&w.length===0?{node:$,schema:gt(u,d.value)}:d.value==="ReturnType"&&w.length===1?{node:$,schema:{t:"returnType",fn:w[0]}}:d.value==="Parameters"&&w.length===1?{node:$,schema:{t:"parameters",fn:w[0]}}:(r.typeRefs?.push({name:d.value,loc:d.loc}),{node:$,schema:{t:"apply",name:d.value,args:w}})}r.recordError(`Expected a type but got '${d.value||d.type}'`,d);let x=r.createMissingNode({type:"TSTypeReference",typeName:""},d);return r.typeRefs?.push({name:"",loc:x.loc}),{node:x,schema:{t:"unknown"}}},V=u=>{g("(");let h=[];for(;!o(")");){let d=c();d.type!=="Identifier"&&f("Expected parameter name in function type"),l();let x=o("?");x&&l(),g(":");let k=D(u);h.push({node:y({type:"TSTypeParameter",name:d.value,typeAnnotation:k.node,...x?{optional:true}:{}},d),schema:{name:d.value,type:k.schema,...x?{optional:true}:{}}}),o(")")||g(",");}return g(")"),h},z=(u,h,d)=>{let x=V(u);g("=>");let k=D(u);return {node:y({type:"TSFunctionType",params:x.map(w=>w.node),returnType:k.node,...d?.length?{typeParams:[...d]}:{}},h),schema:{t:"fn",params:x.map(w=>w.schema),returns:k.schema,...d?.length?{typeParams:d}:{}}}},N=u=>{let h=c();g("[");let d=[],x=[],k=[];for(;!o("]");){if(o("...")){l();let j=D(u);j.schema.t==="array"?(x.push(j.schema.items),d.push(j.node.elementType),k.push("rest")):(x.push(j.schema),d.push(j.node),k.push("variadic"));}else {let j=D(u),$=o("?");$&&l(),x.push(j.schema),d.push(j.node),k.push($?"optional":"req");}o("]")||g(",");}g("]");let w=k.some(j=>j!=="req");return {node:y({type:"TSTupleType",elementTypes:d,...w?{flags:k}:{}},h),schema:w?{t:"tuple",elements:x,flags:k}:{t:"tuple",elements:x}}},L=()=>{let u=r.tokens,h=r.pos()+1;return u[h]?.type==="Punctuator"&&(u[h]?.value==="+"||u[h]?.value==="-")&&h++,u[h]?.type==="Identifier"&&u[h]?.value==="readonly"&&h++,u[h]?.type==="Punctuator"&&u[h]?.value==="["&&u[h+1]?.type==="Identifier"&&u[h+2]?.type==="Keyword"&&u[h+2]?.value==="in"},U=u=>{let h=c();g("{"),(o("+")||o("-"))&&l(),R("readonly")&&l(),g("[");let d=c();d.type!=="Identifier"&&f("Expected mapped type key name"),l(),p("in")||f("Expected 'in' in mapped type"),l();let x=D(u);R("as")&&f("Key remapping ('as') in mapped types is not supported"),g("]");let k=false,w=o("+")||o("-")?l().value:null;o("?")&&(l(),k=w!=="-"),g(":");let j=D(ie(u,[{name:d.value}]));return (o(";")||o(","))&&l(),g("}"),{node:y({type:"TSMappedType",key:d.value,constraint:x.node,typeAnnotation:j.node,optional:k},h),schema:{t:"mapped",key:d.value,over:x.schema,body:j.schema,optional:k}}},I=u=>{let h=c();g("{");let d=[],x={},k,w=[];for(;!o("}");){let $=c();if(o("(")){let J=V(u);g(":");let B=D(u);w.push({t:"fn",params:J.map(W=>W.schema),returns:B.schema}),d.push(y({type:"TSCallSignatureDeclaration",params:J.map(W=>W.node),returnType:B.node},$));}else if(o("[")){l(),c().type!=="Identifier"&&f("Expected index signature parameter name"),l(),g(":");let J=c();(J.type!=="Identifier"||J.value!=="string"&&J.value!=="number")&&f("Index signature parameter type must be 'string' or 'number'"),l(),g("]"),g(":");let B=D(u);k={key:J.value,value:B.schema},d.push(y({type:"TSIndexSignature",keyType:J.value,typeAnnotation:B.node},$));}else {let J=c(),B;if(J.type==="Identifier"||J.type==="Keyword")l(),B=J.value;else if(J.type==="String")l(),B=s(J.value.slice(1,-1));else if(J.type==="Number")l(),B=J.value;else return f("Expected property name in object type");let W=o("?");W&&l(),g(":");let ce=D(u);x[B]={type:ce.schema,...W?{optional:true}:{}},d.push(y({type:"TSPropertySignature",key:B,typeAnnotation:ce.node,...W?{optional:true}:{}},$));}if(o(";")||o(","))l();else break}g("}");let j=y({type:"TSTypeLiteral",members:d},h);return w.length>0?Object.keys(x).length>0||k?f("Callable object types (call signatures mixed with members) are not supported"):{node:j,schema:w.length===1?w[0]:{t:"overload",signatures:w}}:{node:j,schema:{t:"object",props:x,...k?{index:k}:{}}}};return {parseType:u=>D(be(u)),parseTypeParamList:()=>P(be()),parseTypeInScope:u=>D(ie(be(),u))}};var te=class extends TSLiteError{constructor(l,o,p,g,f){super("parse-error",`${l} (${o.line}:${o.column})`,{position:o,index:p,loc:g,end:f});this.position=o;this.index=p;this.loc=g;this.end=f;this.name="ParseError";}},bt=r=>{let c=r;return c!=null&&typeof c.start=="number"&&c.start===c.end&&c.start>=0},De=(r,c)=>Object.assign(r,{start:c.start,end:c.start,loc:{start:c.loc.start,end:c.loc.start}}),xt={"??":1,"||":2,"&&":3,"|":4,"^":5,"&":6,"==":7,"===":7,"!=":7,"!==":7,"<":8,"<=":8,">":8,">=":8,in:8,as:8,satisfies:8,"<<":9,">>":9,">>>":9,"+":10,"-":10,"*":11,"/":11,"%":11,"**":12},St=new Set(["??","||","&&"]),vt=new Set(["class","debugger","with","enum","interface"]),kt={enum:'use a union of literals (`type T = "a" | "b"`) \u2014 it is serializable',interface:"use a type alias (`type X = { \u2026 }`)",namespace:"use modules (`import`/`export`)",module:"use modules (`import`/`export`)",declare:"declare the shape via the DI env, or with a `type` alias",abstract:"classes are not part of the language \u2014 model with objects + functions"},wt={namespace:(r,c)=>r.type==="Identifier"&&c.type==="Punctuator"&&c.value==="{",module:(r,c)=>r.type==="Identifier"&&c.type==="Punctuator"&&c.value==="{",declare:r=>r.type==="Keyword"&&["const","let","var","function","class","enum","interface"].includes(r.value)||r.type==="Identifier"&&["type","namespace","module"].includes(r.value),abstract:r=>r.type==="Keyword"&&r.value==="class"},Pt=new Set(["=","+=","-=","*=","/=","%="]);function xe(r){let c=[],l=[],o=ae(r,e=>l.push(e),e=>c.push({code:"lex-error",...e})),p=0,g=[],f=(e=0)=>o[Math.min(p+e,o.length-1)],s=()=>o[p++],y=()=>o[p-1],F=()=>{let e=o[p],n=o[p-1];return !!e&&!!n&&e.loc.start.line>n.loc.end.line},T=()=>f().type==="EOF",a=e=>f().type==="Punctuator"&&f().value===e,P=e=>f().type==="Keyword"&&f().value===e,A=e=>f().type==="Identifier"&&f().value===e,R=(e,n=f())=>{throw D(e,n),new te(e,n.loc.start,n.start,n.loc,n.end)},D=(e,n=f())=>{let t=c[c.length-1];t&&t.index===n.start||c.push({code:"parse-error",message:e,position:n.loc.start,index:n.start,loc:n.loc,end:n.end});},v=e=>(a(e)||R(`Expected '${e}' but got '${f().value||f().type}'`),s()),b=(e,n)=>{let t=y()??n;return Object.assign(e,{start:n.start,end:t.end,loc:{start:n.loc.start,end:t.loc.end}})},m=(e,n,t)=>Object.assign(e,{start:n.start,end:t.end,loc:{start:n.loc.start,end:t.loc.end}}),M=e=>{let n="";for(let t=0;t<e.length;t++){if(e[t]!=="\\"){n+=e[t];continue}let i=e[++t];switch(i){case "n":n+=`
|
|
6
|
-
`;break;case "t":n+=" ";break;case "r":n+="\r";break;case "b":n+="\b";break;case "f":n+="\f";break;case "v":n+="\v";break;case "0":n+="\0";break;case "x":n+=String.fromCharCode(parseInt(e.slice(t+1,t+3),16)),t+=2;break;case "u":if(e[t+1]==="{"){let S=e.indexOf("}",t);n+=String.fromCodePoint(parseInt(e.slice(t+2,S),16)),t=S;}else n+=String.fromCharCode(parseInt(e.slice(t+1,t+5),16)),t+=4;break;default:n+=i;}}return n},E=(e=false)=>X(e),X=(e=false)=>{let n=V(e),t=f();if(t.type==="Punctuator"&&Pt.has(t.value)){s();let i=X();return m({type:"AssignmentExpression",operator:t.value,left:n,right:i},n,i)}return n},V=(e=false)=>{let n=N(0,e);if(!a("?"))return n;s();let t=E();v(":");let i=E();return m({type:"ConditionalExpression",test:n,consequent:t,alternate:i},n,i)},z=()=>{let e=f();if(e.type==="Keyword")return e.value==="in"?{op:"in",consume:1}:null;if(e.type==="Identifier")return e.value==="as"?{op:"as",consume:1}:e.value==="satisfies"?{op:"satisfies",consume:1}:null;if(e.type!=="Punctuator")return null;if(e.value===">"){let n=f(1);if(n.type==="Punctuator"&&n.value===">"&&e.end===n.start){let t=f(2);return t.type==="Punctuator"&&t.value===">"&&n.end===t.start?{op:">>>",consume:3}:{op:">>",consume:2}}return {op:">",consume:1}}return {op:e.value,consume:1}},N=(e,n=false)=>{let t=L();for(;;){let i=z();if(!i)break;let{op:S,consume:C}=i;if(S==="in"&&n)break;let O=xt[S];if(!O||O<=e)break;if(S==="satisfies"){if(F())break;R("'satisfies' is not supported in this language \u2014 a type annotation (`const x: T = \u2026`) also checks compatibility, but it declares the type as T, while 'satisfies' keeps the inferred one");}if(S==="as"){if(F())break;s();let K=oe(new Set);t=m({type:"TSAsExpression",expression:t,typeAnnotation:K.schema,typeAnnotationNode:K.node},t,y());continue}for(let K=0;K<C;K++)s();let _=N(S==="**"?O-1:O,n);t=m({type:St.has(S)?"LogicalExpression":"BinaryExpression",operator:S,left:t,right:_},t,_);}return t},L=()=>{let e=f();return e.type==="Punctuator"&&(e.value==="++"||e.value==="--")?(s(),b({type:"UpdateExpression",operator:e.value,prefix:true,argument:L()},e)):P("await")?(s(),b({type:"AwaitExpression",argument:L()},e)):P("typeof")||P("void")||P("delete")||e.type==="Punctuator"&&(e.value==="!"||e.value==="-"||e.value==="+"||e.value==="~")?U(e):u()},U=e=>{s();let n=L();return a("**")&&R(`An unary expression with the '${e.value}' operator is not allowed in the left-hand side of an exponentiation expression. Consider enclosing the expression in parentheses.`),b({type:"UnaryExpression",operator:e.value,prefix:true,argument:n},e)},I=()=>{let e=p,n=c.length,t=()=>(p=e,c.length=n,void 0);try{if(s(),a(">"))return t();let i=[];for(;i.push(oe(new Set).schema),!!a(",");)s();return a(">")?(s(),a("(")?i:t()):t()}catch{return t()}},u=()=>{let e=Me(),n=false;for(;;)if(a("?."))if(s(),n=true,a("(")){let{args:t,close:i}=h();e=m({type:"CallExpression",callee:e,arguments:t,optional:true},e,i);}else if(a("[")){s();let t=E(),i=v("]");e=m({type:"MemberExpression",object:e,property:t,computed:true,optional:true},e,i);}else {let t=f();t.type!=="Identifier"&&t.type!=="Keyword"&&R("Expected property name after '?.'"),s();let i=b({type:"Identifier",name:t.value},t);e=m({type:"MemberExpression",object:e,property:i,computed:false,optional:true},e,i);}else if(a(".")){s();let t=f(),i;t.type==="Identifier"||t.type==="Keyword"?(s(),i=b({type:"Identifier",name:t.value},t)):(D("Expected property name"),i=De({type:"Identifier",name:""},t)),e=m({type:"MemberExpression",object:e,property:i,computed:false,optional:false},e,i);}else if(a("[")){s();let t=E(),i=v("]");e=m({type:"MemberExpression",object:e,property:t,computed:true,optional:false},e,i);}else if(a("(")){let{args:t,close:i}=h();e=m({type:"CallExpression",callee:e,arguments:t,optional:false},e,i);}else if(a("<")){let t=I();if(!t)break;let{args:i,close:S}=h();e=m({type:"CallExpression",callee:e,arguments:i,optional:false,typeArguments:t},e,S);}else if(a("++")||a("--")){let t=s();e=m({type:"UpdateExpression",operator:t.value,prefix:false,argument:e},e,t);}else break;return n?m({type:"ChainExpression",expression:e},e,e):e},h=()=>{v("(");let e=[];for(;!a(")");)e.push(d()),a(")")||v(",");return {args:e,close:v(")")}},d=()=>{if(a("...")){let e=s(),n=E();return m({type:"SpreadElement",argument:n},e,n)}return E()},x=()=>{let e=f();return e.type!=="Identifier"&&R("Expected identifier"),s(),b({type:"Identifier",name:e.value},e)},k=e=>{let n=a("{")?w(e):a("[")?j(e):x();if(a(":")){s();let t=oe(e);n.typeAnnotation=t.schema,n.typeAnnotationNode=t.node;}return n},w=e=>{let n=v("{"),t=[];for(;!a("}");){if(a("...")){let S=s(),C=k(e);t.push(m({type:"RestElement",argument:C},S,C));}else {let S=x(),C,O=false;if(a(":")?(s(),C=k(e)):(C={...S},O=true),a("=")){s();let _=E();C=m({type:"AssignmentPattern",left:C,right:_},C,_);}t.push(m({type:"Property",key:S,value:C,kind:"init",shorthand:O,computed:false},S,C));}a("}")||v(",");}let i=v("}");return m({type:"ObjectPattern",properties:t},n,i)},j=e=>{let n=v("["),t=[];for(;!a("]");){if(a(",")){t.push(null),s();continue}if(a("...")){let S=s(),C=k(e);t.push(m({type:"RestElement",argument:C},S,C));}else {let S=k(e);if(a("=")){s();let C=E();S=m({type:"AssignmentPattern",left:S,right:C},S,C);}t.push(S);}a("]")||v(",");}let i=v("]");return m({type:"ArrayPattern",elements:t},n,i)},$=()=>{let e=0;for(let n=p;n<o.length;n++){let t=o[n];if(t.type==="EOF")return false;if(t.type==="Punctuator"){if(t.value==="("||t.value==="["||t.value==="{")e++;else if((t.value===")"||t.value==="]"||t.value==="}")&&(e--,e===0)){let i=o[n+1];return !i||i.type!=="Punctuator"?false:i.value==="=>"?true:i.value===":"?J(n+2):false}}}return false},J=e=>{let n=0;for(let t=e;t<o.length;t++){let i=o[t];if(i.type==="EOF")return false;if(i.type==="Punctuator")if(["(","[","{","<"].includes(i.value))n++;else if([")","]","}",">"].includes(i.value)){if(n===0)return false;n--;}else {if(n===0&&i.value==="=>")return true;if(n===0&&(i.value===";"||i.value===","))return false}}return false},B=(e=new Set)=>{v("(");let n=[];for(;!a(")");){if(a("...")){let t=s(),i=k(e);n.push(m({type:"RestElement",argument:i},t,i));}else {let t=k(e);if(a("=")){s();let i=E();t=m({type:"AssignmentPattern",left:t,right:i},t,i);}n.push(t);}a(")")||v(",");}return v(")"),n},W=(e,n)=>{let t=a("(")?B():[x()],i,S;if(a(":")){s();let O=oe(new Set);i=O.schema,S=O.node;}v("=>");let C=a("{")?se():E();return b({type:"ArrowFunctionExpression",params:t,body:C,async:e,expression:C.type!=="BlockStatement",generator:false,...i?{returnType:i,returnTypeNode:S}:{}},n)},ce=()=>{let e=v("["),n=[];for(;!a("]");){if(a(",")){s(),n.push(null);continue}n.push(d()),a("]")||v(",");}return m({type:"ArrayExpression",elements:n},e,v("]"))},Xe=()=>{let e=v("{"),n=[];for(;!a("}");){if(a("...")){let t=s(),i=E();n.push(m({type:"SpreadElement",argument:i},t,i));}else {let t=f(),i,S=false;if(a("["))S=true,s(),i=E(),v("]");else if(t.type==="String")s(),i=b({type:"Literal",value:M(t.value.slice(1,-1)),raw:t.value},t);else if(t.type==="Number")s(),i=b({type:"Literal",value:Number(t.value),raw:t.value},t);else if(t.type==="Identifier"||t.type==="Keyword")s(),i=b({type:"Identifier",name:t.value},t);else return R("Invalid property key");if(a(":")){s();let C=E();n.push(m({type:"Property",key:i,value:C,kind:"init",shorthand:false,computed:S},t,C));}else n.push(m({type:"Property",key:i,value:i,kind:"init",shorthand:true,computed:false},t,i));}a("}")||v(",");}return m({type:"ObjectExpression",properties:n},e,v("}"))},pe=(e,n)=>({type:"TemplateElement",value:{raw:e,cooked:M(e)},tail:n}),Ue=e=>{s();let n=[pe(e.value,false)],t=[];for(;;){t.push(E());let i=f();if(i.type==="TemplateMiddle")s(),n.push(pe(i.value,false));else if(i.type==="TemplateTail"){s(),n.push(pe(i.value,true));break}else R("Expected `}` to close template interpolation");}return b({type:"TemplateLiteral",quasis:n,expressions:t},e)},re=()=>{let e=f();return e.type!=="Identifier"&&R(`Expected JSX identifier but got '${e.value||e.type}'`),b({type:"JSXIdentifier",name:s().value},e)},ke=()=>{let e=re();if(a(":")){s();let n=re();return m({type:"JSXNamespacedName",namespace:e,name:n},e,n)}for(;a(".");){s();let n=re();e=m({type:"JSXMemberExpression",object:e,property:n},e,n);}return e},Q=e=>e.type==="JSXIdentifier"?e.name:e.type==="JSXNamespacedName"?`${Q(e.namespace)}:${Q(e.name)}`:`${Q(e.object)}.${Q(e.property)}`,Ke=()=>{let e=f();if(e.type==="String")return s(),b({type:"Literal",value:M(e.value.slice(1,-1)),raw:e.value},e);if(a("{")){let n=s(),t=X(),i=v("}");return m({type:"JSXExpressionContainer",expression:t},n,i)}return a("<")?fe():R(`Invalid JSX attribute value '${e.value||e.type}'`)},$e=()=>{let e=[];for(;!a(">")&&!a("/>")&&!T();){if(a("{")){let i=s();v("...");let S=X(),C=v("}");e.push(m({type:"JSXSpreadAttribute",argument:S},i,C));continue}let n=re();if(a(":")){s();let i=re();n=m({type:"JSXNamespacedName",namespace:n,name:i},n,i);}let t=null;a("=")&&(s(),t=Ke()),e.push(m({type:"JSXAttribute",name:n,value:t},n,t??n));}return e},we=()=>{let e=[];for(;!(a("</")||T());){let n=f();if(n.type==="JSXText")s(),e.push(b({type:"JSXText",value:n.value,raw:n.value},n));else if(a("{")){let t=s();if(a("}")){let i=s(),S=b({type:"JSXEmptyExpression"},t);e.push(m({type:"JSXExpressionContainer",expression:S},t,i));}else {let i=X(),S=v("}");e.push(m({type:"JSXExpressionContainer",expression:i},t,S));}}else a("<")?e.push(fe()):R(`Unexpected token in JSX children '${n.value||n.type}'`);}return e},fe=()=>{let e=v("<");if(a(">")){let Y=s(),ne=m({type:"JSXOpeningFragment"},e,Y),ot=we(),st=v("</"),Ce=v(">"),at=m({type:"JSXClosingFragment"},st,Ce);return m({type:"JSXFragment",openingFragment:ne,children:ot,closingFragment:at},e,Ce)}let n=ke(),t=$e();if(a("/>")){let Y=s(),ne=m({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:true},e,Y);return m({type:"JSXElement",openingElement:ne,children:[],closingElement:null},e,Y)}let i=v(">"),S=m({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:false},e,i),C=we(),O=v("</"),_=f(),K=ke();Q(K)!==Q(n)&&R(`JSX closing tag </${Q(K)}> does not match opening <${Q(n)}>`,_);let H=v(">"),G=m({type:"JSXClosingElement",name:K},O,H);return m({type:"JSXElement",openingElement:S,children:C,closingElement:G},e,H)},Me=()=>{let e=f();if(P("async")){let n=f(1);return n.value==="("||n.type==="Identifier"?(s(),W(true,e)):R("Unexpected 'async'")}if(a("(")&&$()||e.type==="Identifier"&&f(1).type==="Punctuator"&&f(1).value==="=>")return W(false,e);if(e.type==="Number")return s(),b({type:"Literal",value:Number(e.value),raw:e.value},e);if(e.type==="String")return s(),b({type:"Literal",value:M(e.value.slice(1,-1)),raw:e.value},e);if(e.type==="Template")return s(),b({type:"TemplateLiteral",expressions:[],quasis:[pe(e.value,true)]},e);if(e.type==="TemplateHead")return Ue(e);if(e.type==="Keyword")return e.value==="true"?(s(),b({type:"Literal",value:true,raw:"true"},e)):e.value==="false"?(s(),b({type:"Literal",value:false,raw:"false"},e)):e.value==="null"?(s(),b({type:"Literal",value:null,raw:"null"},e)):e.value==="new"?R("'new' is not supported \u2014 the language has no constructors (FP / portable IR). Use a factory function provided via DI (e.g. `now()` instead of `new Date()`)."):e.value==="function"?R("Anonymous functions are not supported \u2014 use an arrow function"):R(`'${e.value}' is not supported in this language`);if(e.type==="Identifier")return s(),b({type:"Identifier",name:e.value},e);if(a("(")){s();let n=E();return v(")"),n}return a("[")?ce():a("{")?Xe():a("<")?fe():R(`Unexpected token '${e.value||e.type}'`)},{parseType:oe,parseTypeParamList:Be,parseTypeInScope:_e}=je({tokens:o,pos:()=>p,peek:f,next:s,isP:a,isK:P,expectP:v,fail:R,recordError:D,createMissingNode:De,unescape:M,typeRefs:g}),ze=()=>{let e=s(),n=x(),t=[],i=[];a("<")&&(i=Be(),t=i.map(O=>O.name)),v("=");let S=_e(i),C=m({type:"TSTypeAliasDeclaration",id:n,typeParameters:t,typeAnnotation:S.schema,typeNode:S.node},e,y());return a(";")&&s(),C},q=()=>{let e=f();if(e.type==="Identifier"&&e.value==="type"&&f(1).type==="Identifier"&&f(2).type==="Punctuator"&&(f(2).value==="="||f(2).value==="<"))return ze();if(P("const")||P("let")||P("var")){let S=Pe();return a(";")&&s(),S}if(P("if"))return Ze();if(P("for"))return Ge();if(P("while"))return Ye();if(P("do"))return Qe();if(P("break")||P("continue"))return qe();if(P("return"))return et();if(P("throw"))return tt();if(P("try"))return nt();if(P("switch"))return rt();if(P("import"))return He();if(P("export"))return Ve();if(a("{"))return se();if((P("function")||P("async")&&f(1).type==="Keyword"&&f(1).value==="function")&&R("Function declarations are not supported \u2014 use 'const fn = () => \u2026'"),a(";"))return s(),b({type:"EmptyStatement"},e);if(e.type==="Keyword"&&vt.has(e.value)||e.type==="Identifier"&&wt[e.value]?.(f(1),f(2))===true){let S=kt[e.value];R(`'${e.value}' is not supported in this language`+(S?` \u2014 ${S}`:""));}let t=E(),i=a(";")?s():y();return m({type:"ExpressionStatement",expression:t},t,i)},Pe=()=>{let e=s(),n=e.value,t=()=>{let S=k(new Set),C=null;return a("=")?(s(),C=E()):n==="const"&&D("'const' declarations must be initialized"),m({type:"VariableDeclarator",id:S,init:C},S,C??S)},i=[t()];for(;a(",");)s(),i.push(t());return m({type:"VariableDeclaration",kind:n,declarations:i},e,i[i.length-1])},We=()=>{let e=f();return e.type!=="String"&&R("Expected module specifier string"),s(),b({type:"Literal",value:M(e.value.slice(1,-1)),raw:e.value},e)},He=()=>{let e=s(),n=[];if(f().type!=="String"){if(f().type==="Identifier"){let i=x();n.push(m({type:"ImportDefaultSpecifier",local:i},i,i)),a(",")&&s();}if(a("*")){let i=s();A("as")||R("Expected 'as' after '*' in import"),s();let S=x();n.push(m({type:"ImportNamespaceSpecifier",local:S},i,S));}else if(a("{")){for(s();!a("}")&&!T();){let i=x(),S=i;if(A("as")&&(s(),S=x()),n.push(m({type:"ImportSpecifier",imported:i,local:S},i,S)),a(","))s();else break}v("}");}A("from")||R("Expected 'from' in import declaration"),s();}let t=We();return a(";")&&s(),b({type:"ImportDeclaration",specifiers:n,source:t},e)},Ve=()=>{let e=s();if(P("default")){s();let n=E();return a(";")&&s(),b({type:"ExportDefaultDeclaration",declaration:n},e)}if(P("const")||P("let")||P("var")){let n=Pe();return a(";")&&s(),b({type:"ExportNamedDeclaration",declaration:n,specifiers:[],source:null},e)}if(a("{")){s();let n=[];for(;!a("}")&&!T();){let t=x(),i=t;if(A("as")&&(s(),i=x()),n.push(m({type:"ExportSpecifier",local:t,exported:i},t,i)),a(","))s();else break}return v("}"),a(";")&&s(),b({type:"ExportNamedDeclaration",declaration:null,specifiers:n,source:null},e)}return R("Expected 'const', '{', or 'default' after 'export'")},Ne=()=>f().type==="Identifier"&&f().value==="of",ye=()=>P("in"),Ge=()=>{let e=s();v("(");let n=null,t=null;if(!a(";"))if(P("const")||P("let")||P("var")){let O=s(),_=()=>{let H=x();if(a(":")){s();let G=oe(new Set);H.typeAnnotation=G.schema,H.typeAnnotationNode=G.node;}return H},K=_();if(Ne()||ye()){let H=m({type:"VariableDeclarator",id:K,init:null},K,K);t=m({type:"VariableDeclaration",kind:O.value,declarations:[H]},O,K);}else {let H=Y=>{let ne=null;return a("=")?(s(),ne=E(true)):O.value==="const"&&R("'const' declarations must be initialized"),m({type:"VariableDeclarator",id:Y,init:ne},Y,ne??Y)},G=[H(K)];for(;a(",");)s(),G.push(H(_()));n=m({type:"VariableDeclaration",kind:O.value,declarations:G},O,G[G.length-1]);}}else {let O=E(true);Ne()||ye()?t=O:n=O;}if(t){let O=ye();s();let _=E();v(")");let K=q();return m(O?{type:"ForInStatement",left:t,right:_,body:K}:{type:"ForOfStatement",left:t,right:_,body:K,await:false},e,K)}v(";");let i=a(";")?null:E();v(";");let S=a(")")?null:E();v(")");let C=q();return m({type:"ForStatement",init:n,test:i,update:S,body:C},e,C)},Qe=()=>{let e=s(),n=q();P("while")||R("Expected 'while' after the 'do' body"),s(),v("(");let t=E(),i=v(")");return a(";")&&s(),m({type:"DoWhileStatement",body:n,test:t},e,i)},qe=()=>{let e=s(),n=e.value==="break"?"BreakStatement":"ContinueStatement",t=a(";")?s():y();return m({type:n,label:null},e,t)},Ye=()=>{let e=s();v("(");let n=E();v(")");let t=q();return m({type:"WhileStatement",test:n,body:t},e,t)},Ze=()=>{let e=s();v("(");let n=E();v(")");let t=q(),i=null;return P("else")&&(s(),i=q()),m({type:"IfStatement",test:n,consequent:t,alternate:i},e,i??t)},et=()=>{let e=s(),n=null;!a(";")&&!a("}")&&!T()&&(n=E());let t=a(";")?s():y();return m({type:"ReturnStatement",argument:n},e,t)},tt=()=>{let e=s(),n=E(),t=a(";")?s():y();return m({type:"ThrowStatement",argument:n},e,t)},nt=()=>{let e=s(),n=se(),t=null,i=null;if(P("catch")){let S=s(),C=null;a("(")&&(s(),C=x(),v(")"));let O=se();t=m({type:"CatchClause",param:C,body:O},S,O);}return P("finally")&&(s(),i=se()),!t&&!i&&R("'try' requires a 'catch' or 'finally' clause"),m({type:"TryStatement",block:n,handler:t,finalizer:i},e,i??t??n)},rt=()=>{let e=s();v("(");let n=E();v(")"),v("{");let t=[];for(;!a("}")&&!T();){let S=f(),C=null;P("case")?(s(),C=E()):P("default")?s():R("Expected 'case' or 'default' in switch"),v(":");let O=[];for(;!a("}")&&!P("case")&&!P("default")&&!T();)O.push(q());t.push(m({type:"SwitchCase",test:C,consequent:O},S,y()??S));}let i=v("}");return m({type:"SwitchStatement",discriminant:n,cases:t},e,i)},se=()=>{let e=v("{"),n=Ee(()=>a("}"));return m({type:"BlockStatement",body:n},e,v("}"))},Ee=e=>{let n=[];for(;!e()&&!T();){if(f().type==="Unknown"){s();continue}try{n.push(q());}catch(t){if(!(t instanceof te))throw t;T()||s();}}return n};return {parseExpr:E,parseProgram:()=>{let e=f(),n=Ee(()=>false);return m({type:"Program",sourceType:"module",body:n,...g.length?{typeRefs:g}:{},...l.length?{comments:l}:{},...c.length?{parseDiagnostics:c}:{}},e,y()??e)},eof:T,fail:R,recordError:D,diagnostics:c}}function Je(r){let c=xe(r),l=c.parseProgram(),o=l.comments;return o?.length&&Te(l,o,r),{ast:l,diagnostics:c.diagnostics}}function Nt(r){let{ast:c,diagnostics:l}=Je(r),o=l[0];if(o){let p=o.code==="lex-error"?ee:te;throw new p(o.message,o.position,o.index,o.loc,o.end)}return c}function Et(r){let c=xe(r),l=c.parseExpr();c.eof()||c.fail("Unexpected token after expression");let o=c.diagnostics[0];if(o){let p=o.code==="lex-error"?ee:te;throw new p(o.message,o.position,o.index,o.loc,o.end)}return l}function Se(r){let c=xe(r),l;try{l=c.parseExpr(),c.eof()||c.recordError("Unexpected token after expression");}catch(o){if(!(o instanceof te)&&!(o instanceof ee))throw o}return {ast:l,diagnostics:c.diagnostics}}var Fe="{{";function Ct(r){let c=[0];for(let l=0;l<r.length;l++)r[l]===`
|
|
7
|
-
`&&c.push(l+1);return c}function de(r,c){let l=0,o=r.length-1;for(;l<o;){let p=l+o+1>>1;r[p]<=c?l=p:o=p-1;}return {line:l+1,column:c-r[l]}}var le=(r,c,l)=>({start:de(r,c),end:de(r,l)});function ve(r,c,l){if(Array.isArray(r)){for(let p of r)ve(p,c,l);return}if(!r||typeof r!="object")return;let o=r;typeof o.start=="number"&&typeof o.end=="number"&&(o.start+=c,o.end+=c,o.loc=le(l,o.start,o.end));for(let p in o)p!=="loc"&&ve(o[p],c,l);}function It(r,c,l){let o=r.index+c,p=r.end+c;return {...r,index:o,end:p,position:de(l,o),loc:le(l,o,p)}}var Lt=(r,c,l,o)=>({code:"parse-error",message:r,index:c,end:l,position:de(o,c),loc:le(o,c,l)}),Rt=new Set(["{","(","["]),At=new Set(["}",")","]"]);function Ot(r,c){let l=ae(r.slice(c),void 0,()=>{}),o=0;for(let p=0;p<l.length;p++){let g=l[p];if(g.type==="Punctuator"){if(Rt.has(g.value))o++;else if(At.has(g.value)){if(o>0)o--;else if(g.value==="}"){let f=l[p+1];if(f?.type==="Punctuator"&&f.value==="}"&&f.start===g.end)return c+g.start}}}}return -1}function jt(r){let c=Ct(r),l=[],o=[],p=[],g=0,f=0;for(;f<r.length;)if(r[f]==="{"&&r[f+1]==="{"){let a=f+Fe.length,P=Ot(r,a);if(P===-1){p.push(Lt("Unterminated '{{' \u2014 expected '}}'.",f,r.length,c));break}l.push({text:r.slice(g,f),start:g}),o.push({inner:r.slice(a,P),start:a}),g=P+Fe.length,f=g;}else f++;l.push({text:r.slice(g),start:g});let s=o.map(a=>{let{ast:P,diagnostics:A}=Se(a.inner);ve(P,a.start,c);for(let R of A)p.push(It(R,a.start,c));return P});if(p.length)return {kind:"error",diagnostics:p};if(o.length===0)return {kind:"literal"};let y=s;if(o.length===1&&l.every(a=>a.text===""))return {kind:"expression",node:y[0]};let F=(a,P)=>({type:"TemplateElement",value:{raw:a.text,cooked:a.text},tail:P,start:a.start,end:a.start+a.text.length,loc:le(c,a.start,a.start+a.text.length)});return {kind:"template",node:{type:"TemplateLiteral",quasis:l.map((a,P)=>F(a,P===l.length-1)),expressions:y,start:0,end:r.length,loc:le(c,0,r.length)}}}export{Le as KEYWORDS,ee as LexError,te as ParseError,Te as attachComments,bt as nodeIsMissing,Nt as parse,Et as parseExpression,Se as parseExpressionTolerant,jt as parseInterpolated,Je as parseTolerant,ae as tokenize};
|
|
1
|
+
import {TSLiteError}from'@tslite/core';var ee=class extends TSLiteError{constructor(i,s,u,S,f){super("lex-error",`${i} (${s.line}:${s.column})`,{position:s,index:u,loc:S,end:f});this.position=s;this.index=u;this.loc=S;this.end=f;this.name="LexError";}},Le=new Set(["const","if","else","return","async","await","true","false","null","typeof","let","var","function","class","new","for","while","do","this","throw","try","catch","finally","switch","case","break","continue","default","void","delete","instanceof","in","yield","import","export","extends","super","debugger","with","enum","interface"]),it=["...","===","!==","=>","?.","??","==","!=","<=",">=","&&","||","|","&","++","--","+=","-=","*=","/=","%=","**","<<","+","-","*","/","%","<",">","!","?",":",".",",",";","=","^","~","(",")","[","]","{","}"],ue=o=>o>="a"&&o<="z"||o>="A"&&o<="Z"||o==="_"||o==="$",de=o=>ue(o)||o>="0"&&o<="9",Z=o=>o>="0"&&o<="9",Ae=o=>Z(o)||o>="a"&&o<="f"||o>="A"&&o<="F",lt=o=>de(o)||o==="-",ie=o=>o===`
|
|
2
|
+
`||o==="\r"||o==="\u2028"||o==="\u2029",pe=(o,c)=>{let i=c;for(;;){let s=o[i]??"";if(s===" "||s===" "||s==="\f"||s==="\v"||ie(s))i++;else if(s==="/"&&o[i+1]==="/")for(i+=2;i<o.length&&!ie(o[i]??"");)i++;else if(s==="/"&&o[i+1]==="*"){for(i+=2;i<o.length&&!(o[i]==="*"&&o[i+1]==="/");)i++;i+=2;}else return i}},ct=(o,c)=>{if(!ue(o[c]??""))return c;let i=c+1;for(;de(o[i]??"");)i++;return i},Re=(o,c,i)=>o.startsWith(i,c)&&!de(o[c+i.length]??""),pt=(o,c)=>{let i=pe(o,c);Re(o,i,"const")&&(i=pe(o,i+5));let s=ct(o,i);if(s===i)return false;if(i=pe(o,s),Re(o,i,"extends")){let u=pe(o,i+7),S=o[u]??"";return !(S==="="||S===">"||S==="/")}return o[i]===","?true:o[i]==="="&&o[i+1]!==">"},ut=new Set(["(","[","{",",",";",":","?","=>","...","=","+","-","*","/","%","<","<=",">",">=","==","===","!=","!==","&&","||","??","!","+=","-=","*=","/=","%="]),dt=new Set(["return","typeof","await","delete","void","in","instanceof","else","case","yield","throw"]);function he(o,c,i){let s=[],u=0,S=1,f=0,r=()=>({line:S,column:f}),y=(N=0)=>o[u+N]??"",X=N=>{let A=r(),F={start:A,end:{line:S,column:f+1}};if(i){i({message:N,position:A,index:u,loc:F,end:u+1});return}throw new ee(N,A,u,F,u+1)},g=()=>{let N=o[u++];return N==="\r"?(o[u]===`
|
|
3
|
+
`&&u++,S++,f=0):N===`
|
|
4
|
+
`||N==="\u2028"||N==="\u2029"?(S++,f=0):f++,N},l=()=>{for(;;){let N=y();if(N===" "||N===" "||N==="\f"||N==="\v"||ie(N))g();else if(N==="/"&&y(1)==="/"){let A=u,F=r();g(),g();let C=u;for(;u<o.length&&!ie(y());)g();c?.({type:"Line",value:o.slice(C,u),start:A,end:u,loc:{start:F,end:r()}});}else if(N==="/"&&y(1)==="*"){let A=u,F=r();g(),g();let C=u,D=u;for(;;){if(u>=o.length){X("Unterminated block comment"),D=u;break}if(y()==="*"&&y(1)==="/"){D=u,g(),g();break}g();}c?.({type:"Block",value:o.slice(C,D),start:A,end:u,loc:{start:F,end:r()}});}else break}},b=(N,A,F,C)=>{s.push({type:N,value:A,start:F,end:u,loc:{start:C,end:r()}}),z=N==="Punctuator"?ut.has(A):N==="Keyword"?dt.has(A):N==="TemplateHead"||N==="TemplateMiddle";},H=N=>{for(g();u<o.length;){let A=y();if(A===N)return g(),o.slice(d,u);if(ie(A))return X("Unterminated string literal"),o.slice(d,u);if(A==="\\"){if(g(),u>=o.length)return X("Unterminated string literal"),o.slice(d,u);g();continue}g();}return X("Unterminated string literal"),o.slice(d,u)},R=()=>{if(y()==="0"&&(y(1)==="x"||y(1)==="X")){if(g(),g(),!Ae(y()))return X("Invalid hexadecimal literal");for(;Ae(y());)g();return}if(y()==="0"&&(y(1)==="b"||y(1)==="B")){if(g(),g(),y()!=="0"&&y()!=="1")return X("Invalid binary literal");for(;y()==="0"||y()==="1";)g();return}if(y()==="0"&&(y(1)==="o"||y(1)==="O")){if(g(),g(),!(y()>="0"&&y()<="7"))return X("Invalid octal literal");for(;y()>="0"&&y()<="7";)g();return}for(;Z(y());)g();if(y()===".")for(g();Z(y());)g();if(y()==="e"||y()==="E"){if(g(),(y()==="+"||y()==="-")&&g(),!Z(y()))return X("Invalid exponent");for(;Z(y());)g();}},O=()=>{let N=u;for(;u<o.length;){let A=y();if(A==="`"){let F=o.slice(N,u);return g(),{raw:F,interp:false}}if(A==="$"&&y(1)==="{"){let F=o.slice(N,u);return g(),g(),{raw:F,interp:true}}if(A==="\\"){if(g(),u>=o.length)break;g();continue}g();}return X("Unterminated template literal"),{raw:o.slice(N,u),interp:false}},d=0,I=0,T=[],z=true,P="js",B=[],W=[];for(;;){if(P==="jsxChildren"){d=u;let C=r();if(u>=o.length){b("EOF","",d,C);break}let D=y();if(D==="<"){y(1)==="/"?(g(),g(),b("Punctuator","</",d,C),P="jsxCloseTag"):(g(),b("Punctuator","<",d,C),B.push("jsxChildren"),P="jsxOpenTag");continue}if(D==="{"){g(),b("Punctuator","{",d,C),W.push({level:I,restore:"jsxChildren"}),P="js";continue}for(;u<o.length&&y()!=="<"&&y()!=="{";)g();b("JSXText",o.slice(d,u),d,C);continue}if(P==="jsxOpenTag"||P==="jsxCloseTag"){l(),d=u;let C=r();if(u>=o.length){b("EOF","",d,C);break}let D=y();if(ue(D)){for(g();lt(y());)g();b("Identifier",o.slice(d,u),d,C);continue}if(D==="/"&&y(1)===">"){g(),g(),b("Punctuator","/>",d,C),P=B.pop()??"js";continue}if(D===">"){g(),b("Punctuator",">",d,C),P=P==="jsxCloseTag"?B.pop()??"js":"jsxChildren";continue}if(D==="{"){g(),b("Punctuator","{",d,C),W.push({level:I,restore:P}),P="js";continue}if(D==='"'||D==="'"){b("String",H(D),d,C);continue}if(D==="="||D==="."||D===":"){g(),b("Punctuator",D,d,C);continue}X(`Unexpected character '${D}' in JSX tag`),g(),b("Unknown",D,d,C);continue}l(),d=u;let N=r();if(u>=o.length){b("EOF","",d,N);break}let A=y();if(ue(A)){for(;de(y());)g();let C=o.slice(d,u);b(Le.has(C)?"Keyword":"Identifier",C,d,N);continue}if(Z(A)||A==="."&&Z(y(1))){R(),b("Number",o.slice(d,u),d,N);continue}if(A==='"'||A==="'"){let C=H(A);b("String",C,d,N);continue}if(A==="`"){g();let{raw:C,interp:D}=O();D?(b("TemplateHead",C,d,N),T.push(I)):b("Template",C,d,N);continue}if(A==="<"&&z&&!pt(o,u+1)){g(),b("Punctuator","<",d,N),B.push("js"),P="jsxOpenTag";continue}if(A==="{"){g(),b("Punctuator","{",d,N),I++;continue}if(A==="}"){if(T.length>0&&I===T[T.length-1]){T.pop(),g();let{raw:C,interp:D}=O();b(D?"TemplateMiddle":"TemplateTail",C,d,N),D&&T.push(I);continue}if(W.length>0&&I===W[W.length-1].level){let{restore:C}=W.pop();g(),b("Punctuator","}",d,N),P=C;continue}g(),b("Punctuator","}",d,N),I--;continue}if(A==="?"&&y(1)==="."&&Z(y(2))){g(),b("Punctuator","?",d,N);continue}let F=it.find(C=>o.startsWith(C,u));if(F){for(let C=0;C<F.length;C++)g();b("Punctuator",F,d,N);continue}X(`Unexpected character '${A}'`),g(),b("Unknown",A,d,N);}return s}var ft=new Set(["leadingComments","trailingComments","innerComments","comments"]),je=o=>typeof o=="object"&&o!==null&&typeof o.type=="string"&&o.loc!=null&&typeof o.start=="number",De=new WeakMap;function yt(o){let c=De.get(o);if(c)return c;let i=[];for(let s of Object.keys(o)){if(ft.has(s))continue;let u=o[s];if(je(u))i.push(u);else if(Array.isArray(u))for(let S of u)je(S)&&i.push(S);}return i.sort((s,u)=>s.start-u.start),De.set(o,i),i}function mt(o,c){let i=o,s,u;for(;;){let S=yt(i);s=void 0,u=void 0;let f;for(let r of S){if(r.start<=c.start&&c.end<=r.end){f=r;break}if(r.end<=c.start)s=r;else if(c.end<=r.start){u=r;break}}if(!f)break;i=f;}return {enclosing:i,preceding:s,following:u}}var Te=(o,c)=>{(o.leadingComments??(o.leadingComments=[])).push(c);},fe=(o,c)=>{(o.trailingComments??(o.trailingComments=[])).push(c);},ge=(o,c)=>{(o.innerComments??(o.innerComments=[])).push(c);};function ht(o,c){for(let i=c;i<o.length;i++){let s=o[i];if(s!==" "&&s!==" "&&s!=="\r"&&s!==`
|
|
5
|
+
`&&s!=="\f")return s}return ""}var Tt=new Set([")","]","}",","]);function be(o,c,i=""){for(let s of c){let{enclosing:u,preceding:S,following:f}=mt(o,s),r=S==null||S.loc.end.line<s.loc.start.line,y=!r&&(f==null||s.loc.end.line<f.loc.start.line);if(r)f?Te(f,s):S?fe(S,s):ge(u,s);else if(y)S?fe(S,s):f?Te(f,s):ge(u,s);else {let X=Tt.has(ht(i,s.end));S&&X?fe(S,s):f?Te(f,s):S?fe(S,s):ge(u,s);}}}var ve=(o=[])=>({vars:new Set(o),bounds:new Map,noCond:false,inferSink:null}),oe=(o,c)=>{let i=new Set(o.vars),s=new Map(o.bounds);for(let u of c)i.add(u.name),u.bound||u.isConst?s.set(u.name,{bound:u.bound,isConst:u.isConst}):s.delete(u.name);return {vars:i,bounds:s,noCond:o.noCond,inferSink:o.inferSink}},gt=(o,c)=>{let i=o.bounds.get(c);return i&&(i.bound||i.isConst)?{t:"var",name:c,...i.bound?{bound:i.bound}:{},...i.isConst?{isConst:true}:{}}:{t:"var",name:c}},Oe=o=>{let{peek:c,next:i,isP:s,isK:u,expectP:S,fail:f,unescape:r}=o,y=(m,h)=>{let p=o.tokens[o.pos()-1]??h;return Object.assign(m,{start:h.start,end:p.end,loc:{start:h.loc.start,end:p.loc.end}})},X=()=>{let m=o.pos(),h=o.tokens[m],p=o.tokens[m-1];return !!p&&!!h&&h.loc.start.line>p.loc.end.line},g=()=>{let m=0;for(let h=o.pos();h<o.tokens.length;h++){let p=o.tokens[h];if(p.type==="EOF")return false;if(p.type==="Punctuator"){if(["(","[","{","<"].includes(p.value))m++;else if([")","]","}",">"].includes(p.value)&&(m--,m===0)){let v=o.tokens[h+1];return !!v&&v.type==="Punctuator"&&v.value==="=>"}}}return false},l=()=>{let m=o.tokens,h=[],p=0,v=false;for(let k=o.pos();k<m.length;k++){let w=m[k];if(w.type==="EOF")break;if(w.type==="Punctuator"){if(w.value==="<")p++,p===1&&(v=true);else if(w.value===">"){if(p--,p===0)break}else w.value==="("||w.value==="["||w.value==="{"?(p++,v=false):w.value===")"||w.value==="]"||w.value==="}"?(p--,v=false):w.value===","&&p===1?v=true:v=false;continue}if(p===1&&v){if(w.type==="Keyword"&&w.value==="const")continue;if(w.type==="Identifier"){h.push(w.value),v=false;continue}}v=false;}return h},b=m=>{let h=oe(m,l().map(v=>({name:v})));S("<");let p=[];for(;!s(">");){let v=u("const");v&&i();let k=c();k.type!=="Identifier"&&f("Expected type parameter name"),i();let w,L;if(u("extends")){i();let K=O(h);w=K.schema,L=K.node;}s("=")&&(i(),O(h)),p.push({name:k.value,...w?{bound:w}:{},...L?{boundNode:L}:{},...v?{isConst:true}:{}}),s(">")||S(",");}return S(">"),p},H=m=>{S("<");let h=[];for(;!s(">");)h.push(O(m)),s(">")||S(",");return S(">"),h},R=m=>{let h=c();return h.type==="Identifier"&&h.value===m},O=m=>{let h=c(),p=d(m);if(m.noCond||!u("extends")||X())return p;i();let v=[],k=d({...m,noCond:true,inferSink:v});S("?");let w=oe(m,v.map(J=>({name:J}))),L=O(w);S(":");let K=O(w);return {node:y({type:"TSConditionalType",checkType:p.node,extendsType:k.node,trueType:L.node,falseType:K.node},h),schema:{t:"conditional",check:p.schema,extends:k.schema,then:L.schema,else:K.schema,...v.length?{infer:v}:{}}}},d=m=>{let h=c();s("|")&&i();let p=I(m);if(!s("|"))return p;let v=[p.node],k=[p.schema];for(;s("|");){i();let w=I(m);v.push(w.node),k.push(w.schema);}return {node:y({type:"TSUnionType",types:v},h),schema:{t:"union",of:k}}},I=m=>{let h=c();s("&")&&i();let p=T(m);if(!s("&"))return p;let v=[p.node],k=[p.schema];for(;s("&");){i();let w=T(m);v.push(w.node),k.push(w.schema);}return {node:y({type:"TSIntersectionType",types:v},h),schema:{t:"intersection",of:k}}},T=m=>{let h=c();if(R("keyof")){i();let p=T(m);return {node:y({type:"TSTypeOperator",operator:"keyof",typeAnnotation:p.node},h),schema:{t:"keyof",of:p.schema}}}if(R("readonly")){i();let p=T(m);return p.schema.t!=="array"&&p.schema.t!=="tuple"&&f("'readonly' only applies to array and tuple types"),{node:y({...p.node,readonly:true},h),schema:{...p.schema,readonly:true}}}if(R("infer")){i();let p=c();p.type!=="Identifier"&&f("Expected 'infer' variable name"),i();let v=m.inferSink;return v?(v.push(p.value),{node:y({type:"TSInferType",name:p.value},h),schema:{t:"var",name:p.value}}):f("'infer' is only allowed in the 'extends' clause of a conditional")}return z(m)},z=m=>{let h=c(),p=B(m);for(;s("[")&&!X();)if(i(),s("]"))i(),p={node:y({type:"TSArrayType",elementType:p.node},h),schema:{t:"array",items:p.schema}};else {let v=O(m);S("]"),p={node:y({type:"TSIndexedAccessType",objectType:p.node,indexType:v.node},h),schema:{t:"index",obj:p.schema,key:v.schema}};}return p},P=(m,h,p)=>({node:y({type:"TSKeywordType",kind:h},m),schema:p}),B=m=>{let h=c();if(u("typeof")){i();let k=c();k.type!=="Identifier"&&f("Expected a name after 'typeof' in type position"),i();let w=[k.value];for(;s(".");){i();let L=c();L.type!=="Identifier"&&L.type!=="Keyword"&&f("Expected a property name after '.' in 'typeof'"),i(),w.push(L.value);}return {node:y({type:"TSTypeQuery",exprName:w},h),schema:{t:"typeQuery",path:w}}}if(s("<")){let k=b(m),w=oe(m,k);return N(w,h,k.map(L=>L.name))}if(s("(")){if(g())return N(m,h);i();let k=O(m.noCond?{...m,noCond:false}:m);return S(")"),k}if(s("{"))return F()?C(m):D(m);if(s("["))return A(m);let p=c();if(p.type==="String"){i();let k=r(p.value.slice(1,-1));return {node:y({type:"TSLiteralType",literal:k},h),schema:{t:"literal",value:k}}}if(p.type==="Number"){i();let k=Number(p.value);return {node:y({type:"TSLiteralType",literal:k},h),schema:{t:"literal",value:k}}}if(u("true"))return i(),{node:y({type:"TSLiteralType",literal:true},h),schema:{t:"literal",value:true}};if(u("false"))return i(),{node:y({type:"TSLiteralType",literal:false},h),schema:{t:"literal",value:false}};if(u("null"))return i(),P(h,"null",{t:"null"});if(u("void"))return i(),P(h,"void",{t:"void"});if(p.type==="Identifier"){switch(i(),p.value){case "string":return P(h,"string",{t:"string"});case "number":return P(h,"number",{t:"number"});case "boolean":return P(h,"boolean",{t:"boolean"});case "any":return P(h,"any",{t:"any"});case "unknown":return P(h,"unknown",{t:"unknown"});case "undefined":return P(h,"undefined",{t:"undefined"});case "never":return P(h,"never",{t:"union",of:[]})}let k=s("<")?H(m):[],w=k.map(J=>J.schema),L=k.length?k.map(J=>J.node):void 0,K=y({type:"TSTypeReference",typeName:p.value,...L?{typeArguments:L}:{}},h);return m.vars.has(p.value)&&w.length===0?{node:K,schema:gt(m,p.value)}:p.value==="ReturnType"&&w.length===1?{node:K,schema:{t:"returnType",fn:w[0]}}:p.value==="Parameters"&&w.length===1?{node:K,schema:{t:"parameters",fn:w[0]}}:(o.typeRefs?.push({name:p.value,loc:p.loc}),{node:K,schema:{t:"apply",name:p.value,args:w}})}o.recordError(`Expected a type but got '${p.value||p.type}'`,p);let v=o.createMissingNode({type:"TSTypeReference",typeName:""},p);return o.typeRefs?.push({name:"",loc:v.loc}),{node:v,schema:{t:"unknown"}}},W=m=>{S("(");let h=[];for(;!s(")");){let p=c();p.type!=="Identifier"&&f("Expected parameter name in function type"),i();let v=s("?");v&&i(),S(":");let k=O(m);h.push({node:y({type:"TSTypeParameter",name:p.value,typeAnnotation:k.node,...v?{optional:true}:{}},p),schema:{name:p.value,type:k.schema,...v?{optional:true}:{}}}),s(")")||S(",");}return S(")"),h},N=(m,h,p)=>{let v=W(m);S("=>");let k=O(m);return {node:y({type:"TSFunctionType",params:v.map(w=>w.node),returnType:k.node,...p?.length?{typeParams:[...p]}:{}},h),schema:{t:"fn",params:v.map(w=>w.schema),returns:k.schema,...p?.length?{typeParams:p}:{}}}},A=m=>{let h=c();S("[");let p=[],v=[],k=[];for(;!s("]");){if(s("...")){i();let L=O(m);L.schema.t==="array"?(v.push(L.schema.items),p.push(L.node.elementType),k.push("rest")):(v.push(L.schema),p.push(L.node),k.push("variadic"));}else {let L=O(m),K=s("?");K&&i(),v.push(L.schema),p.push(L.node),k.push(K?"optional":"req");}s("]")||S(",");}S("]");let w=k.some(L=>L!=="req");return {node:y({type:"TSTupleType",elementTypes:p,...w?{flags:k}:{}},h),schema:w?{t:"tuple",elements:v,flags:k}:{t:"tuple",elements:v}}},F=()=>{let m=o.tokens,h=o.pos()+1;return m[h]?.type==="Punctuator"&&(m[h]?.value==="+"||m[h]?.value==="-")&&h++,m[h]?.type==="Identifier"&&m[h]?.value==="readonly"&&h++,m[h]?.type==="Punctuator"&&m[h]?.value==="["&&m[h+1]?.type==="Identifier"&&m[h+2]?.type==="Keyword"&&m[h+2]?.value==="in"},C=m=>{let h=c();S("{"),(s("+")||s("-"))&&i(),R("readonly")&&i(),S("[");let p=c();p.type!=="Identifier"&&f("Expected mapped type key name"),i(),u("in")||f("Expected 'in' in mapped type"),i();let v=O(m);R("as")&&f("Key remapping ('as') in mapped types is not supported"),S("]");let k=false,w=s("+")||s("-")?i().value:null;s("?")&&(i(),k=w!=="-"),S(":");let L=O(oe(m,[{name:p.value}]));return (s(";")||s(","))&&i(),S("}"),{node:y({type:"TSMappedType",key:p.value,constraint:v.node,typeAnnotation:L.node,optional:k},h),schema:{t:"mapped",key:p.value,over:v.schema,body:L.schema,optional:k}}},D=m=>{let h=c();S("{");let p=[],v={},k,w=[];for(;!s("}");){let K=c();if(s("(")){let J=W(m);S(":");let M=O(m);w.push({t:"fn",params:J.map(_=>_.schema),returns:M.schema}),p.push(y({type:"TSCallSignatureDeclaration",params:J.map(_=>_.node),returnType:M.node},K));}else if(s("[")){i(),c().type!=="Identifier"&&f("Expected index signature parameter name"),i(),S(":");let J=c();(J.type!=="Identifier"||J.value!=="string"&&J.value!=="number")&&f("Index signature parameter type must be 'string' or 'number'"),i(),S("]"),S(":");let M=O(m);k={key:J.value,value:M.schema},p.push(y({type:"TSIndexSignature",keyType:J.value,typeAnnotation:M.node},K));}else {let J=c(),M;if(J.type==="Identifier"||J.type==="Keyword")i(),M=J.value;else if(J.type==="String")i(),M=r(J.value.slice(1,-1));else if(J.type==="Number")i(),M=J.value;else return f("Expected property name in object type");let _=s("?");_&&i(),S(":");let le=O(m);v[M]={type:le.schema,..._?{optional:true}:{}},p.push(y({type:"TSPropertySignature",key:M,typeAnnotation:le.node,..._?{optional:true}:{}},K));}if(s(";")||s(","))i();else break}S("}");let L=y({type:"TSTypeLiteral",members:p},h);return w.length>0?Object.keys(v).length>0||k?f("Callable object types (call signatures mixed with members) are not supported"):{node:L,schema:w.length===1?w[0]:{t:"overload",signatures:w}}:{node:L,schema:{t:"object",props:v,...k?{index:k}:{}}}};return {parseType:(m=[])=>O(oe(ve(),m)),parseTypeParamList:()=>b(ve()),parseTypeInScope:m=>O(oe(ve(),m))}};var te=class extends TSLiteError{constructor(i,s,u,S,f){super("parse-error",`${i} (${s.line}:${s.column})`,{position:s,index:u,loc:S,end:f});this.position=s;this.index=u;this.loc=S;this.end=f;this.name="ParseError";}},vt=o=>{let c=o;return c!=null&&typeof c.start=="number"&&c.start===c.end&&c.start>=0},Je=(o,c)=>Object.assign(o,{start:c.start,end:c.start,loc:{start:c.loc.start,end:c.loc.start}}),xt={"??":1,"||":2,"&&":3,"|":4,"^":5,"&":6,"==":7,"===":7,"!=":7,"!==":7,"<":8,"<=":8,">":8,">=":8,in:8,as:8,satisfies:8,"<<":9,">>":9,">>>":9,"+":10,"-":10,"*":11,"/":11,"%":11,"**":12},St=new Set(["??","||","&&"]),kt=new Set(["class","debugger","with","enum","interface"]),wt={enum:'use a union of literals (`type T = "a" | "b"`) \u2014 it is serializable',interface:"use a type alias (`type X = { \u2026 }`)",namespace:"use modules (`import`/`export`)",module:"use modules (`import`/`export`)",declare:"declare the shape via the DI env, or with a `type` alias",abstract:"classes are not part of the language \u2014 model with objects + functions"},Pt={namespace:(o,c)=>o.type==="Identifier"&&c.type==="Punctuator"&&c.value==="{",module:(o,c)=>o.type==="Identifier"&&c.type==="Punctuator"&&c.value==="{",declare:o=>o.type==="Keyword"&&["const","let","var","function","class","enum","interface"].includes(o.value)||o.type==="Identifier"&&["type","namespace","module"].includes(o.value),abstract:o=>o.type==="Keyword"&&o.value==="class"},Nt=new Set(["=","+=","-=","*=","/=","%="]);function xe(o){let c=[],i=[],s=he(o,e=>i.push(e),e=>c.push({code:"lex-error",...e})),u=0,S=[],f=(e=0)=>s[Math.min(u+e,s.length-1)],r=()=>s[u++],y=()=>s[u-1],X=()=>{let e=s[u],n=s[u-1];return !!e&&!!n&&e.loc.start.line>n.loc.end.line},g=()=>f().type==="EOF",l=e=>f().type==="Punctuator"&&f().value===e,b=e=>f().type==="Keyword"&&f().value===e,H=e=>f().type==="Identifier"&&f().value===e,R=(e,n=f())=>{throw O(e,n),new te(e,n.loc.start,n.start,n.loc,n.end)},O=(e,n=f())=>{let t=c[c.length-1];t&&t.index===n.start||c.push({code:"parse-error",message:e,position:n.loc.start,index:n.start,loc:n.loc,end:n.end});},d=e=>(l(e)||R(`Expected '${e}' but got '${f().value||f().type}'`),r()),I=(e,n)=>{let t=y()??n;return Object.assign(e,{start:n.start,end:t.end,loc:{start:n.loc.start,end:t.loc.end}})},T=(e,n,t)=>Object.assign(e,{start:n.start,end:t.end,loc:{start:n.loc.start,end:t.loc.end}}),z=e=>{let n="";for(let t=0;t<e.length;t++){if(e[t]!=="\\"){n+=e[t];continue}let a=e[++t];switch(a){case "n":n+=`
|
|
6
|
+
`;break;case "t":n+=" ";break;case "r":n+="\r";break;case "b":n+="\b";break;case "f":n+="\f";break;case "v":n+="\v";break;case "0":n+="\0";break;case "x":n+=String.fromCharCode(parseInt(e.slice(t+1,t+3),16)),t+=2;break;case "u":if(e[t+1]==="{"){let x=e.indexOf("}",t);n+=String.fromCodePoint(parseInt(e.slice(t+2,x),16)),t=x;}else n+=String.fromCharCode(parseInt(e.slice(t+1,t+5),16)),t+=4;break;default:n+=a;}}return n},P=(e=false)=>B(e),B=(e=false)=>{let n=W(e),t=f();if(t.type==="Punctuator"&&Nt.has(t.value)){r();let a=B();return T({type:"AssignmentExpression",operator:t.value,left:n,right:a},n,a)}return n},W=(e=false)=>{let n=A(0,e);if(!l("?"))return n;r();let t=P();d(":");let a=P();return T({type:"ConditionalExpression",test:n,consequent:t,alternate:a},n,a)},N=()=>{let e=f();if(e.type==="Keyword")return e.value==="in"?{op:"in",consume:1}:null;if(e.type==="Identifier")return e.value==="as"?{op:"as",consume:1}:e.value==="satisfies"?{op:"satisfies",consume:1}:null;if(e.type!=="Punctuator")return null;if(e.value===">"){let n=f(1);if(n.type==="Punctuator"&&n.value===">"&&e.end===n.start){let t=f(2);return t.type==="Punctuator"&&t.value===">"&&n.end===t.start?{op:">>>",consume:3}:{op:">>",consume:2}}return {op:">",consume:1}}return {op:e.value,consume:1}},A=(e,n=false)=>{let t=F();for(;;){let a=N();if(!a)break;let{op:x,consume:E}=a;if(x==="in"&&n)break;let j=xt[x];if(!j||j<=e)break;if(x==="satisfies"){if(X())break;R("'satisfies' is not supported in this language \u2014 a type annotation (`const x: T = \u2026`) also checks compatibility, but it declares the type as T, while 'satisfies' keeps the inferred one");}if(x==="as"){if(X())break;r();let U=se();t=T({type:"TSAsExpression",expression:t,typeAnnotation:U.schema,typeAnnotationNode:U.node},t,y());continue}for(let U=0;U<E;U++)r();let $=A(x==="**"?j-1:j,n);t=T({type:St.has(x)?"LogicalExpression":"BinaryExpression",operator:x,left:t,right:$},t,$);}return t},F=()=>{let e=f();return e.type==="Punctuator"&&(e.value==="++"||e.value==="--")?(r(),I({type:"UpdateExpression",operator:e.value,prefix:true,argument:F()},e)):b("await")?(r(),I({type:"AwaitExpression",argument:F()},e)):b("typeof")||b("void")||b("delete")||e.type==="Punctuator"&&(e.value==="!"||e.value==="-"||e.value==="+"||e.value==="~")?C(e):m()},C=e=>{r();let n=F();return l("**")&&R(`An unary expression with the '${e.value}' operator is not allowed in the left-hand side of an exponentiation expression. Consider enclosing the expression in parentheses.`),I({type:"UnaryExpression",operator:e.value,prefix:true,argument:n},e)},D=()=>{let e=u,n=c.length,t=()=>(u=e,c.length=n,void 0);try{if(r(),l(">"))return t();let a=[];for(;a.push(se().schema),!!l(",");)r();return l(">")?(r(),l("(")?a:t()):t()}catch{return t()}},m=()=>{let e=Me(),n=false;for(;;)if(l("?."))if(r(),n=true,l("(")){let{args:t,close:a}=h();e=T({type:"CallExpression",callee:e,arguments:t,optional:true},e,a);}else if(l("[")){r();let t=P(),a=d("]");e=T({type:"MemberExpression",object:e,property:t,computed:true,optional:true},e,a);}else {let t=f();t.type!=="Identifier"&&t.type!=="Keyword"&&R("Expected property name after '?.'"),r();let a=I({type:"Identifier",name:t.value},t);e=T({type:"MemberExpression",object:e,property:a,computed:false,optional:true},e,a);}else if(l(".")){r();let t=f(),a;t.type==="Identifier"||t.type==="Keyword"?(r(),a=I({type:"Identifier",name:t.value},t)):(O("Expected property name"),a=Je({type:"Identifier",name:""},t)),e=T({type:"MemberExpression",object:e,property:a,computed:false,optional:false},e,a);}else if(l("[")){r();let t=P(),a=d("]");e=T({type:"MemberExpression",object:e,property:t,computed:true,optional:false},e,a);}else if(l("(")){let{args:t,close:a}=h();e=T({type:"CallExpression",callee:e,arguments:t,optional:false},e,a);}else if(l("<")){let t=D();if(!t)break;let{args:a,close:x}=h();e=T({type:"CallExpression",callee:e,arguments:a,optional:false,typeArguments:t},e,x);}else if(l("++")||l("--")){let t=r();e=T({type:"UpdateExpression",operator:t.value,prefix:false,argument:e},e,t);}else break;return n?T({type:"ChainExpression",expression:e},e,e):e},h=()=>{d("(");let e=[];for(;!l(")");)e.push(p()),l(")")||d(",");return {args:e,close:d(")")}},p=()=>{if(l("...")){let e=r(),n=P();return T({type:"SpreadElement",argument:n},e,n)}return P()},v=()=>{let e=f();return e.type!=="Identifier"&&R("Expected identifier"),r(),I({type:"Identifier",name:e.value},e)},k=e=>{let n=l("{")?w(e):l("[")?L(e):v();if(l(":")){r();let t=se(e);n.typeAnnotation=t.schema,n.typeAnnotationNode=t.node;}return n},w=e=>{let n=d("{"),t=[];for(;!l("}");){if(l("...")){let x=r(),E=k(e);t.push(T({type:"RestElement",argument:E},x,E));}else {let x=v(),E,j=false;if(l(":")?(r(),E=k(e)):(E={...x},j=true),l("=")){r();let $=P();E=T({type:"AssignmentPattern",left:E,right:$},E,$);}t.push(T({type:"Property",key:x,value:E,kind:"init",shorthand:j,computed:false},x,E));}l("}")||d(",");}let a=d("}");return T({type:"ObjectPattern",properties:t},n,a)},L=e=>{let n=d("["),t=[];for(;!l("]");){if(l(",")){t.push(null),r();continue}if(l("...")){let x=r(),E=k(e);t.push(T({type:"RestElement",argument:E},x,E));}else {let x=k(e);if(l("=")){r();let E=P();x=T({type:"AssignmentPattern",left:x,right:E},x,E);}t.push(x);}l("]")||d(",");}let a=d("]");return T({type:"ArrayPattern",elements:t},n,a)},K=()=>{let e=0;for(let n=u;n<s.length;n++){let t=s[n];if(t.type==="EOF")return false;if(t.type==="Punctuator"){if(t.value==="("||t.value==="["||t.value==="{")e++;else if((t.value===")"||t.value==="]"||t.value==="}")&&(e--,e===0)){let a=s[n+1];return !a||a.type!=="Punctuator"?false:a.value==="=>"?true:a.value===":"?J(n+2):false}}}return false},J=e=>{let n=0;for(let t=e;t<s.length;t++){let a=s[t];if(a.type==="EOF")return false;if(a.type==="Punctuator")if(["(","[","{","<"].includes(a.value))n++;else if([")","]","}",">"].includes(a.value)){if(n===0)return false;n--;}else {if(n===0&&a.value==="=>")return true;if(n===0&&(a.value===";"||a.value===","))return false}}return false},M=(e=[])=>{d("(");let n=[];for(;!l(")");){if(l("...")){let t=r(),a=k(e);n.push(T({type:"RestElement",argument:a},t,a));}else {let t=k(e);if(l("=")){r();let a=P();t=T({type:"AssignmentPattern",left:t,right:a},t,a);}n.push(t);}l(")")||d(",");}return d(")"),n},_=(e,n,t=[])=>{let a=l("(")?M(t):[v()],x,E;if(l(":")){r();let $=se(t);x=$.schema,E=$.node;}d("=>");let j=l("{")?ae():P();return I({type:"ArrowFunctionExpression",params:a,body:j,async:e,expression:j.type!=="BlockStatement",generator:false,...x?{returnType:x,returnTypeNode:E}:{},...t.length?{typeParams:t.map($=>$.name),typeParamNodes:t}:{}},n)},le=()=>{let e=d("["),n=[];for(;!l("]");){if(l(",")){r(),n.push(null);continue}n.push(p()),l("]")||d(",");}return T({type:"ArrayExpression",elements:n},e,d("]"))},Xe=()=>{let e=d("{"),n=[];for(;!l("}");){if(l("...")){let t=r(),a=P();n.push(T({type:"SpreadElement",argument:a},t,a));}else {let t=f(),a,x=false;if(l("["))x=true,r(),a=P(),d("]");else if(t.type==="String")r(),a=I({type:"Literal",value:z(t.value.slice(1,-1)),raw:t.value},t);else if(t.type==="Number")r(),a=I({type:"Literal",value:Number(t.value),raw:t.value},t);else if(t.type==="Identifier"||t.type==="Keyword")r(),a=I({type:"Identifier",name:t.value},t);else return R("Invalid property key");if(l(":")){r();let E=P();n.push(T({type:"Property",key:a,value:E,kind:"init",shorthand:false,computed:x},t,E));}else n.push(T({type:"Property",key:a,value:a,kind:"init",shorthand:true,computed:false},t,a));}l("}")||d(",");}return T({type:"ObjectExpression",properties:n},e,d("}"))},ce=(e,n)=>({type:"TemplateElement",value:{raw:e,cooked:z(e)},tail:n}),Ke=e=>{r();let n=[ce(e.value,false)],t=[];for(;;){t.push(P());let a=f();if(a.type==="TemplateMiddle")r(),n.push(ce(a.value,false));else if(a.type==="TemplateTail"){r(),n.push(ce(a.value,true));break}else R("Expected `}` to close template interpolation");}return I({type:"TemplateLiteral",quasis:n,expressions:t},e)},re=()=>{let e=f();return e.type!=="Identifier"&&R(`Expected JSX identifier but got '${e.value||e.type}'`),I({type:"JSXIdentifier",name:r().value},e)},Se=()=>{let e=re();if(l(":")){r();let n=re();return T({type:"JSXNamespacedName",namespace:e,name:n},e,n)}for(;l(".");){r();let n=re();e=T({type:"JSXMemberExpression",object:e,property:n},e,n);}return e},G=e=>e.type==="JSXIdentifier"?e.name:e.type==="JSXNamespacedName"?`${G(e.namespace)}:${G(e.name)}`:`${G(e.object)}.${G(e.property)}`,Ue=()=>{let e=f();if(e.type==="String")return r(),I({type:"Literal",value:z(e.value.slice(1,-1)),raw:e.value},e);if(l("{")){let n=r(),t=B(),a=d("}");return T({type:"JSXExpressionContainer",expression:t},n,a)}return l("<")?ye():R(`Invalid JSX attribute value '${e.value||e.type}'`)},$e=()=>{let e=[];for(;!l(">")&&!l("/>")&&!g();){if(l("{")){let a=r();d("...");let x=B(),E=d("}");e.push(T({type:"JSXSpreadAttribute",argument:x},a,E));continue}let n=re();if(l(":")){r();let a=re();n=T({type:"JSXNamespacedName",namespace:n,name:a},n,a);}let t=null;l("=")&&(r(),t=Ue()),e.push(T({type:"JSXAttribute",name:n,value:t},n,t??n));}return e},ke=()=>{let e=[];for(;!(l("</")||g());){let n=f();if(n.type==="JSXText")r(),e.push(I({type:"JSXText",value:n.value,raw:n.value},n));else if(l("{")){let t=r();if(l("}")){let a=r(),x=I({type:"JSXEmptyExpression"},t);e.push(T({type:"JSXExpressionContainer",expression:x},t,a));}else {let a=B(),x=d("}");e.push(T({type:"JSXExpressionContainer",expression:a},t,x));}}else l("<")?e.push(ye()):R(`Unexpected token in JSX children '${n.value||n.type}'`);}return e},ye=()=>{let e=d("<");if(l(">")){let Q=r(),ne=T({type:"JSXOpeningFragment"},e,Q),ot=ke(),rt=d("</"),Ie=d(">"),st=T({type:"JSXClosingFragment"},rt,Ie);return T({type:"JSXFragment",openingFragment:ne,children:ot,closingFragment:st},e,Ie)}let n=Se(),t=$e();if(l("/>")){let Q=r(),ne=T({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:true},e,Q);return T({type:"JSXElement",openingElement:ne,children:[],closingElement:null},e,Q)}let a=d(">"),x=T({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:false},e,a),E=ke(),j=d("</"),$=f(),U=Se();G(U)!==G(n)&&R(`JSX closing tag </${G(U)}> does not match opening <${G(n)}>`,$);let q=d(">"),V=T({type:"JSXClosingElement",name:U},j,q);return T({type:"JSXElement",openingElement:x,children:E,closingElement:V},e,q)},Me=()=>{let e=f();if(b("async")){let n=f(1);if(n.value==="("||n.type==="Identifier")return r(),_(true,e);if(n.value==="<"){r();let t=we(e,true);if(t)return t}return R("Unexpected 'async'")}if(l("(")&&K()||e.type==="Identifier"&&f(1).type==="Punctuator"&&f(1).value==="=>")return _(false,e);if(e.type==="Number")return r(),I({type:"Literal",value:Number(e.value),raw:e.value},e);if(e.type==="String")return r(),I({type:"Literal",value:z(e.value.slice(1,-1)),raw:e.value},e);if(e.type==="Template")return r(),I({type:"TemplateLiteral",expressions:[],quasis:[ce(e.value,true)]},e);if(e.type==="TemplateHead")return Ke(e);if(e.type==="Keyword")return e.value==="true"?(r(),I({type:"Literal",value:true,raw:"true"},e)):e.value==="false"?(r(),I({type:"Literal",value:false,raw:"false"},e)):e.value==="null"?(r(),I({type:"Literal",value:null,raw:"null"},e)):e.value==="new"?R("'new' is not supported \u2014 the language has no constructors (FP / portable IR). Use a factory function provided via DI (e.g. `now()` instead of `new Date()`)."):e.value==="function"?R("Anonymous functions are not supported \u2014 use an arrow function"):R(`'${e.value}' is not supported in this language`);if(e.type==="Identifier")return r(),I({type:"Identifier",name:e.value},e);if(l("(")){r();let n=P();return d(")"),n}return l("[")?le():l("{")?Xe():l("<")?we(e)??ye():R(`Unexpected token '${e.value||e.type}'`)},we=(e,n=false)=>{let t=u,a=c.length,x=()=>(u=t,c.length=a,void 0);try{let E=Pe();return !E.length||!l("(")?x():_(n,e,E)}catch{return x()}},{parseType:se,parseTypeParamList:Pe,parseTypeInScope:Be}=Oe({tokens:s,pos:()=>u,peek:f,next:r,isP:l,isK:b,expectP:d,fail:R,recordError:O,createMissingNode:Je,unescape:z,typeRefs:S}),_e=()=>{let e=r(),n=v(),t=[],a=[];l("<")&&(a=Pe(),t=a.map(j=>j.name)),d("=");let x=Be(a),E=T({type:"TSTypeAliasDeclaration",id:n,typeParameters:t,...a.length?{typeParamNodes:a}:{},typeAnnotation:x.schema,typeNode:x.node},e,y());return l(";")&&r(),E},Y=()=>{let e=f();if(e.type==="Identifier"&&e.value==="type"&&f(1).type==="Identifier"&&f(2).type==="Punctuator"&&(f(2).value==="="||f(2).value==="<"))return _e();if(b("const")||b("let")||b("var")){let x=Ne();return l(";")&&r(),x}if(b("if"))return Qe();if(b("for"))return He();if(b("while"))return Ye();if(b("do"))return Ve();if(b("break")||b("continue"))return Ge();if(b("return"))return Ze();if(b("throw"))return et();if(b("try"))return tt();if(b("switch"))return nt();if(b("import"))return We();if(b("export"))return qe();if(l("{"))return ae();if((b("function")||b("async")&&f(1).type==="Keyword"&&f(1).value==="function")&&R("Function declarations are not supported \u2014 use 'const fn = () => \u2026'"),l(";"))return r(),I({type:"EmptyStatement"},e);if(e.type==="Keyword"&&kt.has(e.value)||e.type==="Identifier"&&Pt[e.value]?.(f(1),f(2))===true){let x=wt[e.value];R(`'${e.value}' is not supported in this language`+(x?` \u2014 ${x}`:""));}let t=P(),a=l(";")?r():y();return T({type:"ExpressionStatement",expression:t},t,a)},Ne=()=>{let e=r(),n=e.value,t=()=>{let x=k([]),E=null;return l("=")?(r(),E=P()):n==="const"&&O("'const' declarations must be initialized"),T({type:"VariableDeclarator",id:x,init:E},x,E??x)},a=[t()];for(;l(",");)r(),a.push(t());return T({type:"VariableDeclaration",kind:n,declarations:a},e,a[a.length-1])},ze=()=>{let e=f();return e.type!=="String"&&R("Expected module specifier string"),r(),I({type:"Literal",value:z(e.value.slice(1,-1)),raw:e.value},e)},We=()=>{let e=r(),n=[];if(f().type!=="String"){if(f().type==="Identifier"){let a=v();n.push(T({type:"ImportDefaultSpecifier",local:a},a,a)),l(",")&&r();}if(l("*")){let a=r();H("as")||R("Expected 'as' after '*' in import"),r();let x=v();n.push(T({type:"ImportNamespaceSpecifier",local:x},a,x));}else if(l("{")){for(r();!l("}")&&!g();){let a=v(),x=a;if(H("as")&&(r(),x=v()),n.push(T({type:"ImportSpecifier",imported:a,local:x},a,x)),l(","))r();else break}d("}");}H("from")||R("Expected 'from' in import declaration"),r();}let t=ze();return l(";")&&r(),I({type:"ImportDeclaration",specifiers:n,source:t},e)},qe=()=>{let e=r();if(b("default")){r();let n=P();return l(";")&&r(),I({type:"ExportDefaultDeclaration",declaration:n},e)}if(b("const")||b("let")||b("var")){let n=Ne();return l(";")&&r(),I({type:"ExportNamedDeclaration",declaration:n,specifiers:[],source:null},e)}if(l("{")){r();let n=[];for(;!l("}")&&!g();){let t=v(),a=t;if(H("as")&&(r(),a=v()),n.push(T({type:"ExportSpecifier",local:t,exported:a},t,a)),l(","))r();else break}return d("}"),l(";")&&r(),I({type:"ExportNamedDeclaration",declaration:null,specifiers:n,source:null},e)}return R("Expected 'const', '{', or 'default' after 'export'")},Ee=()=>f().type==="Identifier"&&f().value==="of",me=()=>b("in"),He=()=>{let e=r();d("(");let n=null,t=null;if(!l(";"))if(b("const")||b("let")||b("var")){let j=r(),$=()=>{let q=v();if(l(":")){r();let V=se();q.typeAnnotation=V.schema,q.typeAnnotationNode=V.node;}return q},U=$();if(Ee()||me()){let q=T({type:"VariableDeclarator",id:U,init:null},U,U);t=T({type:"VariableDeclaration",kind:j.value,declarations:[q]},j,U);}else {let q=Q=>{let ne=null;return l("=")?(r(),ne=P(true)):j.value==="const"&&R("'const' declarations must be initialized"),T({type:"VariableDeclarator",id:Q,init:ne},Q,ne??Q)},V=[q(U)];for(;l(",");)r(),V.push(q($()));n=T({type:"VariableDeclaration",kind:j.value,declarations:V},j,V[V.length-1]);}}else {let j=P(true);Ee()||me()?t=j:n=j;}if(t){let j=me();r();let $=P();d(")");let U=Y();return T(j?{type:"ForInStatement",left:t,right:$,body:U}:{type:"ForOfStatement",left:t,right:$,body:U,await:false},e,U)}d(";");let a=l(";")?null:P();d(";");let x=l(")")?null:P();d(")");let E=Y();return T({type:"ForStatement",init:n,test:a,update:x,body:E},e,E)},Ve=()=>{let e=r(),n=Y();b("while")||R("Expected 'while' after the 'do' body"),r(),d("(");let t=P(),a=d(")");return l(";")&&r(),T({type:"DoWhileStatement",body:n,test:t},e,a)},Ge=()=>{let e=r(),n=e.value==="break"?"BreakStatement":"ContinueStatement",t=l(";")?r():y();return T({type:n,label:null},e,t)},Ye=()=>{let e=r();d("(");let n=P();d(")");let t=Y();return T({type:"WhileStatement",test:n,body:t},e,t)},Qe=()=>{let e=r();d("(");let n=P();d(")");let t=Y(),a=null;return b("else")&&(r(),a=Y()),T({type:"IfStatement",test:n,consequent:t,alternate:a},e,a??t)},Ze=()=>{let e=r(),n=null;!l(";")&&!l("}")&&!g()&&(n=P());let t=l(";")?r():y();return T({type:"ReturnStatement",argument:n},e,t)},et=()=>{let e=r(),n=P(),t=l(";")?r():y();return T({type:"ThrowStatement",argument:n},e,t)},tt=()=>{let e=r(),n=ae(),t=null,a=null;if(b("catch")){let x=r(),E=null;l("(")&&(r(),E=v(),d(")"));let j=ae();t=T({type:"CatchClause",param:E,body:j},x,j);}return b("finally")&&(r(),a=ae()),!t&&!a&&R("'try' requires a 'catch' or 'finally' clause"),T({type:"TryStatement",block:n,handler:t,finalizer:a},e,a??t??n)},nt=()=>{let e=r();d("(");let n=P();d(")"),d("{");let t=[];for(;!l("}")&&!g();){let x=f(),E=null;b("case")?(r(),E=P()):b("default")?r():R("Expected 'case' or 'default' in switch"),d(":");let j=[];for(;!l("}")&&!b("case")&&!b("default")&&!g();)j.push(Y());t.push(T({type:"SwitchCase",test:E,consequent:j},x,y()??x));}let a=d("}");return T({type:"SwitchStatement",discriminant:n,cases:t},e,a)},ae=()=>{let e=d("{"),n=Ce(()=>l("}"));return T({type:"BlockStatement",body:n},e,d("}"))},Ce=e=>{let n=[];for(;!e()&&!g();){if(f().type==="Unknown"){r();continue}try{n.push(Y());}catch(t){if(!(t instanceof te))throw t;g()||r();}}return n};return {parseExpr:P,parseProgram:()=>{let e=f(),n=Ce(()=>false);return T({type:"Program",sourceType:"module",body:n,...S.length?{typeRefs:S}:{},...i.length?{comments:i}:{},...c.length?{parseDiagnostics:c}:{}},e,y()??e)},eof:g,fail:R,recordError:O,diagnostics:c}}function Fe(o){let c=xe(o),i=c.parseProgram(),s=i.comments;return s?.length&&be(i,s,o),{ast:i,diagnostics:c.diagnostics}}function Et(o){let{ast:c,diagnostics:i}=Fe(o),s=i[0];if(s){let u=s.code==="lex-error"?ee:te;throw new u(s.message,s.position,s.index,s.loc,s.end)}return c}function Ct(o){let c=xe(o),i=c.parseExpr();c.eof()||c.fail("Unexpected token after expression");let s=c.diagnostics[0];if(s){let u=s.code==="lex-error"?ee:te;throw new u(s.message,s.position,s.index,s.loc,s.end)}return i}function It(o){let c=xe(o),i;try{i=c.parseExpr(),c.eof()||c.recordError("Unexpected token after expression");}catch(s){if(!(s instanceof te)&&!(s instanceof ee))throw s}return {ast:i,diagnostics:c.diagnostics}}export{Le as KEYWORDS,ee as LexError,te as ParseError,be as attachComments,vt as nodeIsMissing,Et as parse,Ct as parseExpression,It as parseExpressionTolerant,Fe as parseTolerant,he as tokenize};
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@tslite/parser",
|
|
3
|
-
"version": "
|
|
3
|
+
"version": "1.1.0",
|
|
4
4
|
"description": "TSLite parser — tokenizer + Pratt parser for the TSLite language (JS subset + pipe) into ESTree",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "./dist/index.cjs",
|
|
@@ -44,9 +44,9 @@
|
|
|
44
44
|
},
|
|
45
45
|
"devDependencies": {
|
|
46
46
|
"@tslite/capability": "0.2.0",
|
|
47
|
-
"@tslite/
|
|
48
|
-
"@tslite/checker": "0.7.
|
|
49
|
-
"@tslite/
|
|
47
|
+
"@tslite/interpret": "0.3.2",
|
|
48
|
+
"@tslite/checker": "0.7.2",
|
|
49
|
+
"@tslite/printer": "0.4.0"
|
|
50
50
|
},
|
|
51
51
|
"scripts": {
|
|
52
52
|
"build": "tsup",
|