@tslite/parser 1.1.2 → 1.3.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 -6
- package/dist/index.js +6 -6
- package/package.json +6 -6
package/dist/index.cjs
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
|
-
'use strict';var core=require('@tslite/core');var
|
|
2
|
-
`||
|
|
3
|
-
`&&u++,
|
|
4
|
-
`||
|
|
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;
|
|
1
|
+
'use strict';var core=require('@tslite/core');var ne=class extends core.TSLiteError{constructor(s,a,u,x,f){super("lex-error",`${s} (${a.line}:${a.column})`,{position:a,index:u,loc:x,end:f});this.position=a;this.index=u;this.loc=x;this.end=f;this.name="LexError";}},De=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"]),pt=["...","===","!==","=>","?.","??=","&&=","||=","**=","??","==","!=","<=",">=","&&","||","|","&","++","--","+=","-=","*=","/=","%=","**","<<","+","-","*","/","%","<",">","!","?",":",".",",",";","=","^","~","(",")","[","]","{","}"],de=r=>r>="a"&&r<="z"||r>="A"&&r<="Z"||r==="_"||r==="$",fe=r=>de(r)||r>="0"&&r<="9",te=r=>r>="0"&&r<="9",je=r=>te(r)||r>="a"&&r<="f"||r>="A"&&r<="F",ct=r=>fe(r)||r==="-",pe=r=>r===`
|
|
2
|
+
`||r==="\r"||r==="\u2028"||r==="\u2029",ue=(r,c)=>{let s=c;for(;;){let a=r[s]??"";if(a===" "||a===" "||a==="\f"||a==="\v"||pe(a))s++;else if(a==="/"&&r[s+1]==="/")for(s+=2;s<r.length&&!pe(r[s]??"");)s++;else if(a==="/"&&r[s+1]==="*"){for(s+=2;s<r.length&&!(r[s]==="*"&&r[s+1]==="/");)s++;s+=2;}else return s}},ut=(r,c)=>{if(!de(r[c]??""))return c;let s=c+1;for(;fe(r[s]??"");)s++;return s},Oe=(r,c,s)=>r.startsWith(s,c)&&!fe(r[c+s.length]??""),dt=(r,c)=>{let s=ue(r,c);Oe(r,s,"const")&&(s=ue(r,s+5));let a=ut(r,s);if(a===s)return false;if(s=ue(r,a),Oe(r,s,"extends")){let u=ue(r,s+7),x=r[u]??"";return !(x==="="||x===">"||x==="/")}return r[s]===","?true:r[s]==="="&&r[s+1]!==">"},ft=new Set(["(","[","{",",",";",":","?","=>","...","=","+","-","*","/","%","<","<=",">",">=","==","===","!=","!==","&&","||","??","!","+=","-=","*=","/=","%=","??=","&&=","||=","**="]),yt=new Set(["return","typeof","await","delete","void","in","instanceof","else","case","yield","throw"]);function be(r,c,s){let a=[],u=0,x=1,f=0,o=()=>({line:x,column:f}),h=(E=0)=>r[u+E]??"",M=E=>{let A=o(),U={start:A,end:{line:x,column:f+1}};if(s){s({message:E,position:A,index:u,loc:U,end:u+1});return}throw new ne(E,A,u,U,u+1)},b=()=>{let E=r[u++];return E==="\r"?(r[u]===`
|
|
3
|
+
`&&u++,x++,f=0):E===`
|
|
4
|
+
`||E==="\u2028"||E==="\u2029"?(x++,f=0):f++,E},p=()=>{for(;;){let E=h();if(E===" "||E===" "||E==="\f"||E==="\v"||pe(E))b();else if(E==="/"&&h(1)==="/"){let A=u,U=o();b(),b();let C=u;for(;u<r.length&&!pe(h());)b();c?.({type:"Line",value:r.slice(C,u),start:A,end:u,loc:{start:U,end:o()}});}else if(E==="/"&&h(1)==="*"){let A=u,U=o();b(),b();let C=u,O=u;for(;;){if(u>=r.length){M("Unterminated block comment"),O=u;break}if(h()==="*"&&h(1)==="/"){O=u,b(),b();break}b();}c?.({type:"Block",value:r.slice(C,O),start:A,end:u,loc:{start:U,end:o()}});}else break}},v=(E,A,U,C)=>{a.push({type:E,value:A,start:U,end:u,loc:{start:C,end:o()}}),W=E==="Punctuator"?ft.has(A):E==="Keyword"?yt.has(A):E==="TemplateHead"||E==="TemplateMiddle";},z=E=>{for(b();u<r.length;){let A=h();if(A===E)return b(),r.slice(d,u);if(pe(A))return M("Unterminated string literal"),r.slice(d,u);if(A==="\\"){if(b(),u>=r.length)return M("Unterminated string literal"),r.slice(d,u);b();continue}b();}return M("Unterminated string literal"),r.slice(d,u)},R=()=>{if(h()==="0"&&(h(1)==="x"||h(1)==="X")){if(b(),b(),!je(h()))return M("Invalid hexadecimal literal");for(;je(h());)b();return}if(h()==="0"&&(h(1)==="b"||h(1)==="B")){if(b(),b(),h()!=="0"&&h()!=="1")return M("Invalid binary literal");for(;h()==="0"||h()==="1";)b();return}if(h()==="0"&&(h(1)==="o"||h(1)==="O")){if(b(),b(),!(h()>="0"&&h()<="7"))return M("Invalid octal literal");for(;h()>="0"&&h()<="7";)b();return}for(;te(h());)b();if(h()===".")for(b();te(h());)b();if(h()==="e"||h()==="E"){if(b(),(h()==="+"||h()==="-")&&b(),!te(h()))return M("Invalid exponent");for(;te(h());)b();}},X=()=>{let E=u;for(;u<r.length;){let A=h();if(A==="`"){let U=r.slice(E,u);return b(),{raw:U,interp:false}}if(A==="$"&&h(1)==="{"){let U=r.slice(E,u);return b(),b(),{raw:U,interp:true}}if(A==="\\"){if(b(),u>=r.length)break;b();continue}b();}return M("Unterminated template literal"),{raw:r.slice(E,u),interp:false}},d=0,I=0,T=[],W=true,P="js",_=[],q=[];for(;;){if(P==="jsxChildren"){d=u;let C=o();if(u>=r.length){v("EOF","",d,C);break}let O=h();if(O==="<"){h(1)==="/"?(b(),b(),v("Punctuator","</",d,C),P="jsxCloseTag"):(b(),v("Punctuator","<",d,C),_.push("jsxChildren"),P="jsxOpenTag");continue}if(O==="{"){b(),v("Punctuator","{",d,C),q.push({level:I,restore:"jsxChildren"}),P="js";continue}for(;u<r.length&&h()!=="<"&&h()!=="{";)b();v("JSXText",r.slice(d,u),d,C);continue}if(P==="jsxOpenTag"||P==="jsxCloseTag"){p(),d=u;let C=o();if(u>=r.length){v("EOF","",d,C);break}let O=h();if(de(O)){for(b();ct(h());)b();v("Identifier",r.slice(d,u),d,C);continue}if(O==="/"&&h(1)===">"){b(),b(),v("Punctuator","/>",d,C),P=_.pop()??"js";continue}if(O===">"){b(),v("Punctuator",">",d,C),P=P==="jsxCloseTag"?_.pop()??"js":"jsxChildren";continue}if(O==="{"){b(),v("Punctuator","{",d,C),q.push({level:I,restore:P}),P="js";continue}if(O==='"'||O==="'"){v("String",z(O),d,C);continue}if(O==="="||O==="."||O===":"){b(),v("Punctuator",O,d,C);continue}if(O==="<"&&P==="jsxOpenTag"){b(),v("Punctuator","<",d,C),_.push("jsxOpenTag");continue}M(`Unexpected character '${O}' in JSX tag`),b(),v("Unknown",O,d,C);continue}p(),d=u;let E=o();if(u>=r.length){v("EOF","",d,E);break}let A=h();if(de(A)){for(;fe(h());)b();let C=r.slice(d,u);v(De.has(C)?"Keyword":"Identifier",C,d,E);continue}if(te(A)||A==="."&&te(h(1))){R(),v("Number",r.slice(d,u),d,E);continue}if(A==='"'||A==="'"){let C=z(A);v("String",C,d,E);continue}if(A==="`"){b();let{raw:C,interp:O}=X();O?(v("TemplateHead",C,d,E),T.push(I)):v("Template",C,d,E);continue}if(A==="<"&&W&&!dt(r,u+1)){b(),v("Punctuator","<",d,E),_.push("js"),P="jsxOpenTag";continue}if(A==="{"){b(),v("Punctuator","{",d,E),I++;continue}if(A==="}"){if(T.length>0&&I===T[T.length-1]){T.pop(),b();let{raw:C,interp:O}=X();v(O?"TemplateMiddle":"TemplateTail",C,d,E),O&&T.push(I);continue}if(q.length>0&&I===q[q.length-1].level){let{restore:C}=q.pop();b(),v("Punctuator","}",d,E),P=C;continue}b(),v("Punctuator","}",d,E),I--;continue}if(A==="?"&&h(1)==="."&&te(h(2))){b(),v("Punctuator","?",d,E);continue}let U=pt.find(C=>r.startsWith(C,u));if(U){for(let C=0;C<U.length;C++)b();v("Punctuator",U,d,E);continue}M(`Unexpected character '${A}'`),b(),v("Unknown",A,d,E);}return a}var mt=new Set(["leadingComments","trailingComments","innerComments","comments"]),Je=r=>typeof r=="object"&&r!==null&&typeof r.type=="string"&&r.loc!=null&&typeof r.start=="number",Xe=new WeakMap;function ht(r){let c=Xe.get(r);if(c)return c;let s=[];for(let a of Object.keys(r)){if(mt.has(a))continue;let u=r[a];if(Je(u))s.push(u);else if(Array.isArray(u))for(let x of u)Je(x)&&s.push(x);}return s.sort((a,u)=>a.start-u.start),Xe.set(r,s),s}function Tt(r,c){let s=r,a,u;for(;;){let x=ht(s);a=void 0,u=void 0;let f;for(let o of x){if(o.start<=c.start&&c.end<=o.end){f=o;break}if(o.end<=c.start)a=o;else if(c.end<=o.start){u=o;break}}if(!f)break;s=f;}return {enclosing:s,preceding:a,following:u}}var ve=(r,c)=>{(r.leadingComments??(r.leadingComments=[])).push(c);},ye=(r,c)=>{(r.trailingComments??(r.trailingComments=[])).push(c);},Se=(r,c)=>{(r.innerComments??(r.innerComments=[])).push(c);};function gt(r,c){for(let s=c;s<r.length;s++){let a=r[s];if(a!==" "&&a!==" "&&a!=="\r"&&a!==`
|
|
5
|
+
`&&a!=="\f")return a}return ""}var bt=new Set([")","]","}",","]);function xe(r,c,s=""){for(let a of c){let{enclosing:u,preceding:x,following:f}=Tt(r,a),o=x==null||x.loc.end.line<a.loc.start.line,h=!o&&(f==null||a.loc.end.line<f.loc.start.line);if(o)f?ve(f,a):x?ye(x,a):Se(u,a);else if(h)x?ye(x,a):f?ve(f,a):Se(u,a);else {let M=bt.has(gt(s,a.end));x&&M?ye(x,a):f?ve(f,a):x?ye(x,a):Se(u,a);}}}var me=(r=[])=>({vars:new Set(r),bounds:new Map,noCond:false,inferSink:null}),se=(r,c)=>{let s=new Set(r.vars),a=new Map(r.bounds);for(let u of c)s.add(u.name),u.bound||u.isConst?a.set(u.name,{bound:u.bound,isConst:u.isConst}):a.delete(u.name);return {vars:s,bounds:a,noCond:r.noCond,inferSink:r.inferSink}},vt=(r,c)=>{let s=r.bounds.get(c);return s&&(s.bound||s.isConst)?{t:"var",name:c,...s.bound?{bound:s.bound}:{},...s.isConst?{isConst:true}:{}}:{t:"var",name:c}},Fe=r=>{let{peek:c,next:s,isP:a,isK:u,expectP:x,fail:f,unescape:o}=r,h=(y,m)=>{let l=r.tokens[r.pos()-1]??m;return Object.assign(y,{start:m.start,end:l.end,loc:{start:m.loc.start,end:l.loc.end}})},M=()=>{let y=r.pos(),m=r.tokens[y],l=r.tokens[y-1];return !!l&&!!m&&m.loc.start.line>l.loc.end.line},b=()=>{let y=0;for(let m=r.pos();m<r.tokens.length;m++){let l=r.tokens[m];if(l.type==="EOF")return false;if(l.type==="Punctuator"){if(["(","[","{","<"].includes(l.value))y++;else if([")","]","}",">"].includes(l.value)&&(y--,y===0)){let S=r.tokens[m+1];return !!S&&S.type==="Punctuator"&&S.value==="=>"}}}return false},p=()=>{let y=r.tokens,m=[],l=0,S=false;for(let w=r.pos();w<y.length;w++){let k=y[w];if(k.type==="EOF")break;if(k.type==="Punctuator"){if(k.value==="<")l++,l===1&&(S=true);else if(k.value===">"){if(l--,l===0)break}else k.value==="("||k.value==="["||k.value==="{"?(l++,S=false):k.value===")"||k.value==="]"||k.value==="}"?(l--,S=false):k.value===","&&l===1?S=true:S=false;continue}if(l===1&&S){if(k.type==="Keyword"&&k.value==="const")continue;if(k.type==="Identifier"){m.push(k.value),S=false;continue}}S=false;}return m},v=y=>{let m=se(y,p().map(S=>({name:S})));x("<");let l=[];for(;!a(">");){let S=u("const");S&&s();let w=c();w.type!=="Identifier"&&f("Expected type parameter name"),s();let k,J;if(u("extends")){s();let F=X(m);k=F.schema,J=F.node;}let $;a("=")&&(s(),$=X(m).node),l.push({name:w.value,...k?{bound:k}:{},...J?{boundNode:J}:{},...$?{defaultNode:$}:{},...S?{isConst:true}:{}}),a(">")||x(",");}return x(">"),l},z=y=>{x("<");let m=[];for(;!a(">");)m.push(X(y)),a(">")||x(",");return x(">"),m},R=y=>{let m=c();return m.type==="Identifier"&&m.value===y},X=y=>{let m=c(),l=d(y);if(y.noCond||!u("extends")||M())return l;s();let S=[],w=d({...y,noCond:true,inferSink:S});x("?");let k=se(y,S.map(F=>({name:F}))),J=X(k);x(":");let $=X(k);return {node:h({type:"TSConditionalType",checkType:l.node,extendsType:w.node,trueType:J.node,falseType:$.node},m),schema:{t:"conditional",check:l.schema,extends:w.schema,then:J.schema,else:$.schema,...S.length?{infer:S}:{}}}},d=y=>{let m=c();a("|")&&s();let l=I(y);if(!a("|"))return l;let S=[l.node],w=[l.schema];for(;a("|");){s();let k=I(y);S.push(k.node),w.push(k.schema);}return {node:h({type:"TSUnionType",types:S},m),schema:{t:"union",of:w}}},I=y=>{let m=c();a("&")&&s();let l=T(y);if(!a("&"))return l;let S=[l.node],w=[l.schema];for(;a("&");){s();let k=T(y);S.push(k.node),w.push(k.schema);}return {node:h({type:"TSIntersectionType",types:S},m),schema:{t:"intersection",of:w}}},T=y=>{let m=c();if(R("keyof")){s();let l=T(y);return {node:h({type:"TSTypeOperator",operator:"keyof",typeAnnotation:l.node},m),schema:{t:"keyof",of:l.schema}}}if(R("readonly")){s();let l=T(y);return l.schema.t!=="array"&&l.schema.t!=="tuple"&&f("'readonly' only applies to array and tuple types"),{node:h({...l.node,readonly:true},m),schema:{...l.schema,readonly:true}}}if(R("infer")){s();let l=c();l.type!=="Identifier"&&f("Expected 'infer' variable name"),s();let S=y.inferSink;return S?(S.push(l.value),{node:h({type:"TSInferType",name:l.value},m),schema:{t:"var",name:l.value}}):f("'infer' is only allowed in the 'extends' clause of a conditional")}return W(y)},W=y=>{let m=c(),l=_(y);for(;a("[")&&!M();)if(s(),a("]"))s(),l={node:h({type:"TSArrayType",elementType:l.node},m),schema:{t:"array",items:l.schema}};else {let S=X(y);x("]"),l={node:h({type:"TSIndexedAccessType",objectType:l.node,indexType:S.node},m),schema:{t:"index",obj:l.schema,key:S.schema}};}return l},P=(y,m,l)=>({node:h({type:"TSKeywordType",kind:m},y),schema:l}),_=y=>{let m=c();if(u("typeof")){s();let w=c();w.type!=="Identifier"&&f("Expected a name after 'typeof' in type position"),s();let k=[w.value];for(;a(".");){s();let J=c();J.type!=="Identifier"&&J.type!=="Keyword"&&f("Expected a property name after '.' in 'typeof'"),s(),k.push(J.value);}return {node:h({type:"TSTypeQuery",exprName:k},m),schema:{t:"typeQuery",path:k}}}if(a("<")){let w=v(y),k=se(y,w);return A(k,m,w.map(J=>J.name))}if(a("(")){if(b())return A(y,m);s();let w=X(y.noCond?{...y,noCond:false}:y);return x(")"),w}if(a("{"))return C()?O(y):he(y);if(a("["))return U(y);let l=c();if(l.type==="String"){s();let w=o(l.value.slice(1,-1));return {node:h({type:"TSLiteralType",literal:w},m),schema:{t:"literal",value:w}}}if(l.type==="Number"){s();let w=Number(l.value);return {node:h({type:"TSLiteralType",literal:w},m),schema:{t:"literal",value:w}}}if(u("true"))return s(),{node:h({type:"TSLiteralType",literal:true},m),schema:{t:"literal",value:true}};if(u("false"))return s(),{node:h({type:"TSLiteralType",literal:false},m),schema:{t:"literal",value:false}};if(u("null"))return s(),P(m,"null",{t:"null"});if(u("void"))return s(),P(m,"void",{t:"void"});if(l.type==="Identifier"){switch(s(),l.value){case "string":return P(m,"string",{t:"string"});case "number":return P(m,"number",{t:"number"});case "boolean":return P(m,"boolean",{t:"boolean"});case "any":return P(m,"any",{t:"any"});case "unknown":return P(m,"unknown",{t:"unknown"});case "undefined":return P(m,"undefined",{t:"undefined"});case "never":return P(m,"never",{t:"union",of:[]})}let w=a("<")?z(y):[],k=w.map(F=>F.schema),J=w.length?w.map(F=>F.node):void 0,$=h({type:"TSTypeReference",typeName:l.value,...J?{typeArguments:J}:{}},m);return y.vars.has(l.value)&&k.length===0?{node:$,schema:vt(y,l.value)}:l.value==="ReturnType"&&k.length===1?{node:$,schema:{t:"returnType",fn:k[0]}}:l.value==="Parameters"&&k.length===1?{node:$,schema:{t:"parameters",fn:k[0]}}:(r.typeRefs?.push({name:l.value,loc:l.loc}),{node:$,schema:{t:"apply",name:l.value,args:k}})}r.recordError(`Expected a type but got '${l.value||l.type}'`,l);let S=r.createMissingNode({type:"TSTypeReference",typeName:""},l);return r.typeRefs?.push({name:"",loc:S.loc}),{node:S,schema:{t:"unknown"}}},q=y=>{x("(");let m=[];for(;!a(")");){let l=c();l.type!=="Identifier"&&f("Expected parameter name in function type"),s();let S=a("?");S&&s(),x(":");let w=X(y);m.push({node:h({type:"TSTypeParameter",name:l.value,typeAnnotation:w.node,...S?{optional:true}:{}},l),schema:{name:l.value,type:w.schema,...S?{optional:true}:{}}}),a(")")||x(",");}return x(")"),m},E=(y,m)=>{let l=c(),S=r.tokens[r.pos()+1];if(!(l.type==="Identifier"&&S?.type==="Identifier"&&S.value==="is"))return X(y);let k=m.indexOf(l.value);k<0&&f(`Cannot find parameter '${l.value}' for the type predicate`),s(),s();let J=X(y);return {node:h({type:"TSTypePredicate",parameterName:l.value,typeAnnotation:J.node},l),schema:{t:"boolean"},guard:{param:k,type:J.schema}}},A=(y,m,l)=>{let S=q(y);x("=>");let w=E(y,S.map(k=>k.schema.name));return {node:h({type:"TSFunctionType",params:S.map(k=>k.node),returnType:w.node,...l?.length?{typeParams:[...l]}:{}},m),schema:{t:"fn",params:S.map(k=>k.schema),returns:w.schema,...w.guard?{guard:w.guard}:{},...l?.length?{typeParams:l}:{}}}},U=y=>{let m=c();x("[");let l=[],S=[],w=[],k=[],J=()=>{let D=r.tokens[r.pos()],j=r.tokens[r.pos()+1],H=r.tokens[r.pos()+2];if(D?.type==="Identifier"&&j?.type==="Punctuator"&&(j.value===":"||j.value==="?"&&H?.type==="Punctuator"&&H.value===":"))return s(),D.value};for(;!a("]");){if(a("...")){s();let D=J();D!==void 0&&x(":"),k.push(D);let j=X(y);j.schema.t==="array"?(S.push(j.schema.items),l.push(j.node.elementType),w.push("rest")):(S.push(j.schema),l.push(j.node),w.push("variadic"));}else {let D=J(),j=false;D!==void 0&&(a("?")&&(s(),j=true),x(":")),k.push(D);let H=X(y);!j&&a("?")&&(s(),j=true),S.push(H.schema),l.push(H.node),w.push(j?"optional":"req");}a("]")||x(",");}x("]");let $=w.some(D=>D!=="req"),F=k.some(D=>D!==void 0);return {node:h({type:"TSTupleType",elementTypes:l,...$?{flags:w}:{},...F?{labels:k}:{}},m),schema:$?{t:"tuple",elements:S,flags:w}:{t:"tuple",elements:S}}},C=()=>{let y=r.tokens,m=r.pos()+1;return y[m]?.type==="Punctuator"&&(y[m]?.value==="+"||y[m]?.value==="-")&&m++,y[m]?.type==="Identifier"&&y[m]?.value==="readonly"&&m++,y[m]?.type==="Punctuator"&&y[m]?.value==="["&&y[m+1]?.type==="Identifier"&&y[m+2]?.type==="Keyword"&&y[m+2]?.value==="in"},O=y=>{let m=c();x("{"),(a("+")||a("-"))&&s(),R("readonly")&&s(),x("[");let l=c();l.type!=="Identifier"&&f("Expected mapped type key name"),s(),u("in")||f("Expected 'in' in mapped type"),s();let S=X(y);R("as")&&f("Key remapping ('as') in mapped types is not supported"),x("]");let w=false,k=a("+")||a("-")?s().value:null;a("?")&&(s(),w=k!=="-"),x(":");let J=X(se(y,[{name:l.value}]));return (a(";")||a(","))&&s(),x("}"),{node:h({type:"TSMappedType",key:l.value,constraint:S.node,typeAnnotation:J.node,optional:w},m),schema:{t:"mapped",key:l.value,over:S.schema,body:J.schema,optional:w}}},he=y=>{let m=c();x("{");let l=[],S={},w,k=[];for(;!a("}");){let $=c();if(a("(")){let F=q(y);x(":");let D=E(y,F.map(j=>j.schema.name));k.push({t:"fn",params:F.map(j=>j.schema),returns:D.schema,...D.guard?{guard:D.guard}:{}}),l.push(h({type:"TSCallSignatureDeclaration",params:F.map(j=>j.node),returnType:D.node},$));}else if(a("[")){s(),c().type!=="Identifier"&&f("Expected index signature parameter name"),s(),x(":");let F=c();(F.type!=="Identifier"||F.value!=="string"&&F.value!=="number")&&f("Index signature parameter type must be 'string' or 'number'"),s(),x("]"),x(":");let D=X(y);w={key:F.value,value:D.schema},l.push(h({type:"TSIndexSignature",keyType:F.value,typeAnnotation:D.node},$));}else {let F=false;if(R("readonly")){let V=r.tokens[r.pos()+1];V&&(V.type==="Identifier"||V.type==="Keyword"||V.type==="String"||V.type==="Number")&&(s(),F=true);}let D=c(),j;if(D.type==="Identifier"||D.type==="Keyword")s(),j=D.value;else if(D.type==="String")s(),j=o(D.value.slice(1,-1));else if(D.type==="Number")s(),j=D.value;else return f("Expected property name in object type");let H=a("?");H&&s(),x(":");let ae=X(y);S[j]={type:ae.schema,...H?{optional:true}:{}},l.push(h({type:"TSPropertySignature",key:j,typeAnnotation:ae.node,...H?{optional:true}:{},...F?{readonly:true}:{}},$));}if(a(";")||a(","))s();else break}x("}");let J=h({type:"TSTypeLiteral",members:l},m);return k.length>0?Object.keys(S).length>0||w?f("Callable object types (call signatures mixed with members) are not supported"):{node:J,schema:k.length===1?k[0]:{t:"overload",signatures:k}}:{node:J,schema:{t:"object",props:S,...w?{index:w}:{}}}};return {parseType:(y=[])=>X(se(me(),y)),parseReturnType:(y,m)=>E(se(me(),y),m),parseTypeParamList:()=>v(me()),parseTypeInScope:y=>X(se(me(),y))}};var re=class extends core.TSLiteError{constructor(s,a,u,x,f){super("parse-error",`${s} (${a.line}:${a.column})`,{position:a,index:u,loc:x,end:f});this.position=a;this.index=u;this.loc=x;this.end=f;this.name="ParseError";}},xt=r=>{let c=r;return c!=null&&typeof c.start=="number"&&c.start===c.end&&c.start>=0},Ke=(r,c)=>Object.assign(r,{start:c.start,end:c.start,loc:{start:c.loc.start,end:c.loc.start}}),kt={"??":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},wt=new Set(["??","||","&&"]),Pt=new Set(["class","debugger","with","enum","interface"]),Nt={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"},Et={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"},Ct=new Set(["=","+=","-=","*=","/=","%=","**=","??=","&&=","||="]);function ke(r){let c=[],s=[],a=be(r,e=>s.push(e),e=>c.push({code:"lex-error",...e})),u=0,x=[],f=(e=0)=>a[Math.min(u+e,a.length-1)],o=()=>a[u++],h=()=>a[u-1],M=()=>{let e=a[u],n=a[u-1];return !!e&&!!n&&e.loc.start.line>n.loc.end.line},b=()=>f().type==="EOF",p=e=>f().type==="Punctuator"&&f().value===e,v=e=>f().type==="Keyword"&&f().value===e,z=e=>f().type==="Identifier"&&f().value===e,R=(e,n=f())=>{throw X(e,n),new re(e,n.loc.start,n.start,n.loc,n.end)},X=(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=>(p(e)||R(`Expected '${e}' but got '${f().value||f().type}'`),o()),I=(e,n)=>{let t=h()??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}}),W=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 g=e.indexOf("}",t);n+=String.fromCodePoint(parseInt(e.slice(t+2,g),16)),t=g;}else n+=String.fromCharCode(parseInt(e.slice(t+1,t+5),16)),t+=4;break;default:n+=i;}}return n},P=(e=false)=>_(e),_=(e=false)=>{let n=q(e),t=f();if(t.type==="Punctuator"&&Ct.has(t.value)){o();let i=_();return T({type:"AssignmentExpression",operator:t.value,left:n,right:i},n,i)}return n},q=(e=false)=>{let n=A(0,e);if(!p("?"))return n;o();let t=P();d(":");let i=P();return T({type:"ConditionalExpression",test:n,consequent:t,alternate:i},n,i)},E=()=>{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=U();for(;;){let i=E();if(!i)break;let{op:g,consume:N}=i;if(g==="in"&&n)break;let L=kt[g];if(!L||L<=e)break;if(g==="satisfies"){if(M())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(g==="as"){if(M())break;o();let K=ce();t=T({type:"TSAsExpression",expression:t,typeAnnotation:K.schema,typeAnnotationNode:K.node},t,h());continue}for(let K=0;K<N;K++)o();let B=A(g==="**"?L-1:L,n);t=T({type:wt.has(g)?"LogicalExpression":"BinaryExpression",operator:g,left:t,right:B},t,B);}return t},U=()=>{let e=f();return e.type==="Punctuator"&&(e.value==="++"||e.value==="--")?(o(),I({type:"UpdateExpression",operator:e.value,prefix:true,argument:U()},e)):v("await")?(o(),I({type:"AwaitExpression",argument:U()},e)):v("typeof")||v("void")||v("delete")||e.type==="Punctuator"&&(e.value==="!"||e.value==="-"||e.value==="+"||e.value==="~")?C(e):he()},C=e=>{o();let n=U();return p("**")&&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)},O=()=>{let e=u,n=c.length,t=()=>(u=e,c.length=n,void 0);try{if(o(),p(">"))return t();let i=[];for(;i.push(ce().schema),!!p(",");)o();return p(">")?(o(),p("(")?i:t()):t()}catch{return t()}},he=()=>{let e=_e(),n=false;for(;;)if((f().type==="Template"||f().type==="TemplateHead")&&R("Tagged templates are not supported in this language"),p("?."))if(o(),n=true,p("(")){let{args:t,close:i}=y();e=T({type:"CallExpression",callee:e,arguments:t,optional:true},e,i);}else if(p("[")){o();let t=P(),i=d("]");e=T({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 '?.'"),o();let i=I({type:"Identifier",name:t.value},t);e=T({type:"MemberExpression",object:e,property:i,computed:false,optional:true},e,i);}else if(p(".")){o();let t=f(),i;t.type==="Identifier"||t.type==="Keyword"?(o(),i=I({type:"Identifier",name:t.value},t)):(X("Expected property name"),i=Ke({type:"Identifier",name:""},t)),e=T({type:"MemberExpression",object:e,property:i,computed:false,optional:false},e,i);}else if(p("[")){o();let t=P(),i=d("]");e=T({type:"MemberExpression",object:e,property:t,computed:true,optional:false},e,i);}else if(p("(")){let{args:t,close:i}=y();e=T({type:"CallExpression",callee:e,arguments:t,optional:false},e,i);}else if(p("<")){let t=O();if(!t)break;let{args:i,close:g}=y();e=T({type:"CallExpression",callee:e,arguments:i,optional:false,typeArguments:t},e,g);}else if(p("++")||p("--")){let t=o();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},y=()=>{d("(");let e=[];for(;!p(")");)e.push(m()),p(")")||d(",");return {args:e,close:d(")")}},m=()=>{if(p("...")){let e=o(),n=P();return T({type:"SpreadElement",argument:n},e,n)}return P()},l=()=>{let e=f();return e.type!=="Identifier"&&R("Expected identifier"),o(),I({type:"Identifier",name:e.value},e)},S=(e,n=false)=>{let t=p("{")?w(e):p("[")?k(e):l();if(n&&p("?")&&(t.type!=="Identifier"&&R("A binding pattern parameter cannot be optional"),o(),t.optional=true),p(":")){o();let i=ce(e);t.typeAnnotation=i.schema,t.typeAnnotationNode=i.node;}return t},w=e=>{let n=d("{"),t=[];for(;!p("}");){if(p("...")){let g=o(),N=S(e);t.push(T({type:"RestElement",argument:N},g,N));}else {let g=l(),N,L=false;if(p(":")?(o(),N=S(e)):(N={...g},L=true),p("=")){o();let B=P();N=T({type:"AssignmentPattern",left:N,right:B},N,B);}t.push(T({type:"Property",key:g,value:N,kind:"init",shorthand:L,computed:false},g,N));}p("}")||d(",");}let i=d("}");return T({type:"ObjectPattern",properties:t},n,i)},k=e=>{let n=d("["),t=[];for(;!p("]");){if(p(",")){t.push(null),o();continue}if(p("...")){let g=o(),N=S(e);t.push(T({type:"RestElement",argument:N},g,N));}else {let g=S(e);if(p("=")){o();let N=P();g=T({type:"AssignmentPattern",left:g,right:N},g,N);}t.push(g);}p("]")||d(",");}let i=d("]");return T({type:"ArrayPattern",elements:t},n,i)},J=()=>{let e=0;for(let n=u;n<a.length;n++){let t=a[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=a[n+1];return !i||i.type!=="Punctuator"?false:i.value==="=>"?true:i.value===":"?$(n+2):false}}}return false},$=e=>{let n=0;for(let t=e;t<a.length;t++){let i=a[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},F=(e=[])=>{d("(");let n=[];for(;!p(")");){if(p("...")){let t=o(),i=S(e);n.push(T({type:"RestElement",argument:i},t,i));}else {let t=S(e,true);if(p("=")){t.optional&&R("Parameter cannot have question mark and initializer"),o();let i=P();t=T({type:"AssignmentPattern",left:t,right:i},t,i);}n.push(t);}p(")")||d(",");}return d(")"),n},D=e=>{if(e.type==="Identifier")return e.name;let n=e.left;return e.type==="AssignmentPattern"&&n?.type==="Identifier"?n.name:null},j=(e,n,t=[])=>{let i=p("(")?F(t):[l()],g,N,L;if(p(":")){o();let K=ze(t,i.map(D));g=K.schema,N=K.node,L=K.guard;}d("=>");let B=p("{")?le():P();return I({type:"ArrowFunctionExpression",params:i,body:B,async:e,expression:B.type!=="BlockStatement",generator:false,...g?{returnType:g,returnTypeNode:N}:{},...L?{returnGuard:L}:{},...t.length?{typeParams:t.map(K=>K.name),typeParamNodes:t}:{}},n)},H=()=>{let e=d("["),n=[];for(;!p("]");){if(p(",")){o(),n.push(null);continue}n.push(m()),p("]")||d(",");}return T({type:"ArrayExpression",elements:n},e,d("]"))},ae=()=>{let e=d("{"),n=[];for(;!p("}");){if(p("...")){let t=o(),i=P();n.push(T({type:"SpreadElement",argument:i},t,i));}else {let t=f(),i,g=false;if(p("["))g=true,o(),i=P(),d("]");else if(t.type==="String")o(),i=I({type:"Literal",value:W(t.value.slice(1,-1)),raw:t.value},t);else if(t.type==="Number")o(),i=I({type:"Literal",value:Number(t.value),raw:t.value},t);else if(t.type==="Identifier"||t.type==="Keyword")o(),i=I({type:"Identifier",name:t.value},t);else return R("Invalid property key");if(p(":")){o();let N=P();n.push(T({type:"Property",key:i,value:N,kind:"init",shorthand:false,computed:g},t,N));}else n.push(T({type:"Property",key:i,value:i,kind:"init",shorthand:true,computed:false},t,i));}p("}")||d(",");}return T({type:"ObjectExpression",properties:n},e,d("}"))},V=(e,n)=>({type:"TemplateElement",value:{raw:e,cooked:W(e)},tail:n}),$e=e=>{o();let n=[V(e.value,false)],t=[];for(;;){t.push(P());let i=f();if(i.type==="TemplateMiddle")o(),n.push(V(i.value,false));else if(i.type==="TemplateTail"){o(),n.push(V(i.value,true));break}else R("Expected `}` to close template interpolation");}return I({type:"TemplateLiteral",quasis:n,expressions:t},e)},ie=()=>{let e=f();return e.type!=="Identifier"&&R(`Expected JSX identifier but got '${e.value||e.type}'`),I({type:"JSXIdentifier",name:o().value},e)},we=()=>{let e=ie();if(p(":")){o();let n=ie();return T({type:"JSXNamespacedName",namespace:e,name:n},e,n)}for(;p(".");){o();let n=ie();e=T({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)}`,Me=()=>{let e=f();if(e.type==="String")return o(),I({type:"Literal",value:W(e.value.slice(1,-1)),raw:e.value},e);if(p("{")){let n=o(),t=_(),i=d("}");return T({type:"JSXExpressionContainer",expression:t},n,i)}return p("<")?Te():R(`Invalid JSX attribute value '${e.value||e.type}'`)},Be=()=>{let e=[];for(;!p(">")&&!p("/>")&&!b();){if(p("{")){let i=o();d("...");let g=_(),N=d("}");e.push(T({type:"JSXSpreadAttribute",argument:g},i,N));continue}let n=ie();if(p(":")){o();let i=ie();n=T({type:"JSXNamespacedName",namespace:n,name:i},n,i);}let t=null;p("=")&&(o(),t=Me()),e.push(T({type:"JSXAttribute",name:n,value:t},n,t??n));}return e},Pe=()=>{let e=[];for(;!(p("</")||b());){let n=f();if(n.type==="JSXText")o(),e.push(I({type:"JSXText",value:n.value,raw:n.value},n));else if(p("{")){let t=o();if(p("}")){let i=o(),g=I({type:"JSXEmptyExpression"},t);e.push(T({type:"JSXExpressionContainer",expression:g},t,i));}else if(p("...")){o();let i=_(),g=d("}");e.push(T({type:"JSXSpreadChild",expression:i},t,g));}else {let i=_(),g=d("}");e.push(T({type:"JSXExpressionContainer",expression:i},t,g));}}else p("<")?e.push(Te()):R(`Unexpected token in JSX children '${n.value||n.type}'`);}return e},Te=()=>{let e=d("<");if(p(">")){let ee=o(),oe=T({type:"JSXOpeningFragment"},e,ee),st=Pe(),at=d("</"),Le=d(">"),it=T({type:"JSXClosingFragment"},at,Le);return T({type:"JSXFragment",openingFragment:oe,children:st,closingFragment:it},e,Le)}let n=we(),t=Be();if(p("/>")){let ee=o(),oe=T({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:true},e,ee);return T({type:"JSXElement",openingElement:oe,children:[],closingElement:null},e,ee)}let i=d(">"),g=T({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:false},e,i),N=Pe(),L=d("</"),B=f(),K=we();Q(K)!==Q(n)&&R(`JSX closing tag </${Q(K)}> does not match opening <${Q(n)}>`,B);let G=d(">"),Y=T({type:"JSXClosingElement",name:K},L,G);return T({type:"JSXElement",openingElement:g,children:N,closingElement:Y},e,G)},_e=()=>{let e=f();if(v("async")){let n=f(1);if(n.value==="("||n.type==="Identifier")return o(),j(true,e);if(n.value==="<"){o();let t=Ne(e,true);if(t)return t}return R("Unexpected 'async'")}if(p("(")&&J()||e.type==="Identifier"&&f(1).type==="Punctuator"&&f(1).value==="=>")return j(false,e);if(e.type==="Number")return o(),I({type:"Literal",value:Number(e.value),raw:e.value},e);if(e.type==="String")return o(),I({type:"Literal",value:W(e.value.slice(1,-1)),raw:e.value},e);if(e.type==="Template")return o(),I({type:"TemplateLiteral",expressions:[],quasis:[V(e.value,true)]},e);if(e.type==="TemplateHead")return $e(e);if(e.type==="Keyword")return e.value==="true"?(o(),I({type:"Literal",value:true,raw:"true"},e)):e.value==="false"?(o(),I({type:"Literal",value:false,raw:"false"},e)):e.value==="null"?(o(),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 o(),I({type:"Identifier",name:e.value},e);if(p("(")){o();let n=P();return d(")"),n}return p("[")?H():p("{")?ae():p("<")?Ne(e)??Te():R(`Unexpected token '${e.value||e.type}'`)},Ne=(e,n=false)=>{let t=u,i=c.length,g=()=>(u=t,c.length=i,void 0);try{let N=Ee();return !N.length||!p("(")?g():j(n,e,N)}catch{return g()}},{parseType:ce,parseReturnType:ze,parseTypeParamList:Ee,parseTypeInScope:We}=Fe({tokens:a,pos:()=>u,peek:f,next:o,isP:p,isK:v,expectP:d,fail:R,recordError:X,createMissingNode:Ke,unescape:W,typeRefs:x}),Ce=()=>{let e=o(),n=l(),t=[],i=[];p("<")&&(i=Ee(),t=i.map(L=>L.name)),d("=");let g=We(i),N=T({type:"TSTypeAliasDeclaration",id:n,typeParameters:t,...i.length?{typeParamNodes:i}:{},typeAnnotation:g.schema,typeNode:g.node},e,h());return p(";")&&o(),N},Z=()=>{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 Ce();if(v("const")||v("let")||v("var")){let g=Ie();return p(";")&&o(),g}if(v("if"))return et();if(v("for"))return Ve();if(v("while"))return Ze();if(v("do"))return Ye();if(v("break")||v("continue"))return Qe();if(v("return"))return tt();if(v("throw"))return nt();if(v("try"))return rt();if(v("switch"))return ot();if(v("import"))return He();if(v("export"))return Ge();if(p("{"))return le();if((v("function")||v("async")&&f(1).type==="Keyword"&&f(1).value==="function")&&R("Function declarations are not supported \u2014 use 'const fn = () => \u2026'"),p(";"))return o(),I({type:"EmptyStatement"},e);if(e.type==="Keyword"&&Pt.has(e.value)||e.type==="Identifier"&&Et[e.value]?.(f(1),f(2))===true){let g=Nt[e.value];R(`'${e.value}' is not supported in this language`+(g?` \u2014 ${g}`:""));}let t=P(),i=p(";")?o():h();return T({type:"ExpressionStatement",expression:t},t,i)},Ie=()=>{let e=o(),n=e.value,t=()=>{let g=S([]),N=null;return p("=")?(o(),N=P()):n==="const"&&X("'const' declarations must be initialized"),T({type:"VariableDeclarator",id:g,init:N},g,N??g)},i=[t()];for(;p(",");)o(),i.push(t());return T({type:"VariableDeclaration",kind:n,declarations:i},e,i[i.length-1])},qe=()=>{let e=f();return e.type!=="String"&&R("Expected module specifier string"),o(),I({type:"Literal",value:W(e.value.slice(1,-1)),raw:e.value},e)},He=()=>{let e=o(),n=[],t;if(z("type")){let g=f(1);(g.type==="Punctuator"&&(g.value==="{"||g.value==="*")||g.type==="Identifier"&&g.value!=="from")&&(o(),t="type");}if(f().type!=="String"){if(f().type==="Identifier"){let g=l();n.push(T({type:"ImportDefaultSpecifier",local:g},g,g)),p(",")&&o();}if(p("*")){let g=o();z("as")||R("Expected 'as' after '*' in import"),o();let N=l();n.push(T({type:"ImportNamespaceSpecifier",local:N},g,N));}else if(p("{")){for(o();!p("}")&&!b();){let g;z("type")&&f(1).type==="Identifier"&&f(1).value!=="as"&&(o(),g="type");let N=l(),L=N;if(z("as")&&(o(),L=l()),n.push(T({type:"ImportSpecifier",imported:N,local:L,...g?{importKind:g}:{}},N,L)),p(","))o();else break}d("}");}z("from")||R("Expected 'from' in import declaration"),o();}let i=qe();return p(";")&&o(),I({type:"ImportDeclaration",specifiers:n,source:i,...t?{importKind:t}:{}},e)},Ge=()=>{let e=o();if(z("type")&&f(1).type==="Identifier"){let n=Ce();return I({type:"ExportNamedDeclaration",declaration:n,specifiers:[],source:null},e)}if(v("default")){o();let n=P();return p(";")&&o(),I({type:"ExportDefaultDeclaration",declaration:n},e)}if(v("const")||v("let")||v("var")){let n=Ie();return p(";")&&o(),I({type:"ExportNamedDeclaration",declaration:n,specifiers:[],source:null},e)}if(p("{")){o();let n=[];for(;!p("}")&&!b();){let t=l(),i=t;if(z("as")&&(o(),i=l()),n.push(T({type:"ExportSpecifier",local:t,exported:i},t,i)),p(","))o();else break}return d("}"),p(";")&&o(),I({type:"ExportNamedDeclaration",declaration:null,specifiers:n,source:null},e)}return R("Expected 'const', 'type', '{', or 'default' after 'export'")},Re=()=>f().type==="Identifier"&&f().value==="of",ge=()=>v("in"),Ve=()=>{let e=o();d("(");let n=null,t=null;if(!p(";"))if(v("const")||v("let")||v("var")){let L=o(),B=()=>{let G=l();if(p(":")){o();let Y=ce();G.typeAnnotation=Y.schema,G.typeAnnotationNode=Y.node;}return G},K=B();if(Re()||ge()){let G=T({type:"VariableDeclarator",id:K,init:null},K,K);t=T({type:"VariableDeclaration",kind:L.value,declarations:[G]},L,K);}else {let G=ee=>{let oe=null;return p("=")?(o(),oe=P(true)):L.value==="const"&&R("'const' declarations must be initialized"),T({type:"VariableDeclarator",id:ee,init:oe},ee,oe??ee)},Y=[G(K)];for(;p(",");)o(),Y.push(G(B()));n=T({type:"VariableDeclaration",kind:L.value,declarations:Y},L,Y[Y.length-1]);}}else {let L=P(true);Re()||ge()?t=L:n=L;}if(t){let L=ge();o();let B=P();d(")");let K=Z();return T(L?{type:"ForInStatement",left:t,right:B,body:K}:{type:"ForOfStatement",left:t,right:B,body:K,await:false},e,K)}d(";");let i=p(";")?null:P();d(";");let g=p(")")?null:P();d(")");let N=Z();return T({type:"ForStatement",init:n,test:i,update:g,body:N},e,N)},Ye=()=>{let e=o(),n=Z();v("while")||R("Expected 'while' after the 'do' body"),o(),d("(");let t=P(),i=d(")");return p(";")&&o(),T({type:"DoWhileStatement",body:n,test:t},e,i)},Qe=()=>{let e=o(),n=e.value==="break"?"BreakStatement":"ContinueStatement",t=p(";")?o():h();return T({type:n,label:null},e,t)},Ze=()=>{let e=o();d("(");let n=P();d(")");let t=Z();return T({type:"WhileStatement",test:n,body:t},e,t)},et=()=>{let e=o();d("(");let n=P();d(")");let t=Z(),i=null;return v("else")&&(o(),i=Z()),T({type:"IfStatement",test:n,consequent:t,alternate:i},e,i??t)},tt=()=>{let e=o(),n=null;!p(";")&&!p("}")&&!b()&&(n=P());let t=p(";")?o():h();return T({type:"ReturnStatement",argument:n},e,t)},nt=()=>{let e=o(),n=P(),t=p(";")?o():h();return T({type:"ThrowStatement",argument:n},e,t)},rt=()=>{let e=o(),n=le(),t=null,i=null;if(v("catch")){let g=o(),N=null;p("(")&&(o(),N=l(),d(")"));let L=le();t=T({type:"CatchClause",param:N,body:L},g,L);}return v("finally")&&(o(),i=le()),!t&&!i&&R("'try' requires a 'catch' or 'finally' clause"),T({type:"TryStatement",block:n,handler:t,finalizer:i},e,i??t??n)},ot=()=>{let e=o();d("(");let n=P();d(")"),d("{");let t=[];for(;!p("}")&&!b();){let g=f(),N=null;v("case")?(o(),N=P()):v("default")?o():R("Expected 'case' or 'default' in switch"),d(":");let L=[];for(;!p("}")&&!v("case")&&!v("default")&&!b();)L.push(Z());t.push(T({type:"SwitchCase",test:N,consequent:L},g,h()??g));}let i=d("}");return T({type:"SwitchStatement",discriminant:n,cases:t},e,i)},le=()=>{let e=d("{"),n=Ae(()=>p("}"));return T({type:"BlockStatement",body:n},e,d("}"))},Ae=e=>{let n=[];for(;!e()&&!b();){if(f().type==="Unknown"){o();continue}try{n.push(Z());}catch(t){if(!(t instanceof re))throw t;b()||o();}}return n};return {parseExpr:P,parseProgram:()=>{let e=f(),n=Ae(()=>false);return T({type:"Program",sourceType:"module",body:n,...x.length?{typeRefs:x}:{},...s.length?{comments:s}:{},...c.length?{parseDiagnostics:c}:{}},e,h()??e)},eof:b,fail:R,recordError:X,diagnostics:c}}function Ue(r){let c=ke(r),s=c.parseProgram(),a=s.comments;return a?.length&&xe(s,a,r),{ast:s,diagnostics:c.diagnostics}}function It(r){let{ast:c,diagnostics:s}=Ue(r),a=s[0];if(a){let u=a.code==="lex-error"?ne:re;throw new u(a.message,a.position,a.index,a.loc,a.end)}return c}function Rt(r){let c=ke(r),s=c.parseExpr();c.eof()||c.fail("Unexpected token after expression");let a=c.diagnostics[0];if(a){let u=a.code==="lex-error"?ne:re;throw new u(a.message,a.position,a.index,a.loc,a.end)}return s}function At(r){let c=ke(r),s;try{s=c.parseExpr(),c.eof()||c.recordError("Unexpected token after expression");}catch(a){if(!(a instanceof re)&&!(a instanceof ne))throw a}return {ast:s,diagnostics:c.diagnostics}}exports.KEYWORDS=De;exports.LexError=ne;exports.ParseError=re;exports.attachComments=xe;exports.nodeIsMissing=xt;exports.parse=It;exports.parseExpression=Rt;exports.parseExpressionTolerant=At;exports.parseTolerant=Ue;exports.tokenize=be;
|
package/dist/index.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
|
-
import {TSLiteError}from'@tslite/core';var
|
|
2
|
-
`||
|
|
3
|
-
`&&u++,
|
|
4
|
-
`||
|
|
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};
|
|
1
|
+
import {TSLiteError}from'@tslite/core';var ne=class extends TSLiteError{constructor(s,a,u,x,f){super("lex-error",`${s} (${a.line}:${a.column})`,{position:a,index:u,loc:x,end:f});this.position=a;this.index=u;this.loc=x;this.end=f;this.name="LexError";}},De=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"]),pt=["...","===","!==","=>","?.","??=","&&=","||=","**=","??","==","!=","<=",">=","&&","||","|","&","++","--","+=","-=","*=","/=","%=","**","<<","+","-","*","/","%","<",">","!","?",":",".",",",";","=","^","~","(",")","[","]","{","}"],de=r=>r>="a"&&r<="z"||r>="A"&&r<="Z"||r==="_"||r==="$",fe=r=>de(r)||r>="0"&&r<="9",te=r=>r>="0"&&r<="9",je=r=>te(r)||r>="a"&&r<="f"||r>="A"&&r<="F",ct=r=>fe(r)||r==="-",pe=r=>r===`
|
|
2
|
+
`||r==="\r"||r==="\u2028"||r==="\u2029",ue=(r,c)=>{let s=c;for(;;){let a=r[s]??"";if(a===" "||a===" "||a==="\f"||a==="\v"||pe(a))s++;else if(a==="/"&&r[s+1]==="/")for(s+=2;s<r.length&&!pe(r[s]??"");)s++;else if(a==="/"&&r[s+1]==="*"){for(s+=2;s<r.length&&!(r[s]==="*"&&r[s+1]==="/");)s++;s+=2;}else return s}},ut=(r,c)=>{if(!de(r[c]??""))return c;let s=c+1;for(;fe(r[s]??"");)s++;return s},Oe=(r,c,s)=>r.startsWith(s,c)&&!fe(r[c+s.length]??""),dt=(r,c)=>{let s=ue(r,c);Oe(r,s,"const")&&(s=ue(r,s+5));let a=ut(r,s);if(a===s)return false;if(s=ue(r,a),Oe(r,s,"extends")){let u=ue(r,s+7),x=r[u]??"";return !(x==="="||x===">"||x==="/")}return r[s]===","?true:r[s]==="="&&r[s+1]!==">"},ft=new Set(["(","[","{",",",";",":","?","=>","...","=","+","-","*","/","%","<","<=",">",">=","==","===","!=","!==","&&","||","??","!","+=","-=","*=","/=","%=","??=","&&=","||=","**="]),yt=new Set(["return","typeof","await","delete","void","in","instanceof","else","case","yield","throw"]);function be(r,c,s){let a=[],u=0,x=1,f=0,o=()=>({line:x,column:f}),h=(E=0)=>r[u+E]??"",M=E=>{let A=o(),U={start:A,end:{line:x,column:f+1}};if(s){s({message:E,position:A,index:u,loc:U,end:u+1});return}throw new ne(E,A,u,U,u+1)},b=()=>{let E=r[u++];return E==="\r"?(r[u]===`
|
|
3
|
+
`&&u++,x++,f=0):E===`
|
|
4
|
+
`||E==="\u2028"||E==="\u2029"?(x++,f=0):f++,E},p=()=>{for(;;){let E=h();if(E===" "||E===" "||E==="\f"||E==="\v"||pe(E))b();else if(E==="/"&&h(1)==="/"){let A=u,U=o();b(),b();let C=u;for(;u<r.length&&!pe(h());)b();c?.({type:"Line",value:r.slice(C,u),start:A,end:u,loc:{start:U,end:o()}});}else if(E==="/"&&h(1)==="*"){let A=u,U=o();b(),b();let C=u,O=u;for(;;){if(u>=r.length){M("Unterminated block comment"),O=u;break}if(h()==="*"&&h(1)==="/"){O=u,b(),b();break}b();}c?.({type:"Block",value:r.slice(C,O),start:A,end:u,loc:{start:U,end:o()}});}else break}},v=(E,A,U,C)=>{a.push({type:E,value:A,start:U,end:u,loc:{start:C,end:o()}}),W=E==="Punctuator"?ft.has(A):E==="Keyword"?yt.has(A):E==="TemplateHead"||E==="TemplateMiddle";},z=E=>{for(b();u<r.length;){let A=h();if(A===E)return b(),r.slice(d,u);if(pe(A))return M("Unterminated string literal"),r.slice(d,u);if(A==="\\"){if(b(),u>=r.length)return M("Unterminated string literal"),r.slice(d,u);b();continue}b();}return M("Unterminated string literal"),r.slice(d,u)},R=()=>{if(h()==="0"&&(h(1)==="x"||h(1)==="X")){if(b(),b(),!je(h()))return M("Invalid hexadecimal literal");for(;je(h());)b();return}if(h()==="0"&&(h(1)==="b"||h(1)==="B")){if(b(),b(),h()!=="0"&&h()!=="1")return M("Invalid binary literal");for(;h()==="0"||h()==="1";)b();return}if(h()==="0"&&(h(1)==="o"||h(1)==="O")){if(b(),b(),!(h()>="0"&&h()<="7"))return M("Invalid octal literal");for(;h()>="0"&&h()<="7";)b();return}for(;te(h());)b();if(h()===".")for(b();te(h());)b();if(h()==="e"||h()==="E"){if(b(),(h()==="+"||h()==="-")&&b(),!te(h()))return M("Invalid exponent");for(;te(h());)b();}},X=()=>{let E=u;for(;u<r.length;){let A=h();if(A==="`"){let U=r.slice(E,u);return b(),{raw:U,interp:false}}if(A==="$"&&h(1)==="{"){let U=r.slice(E,u);return b(),b(),{raw:U,interp:true}}if(A==="\\"){if(b(),u>=r.length)break;b();continue}b();}return M("Unterminated template literal"),{raw:r.slice(E,u),interp:false}},d=0,I=0,T=[],W=true,P="js",_=[],q=[];for(;;){if(P==="jsxChildren"){d=u;let C=o();if(u>=r.length){v("EOF","",d,C);break}let O=h();if(O==="<"){h(1)==="/"?(b(),b(),v("Punctuator","</",d,C),P="jsxCloseTag"):(b(),v("Punctuator","<",d,C),_.push("jsxChildren"),P="jsxOpenTag");continue}if(O==="{"){b(),v("Punctuator","{",d,C),q.push({level:I,restore:"jsxChildren"}),P="js";continue}for(;u<r.length&&h()!=="<"&&h()!=="{";)b();v("JSXText",r.slice(d,u),d,C);continue}if(P==="jsxOpenTag"||P==="jsxCloseTag"){p(),d=u;let C=o();if(u>=r.length){v("EOF","",d,C);break}let O=h();if(de(O)){for(b();ct(h());)b();v("Identifier",r.slice(d,u),d,C);continue}if(O==="/"&&h(1)===">"){b(),b(),v("Punctuator","/>",d,C),P=_.pop()??"js";continue}if(O===">"){b(),v("Punctuator",">",d,C),P=P==="jsxCloseTag"?_.pop()??"js":"jsxChildren";continue}if(O==="{"){b(),v("Punctuator","{",d,C),q.push({level:I,restore:P}),P="js";continue}if(O==='"'||O==="'"){v("String",z(O),d,C);continue}if(O==="="||O==="."||O===":"){b(),v("Punctuator",O,d,C);continue}if(O==="<"&&P==="jsxOpenTag"){b(),v("Punctuator","<",d,C),_.push("jsxOpenTag");continue}M(`Unexpected character '${O}' in JSX tag`),b(),v("Unknown",O,d,C);continue}p(),d=u;let E=o();if(u>=r.length){v("EOF","",d,E);break}let A=h();if(de(A)){for(;fe(h());)b();let C=r.slice(d,u);v(De.has(C)?"Keyword":"Identifier",C,d,E);continue}if(te(A)||A==="."&&te(h(1))){R(),v("Number",r.slice(d,u),d,E);continue}if(A==='"'||A==="'"){let C=z(A);v("String",C,d,E);continue}if(A==="`"){b();let{raw:C,interp:O}=X();O?(v("TemplateHead",C,d,E),T.push(I)):v("Template",C,d,E);continue}if(A==="<"&&W&&!dt(r,u+1)){b(),v("Punctuator","<",d,E),_.push("js"),P="jsxOpenTag";continue}if(A==="{"){b(),v("Punctuator","{",d,E),I++;continue}if(A==="}"){if(T.length>0&&I===T[T.length-1]){T.pop(),b();let{raw:C,interp:O}=X();v(O?"TemplateMiddle":"TemplateTail",C,d,E),O&&T.push(I);continue}if(q.length>0&&I===q[q.length-1].level){let{restore:C}=q.pop();b(),v("Punctuator","}",d,E),P=C;continue}b(),v("Punctuator","}",d,E),I--;continue}if(A==="?"&&h(1)==="."&&te(h(2))){b(),v("Punctuator","?",d,E);continue}let U=pt.find(C=>r.startsWith(C,u));if(U){for(let C=0;C<U.length;C++)b();v("Punctuator",U,d,E);continue}M(`Unexpected character '${A}'`),b(),v("Unknown",A,d,E);}return a}var mt=new Set(["leadingComments","trailingComments","innerComments","comments"]),Je=r=>typeof r=="object"&&r!==null&&typeof r.type=="string"&&r.loc!=null&&typeof r.start=="number",Xe=new WeakMap;function ht(r){let c=Xe.get(r);if(c)return c;let s=[];for(let a of Object.keys(r)){if(mt.has(a))continue;let u=r[a];if(Je(u))s.push(u);else if(Array.isArray(u))for(let x of u)Je(x)&&s.push(x);}return s.sort((a,u)=>a.start-u.start),Xe.set(r,s),s}function Tt(r,c){let s=r,a,u;for(;;){let x=ht(s);a=void 0,u=void 0;let f;for(let o of x){if(o.start<=c.start&&c.end<=o.end){f=o;break}if(o.end<=c.start)a=o;else if(c.end<=o.start){u=o;break}}if(!f)break;s=f;}return {enclosing:s,preceding:a,following:u}}var ve=(r,c)=>{(r.leadingComments??(r.leadingComments=[])).push(c);},ye=(r,c)=>{(r.trailingComments??(r.trailingComments=[])).push(c);},Se=(r,c)=>{(r.innerComments??(r.innerComments=[])).push(c);};function gt(r,c){for(let s=c;s<r.length;s++){let a=r[s];if(a!==" "&&a!==" "&&a!=="\r"&&a!==`
|
|
5
|
+
`&&a!=="\f")return a}return ""}var bt=new Set([")","]","}",","]);function xe(r,c,s=""){for(let a of c){let{enclosing:u,preceding:x,following:f}=Tt(r,a),o=x==null||x.loc.end.line<a.loc.start.line,h=!o&&(f==null||a.loc.end.line<f.loc.start.line);if(o)f?ve(f,a):x?ye(x,a):Se(u,a);else if(h)x?ye(x,a):f?ve(f,a):Se(u,a);else {let M=bt.has(gt(s,a.end));x&&M?ye(x,a):f?ve(f,a):x?ye(x,a):Se(u,a);}}}var me=(r=[])=>({vars:new Set(r),bounds:new Map,noCond:false,inferSink:null}),se=(r,c)=>{let s=new Set(r.vars),a=new Map(r.bounds);for(let u of c)s.add(u.name),u.bound||u.isConst?a.set(u.name,{bound:u.bound,isConst:u.isConst}):a.delete(u.name);return {vars:s,bounds:a,noCond:r.noCond,inferSink:r.inferSink}},vt=(r,c)=>{let s=r.bounds.get(c);return s&&(s.bound||s.isConst)?{t:"var",name:c,...s.bound?{bound:s.bound}:{},...s.isConst?{isConst:true}:{}}:{t:"var",name:c}},Fe=r=>{let{peek:c,next:s,isP:a,isK:u,expectP:x,fail:f,unescape:o}=r,h=(y,m)=>{let l=r.tokens[r.pos()-1]??m;return Object.assign(y,{start:m.start,end:l.end,loc:{start:m.loc.start,end:l.loc.end}})},M=()=>{let y=r.pos(),m=r.tokens[y],l=r.tokens[y-1];return !!l&&!!m&&m.loc.start.line>l.loc.end.line},b=()=>{let y=0;for(let m=r.pos();m<r.tokens.length;m++){let l=r.tokens[m];if(l.type==="EOF")return false;if(l.type==="Punctuator"){if(["(","[","{","<"].includes(l.value))y++;else if([")","]","}",">"].includes(l.value)&&(y--,y===0)){let S=r.tokens[m+1];return !!S&&S.type==="Punctuator"&&S.value==="=>"}}}return false},p=()=>{let y=r.tokens,m=[],l=0,S=false;for(let w=r.pos();w<y.length;w++){let k=y[w];if(k.type==="EOF")break;if(k.type==="Punctuator"){if(k.value==="<")l++,l===1&&(S=true);else if(k.value===">"){if(l--,l===0)break}else k.value==="("||k.value==="["||k.value==="{"?(l++,S=false):k.value===")"||k.value==="]"||k.value==="}"?(l--,S=false):k.value===","&&l===1?S=true:S=false;continue}if(l===1&&S){if(k.type==="Keyword"&&k.value==="const")continue;if(k.type==="Identifier"){m.push(k.value),S=false;continue}}S=false;}return m},v=y=>{let m=se(y,p().map(S=>({name:S})));x("<");let l=[];for(;!a(">");){let S=u("const");S&&s();let w=c();w.type!=="Identifier"&&f("Expected type parameter name"),s();let k,J;if(u("extends")){s();let F=X(m);k=F.schema,J=F.node;}let $;a("=")&&(s(),$=X(m).node),l.push({name:w.value,...k?{bound:k}:{},...J?{boundNode:J}:{},...$?{defaultNode:$}:{},...S?{isConst:true}:{}}),a(">")||x(",");}return x(">"),l},z=y=>{x("<");let m=[];for(;!a(">");)m.push(X(y)),a(">")||x(",");return x(">"),m},R=y=>{let m=c();return m.type==="Identifier"&&m.value===y},X=y=>{let m=c(),l=d(y);if(y.noCond||!u("extends")||M())return l;s();let S=[],w=d({...y,noCond:true,inferSink:S});x("?");let k=se(y,S.map(F=>({name:F}))),J=X(k);x(":");let $=X(k);return {node:h({type:"TSConditionalType",checkType:l.node,extendsType:w.node,trueType:J.node,falseType:$.node},m),schema:{t:"conditional",check:l.schema,extends:w.schema,then:J.schema,else:$.schema,...S.length?{infer:S}:{}}}},d=y=>{let m=c();a("|")&&s();let l=I(y);if(!a("|"))return l;let S=[l.node],w=[l.schema];for(;a("|");){s();let k=I(y);S.push(k.node),w.push(k.schema);}return {node:h({type:"TSUnionType",types:S},m),schema:{t:"union",of:w}}},I=y=>{let m=c();a("&")&&s();let l=T(y);if(!a("&"))return l;let S=[l.node],w=[l.schema];for(;a("&");){s();let k=T(y);S.push(k.node),w.push(k.schema);}return {node:h({type:"TSIntersectionType",types:S},m),schema:{t:"intersection",of:w}}},T=y=>{let m=c();if(R("keyof")){s();let l=T(y);return {node:h({type:"TSTypeOperator",operator:"keyof",typeAnnotation:l.node},m),schema:{t:"keyof",of:l.schema}}}if(R("readonly")){s();let l=T(y);return l.schema.t!=="array"&&l.schema.t!=="tuple"&&f("'readonly' only applies to array and tuple types"),{node:h({...l.node,readonly:true},m),schema:{...l.schema,readonly:true}}}if(R("infer")){s();let l=c();l.type!=="Identifier"&&f("Expected 'infer' variable name"),s();let S=y.inferSink;return S?(S.push(l.value),{node:h({type:"TSInferType",name:l.value},m),schema:{t:"var",name:l.value}}):f("'infer' is only allowed in the 'extends' clause of a conditional")}return W(y)},W=y=>{let m=c(),l=_(y);for(;a("[")&&!M();)if(s(),a("]"))s(),l={node:h({type:"TSArrayType",elementType:l.node},m),schema:{t:"array",items:l.schema}};else {let S=X(y);x("]"),l={node:h({type:"TSIndexedAccessType",objectType:l.node,indexType:S.node},m),schema:{t:"index",obj:l.schema,key:S.schema}};}return l},P=(y,m,l)=>({node:h({type:"TSKeywordType",kind:m},y),schema:l}),_=y=>{let m=c();if(u("typeof")){s();let w=c();w.type!=="Identifier"&&f("Expected a name after 'typeof' in type position"),s();let k=[w.value];for(;a(".");){s();let J=c();J.type!=="Identifier"&&J.type!=="Keyword"&&f("Expected a property name after '.' in 'typeof'"),s(),k.push(J.value);}return {node:h({type:"TSTypeQuery",exprName:k},m),schema:{t:"typeQuery",path:k}}}if(a("<")){let w=v(y),k=se(y,w);return A(k,m,w.map(J=>J.name))}if(a("(")){if(b())return A(y,m);s();let w=X(y.noCond?{...y,noCond:false}:y);return x(")"),w}if(a("{"))return C()?O(y):he(y);if(a("["))return U(y);let l=c();if(l.type==="String"){s();let w=o(l.value.slice(1,-1));return {node:h({type:"TSLiteralType",literal:w},m),schema:{t:"literal",value:w}}}if(l.type==="Number"){s();let w=Number(l.value);return {node:h({type:"TSLiteralType",literal:w},m),schema:{t:"literal",value:w}}}if(u("true"))return s(),{node:h({type:"TSLiteralType",literal:true},m),schema:{t:"literal",value:true}};if(u("false"))return s(),{node:h({type:"TSLiteralType",literal:false},m),schema:{t:"literal",value:false}};if(u("null"))return s(),P(m,"null",{t:"null"});if(u("void"))return s(),P(m,"void",{t:"void"});if(l.type==="Identifier"){switch(s(),l.value){case "string":return P(m,"string",{t:"string"});case "number":return P(m,"number",{t:"number"});case "boolean":return P(m,"boolean",{t:"boolean"});case "any":return P(m,"any",{t:"any"});case "unknown":return P(m,"unknown",{t:"unknown"});case "undefined":return P(m,"undefined",{t:"undefined"});case "never":return P(m,"never",{t:"union",of:[]})}let w=a("<")?z(y):[],k=w.map(F=>F.schema),J=w.length?w.map(F=>F.node):void 0,$=h({type:"TSTypeReference",typeName:l.value,...J?{typeArguments:J}:{}},m);return y.vars.has(l.value)&&k.length===0?{node:$,schema:vt(y,l.value)}:l.value==="ReturnType"&&k.length===1?{node:$,schema:{t:"returnType",fn:k[0]}}:l.value==="Parameters"&&k.length===1?{node:$,schema:{t:"parameters",fn:k[0]}}:(r.typeRefs?.push({name:l.value,loc:l.loc}),{node:$,schema:{t:"apply",name:l.value,args:k}})}r.recordError(`Expected a type but got '${l.value||l.type}'`,l);let S=r.createMissingNode({type:"TSTypeReference",typeName:""},l);return r.typeRefs?.push({name:"",loc:S.loc}),{node:S,schema:{t:"unknown"}}},q=y=>{x("(");let m=[];for(;!a(")");){let l=c();l.type!=="Identifier"&&f("Expected parameter name in function type"),s();let S=a("?");S&&s(),x(":");let w=X(y);m.push({node:h({type:"TSTypeParameter",name:l.value,typeAnnotation:w.node,...S?{optional:true}:{}},l),schema:{name:l.value,type:w.schema,...S?{optional:true}:{}}}),a(")")||x(",");}return x(")"),m},E=(y,m)=>{let l=c(),S=r.tokens[r.pos()+1];if(!(l.type==="Identifier"&&S?.type==="Identifier"&&S.value==="is"))return X(y);let k=m.indexOf(l.value);k<0&&f(`Cannot find parameter '${l.value}' for the type predicate`),s(),s();let J=X(y);return {node:h({type:"TSTypePredicate",parameterName:l.value,typeAnnotation:J.node},l),schema:{t:"boolean"},guard:{param:k,type:J.schema}}},A=(y,m,l)=>{let S=q(y);x("=>");let w=E(y,S.map(k=>k.schema.name));return {node:h({type:"TSFunctionType",params:S.map(k=>k.node),returnType:w.node,...l?.length?{typeParams:[...l]}:{}},m),schema:{t:"fn",params:S.map(k=>k.schema),returns:w.schema,...w.guard?{guard:w.guard}:{},...l?.length?{typeParams:l}:{}}}},U=y=>{let m=c();x("[");let l=[],S=[],w=[],k=[],J=()=>{let D=r.tokens[r.pos()],j=r.tokens[r.pos()+1],H=r.tokens[r.pos()+2];if(D?.type==="Identifier"&&j?.type==="Punctuator"&&(j.value===":"||j.value==="?"&&H?.type==="Punctuator"&&H.value===":"))return s(),D.value};for(;!a("]");){if(a("...")){s();let D=J();D!==void 0&&x(":"),k.push(D);let j=X(y);j.schema.t==="array"?(S.push(j.schema.items),l.push(j.node.elementType),w.push("rest")):(S.push(j.schema),l.push(j.node),w.push("variadic"));}else {let D=J(),j=false;D!==void 0&&(a("?")&&(s(),j=true),x(":")),k.push(D);let H=X(y);!j&&a("?")&&(s(),j=true),S.push(H.schema),l.push(H.node),w.push(j?"optional":"req");}a("]")||x(",");}x("]");let $=w.some(D=>D!=="req"),F=k.some(D=>D!==void 0);return {node:h({type:"TSTupleType",elementTypes:l,...$?{flags:w}:{},...F?{labels:k}:{}},m),schema:$?{t:"tuple",elements:S,flags:w}:{t:"tuple",elements:S}}},C=()=>{let y=r.tokens,m=r.pos()+1;return y[m]?.type==="Punctuator"&&(y[m]?.value==="+"||y[m]?.value==="-")&&m++,y[m]?.type==="Identifier"&&y[m]?.value==="readonly"&&m++,y[m]?.type==="Punctuator"&&y[m]?.value==="["&&y[m+1]?.type==="Identifier"&&y[m+2]?.type==="Keyword"&&y[m+2]?.value==="in"},O=y=>{let m=c();x("{"),(a("+")||a("-"))&&s(),R("readonly")&&s(),x("[");let l=c();l.type!=="Identifier"&&f("Expected mapped type key name"),s(),u("in")||f("Expected 'in' in mapped type"),s();let S=X(y);R("as")&&f("Key remapping ('as') in mapped types is not supported"),x("]");let w=false,k=a("+")||a("-")?s().value:null;a("?")&&(s(),w=k!=="-"),x(":");let J=X(se(y,[{name:l.value}]));return (a(";")||a(","))&&s(),x("}"),{node:h({type:"TSMappedType",key:l.value,constraint:S.node,typeAnnotation:J.node,optional:w},m),schema:{t:"mapped",key:l.value,over:S.schema,body:J.schema,optional:w}}},he=y=>{let m=c();x("{");let l=[],S={},w,k=[];for(;!a("}");){let $=c();if(a("(")){let F=q(y);x(":");let D=E(y,F.map(j=>j.schema.name));k.push({t:"fn",params:F.map(j=>j.schema),returns:D.schema,...D.guard?{guard:D.guard}:{}}),l.push(h({type:"TSCallSignatureDeclaration",params:F.map(j=>j.node),returnType:D.node},$));}else if(a("[")){s(),c().type!=="Identifier"&&f("Expected index signature parameter name"),s(),x(":");let F=c();(F.type!=="Identifier"||F.value!=="string"&&F.value!=="number")&&f("Index signature parameter type must be 'string' or 'number'"),s(),x("]"),x(":");let D=X(y);w={key:F.value,value:D.schema},l.push(h({type:"TSIndexSignature",keyType:F.value,typeAnnotation:D.node},$));}else {let F=false;if(R("readonly")){let V=r.tokens[r.pos()+1];V&&(V.type==="Identifier"||V.type==="Keyword"||V.type==="String"||V.type==="Number")&&(s(),F=true);}let D=c(),j;if(D.type==="Identifier"||D.type==="Keyword")s(),j=D.value;else if(D.type==="String")s(),j=o(D.value.slice(1,-1));else if(D.type==="Number")s(),j=D.value;else return f("Expected property name in object type");let H=a("?");H&&s(),x(":");let ae=X(y);S[j]={type:ae.schema,...H?{optional:true}:{}},l.push(h({type:"TSPropertySignature",key:j,typeAnnotation:ae.node,...H?{optional:true}:{},...F?{readonly:true}:{}},$));}if(a(";")||a(","))s();else break}x("}");let J=h({type:"TSTypeLiteral",members:l},m);return k.length>0?Object.keys(S).length>0||w?f("Callable object types (call signatures mixed with members) are not supported"):{node:J,schema:k.length===1?k[0]:{t:"overload",signatures:k}}:{node:J,schema:{t:"object",props:S,...w?{index:w}:{}}}};return {parseType:(y=[])=>X(se(me(),y)),parseReturnType:(y,m)=>E(se(me(),y),m),parseTypeParamList:()=>v(me()),parseTypeInScope:y=>X(se(me(),y))}};var re=class extends TSLiteError{constructor(s,a,u,x,f){super("parse-error",`${s} (${a.line}:${a.column})`,{position:a,index:u,loc:x,end:f});this.position=a;this.index=u;this.loc=x;this.end=f;this.name="ParseError";}},xt=r=>{let c=r;return c!=null&&typeof c.start=="number"&&c.start===c.end&&c.start>=0},Ke=(r,c)=>Object.assign(r,{start:c.start,end:c.start,loc:{start:c.loc.start,end:c.loc.start}}),kt={"??":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},wt=new Set(["??","||","&&"]),Pt=new Set(["class","debugger","with","enum","interface"]),Nt={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"},Et={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"},Ct=new Set(["=","+=","-=","*=","/=","%=","**=","??=","&&=","||="]);function ke(r){let c=[],s=[],a=be(r,e=>s.push(e),e=>c.push({code:"lex-error",...e})),u=0,x=[],f=(e=0)=>a[Math.min(u+e,a.length-1)],o=()=>a[u++],h=()=>a[u-1],M=()=>{let e=a[u],n=a[u-1];return !!e&&!!n&&e.loc.start.line>n.loc.end.line},b=()=>f().type==="EOF",p=e=>f().type==="Punctuator"&&f().value===e,v=e=>f().type==="Keyword"&&f().value===e,z=e=>f().type==="Identifier"&&f().value===e,R=(e,n=f())=>{throw X(e,n),new re(e,n.loc.start,n.start,n.loc,n.end)},X=(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=>(p(e)||R(`Expected '${e}' but got '${f().value||f().type}'`),o()),I=(e,n)=>{let t=h()??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}}),W=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 g=e.indexOf("}",t);n+=String.fromCodePoint(parseInt(e.slice(t+2,g),16)),t=g;}else n+=String.fromCharCode(parseInt(e.slice(t+1,t+5),16)),t+=4;break;default:n+=i;}}return n},P=(e=false)=>_(e),_=(e=false)=>{let n=q(e),t=f();if(t.type==="Punctuator"&&Ct.has(t.value)){o();let i=_();return T({type:"AssignmentExpression",operator:t.value,left:n,right:i},n,i)}return n},q=(e=false)=>{let n=A(0,e);if(!p("?"))return n;o();let t=P();d(":");let i=P();return T({type:"ConditionalExpression",test:n,consequent:t,alternate:i},n,i)},E=()=>{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=U();for(;;){let i=E();if(!i)break;let{op:g,consume:N}=i;if(g==="in"&&n)break;let L=kt[g];if(!L||L<=e)break;if(g==="satisfies"){if(M())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(g==="as"){if(M())break;o();let K=ce();t=T({type:"TSAsExpression",expression:t,typeAnnotation:K.schema,typeAnnotationNode:K.node},t,h());continue}for(let K=0;K<N;K++)o();let B=A(g==="**"?L-1:L,n);t=T({type:wt.has(g)?"LogicalExpression":"BinaryExpression",operator:g,left:t,right:B},t,B);}return t},U=()=>{let e=f();return e.type==="Punctuator"&&(e.value==="++"||e.value==="--")?(o(),I({type:"UpdateExpression",operator:e.value,prefix:true,argument:U()},e)):v("await")?(o(),I({type:"AwaitExpression",argument:U()},e)):v("typeof")||v("void")||v("delete")||e.type==="Punctuator"&&(e.value==="!"||e.value==="-"||e.value==="+"||e.value==="~")?C(e):he()},C=e=>{o();let n=U();return p("**")&&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)},O=()=>{let e=u,n=c.length,t=()=>(u=e,c.length=n,void 0);try{if(o(),p(">"))return t();let i=[];for(;i.push(ce().schema),!!p(",");)o();return p(">")?(o(),p("(")?i:t()):t()}catch{return t()}},he=()=>{let e=_e(),n=false;for(;;)if((f().type==="Template"||f().type==="TemplateHead")&&R("Tagged templates are not supported in this language"),p("?."))if(o(),n=true,p("(")){let{args:t,close:i}=y();e=T({type:"CallExpression",callee:e,arguments:t,optional:true},e,i);}else if(p("[")){o();let t=P(),i=d("]");e=T({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 '?.'"),o();let i=I({type:"Identifier",name:t.value},t);e=T({type:"MemberExpression",object:e,property:i,computed:false,optional:true},e,i);}else if(p(".")){o();let t=f(),i;t.type==="Identifier"||t.type==="Keyword"?(o(),i=I({type:"Identifier",name:t.value},t)):(X("Expected property name"),i=Ke({type:"Identifier",name:""},t)),e=T({type:"MemberExpression",object:e,property:i,computed:false,optional:false},e,i);}else if(p("[")){o();let t=P(),i=d("]");e=T({type:"MemberExpression",object:e,property:t,computed:true,optional:false},e,i);}else if(p("(")){let{args:t,close:i}=y();e=T({type:"CallExpression",callee:e,arguments:t,optional:false},e,i);}else if(p("<")){let t=O();if(!t)break;let{args:i,close:g}=y();e=T({type:"CallExpression",callee:e,arguments:i,optional:false,typeArguments:t},e,g);}else if(p("++")||p("--")){let t=o();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},y=()=>{d("(");let e=[];for(;!p(")");)e.push(m()),p(")")||d(",");return {args:e,close:d(")")}},m=()=>{if(p("...")){let e=o(),n=P();return T({type:"SpreadElement",argument:n},e,n)}return P()},l=()=>{let e=f();return e.type!=="Identifier"&&R("Expected identifier"),o(),I({type:"Identifier",name:e.value},e)},S=(e,n=false)=>{let t=p("{")?w(e):p("[")?k(e):l();if(n&&p("?")&&(t.type!=="Identifier"&&R("A binding pattern parameter cannot be optional"),o(),t.optional=true),p(":")){o();let i=ce(e);t.typeAnnotation=i.schema,t.typeAnnotationNode=i.node;}return t},w=e=>{let n=d("{"),t=[];for(;!p("}");){if(p("...")){let g=o(),N=S(e);t.push(T({type:"RestElement",argument:N},g,N));}else {let g=l(),N,L=false;if(p(":")?(o(),N=S(e)):(N={...g},L=true),p("=")){o();let B=P();N=T({type:"AssignmentPattern",left:N,right:B},N,B);}t.push(T({type:"Property",key:g,value:N,kind:"init",shorthand:L,computed:false},g,N));}p("}")||d(",");}let i=d("}");return T({type:"ObjectPattern",properties:t},n,i)},k=e=>{let n=d("["),t=[];for(;!p("]");){if(p(",")){t.push(null),o();continue}if(p("...")){let g=o(),N=S(e);t.push(T({type:"RestElement",argument:N},g,N));}else {let g=S(e);if(p("=")){o();let N=P();g=T({type:"AssignmentPattern",left:g,right:N},g,N);}t.push(g);}p("]")||d(",");}let i=d("]");return T({type:"ArrayPattern",elements:t},n,i)},J=()=>{let e=0;for(let n=u;n<a.length;n++){let t=a[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=a[n+1];return !i||i.type!=="Punctuator"?false:i.value==="=>"?true:i.value===":"?$(n+2):false}}}return false},$=e=>{let n=0;for(let t=e;t<a.length;t++){let i=a[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},F=(e=[])=>{d("(");let n=[];for(;!p(")");){if(p("...")){let t=o(),i=S(e);n.push(T({type:"RestElement",argument:i},t,i));}else {let t=S(e,true);if(p("=")){t.optional&&R("Parameter cannot have question mark and initializer"),o();let i=P();t=T({type:"AssignmentPattern",left:t,right:i},t,i);}n.push(t);}p(")")||d(",");}return d(")"),n},D=e=>{if(e.type==="Identifier")return e.name;let n=e.left;return e.type==="AssignmentPattern"&&n?.type==="Identifier"?n.name:null},j=(e,n,t=[])=>{let i=p("(")?F(t):[l()],g,N,L;if(p(":")){o();let K=ze(t,i.map(D));g=K.schema,N=K.node,L=K.guard;}d("=>");let B=p("{")?le():P();return I({type:"ArrowFunctionExpression",params:i,body:B,async:e,expression:B.type!=="BlockStatement",generator:false,...g?{returnType:g,returnTypeNode:N}:{},...L?{returnGuard:L}:{},...t.length?{typeParams:t.map(K=>K.name),typeParamNodes:t}:{}},n)},H=()=>{let e=d("["),n=[];for(;!p("]");){if(p(",")){o(),n.push(null);continue}n.push(m()),p("]")||d(",");}return T({type:"ArrayExpression",elements:n},e,d("]"))},ae=()=>{let e=d("{"),n=[];for(;!p("}");){if(p("...")){let t=o(),i=P();n.push(T({type:"SpreadElement",argument:i},t,i));}else {let t=f(),i,g=false;if(p("["))g=true,o(),i=P(),d("]");else if(t.type==="String")o(),i=I({type:"Literal",value:W(t.value.slice(1,-1)),raw:t.value},t);else if(t.type==="Number")o(),i=I({type:"Literal",value:Number(t.value),raw:t.value},t);else if(t.type==="Identifier"||t.type==="Keyword")o(),i=I({type:"Identifier",name:t.value},t);else return R("Invalid property key");if(p(":")){o();let N=P();n.push(T({type:"Property",key:i,value:N,kind:"init",shorthand:false,computed:g},t,N));}else n.push(T({type:"Property",key:i,value:i,kind:"init",shorthand:true,computed:false},t,i));}p("}")||d(",");}return T({type:"ObjectExpression",properties:n},e,d("}"))},V=(e,n)=>({type:"TemplateElement",value:{raw:e,cooked:W(e)},tail:n}),$e=e=>{o();let n=[V(e.value,false)],t=[];for(;;){t.push(P());let i=f();if(i.type==="TemplateMiddle")o(),n.push(V(i.value,false));else if(i.type==="TemplateTail"){o(),n.push(V(i.value,true));break}else R("Expected `}` to close template interpolation");}return I({type:"TemplateLiteral",quasis:n,expressions:t},e)},ie=()=>{let e=f();return e.type!=="Identifier"&&R(`Expected JSX identifier but got '${e.value||e.type}'`),I({type:"JSXIdentifier",name:o().value},e)},we=()=>{let e=ie();if(p(":")){o();let n=ie();return T({type:"JSXNamespacedName",namespace:e,name:n},e,n)}for(;p(".");){o();let n=ie();e=T({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)}`,Me=()=>{let e=f();if(e.type==="String")return o(),I({type:"Literal",value:W(e.value.slice(1,-1)),raw:e.value},e);if(p("{")){let n=o(),t=_(),i=d("}");return T({type:"JSXExpressionContainer",expression:t},n,i)}return p("<")?Te():R(`Invalid JSX attribute value '${e.value||e.type}'`)},Be=()=>{let e=[];for(;!p(">")&&!p("/>")&&!b();){if(p("{")){let i=o();d("...");let g=_(),N=d("}");e.push(T({type:"JSXSpreadAttribute",argument:g},i,N));continue}let n=ie();if(p(":")){o();let i=ie();n=T({type:"JSXNamespacedName",namespace:n,name:i},n,i);}let t=null;p("=")&&(o(),t=Me()),e.push(T({type:"JSXAttribute",name:n,value:t},n,t??n));}return e},Pe=()=>{let e=[];for(;!(p("</")||b());){let n=f();if(n.type==="JSXText")o(),e.push(I({type:"JSXText",value:n.value,raw:n.value},n));else if(p("{")){let t=o();if(p("}")){let i=o(),g=I({type:"JSXEmptyExpression"},t);e.push(T({type:"JSXExpressionContainer",expression:g},t,i));}else if(p("...")){o();let i=_(),g=d("}");e.push(T({type:"JSXSpreadChild",expression:i},t,g));}else {let i=_(),g=d("}");e.push(T({type:"JSXExpressionContainer",expression:i},t,g));}}else p("<")?e.push(Te()):R(`Unexpected token in JSX children '${n.value||n.type}'`);}return e},Te=()=>{let e=d("<");if(p(">")){let ee=o(),oe=T({type:"JSXOpeningFragment"},e,ee),st=Pe(),at=d("</"),Le=d(">"),it=T({type:"JSXClosingFragment"},at,Le);return T({type:"JSXFragment",openingFragment:oe,children:st,closingFragment:it},e,Le)}let n=we(),t=Be();if(p("/>")){let ee=o(),oe=T({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:true},e,ee);return T({type:"JSXElement",openingElement:oe,children:[],closingElement:null},e,ee)}let i=d(">"),g=T({type:"JSXOpeningElement",name:n,attributes:t,selfClosing:false},e,i),N=Pe(),L=d("</"),B=f(),K=we();Q(K)!==Q(n)&&R(`JSX closing tag </${Q(K)}> does not match opening <${Q(n)}>`,B);let G=d(">"),Y=T({type:"JSXClosingElement",name:K},L,G);return T({type:"JSXElement",openingElement:g,children:N,closingElement:Y},e,G)},_e=()=>{let e=f();if(v("async")){let n=f(1);if(n.value==="("||n.type==="Identifier")return o(),j(true,e);if(n.value==="<"){o();let t=Ne(e,true);if(t)return t}return R("Unexpected 'async'")}if(p("(")&&J()||e.type==="Identifier"&&f(1).type==="Punctuator"&&f(1).value==="=>")return j(false,e);if(e.type==="Number")return o(),I({type:"Literal",value:Number(e.value),raw:e.value},e);if(e.type==="String")return o(),I({type:"Literal",value:W(e.value.slice(1,-1)),raw:e.value},e);if(e.type==="Template")return o(),I({type:"TemplateLiteral",expressions:[],quasis:[V(e.value,true)]},e);if(e.type==="TemplateHead")return $e(e);if(e.type==="Keyword")return e.value==="true"?(o(),I({type:"Literal",value:true,raw:"true"},e)):e.value==="false"?(o(),I({type:"Literal",value:false,raw:"false"},e)):e.value==="null"?(o(),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 o(),I({type:"Identifier",name:e.value},e);if(p("(")){o();let n=P();return d(")"),n}return p("[")?H():p("{")?ae():p("<")?Ne(e)??Te():R(`Unexpected token '${e.value||e.type}'`)},Ne=(e,n=false)=>{let t=u,i=c.length,g=()=>(u=t,c.length=i,void 0);try{let N=Ee();return !N.length||!p("(")?g():j(n,e,N)}catch{return g()}},{parseType:ce,parseReturnType:ze,parseTypeParamList:Ee,parseTypeInScope:We}=Fe({tokens:a,pos:()=>u,peek:f,next:o,isP:p,isK:v,expectP:d,fail:R,recordError:X,createMissingNode:Ke,unescape:W,typeRefs:x}),Ce=()=>{let e=o(),n=l(),t=[],i=[];p("<")&&(i=Ee(),t=i.map(L=>L.name)),d("=");let g=We(i),N=T({type:"TSTypeAliasDeclaration",id:n,typeParameters:t,...i.length?{typeParamNodes:i}:{},typeAnnotation:g.schema,typeNode:g.node},e,h());return p(";")&&o(),N},Z=()=>{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 Ce();if(v("const")||v("let")||v("var")){let g=Ie();return p(";")&&o(),g}if(v("if"))return et();if(v("for"))return Ve();if(v("while"))return Ze();if(v("do"))return Ye();if(v("break")||v("continue"))return Qe();if(v("return"))return tt();if(v("throw"))return nt();if(v("try"))return rt();if(v("switch"))return ot();if(v("import"))return He();if(v("export"))return Ge();if(p("{"))return le();if((v("function")||v("async")&&f(1).type==="Keyword"&&f(1).value==="function")&&R("Function declarations are not supported \u2014 use 'const fn = () => \u2026'"),p(";"))return o(),I({type:"EmptyStatement"},e);if(e.type==="Keyword"&&Pt.has(e.value)||e.type==="Identifier"&&Et[e.value]?.(f(1),f(2))===true){let g=Nt[e.value];R(`'${e.value}' is not supported in this language`+(g?` \u2014 ${g}`:""));}let t=P(),i=p(";")?o():h();return T({type:"ExpressionStatement",expression:t},t,i)},Ie=()=>{let e=o(),n=e.value,t=()=>{let g=S([]),N=null;return p("=")?(o(),N=P()):n==="const"&&X("'const' declarations must be initialized"),T({type:"VariableDeclarator",id:g,init:N},g,N??g)},i=[t()];for(;p(",");)o(),i.push(t());return T({type:"VariableDeclaration",kind:n,declarations:i},e,i[i.length-1])},qe=()=>{let e=f();return e.type!=="String"&&R("Expected module specifier string"),o(),I({type:"Literal",value:W(e.value.slice(1,-1)),raw:e.value},e)},He=()=>{let e=o(),n=[],t;if(z("type")){let g=f(1);(g.type==="Punctuator"&&(g.value==="{"||g.value==="*")||g.type==="Identifier"&&g.value!=="from")&&(o(),t="type");}if(f().type!=="String"){if(f().type==="Identifier"){let g=l();n.push(T({type:"ImportDefaultSpecifier",local:g},g,g)),p(",")&&o();}if(p("*")){let g=o();z("as")||R("Expected 'as' after '*' in import"),o();let N=l();n.push(T({type:"ImportNamespaceSpecifier",local:N},g,N));}else if(p("{")){for(o();!p("}")&&!b();){let g;z("type")&&f(1).type==="Identifier"&&f(1).value!=="as"&&(o(),g="type");let N=l(),L=N;if(z("as")&&(o(),L=l()),n.push(T({type:"ImportSpecifier",imported:N,local:L,...g?{importKind:g}:{}},N,L)),p(","))o();else break}d("}");}z("from")||R("Expected 'from' in import declaration"),o();}let i=qe();return p(";")&&o(),I({type:"ImportDeclaration",specifiers:n,source:i,...t?{importKind:t}:{}},e)},Ge=()=>{let e=o();if(z("type")&&f(1).type==="Identifier"){let n=Ce();return I({type:"ExportNamedDeclaration",declaration:n,specifiers:[],source:null},e)}if(v("default")){o();let n=P();return p(";")&&o(),I({type:"ExportDefaultDeclaration",declaration:n},e)}if(v("const")||v("let")||v("var")){let n=Ie();return p(";")&&o(),I({type:"ExportNamedDeclaration",declaration:n,specifiers:[],source:null},e)}if(p("{")){o();let n=[];for(;!p("}")&&!b();){let t=l(),i=t;if(z("as")&&(o(),i=l()),n.push(T({type:"ExportSpecifier",local:t,exported:i},t,i)),p(","))o();else break}return d("}"),p(";")&&o(),I({type:"ExportNamedDeclaration",declaration:null,specifiers:n,source:null},e)}return R("Expected 'const', 'type', '{', or 'default' after 'export'")},Re=()=>f().type==="Identifier"&&f().value==="of",ge=()=>v("in"),Ve=()=>{let e=o();d("(");let n=null,t=null;if(!p(";"))if(v("const")||v("let")||v("var")){let L=o(),B=()=>{let G=l();if(p(":")){o();let Y=ce();G.typeAnnotation=Y.schema,G.typeAnnotationNode=Y.node;}return G},K=B();if(Re()||ge()){let G=T({type:"VariableDeclarator",id:K,init:null},K,K);t=T({type:"VariableDeclaration",kind:L.value,declarations:[G]},L,K);}else {let G=ee=>{let oe=null;return p("=")?(o(),oe=P(true)):L.value==="const"&&R("'const' declarations must be initialized"),T({type:"VariableDeclarator",id:ee,init:oe},ee,oe??ee)},Y=[G(K)];for(;p(",");)o(),Y.push(G(B()));n=T({type:"VariableDeclaration",kind:L.value,declarations:Y},L,Y[Y.length-1]);}}else {let L=P(true);Re()||ge()?t=L:n=L;}if(t){let L=ge();o();let B=P();d(")");let K=Z();return T(L?{type:"ForInStatement",left:t,right:B,body:K}:{type:"ForOfStatement",left:t,right:B,body:K,await:false},e,K)}d(";");let i=p(";")?null:P();d(";");let g=p(")")?null:P();d(")");let N=Z();return T({type:"ForStatement",init:n,test:i,update:g,body:N},e,N)},Ye=()=>{let e=o(),n=Z();v("while")||R("Expected 'while' after the 'do' body"),o(),d("(");let t=P(),i=d(")");return p(";")&&o(),T({type:"DoWhileStatement",body:n,test:t},e,i)},Qe=()=>{let e=o(),n=e.value==="break"?"BreakStatement":"ContinueStatement",t=p(";")?o():h();return T({type:n,label:null},e,t)},Ze=()=>{let e=o();d("(");let n=P();d(")");let t=Z();return T({type:"WhileStatement",test:n,body:t},e,t)},et=()=>{let e=o();d("(");let n=P();d(")");let t=Z(),i=null;return v("else")&&(o(),i=Z()),T({type:"IfStatement",test:n,consequent:t,alternate:i},e,i??t)},tt=()=>{let e=o(),n=null;!p(";")&&!p("}")&&!b()&&(n=P());let t=p(";")?o():h();return T({type:"ReturnStatement",argument:n},e,t)},nt=()=>{let e=o(),n=P(),t=p(";")?o():h();return T({type:"ThrowStatement",argument:n},e,t)},rt=()=>{let e=o(),n=le(),t=null,i=null;if(v("catch")){let g=o(),N=null;p("(")&&(o(),N=l(),d(")"));let L=le();t=T({type:"CatchClause",param:N,body:L},g,L);}return v("finally")&&(o(),i=le()),!t&&!i&&R("'try' requires a 'catch' or 'finally' clause"),T({type:"TryStatement",block:n,handler:t,finalizer:i},e,i??t??n)},ot=()=>{let e=o();d("(");let n=P();d(")"),d("{");let t=[];for(;!p("}")&&!b();){let g=f(),N=null;v("case")?(o(),N=P()):v("default")?o():R("Expected 'case' or 'default' in switch"),d(":");let L=[];for(;!p("}")&&!v("case")&&!v("default")&&!b();)L.push(Z());t.push(T({type:"SwitchCase",test:N,consequent:L},g,h()??g));}let i=d("}");return T({type:"SwitchStatement",discriminant:n,cases:t},e,i)},le=()=>{let e=d("{"),n=Ae(()=>p("}"));return T({type:"BlockStatement",body:n},e,d("}"))},Ae=e=>{let n=[];for(;!e()&&!b();){if(f().type==="Unknown"){o();continue}try{n.push(Z());}catch(t){if(!(t instanceof re))throw t;b()||o();}}return n};return {parseExpr:P,parseProgram:()=>{let e=f(),n=Ae(()=>false);return T({type:"Program",sourceType:"module",body:n,...x.length?{typeRefs:x}:{},...s.length?{comments:s}:{},...c.length?{parseDiagnostics:c}:{}},e,h()??e)},eof:b,fail:R,recordError:X,diagnostics:c}}function Ue(r){let c=ke(r),s=c.parseProgram(),a=s.comments;return a?.length&&xe(s,a,r),{ast:s,diagnostics:c.diagnostics}}function It(r){let{ast:c,diagnostics:s}=Ue(r),a=s[0];if(a){let u=a.code==="lex-error"?ne:re;throw new u(a.message,a.position,a.index,a.loc,a.end)}return c}function Rt(r){let c=ke(r),s=c.parseExpr();c.eof()||c.fail("Unexpected token after expression");let a=c.diagnostics[0];if(a){let u=a.code==="lex-error"?ne:re;throw new u(a.message,a.position,a.index,a.loc,a.end)}return s}function At(r){let c=ke(r),s;try{s=c.parseExpr(),c.eof()||c.recordError("Unexpected token after expression");}catch(a){if(!(a instanceof re)&&!(a instanceof ne))throw a}return {ast:s,diagnostics:c.diagnostics}}export{De as KEYWORDS,ne as LexError,re as ParseError,xe as attachComments,xt as nodeIsMissing,It as parse,Rt as parseExpression,At as parseExpressionTolerant,Ue as parseTolerant,be as tokenize};
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@tslite/parser",
|
|
3
|
-
"version": "1.
|
|
3
|
+
"version": "1.3.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",
|
|
@@ -40,13 +40,13 @@
|
|
|
40
40
|
"access": "public"
|
|
41
41
|
},
|
|
42
42
|
"dependencies": {
|
|
43
|
-
"@tslite/core": "0.8.
|
|
43
|
+
"@tslite/core": "0.8.2"
|
|
44
44
|
},
|
|
45
45
|
"devDependencies": {
|
|
46
|
-
"@tslite/capability": "0.4.
|
|
47
|
-
"@tslite/
|
|
48
|
-
"@tslite/checker": "0.
|
|
49
|
-
"@tslite/
|
|
46
|
+
"@tslite/capability": "0.4.1",
|
|
47
|
+
"@tslite/interpret": "0.4.3",
|
|
48
|
+
"@tslite/checker": "0.9.4",
|
|
49
|
+
"@tslite/printer": "0.5.3"
|
|
50
50
|
},
|
|
51
51
|
"scripts": {
|
|
52
52
|
"build": "tsup",
|