@stevenvo780/st-lang 4.10.0 → 4.12.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/proof-systems/distributed-exchange/index.d.ts +101 -0
- package/dist/proof-systems/distributed-exchange/index.d.ts.map +1 -0
- package/dist/proof-systems/distributed-exchange/index.js +408 -0
- package/dist/proof-systems/distributed-exchange/index.js.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/index.d.ts +7 -0
- package/dist/proof-systems/fol-prover-advanced/index.d.ts.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/index.js +34 -0
- package/dist/proof-systems/fol-prover-advanced/index.js.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/ordering.d.ts +34 -0
- package/dist/proof-systems/fol-prover-advanced/ordering.d.ts.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/ordering.js +197 -0
- package/dist/proof-systems/fol-prover-advanced/ordering.js.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/prover.d.ts +22 -0
- package/dist/proof-systems/fol-prover-advanced/prover.d.ts.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/prover.js +219 -0
- package/dist/proof-systems/fol-prover-advanced/prover.js.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/resolve.d.ts +43 -0
- package/dist/proof-systems/fol-prover-advanced/resolve.d.ts.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/resolve.js +297 -0
- package/dist/proof-systems/fol-prover-advanced/resolve.js.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/subsumption.d.ts +28 -0
- package/dist/proof-systems/fol-prover-advanced/subsumption.d.ts.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/subsumption.js +172 -0
- package/dist/proof-systems/fol-prover-advanced/subsumption.js.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/types.d.ts +68 -0
- package/dist/proof-systems/fol-prover-advanced/types.d.ts.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/types.js +12 -0
- package/dist/proof-systems/fol-prover-advanced/types.js.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/unify.d.ts +15 -0
- package/dist/proof-systems/fol-prover-advanced/unify.d.ts.map +1 -0
- package/dist/proof-systems/fol-prover-advanced/unify.js +144 -0
- package/dist/proof-systems/fol-prover-advanced/unify.js.map +1 -0
- package/dist/reasoning/combinatorics/basic-counts.d.ts +6 -0
- package/dist/reasoning/combinatorics/basic-counts.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/basic-counts.js +82 -0
- package/dist/reasoning/combinatorics/basic-counts.js.map +1 -0
- package/dist/reasoning/combinatorics/bigint-helpers.d.ts +5 -0
- package/dist/reasoning/combinatorics/bigint-helpers.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/bigint-helpers.js +8 -0
- package/dist/reasoning/combinatorics/bigint-helpers.js.map +1 -0
- package/dist/reasoning/combinatorics/burnside.d.ts +15 -0
- package/dist/reasoning/combinatorics/burnside.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/burnside.js +91 -0
- package/dist/reasoning/combinatorics/burnside.js.map +1 -0
- package/dist/reasoning/combinatorics/generating-functions.d.ts +12 -0
- package/dist/reasoning/combinatorics/generating-functions.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/generating-functions.js +67 -0
- package/dist/reasoning/combinatorics/generating-functions.js.map +1 -0
- package/dist/reasoning/combinatorics/generators.d.ts +5 -0
- package/dist/reasoning/combinatorics/generators.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/generators.js +111 -0
- package/dist/reasoning/combinatorics/generators.js.map +1 -0
- package/dist/reasoning/combinatorics/inclusion-exclusion.d.ts +8 -0
- package/dist/reasoning/combinatorics/inclusion-exclusion.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/inclusion-exclusion.js +45 -0
- package/dist/reasoning/combinatorics/inclusion-exclusion.js.map +1 -0
- package/dist/reasoning/combinatorics/index.d.ts +10 -0
- package/dist/reasoning/combinatorics/index.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/index.js +44 -0
- package/dist/reasoning/combinatorics/index.js.map +1 -0
- package/dist/reasoning/combinatorics/partitions.d.ts +4 -0
- package/dist/reasoning/combinatorics/partitions.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/partitions.js +90 -0
- package/dist/reasoning/combinatorics/partitions.js.map +1 -0
- package/dist/reasoning/combinatorics/permutations.d.ts +6 -0
- package/dist/reasoning/combinatorics/permutations.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/permutations.js +124 -0
- package/dist/reasoning/combinatorics/permutations.js.map +1 -0
- package/dist/reasoning/combinatorics/set-partitions.d.ts +3 -0
- package/dist/reasoning/combinatorics/set-partitions.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/set-partitions.js +46 -0
- package/dist/reasoning/combinatorics/set-partitions.js.map +1 -0
- package/dist/reasoning/combinatorics/special-numbers.d.ts +7 -0
- package/dist/reasoning/combinatorics/special-numbers.d.ts.map +1 -0
- package/dist/reasoning/combinatorics/special-numbers.js +128 -0
- package/dist/reasoning/combinatorics/special-numbers.js.map +1 -0
- package/dist/reasoning/constructive-analysis/cauchy.d.ts +51 -0
- package/dist/reasoning/constructive-analysis/cauchy.d.ts.map +1 -0
- package/dist/reasoning/constructive-analysis/cauchy.js +77 -0
- package/dist/reasoning/constructive-analysis/cauchy.js.map +1 -0
- package/dist/reasoning/constructive-analysis/compact.d.ts +35 -0
- package/dist/reasoning/constructive-analysis/compact.d.ts.map +1 -0
- package/dist/reasoning/constructive-analysis/compact.js +61 -0
- package/dist/reasoning/constructive-analysis/compact.js.map +1 -0
- package/dist/reasoning/constructive-analysis/continuity.d.ts +62 -0
- package/dist/reasoning/constructive-analysis/continuity.d.ts.map +1 -0
- package/dist/reasoning/constructive-analysis/continuity.js +112 -0
- package/dist/reasoning/constructive-analysis/continuity.js.map +1 -0
- package/dist/reasoning/constructive-analysis/index.d.ts +24 -0
- package/dist/reasoning/constructive-analysis/index.d.ts.map +1 -0
- package/dist/reasoning/constructive-analysis/index.js +36 -0
- package/dist/reasoning/constructive-analysis/index.js.map +1 -0
- package/dist/reasoning/constructive-analysis/integral.d.ts +31 -0
- package/dist/reasoning/constructive-analysis/integral.d.ts.map +1 -0
- package/dist/reasoning/constructive-analysis/integral.js +59 -0
- package/dist/reasoning/constructive-analysis/integral.js.map +1 -0
- package/dist/reasoning/constructive-analysis/ivt.d.ts +41 -0
- package/dist/reasoning/constructive-analysis/ivt.d.ts.map +1 -0
- package/dist/reasoning/constructive-analysis/ivt.js +115 -0
- package/dist/reasoning/constructive-analysis/ivt.js.map +1 -0
- package/dist/reasoning/constructive-reals/index.d.ts +23 -0
- package/dist/reasoning/constructive-reals/index.d.ts.map +1 -1
- package/dist/reasoning/constructive-reals/index.js +52 -1
- package/dist/reasoning/constructive-reals/index.js.map +1 -1
- package/dist/reasoning/graph-theory/index.d.ts +63 -0
- package/dist/reasoning/graph-theory/index.d.ts.map +1 -0
- package/dist/reasoning/graph-theory/index.js +1043 -0
- package/dist/reasoning/graph-theory/index.js.map +1 -0
- package/dist/reasoning/group-presentation/cayley.d.ts +8 -0
- package/dist/reasoning/group-presentation/cayley.d.ts.map +1 -0
- package/dist/reasoning/group-presentation/cayley.js +38 -0
- package/dist/reasoning/group-presentation/cayley.js.map +1 -0
- package/dist/reasoning/group-presentation/index.d.ts +8 -0
- package/dist/reasoning/group-presentation/index.d.ts.map +1 -0
- package/dist/reasoning/group-presentation/index.js +36 -0
- package/dist/reasoning/group-presentation/index.js.map +1 -0
- package/dist/reasoning/group-presentation/standard-groups.d.ts +6 -0
- package/dist/reasoning/group-presentation/standard-groups.d.ts.map +1 -0
- package/dist/reasoning/group-presentation/standard-groups.js +93 -0
- package/dist/reasoning/group-presentation/standard-groups.js.map +1 -0
- package/dist/reasoning/group-presentation/todd-coxeter.d.ts +10 -0
- package/dist/reasoning/group-presentation/todd-coxeter.d.ts.map +1 -0
- package/dist/reasoning/group-presentation/todd-coxeter.js +362 -0
- package/dist/reasoning/group-presentation/todd-coxeter.js.map +1 -0
- package/dist/reasoning/group-presentation/types.d.ts +7 -0
- package/dist/reasoning/group-presentation/types.d.ts.map +1 -0
- package/dist/reasoning/group-presentation/types.js +22 -0
- package/dist/reasoning/group-presentation/types.js.map +1 -0
- package/dist/reasoning/group-presentation/words.d.ts +10 -0
- package/dist/reasoning/group-presentation/words.d.ts.map +1 -0
- package/dist/reasoning/group-presentation/words.js +109 -0
- package/dist/reasoning/group-presentation/words.js.map +1 -0
- package/dist/reasoning/linear-algebra/index.d.ts +69 -0
- package/dist/reasoning/linear-algebra/index.d.ts.map +1 -0
- package/dist/reasoning/linear-algebra/index.js +859 -0
- package/dist/reasoning/linear-algebra/index.js.map +1 -0
- package/dist/reasoning/set-theory/hf-functions.d.ts +35 -0
- package/dist/reasoning/set-theory/hf-functions.d.ts.map +1 -0
- package/dist/reasoning/set-theory/hf-functions.js +147 -0
- package/dist/reasoning/set-theory/hf-functions.js.map +1 -0
- package/dist/reasoning/set-theory/hf-sets.d.ts +79 -0
- package/dist/reasoning/set-theory/hf-sets.d.ts.map +1 -0
- package/dist/reasoning/set-theory/hf-sets.js +338 -0
- package/dist/reasoning/set-theory/hf-sets.js.map +1 -0
- package/dist/reasoning/set-theory/index.d.ts +7 -0
- package/dist/reasoning/set-theory/index.d.ts.map +1 -0
- package/dist/reasoning/set-theory/index.js +44 -0
- package/dist/reasoning/set-theory/index.js.map +1 -0
- package/dist/reasoning/set-theory/zfc-axioms.d.ts +59 -0
- package/dist/reasoning/set-theory/zfc-axioms.d.ts.map +1 -0
- package/dist/reasoning/set-theory/zfc-axioms.js +245 -0
- package/dist/reasoning/set-theory/zfc-axioms.js.map +1 -0
- package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.d.ts +2 -0
- package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.d.ts.map +1 -0
- package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.js +328 -0
- package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.js.map +1 -0
- package/dist/tests/proof-systems/fol-prover-advanced/prover.test.d.ts +2 -0
- package/dist/tests/proof-systems/fol-prover-advanced/prover.test.d.ts.map +1 -0
- package/dist/tests/proof-systems/fol-prover-advanced/prover.test.js +253 -0
- package/dist/tests/proof-systems/fol-prover-advanced/prover.test.js.map +1 -0
- package/dist/tests/reasoning/combinatorics/combinatorics.test.d.ts +2 -0
- package/dist/tests/reasoning/combinatorics/combinatorics.test.d.ts.map +1 -0
- package/dist/tests/reasoning/combinatorics/combinatorics.test.js +256 -0
- package/dist/tests/reasoning/combinatorics/combinatorics.test.js.map +1 -0
- package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.d.ts +2 -0
- package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.d.ts.map +1 -0
- package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.js +174 -0
- package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.js.map +1 -0
- package/dist/tests/reasoning/graph-theory/graph-theory.test.d.ts +2 -0
- package/dist/tests/reasoning/graph-theory/graph-theory.test.d.ts.map +1 -0
- package/dist/tests/reasoning/graph-theory/graph-theory.test.js +363 -0
- package/dist/tests/reasoning/graph-theory/graph-theory.test.js.map +1 -0
- package/dist/tests/reasoning/group-presentation/group-presentation.test.d.ts +2 -0
- package/dist/tests/reasoning/group-presentation/group-presentation.test.d.ts.map +1 -0
- package/dist/tests/reasoning/group-presentation/group-presentation.test.js +229 -0
- package/dist/tests/reasoning/group-presentation/group-presentation.test.js.map +1 -0
- package/dist/tests/reasoning/linear-algebra/linear-algebra.test.d.ts +2 -0
- package/dist/tests/reasoning/linear-algebra/linear-algebra.test.d.ts.map +1 -0
- package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js +369 -0
- package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js.map +1 -0
- package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts +2 -0
- package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts.map +1 -0
- package/dist/tests/reasoning/set-theory/hf-functions.test.js +122 -0
- package/dist/tests/reasoning/set-theory/hf-functions.test.js.map +1 -0
- package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts +2 -0
- package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts.map +1 -0
- package/dist/tests/reasoning/set-theory/hf-sets.test.js +177 -0
- package/dist/tests/reasoning/set-theory/hf-sets.test.js.map +1 -0
- package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts +2 -0
- package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts.map +1 -0
- package/dist/tests/reasoning/set-theory/zfc-axioms.test.js +56 -0
- package/dist/tests/reasoning/set-theory/zfc-axioms.test.js.map +1 -0
- package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts +2 -0
- package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts.map +1 -0
- package/dist/tests/tooling/doc-gen/doc-gen.test.js +350 -0
- package/dist/tests/tooling/doc-gen/doc-gen.test.js.map +1 -0
- package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.d.ts +2 -0
- package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.d.ts.map +1 -0
- package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.js +411 -0
- package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.js.map +1 -0
- package/dist/tests/tooling/lemma-library/lemma-library.test.d.ts +2 -0
- package/dist/tests/tooling/lemma-library/lemma-library.test.d.ts.map +1 -0
- package/dist/tests/tooling/lemma-library/lemma-library.test.js +197 -0
- package/dist/tests/tooling/lemma-library/lemma-library.test.js.map +1 -0
- package/dist/tests/tooling/provenance/ledger.test.d.ts +2 -0
- package/dist/tests/tooling/provenance/ledger.test.d.ts.map +1 -0
- package/dist/tests/tooling/provenance/ledger.test.js +545 -0
- package/dist/tests/tooling/provenance/ledger.test.js.map +1 -0
- package/dist/tests/tooling/test-harness/test-harness.test.d.ts +2 -0
- package/dist/tests/tooling/test-harness/test-harness.test.d.ts.map +1 -0
- package/dist/tests/tooling/test-harness/test-harness.test.js +208 -0
- package/dist/tests/tooling/test-harness/test-harness.test.js.map +1 -0
- package/dist/tooling/doc-gen/extract.d.ts +13 -0
- package/dist/tooling/doc-gen/extract.d.ts.map +1 -0
- package/dist/tooling/doc-gen/extract.js +379 -0
- package/dist/tooling/doc-gen/extract.js.map +1 -0
- package/dist/tooling/doc-gen/generate.d.ts +9 -0
- package/dist/tooling/doc-gen/generate.d.ts.map +1 -0
- package/dist/tooling/doc-gen/generate.js +116 -0
- package/dist/tooling/doc-gen/generate.js.map +1 -0
- package/dist/tooling/doc-gen/index.d.ts +7 -0
- package/dist/tooling/doc-gen/index.d.ts.map +1 -0
- package/dist/tooling/doc-gen/index.js +39 -0
- package/dist/tooling/doc-gen/index.js.map +1 -0
- package/dist/tooling/doc-gen/jsdoc.d.ts +31 -0
- package/dist/tooling/doc-gen/jsdoc.d.ts.map +1 -0
- package/dist/tooling/doc-gen/jsdoc.js +140 -0
- package/dist/tooling/doc-gen/jsdoc.js.map +1 -0
- package/dist/tooling/doc-gen/render.d.ts +29 -0
- package/dist/tooling/doc-gen/render.d.ts.map +1 -0
- package/dist/tooling/doc-gen/render.js +206 -0
- package/dist/tooling/doc-gen/render.js.map +1 -0
- package/dist/tooling/doc-gen/types.d.ts +51 -0
- package/dist/tooling/doc-gen/types.d.ts.map +1 -0
- package/dist/tooling/doc-gen/types.js +10 -0
- package/dist/tooling/doc-gen/types.js.map +1 -0
- package/dist/tooling/exporters/coq-v2/index.d.ts +68 -0
- package/dist/tooling/exporters/coq-v2/index.d.ts.map +1 -0
- package/dist/tooling/exporters/coq-v2/index.js +692 -0
- package/dist/tooling/exporters/coq-v2/index.js.map +1 -0
- package/dist/tooling/lemma-library/apply.d.ts +9 -0
- package/dist/tooling/lemma-library/apply.d.ts.map +1 -0
- package/dist/tooling/lemma-library/apply.js +94 -0
- package/dist/tooling/lemma-library/apply.js.map +1 -0
- package/dist/tooling/lemma-library/arithmetic.d.ts +3 -0
- package/dist/tooling/lemma-library/arithmetic.d.ts.map +1 -0
- package/dist/tooling/lemma-library/arithmetic.js +176 -0
- package/dist/tooling/lemma-library/arithmetic.js.map +1 -0
- package/dist/tooling/lemma-library/firstorder.d.ts +3 -0
- package/dist/tooling/lemma-library/firstorder.d.ts.map +1 -0
- package/dist/tooling/lemma-library/firstorder.js +136 -0
- package/dist/tooling/lemma-library/firstorder.js.map +1 -0
- package/dist/tooling/lemma-library/index.d.ts +13 -0
- package/dist/tooling/lemma-library/index.d.ts.map +1 -0
- package/dist/tooling/lemma-library/index.js +32 -0
- package/dist/tooling/lemma-library/index.js.map +1 -0
- package/dist/tooling/lemma-library/library.d.ts +34 -0
- package/dist/tooling/lemma-library/library.d.ts.map +1 -0
- package/dist/tooling/lemma-library/library.js +126 -0
- package/dist/tooling/lemma-library/library.js.map +1 -0
- package/dist/tooling/lemma-library/modal.d.ts +3 -0
- package/dist/tooling/lemma-library/modal.d.ts.map +1 -0
- package/dist/tooling/lemma-library/modal.js +138 -0
- package/dist/tooling/lemma-library/modal.js.map +1 -0
- package/dist/tooling/lemma-library/propositional.d.ts +3 -0
- package/dist/tooling/lemma-library/propositional.d.ts.map +1 -0
- package/dist/tooling/lemma-library/propositional.js +265 -0
- package/dist/tooling/lemma-library/propositional.js.map +1 -0
- package/dist/tooling/lemma-library/set-theory.d.ts +3 -0
- package/dist/tooling/lemma-library/set-theory.d.ts.map +1 -0
- package/dist/tooling/lemma-library/set-theory.js +134 -0
- package/dist/tooling/lemma-library/set-theory.js.map +1 -0
- package/dist/tooling/lemma-library/standard.d.ts +3 -0
- package/dist/tooling/lemma-library/standard.d.ts.map +1 -0
- package/dist/tooling/lemma-library/standard.js +27 -0
- package/dist/tooling/lemma-library/standard.js.map +1 -0
- package/dist/tooling/lemma-library/tfidf.d.ts +5 -0
- package/dist/tooling/lemma-library/tfidf.d.ts.map +1 -0
- package/dist/tooling/lemma-library/tfidf.js +100 -0
- package/dist/tooling/lemma-library/tfidf.js.map +1 -0
- package/dist/tooling/lemma-library/tokenize.d.ts +2 -0
- package/dist/tooling/lemma-library/tokenize.d.ts.map +1 -0
- package/dist/tooling/lemma-library/tokenize.js +74 -0
- package/dist/tooling/lemma-library/tokenize.js.map +1 -0
- package/dist/tooling/lemma-library/types.d.ts +53 -0
- package/dist/tooling/lemma-library/types.d.ts.map +1 -0
- package/dist/tooling/lemma-library/types.js +10 -0
- package/dist/tooling/lemma-library/types.js.map +1 -0
- package/dist/tooling/provenance/index.d.ts +3 -0
- package/dist/tooling/provenance/index.d.ts.map +1 -0
- package/dist/tooling/provenance/index.js +16 -0
- package/dist/tooling/provenance/index.js.map +1 -0
- package/dist/tooling/provenance/ledger.d.ts +89 -0
- package/dist/tooling/provenance/ledger.d.ts.map +1 -0
- package/dist/tooling/provenance/ledger.js +439 -0
- package/dist/tooling/provenance/ledger.js.map +1 -0
- package/dist/tooling/provenance/types.d.ts +70 -0
- package/dist/tooling/provenance/types.d.ts.map +1 -0
- package/dist/tooling/provenance/types.js +14 -0
- package/dist/tooling/provenance/types.js.map +1 -0
- package/dist/tooling/test-harness/combinators.d.ts +14 -0
- package/dist/tooling/test-harness/combinators.d.ts.map +1 -0
- package/dist/tooling/test-harness/combinators.js +122 -0
- package/dist/tooling/test-harness/combinators.js.map +1 -0
- package/dist/tooling/test-harness/coverage.d.ts +3 -0
- package/dist/tooling/test-harness/coverage.d.ts.map +1 -0
- package/dist/tooling/test-harness/coverage.js +32 -0
- package/dist/tooling/test-harness/coverage.js.map +1 -0
- package/dist/tooling/test-harness/generators.d.ts +6 -0
- package/dist/tooling/test-harness/generators.d.ts.map +1 -0
- package/dist/tooling/test-harness/generators.js +66 -0
- package/dist/tooling/test-harness/generators.js.map +1 -0
- package/dist/tooling/test-harness/index.d.ts +7 -0
- package/dist/tooling/test-harness/index.d.ts.map +1 -0
- package/dist/tooling/test-harness/index.js +27 -0
- package/dist/tooling/test-harness/index.js.map +1 -0
- package/dist/tooling/test-harness/mutation.d.ts +4 -0
- package/dist/tooling/test-harness/mutation.d.ts.map +1 -0
- package/dist/tooling/test-harness/mutation.js +28 -0
- package/dist/tooling/test-harness/mutation.js.map +1 -0
- package/dist/tooling/test-harness/snapshot.d.ts +5 -0
- package/dist/tooling/test-harness/snapshot.d.ts.map +1 -0
- package/dist/tooling/test-harness/snapshot.js +86 -0
- package/dist/tooling/test-harness/snapshot.js.map +1 -0
- package/dist/tooling/test-harness/types.d.ts +32 -0
- package/dist/tooling/test-harness/types.d.ts.map +1 -0
- package/dist/tooling/test-harness/types.js +3 -0
- package/dist/tooling/test-harness/types.js.map +1 -0
- package/package.json +1 -1
|
@@ -0,0 +1,350 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ============================================================
|
|
3
|
+
// Tests — tooling/doc-gen
|
|
4
|
+
// Cubre: parseJSDoc, extractDocs (sobre fixtures temp), renderers
|
|
5
|
+
// y generateDocs end-to-end con outputDir descartable.
|
|
6
|
+
// ============================================================
|
|
7
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
8
|
+
if (k2 === undefined) k2 = k;
|
|
9
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
10
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
11
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
12
|
+
}
|
|
13
|
+
Object.defineProperty(o, k2, desc);
|
|
14
|
+
}) : (function(o, m, k, k2) {
|
|
15
|
+
if (k2 === undefined) k2 = k;
|
|
16
|
+
o[k2] = m[k];
|
|
17
|
+
}));
|
|
18
|
+
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
|
|
19
|
+
Object.defineProperty(o, "default", { enumerable: true, value: v });
|
|
20
|
+
}) : function(o, v) {
|
|
21
|
+
o["default"] = v;
|
|
22
|
+
});
|
|
23
|
+
var __importStar = (this && this.__importStar) || (function () {
|
|
24
|
+
var ownKeys = function(o) {
|
|
25
|
+
ownKeys = Object.getOwnPropertyNames || function (o) {
|
|
26
|
+
var ar = [];
|
|
27
|
+
for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
|
|
28
|
+
return ar;
|
|
29
|
+
};
|
|
30
|
+
return ownKeys(o);
|
|
31
|
+
};
|
|
32
|
+
return function (mod) {
|
|
33
|
+
if (mod && mod.__esModule) return mod;
|
|
34
|
+
var result = {};
|
|
35
|
+
if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
|
|
36
|
+
__setModuleDefault(result, mod);
|
|
37
|
+
return result;
|
|
38
|
+
};
|
|
39
|
+
})();
|
|
40
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
41
|
+
const vitest_1 = require("vitest");
|
|
42
|
+
const fs = __importStar(require("fs"));
|
|
43
|
+
const path = __importStar(require("path"));
|
|
44
|
+
const os = __importStar(require("os"));
|
|
45
|
+
const doc_gen_1 = require("../../../tooling/doc-gen");
|
|
46
|
+
// --- fixtures helper ----------------------------------------
|
|
47
|
+
function mkdtemp(prefix = 'doc-gen-') {
|
|
48
|
+
return fs.mkdtempSync(path.join(os.tmpdir(), prefix));
|
|
49
|
+
}
|
|
50
|
+
function writeFile(dir, rel, content) {
|
|
51
|
+
const abs = path.join(dir, rel);
|
|
52
|
+
fs.mkdirSync(path.dirname(abs), { recursive: true });
|
|
53
|
+
fs.writeFileSync(abs, content, 'utf8');
|
|
54
|
+
}
|
|
55
|
+
// fixture compartida con un function documentado, una class, un type,
|
|
56
|
+
// un const, una interface, un enum y un export sin JSDoc.
|
|
57
|
+
function buildFixtureRoot() {
|
|
58
|
+
const root = mkdtemp();
|
|
59
|
+
writeFile(root, 'math.ts', [
|
|
60
|
+
'/**',
|
|
61
|
+
' * Suma dos enteros.',
|
|
62
|
+
' *',
|
|
63
|
+
' * @param a primer sumando',
|
|
64
|
+
' * @param b segundo sumando',
|
|
65
|
+
' * @returns la suma `a + b`',
|
|
66
|
+
' * @example',
|
|
67
|
+
' * sum(1, 2) // 3',
|
|
68
|
+
' */',
|
|
69
|
+
'export function sum(a: number, b: number): number {',
|
|
70
|
+
' return a + b;',
|
|
71
|
+
'}',
|
|
72
|
+
'',
|
|
73
|
+
'/**',
|
|
74
|
+
' * @deprecated usar `sum`',
|
|
75
|
+
' */',
|
|
76
|
+
'export function add(a: number, b: number): number {',
|
|
77
|
+
' return sum(a, b);',
|
|
78
|
+
'}',
|
|
79
|
+
'',
|
|
80
|
+
'export function undocumented(x: number): number { return x; }',
|
|
81
|
+
'',
|
|
82
|
+
].join('\n'));
|
|
83
|
+
writeFile(root, 'shapes.ts', [
|
|
84
|
+
'/**',
|
|
85
|
+
' * Clase con métodos.',
|
|
86
|
+
' */',
|
|
87
|
+
'export class Box {',
|
|
88
|
+
' constructor(public w: number, public h: number) {}',
|
|
89
|
+
' /** Área del box. */',
|
|
90
|
+
' area(): number { return this.w * this.h; }',
|
|
91
|
+
'}',
|
|
92
|
+
'',
|
|
93
|
+
'/** Punto en 2D. */',
|
|
94
|
+
'export interface Point { x: number; y: number; }',
|
|
95
|
+
'',
|
|
96
|
+
'/** Alias de Point. */',
|
|
97
|
+
'export type P = Point;',
|
|
98
|
+
'',
|
|
99
|
+
'/** Constante con tipo. */',
|
|
100
|
+
'export const ORIGIN: Point = { x: 0, y: 0 };',
|
|
101
|
+
'',
|
|
102
|
+
'/** Direcciones. */',
|
|
103
|
+
'export enum Dir { N, S, E, W }',
|
|
104
|
+
'',
|
|
105
|
+
].join('\n'));
|
|
106
|
+
writeFile(root, 'internal.ts', [
|
|
107
|
+
'/**',
|
|
108
|
+
' * @internal helper interno',
|
|
109
|
+
' */',
|
|
110
|
+
'export function helper(): void {}',
|
|
111
|
+
'',
|
|
112
|
+
'function notExported(): void {}',
|
|
113
|
+
'// referencia para que notExported no sea "unused" syntácticamente',
|
|
114
|
+
'export const ref = notExported;',
|
|
115
|
+
'',
|
|
116
|
+
].join('\n'));
|
|
117
|
+
writeFile(root, 'nested/sub.ts', [
|
|
118
|
+
'/**',
|
|
119
|
+
' * @fileoverview módulo nested.sub para probar paths con carpetas.',
|
|
120
|
+
' */',
|
|
121
|
+
'export function nestedFn(): number { return 1; }',
|
|
122
|
+
'',
|
|
123
|
+
].join('\n'));
|
|
124
|
+
// archivos que deben ser ignorados
|
|
125
|
+
writeFile(root, 'foo.test.ts', 'export function shouldSkip(): void {}');
|
|
126
|
+
writeFile(root, 'tests/bar.ts', 'export function alsoSkip(): void {}');
|
|
127
|
+
writeFile(root, 'node_modules/pkg/index.ts', 'export const ignored = 1;');
|
|
128
|
+
return root;
|
|
129
|
+
}
|
|
130
|
+
// --- parseJSDoc / helpers ------------------------------------
|
|
131
|
+
(0, vitest_1.describe)('parseJSDoc', () => {
|
|
132
|
+
(0, vitest_1.it)('parsea description + @param + @returns + @example + @deprecated', () => {
|
|
133
|
+
const raw = [
|
|
134
|
+
'/**',
|
|
135
|
+
' * Hace algo.',
|
|
136
|
+
' *',
|
|
137
|
+
' * @param a desc-a',
|
|
138
|
+
' * @param b desc-b',
|
|
139
|
+
' * @returns la suma',
|
|
140
|
+
' * @example',
|
|
141
|
+
' * foo(1, 2)',
|
|
142
|
+
' * @deprecated',
|
|
143
|
+
' */',
|
|
144
|
+
].join('\n');
|
|
145
|
+
const parsed = (0, doc_gen_1.parseJSDoc)(raw);
|
|
146
|
+
(0, vitest_1.expect)(parsed.description).toBe('Hace algo.');
|
|
147
|
+
(0, vitest_1.expect)(parsed.tags.map((t) => t.tag)).toEqual([
|
|
148
|
+
'param',
|
|
149
|
+
'param',
|
|
150
|
+
'returns',
|
|
151
|
+
'example',
|
|
152
|
+
'deprecated',
|
|
153
|
+
]);
|
|
154
|
+
const example = parsed.tags.find((t) => t.tag === 'example');
|
|
155
|
+
(0, vitest_1.expect)(example?.content).toBe('foo(1, 2)');
|
|
156
|
+
});
|
|
157
|
+
(0, vitest_1.it)('stripCommentMarkers limpia /** y * líderes', () => {
|
|
158
|
+
const raw = '/**\n * line A\n * line B\n */';
|
|
159
|
+
(0, vitest_1.expect)((0, doc_gen_1.stripCommentMarkers)(raw)).toBe('line A\nline B');
|
|
160
|
+
});
|
|
161
|
+
(0, vitest_1.it)('parseParamTag soporta `name desc` y `[name] desc`', () => {
|
|
162
|
+
(0, vitest_1.expect)((0, doc_gen_1.parseParamTag)('a primer sumando')).toEqual({
|
|
163
|
+
name: 'a',
|
|
164
|
+
description: 'primer sumando',
|
|
165
|
+
optional: false,
|
|
166
|
+
});
|
|
167
|
+
(0, vitest_1.expect)((0, doc_gen_1.parseParamTag)('[verbose] flag verbose')).toEqual({
|
|
168
|
+
name: 'verbose',
|
|
169
|
+
description: 'flag verbose',
|
|
170
|
+
optional: true,
|
|
171
|
+
});
|
|
172
|
+
(0, vitest_1.expect)((0, doc_gen_1.parseParamTag)('cfg? configuración')).toEqual({
|
|
173
|
+
name: 'cfg',
|
|
174
|
+
description: 'configuración',
|
|
175
|
+
optional: true,
|
|
176
|
+
});
|
|
177
|
+
});
|
|
178
|
+
(0, vitest_1.it)('parseReturnsTag descarta tipo entre llaves y el guion líder', () => {
|
|
179
|
+
(0, vitest_1.expect)((0, doc_gen_1.parseReturnsTag)('{number} - la suma')).toBe('la suma');
|
|
180
|
+
(0, vitest_1.expect)((0, doc_gen_1.parseReturnsTag)('la suma')).toBe('la suma');
|
|
181
|
+
});
|
|
182
|
+
});
|
|
183
|
+
// --- extractDocs --------------------------------------------
|
|
184
|
+
(0, vitest_1.describe)('extractDocs', () => {
|
|
185
|
+
let root;
|
|
186
|
+
(0, vitest_1.beforeAll)(() => {
|
|
187
|
+
root = buildFixtureRoot();
|
|
188
|
+
});
|
|
189
|
+
(0, vitest_1.afterAll)(() => {
|
|
190
|
+
fs.rmSync(root, { recursive: true, force: true });
|
|
191
|
+
});
|
|
192
|
+
(0, vitest_1.it)('extrae función documentada con @param y @returns', () => {
|
|
193
|
+
const modules = (0, doc_gen_1.extractDocs)(root);
|
|
194
|
+
const math = modules.find((m) => m.path === 'math.ts');
|
|
195
|
+
(0, vitest_1.expect)(math, 'math.ts module').toBeTruthy();
|
|
196
|
+
const sum = math?.exports.find((e) => e.name === 'sum');
|
|
197
|
+
(0, vitest_1.expect)(sum?.kind).toBe('function');
|
|
198
|
+
(0, vitest_1.expect)(sum?.description).toBe('Suma dos enteros.');
|
|
199
|
+
(0, vitest_1.expect)(sum?.parameters?.map((p) => p.name)).toEqual(['a', 'b']);
|
|
200
|
+
(0, vitest_1.expect)(sum?.parameters?.[0]?.type).toBe('number');
|
|
201
|
+
(0, vitest_1.expect)(sum?.parameters?.[0]?.description).toBe('primer sumando');
|
|
202
|
+
(0, vitest_1.expect)(sum?.returns?.type).toBe('number');
|
|
203
|
+
(0, vitest_1.expect)(sum?.returns?.description).toBe('la suma `a + b`');
|
|
204
|
+
(0, vitest_1.expect)(sum?.examples?.length).toBeGreaterThan(0);
|
|
205
|
+
(0, vitest_1.expect)(sum?.deprecated).toBeUndefined();
|
|
206
|
+
(0, vitest_1.expect)(sum?.exported).toBe(true);
|
|
207
|
+
});
|
|
208
|
+
(0, vitest_1.it)('detecta @deprecated', () => {
|
|
209
|
+
const modules = (0, doc_gen_1.extractDocs)(root);
|
|
210
|
+
const math = modules.find((m) => m.path === 'math.ts');
|
|
211
|
+
const add = math?.exports.find((e) => e.name === 'add');
|
|
212
|
+
(0, vitest_1.expect)(add?.deprecated).toBe(true);
|
|
213
|
+
});
|
|
214
|
+
(0, vitest_1.it)('captura class + interface + type + const + enum', () => {
|
|
215
|
+
const modules = (0, doc_gen_1.extractDocs)(root);
|
|
216
|
+
const shapes = modules.find((m) => m.path === 'shapes.ts');
|
|
217
|
+
(0, vitest_1.expect)(shapes).toBeTruthy();
|
|
218
|
+
const kinds = new Map(shapes.exports.map((e) => [e.name, e.kind]));
|
|
219
|
+
(0, vitest_1.expect)(kinds.get('Box')).toBe('class');
|
|
220
|
+
(0, vitest_1.expect)(kinds.get('Point')).toBe('interface');
|
|
221
|
+
(0, vitest_1.expect)(kinds.get('P')).toBe('type');
|
|
222
|
+
(0, vitest_1.expect)(kinds.get('ORIGIN')).toBe('const');
|
|
223
|
+
(0, vitest_1.expect)(kinds.get('Dir')).toBe('enum');
|
|
224
|
+
});
|
|
225
|
+
(0, vitest_1.it)('@internal se oculta por defecto y aparece con includeInternal', () => {
|
|
226
|
+
const def = (0, doc_gen_1.extractDocs)(root);
|
|
227
|
+
const internalMod = def.find((m) => m.path === 'internal.ts');
|
|
228
|
+
(0, vitest_1.expect)(internalMod?.exports.find((e) => e.name === 'helper')).toBeUndefined();
|
|
229
|
+
const incl = (0, doc_gen_1.extractDocs)(root, { includeInternal: true });
|
|
230
|
+
const internalMod2 = incl.find((m) => m.path === 'internal.ts');
|
|
231
|
+
(0, vitest_1.expect)(internalMod2?.exports.find((e) => e.name === 'helper')).toBeTruthy();
|
|
232
|
+
// notExported (sin export) también aparece cuando includeInternal=true
|
|
233
|
+
(0, vitest_1.expect)(internalMod2?.exports.find((e) => e.name === 'notExported')).toBeTruthy();
|
|
234
|
+
});
|
|
235
|
+
(0, vitest_1.it)('ignora *.test.ts, carpetas tests/ y node_modules/', () => {
|
|
236
|
+
const modules = (0, doc_gen_1.extractDocs)(root);
|
|
237
|
+
const paths = modules.map((m) => m.path);
|
|
238
|
+
(0, vitest_1.expect)(paths).not.toContain('foo.test.ts');
|
|
239
|
+
(0, vitest_1.expect)(paths.every((p) => !p.startsWith('tests/'))).toBe(true);
|
|
240
|
+
(0, vitest_1.expect)(paths.every((p) => !p.includes('node_modules'))).toBe(true);
|
|
241
|
+
});
|
|
242
|
+
(0, vitest_1.it)('captura description a nivel de archivo via @fileoverview', () => {
|
|
243
|
+
const modules = (0, doc_gen_1.extractDocs)(root);
|
|
244
|
+
const nested = modules.find((m) => m.path === 'nested/sub.ts');
|
|
245
|
+
(0, vitest_1.expect)(nested?.description).toContain('nested.sub');
|
|
246
|
+
});
|
|
247
|
+
});
|
|
248
|
+
// --- renderers ----------------------------------------------
|
|
249
|
+
(0, vitest_1.describe)('renderers', () => {
|
|
250
|
+
let root;
|
|
251
|
+
(0, vitest_1.beforeAll)(() => {
|
|
252
|
+
root = buildFixtureRoot();
|
|
253
|
+
});
|
|
254
|
+
(0, vitest_1.afterAll)(() => {
|
|
255
|
+
fs.rmSync(root, { recursive: true, force: true });
|
|
256
|
+
});
|
|
257
|
+
(0, vitest_1.it)('renderMarkdown produce un .md por módulo y un index.md', () => {
|
|
258
|
+
const modules = (0, doc_gen_1.extractDocs)(root);
|
|
259
|
+
const files = (0, doc_gen_1.renderMarkdown)(modules);
|
|
260
|
+
(0, vitest_1.expect)(files.has('index.md')).toBe(true);
|
|
261
|
+
(0, vitest_1.expect)(files.has('math.md')).toBe(true);
|
|
262
|
+
(0, vitest_1.expect)(files.has('shapes.md')).toBe(true);
|
|
263
|
+
(0, vitest_1.expect)(files.has('nested/sub.md')).toBe(true);
|
|
264
|
+
const mathMd = files.get('math.md') ?? '';
|
|
265
|
+
(0, vitest_1.expect)(mathMd).toContain('## `sum`');
|
|
266
|
+
(0, vitest_1.expect)(mathMd).toContain('### Parameters');
|
|
267
|
+
(0, vitest_1.expect)(mathMd).toContain('### Returns');
|
|
268
|
+
(0, vitest_1.expect)(mathMd).toContain('### Examples');
|
|
269
|
+
// Deprecated señalizado
|
|
270
|
+
(0, vitest_1.expect)(mathMd).toContain('DEPRECATED');
|
|
271
|
+
});
|
|
272
|
+
(0, vitest_1.it)('renderIndex conteo de módulos y símbolos', () => {
|
|
273
|
+
const modules = (0, doc_gen_1.extractDocs)(root);
|
|
274
|
+
const idx = (0, doc_gen_1.renderIndex)(modules);
|
|
275
|
+
(0, vitest_1.expect)(idx).toContain('# API Reference');
|
|
276
|
+
(0, vitest_1.expect)(idx).toMatch(/\*\*Modules\*\*:\s+\d+/);
|
|
277
|
+
(0, vitest_1.expect)(idx).toMatch(/\*\*Symbols\*\*:\s+\d+/);
|
|
278
|
+
(0, vitest_1.expect)(idx).toContain('## Modules');
|
|
279
|
+
// Tabla por kind presente
|
|
280
|
+
(0, vitest_1.expect)(idx).toContain('## Symbols by kind');
|
|
281
|
+
(0, vitest_1.expect)(idx).toContain('| Function |');
|
|
282
|
+
});
|
|
283
|
+
(0, vitest_1.it)('renderJSON parsea de vuelta sin pérdida', () => {
|
|
284
|
+
const modules = (0, doc_gen_1.extractDocs)(root);
|
|
285
|
+
const raw = (0, doc_gen_1.renderJSON)(modules);
|
|
286
|
+
const parsed = JSON.parse(raw);
|
|
287
|
+
(0, vitest_1.expect)(parsed.modules.length).toBe(modules.length);
|
|
288
|
+
(0, vitest_1.expect)(parsed.modules.map((m) => m.path)).toEqual(modules.map((m) => m.path));
|
|
289
|
+
});
|
|
290
|
+
(0, vitest_1.it)('toMarkdownPath cambia .ts → .md preservando subpath', () => {
|
|
291
|
+
(0, vitest_1.expect)((0, doc_gen_1.toMarkdownPath)('a/b/c.ts')).toBe('a/b/c.md');
|
|
292
|
+
(0, vitest_1.expect)((0, doc_gen_1.toMarkdownPath)('foo.ts')).toBe('foo.md');
|
|
293
|
+
});
|
|
294
|
+
});
|
|
295
|
+
// --- generateDocs end-to-end --------------------------------
|
|
296
|
+
(0, vitest_1.describe)('generateDocs', () => {
|
|
297
|
+
let root;
|
|
298
|
+
(0, vitest_1.beforeAll)(() => {
|
|
299
|
+
root = buildFixtureRoot();
|
|
300
|
+
});
|
|
301
|
+
(0, vitest_1.afterAll)(() => {
|
|
302
|
+
fs.rmSync(root, { recursive: true, force: true });
|
|
303
|
+
});
|
|
304
|
+
(0, vitest_1.it)('genera archivos markdown a outputDir y reporta warnings de symbols sin desc', async () => {
|
|
305
|
+
const out = mkdtemp('doc-out-');
|
|
306
|
+
try {
|
|
307
|
+
const res = await (0, doc_gen_1.generateDocs)({ rootDir: root, outputDir: out, template: 'markdown' });
|
|
308
|
+
(0, vitest_1.expect)(res.filesWritten.length).toBeGreaterThan(0);
|
|
309
|
+
// index + por lo menos uno
|
|
310
|
+
const filenames = res.filesWritten.map((p) => path.basename(p)).sort();
|
|
311
|
+
(0, vitest_1.expect)(filenames).toContain('index.md');
|
|
312
|
+
(0, vitest_1.expect)(filenames).toContain('math.md');
|
|
313
|
+
// warning sobre `undocumented`
|
|
314
|
+
(0, vitest_1.expect)(res.warnings.some((w) => w.includes('undocumented'))).toBe(true);
|
|
315
|
+
const mathContent = fs.readFileSync(path.join(out, 'math.md'), 'utf8');
|
|
316
|
+
(0, vitest_1.expect)(mathContent).toContain('Suma dos enteros');
|
|
317
|
+
}
|
|
318
|
+
finally {
|
|
319
|
+
fs.rmSync(out, { recursive: true, force: true });
|
|
320
|
+
}
|
|
321
|
+
});
|
|
322
|
+
(0, vitest_1.it)('genera api.json cuando template=json', async () => {
|
|
323
|
+
const out = mkdtemp('doc-out-');
|
|
324
|
+
try {
|
|
325
|
+
const res = await (0, doc_gen_1.generateDocs)({ rootDir: root, outputDir: out, template: 'json' });
|
|
326
|
+
const jsonFile = res.filesWritten.find((f) => f.endsWith('api.json'));
|
|
327
|
+
(0, vitest_1.expect)(jsonFile).toBeTruthy();
|
|
328
|
+
const content = fs.readFileSync(jsonFile, 'utf8');
|
|
329
|
+
const parsed = JSON.parse(content);
|
|
330
|
+
(0, vitest_1.expect)(Array.isArray(parsed.modules)).toBe(true);
|
|
331
|
+
}
|
|
332
|
+
finally {
|
|
333
|
+
fs.rmSync(out, { recursive: true, force: true });
|
|
334
|
+
}
|
|
335
|
+
});
|
|
336
|
+
(0, vitest_1.it)('genera index.html cuando template=html-minimal', async () => {
|
|
337
|
+
const out = mkdtemp('doc-out-');
|
|
338
|
+
try {
|
|
339
|
+
const res = await (0, doc_gen_1.generateDocs)({ rootDir: root, outputDir: out, template: 'html-minimal' });
|
|
340
|
+
(0, vitest_1.expect)(res.filesWritten.some((f) => f.endsWith('index.html'))).toBe(true);
|
|
341
|
+
const html = fs.readFileSync(path.join(out, 'index.html'), 'utf8');
|
|
342
|
+
(0, vitest_1.expect)(html).toContain('<!doctype html>');
|
|
343
|
+
(0, vitest_1.expect)(html).toContain('API Reference');
|
|
344
|
+
}
|
|
345
|
+
finally {
|
|
346
|
+
fs.rmSync(out, { recursive: true, force: true });
|
|
347
|
+
}
|
|
348
|
+
});
|
|
349
|
+
});
|
|
350
|
+
//# sourceMappingURL=doc-gen.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"doc-gen.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/doc-gen/doc-gen.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,0BAA0B;AAC1B,kEAAkE;AAClE,uDAAuD;AACvD,+DAA+D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/D,mCAAmE;AACnE,uCAAyB;AACzB,2CAA6B;AAC7B,uCAAyB;AAEzB,sDAWkC;AAElC,+DAA+D;AAE/D,SAAS,OAAO,CAAC,MAAM,GAAG,UAAU;IAClC,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,SAAS,CAAC,GAAW,EAAE,GAAW,EAAE,OAAe;IAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAChC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC;AAED,sEAAsE;AACtE,0DAA0D;AAC1D,SAAS,gBAAgB;IACvB,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;IACvB,SAAS,CACP,IAAI,EACJ,SAAS,EACT;QACE,KAAK;QACL,sBAAsB;QACtB,IAAI;QACJ,4BAA4B;QAC5B,6BAA6B;QAC7B,6BAA6B;QAC7B,aAAa;QACb,mBAAmB;QACnB,KAAK;QACL,qDAAqD;QACrD,iBAAiB;QACjB,GAAG;QACH,EAAE;QACF,KAAK;QACL,2BAA2B;QAC3B,KAAK;QACL,qDAAqD;QACrD,qBAAqB;QACrB,GAAG;QACH,EAAE;QACF,+DAA+D;QAC/D,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,SAAS,CACP,IAAI,EACJ,WAAW,EACX;QACE,KAAK;QACL,uBAAuB;QACvB,KAAK;QACL,oBAAoB;QACpB,sDAAsD;QACtD,wBAAwB;QACxB,8CAA8C;QAC9C,GAAG;QACH,EAAE;QACF,qBAAqB;QACrB,kDAAkD;QAClD,EAAE;QACF,wBAAwB;QACxB,wBAAwB;QACxB,EAAE;QACF,4BAA4B;QAC5B,8CAA8C;QAC9C,EAAE;QACF,qBAAqB;QACrB,gCAAgC;QAChC,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,SAAS,CACP,IAAI,EACJ,aAAa,EACb;QACE,KAAK;QACL,6BAA6B;QAC7B,KAAK;QACL,mCAAmC;QACnC,EAAE;QACF,iCAAiC;QACjC,oEAAoE;QACpE,iCAAiC;QACjC,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,SAAS,CACP,IAAI,EACJ,eAAe,EACf;QACE,KAAK;QACL,oEAAoE;QACpE,KAAK;QACL,kDAAkD;QAClD,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,mCAAmC;IACnC,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,uCAAuC,CAAC,CAAC;IACxE,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,qCAAqC,CAAC,CAAC;IACvE,SAAS,CAAC,IAAI,EAAE,2BAA2B,EAAE,2BAA2B,CAAC,CAAC;IAC1E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG;YACV,KAAK;YACL,eAAe;YACf,IAAI;YACJ,oBAAoB;YACpB,oBAAoB;YACpB,qBAAqB;YACrB,aAAa;YACb,cAAc;YACd,gBAAgB;YAChB,KAAK;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5C,OAAO;YACP,OAAO;YACP,SAAS;YACT,SAAS;YACT,YAAY;SACb,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,OAAO,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,gCAAgC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAmB,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC;YAChD,IAAI,EAAE,GAAG;YACT,WAAW,EAAE,gBAAgB;YAC7B,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC;YACtD,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,cAAc;YAC3B,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC;YAClD,IAAI,EAAE,KAAK;YACX,WAAW,EAAE,eAAe;YAC5B,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,IAAA,eAAM,EAAC,IAAA,yBAAe,EAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,yBAAe,EAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAI,IAAY,CAAC;IACjB,IAAA,kBAAS,EAAC,GAAG,EAAE;QACb,IAAI,GAAG,gBAAgB,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,IAAA,iBAAQ,EAAC,GAAG,EAAE;QACZ,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,UAAU,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAE9E,MAAM,IAAI,GAAG,IAAA,qBAAW,EAAC,IAAI,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAC5E,uEAAuE;QACvE,IAAA,eAAM,EAAC,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,EAAE,WAAW,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAI,IAAY,CAAC;IACjB,IAAA,kBAAS,EAAC,GAAG,EAAE;QACb,IAAI,GAAG,gBAAgB,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,IAAA,iBAAQ,EAAC,GAAG,EAAE;QACZ,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,IAAA,wBAAc,EAAC,OAAO,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACzC,wBAAwB;QACxB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,IAAA,qBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACpC,0BAA0B;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,IAAA,oBAAU,EAAC,OAAO,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAgC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAI,IAAY,CAAC;IACjB,IAAA,kBAAS,EAAC,GAAG,EAAE;QACb,IAAI,GAAG,gBAAgB,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,IAAA,iBAAQ,EAAC,GAAG,EAAE;QACZ,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,KAAK,IAAI,EAAE;QAC3F,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAA,sBAAY,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;YACxF,IAAA,eAAM,EAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACnD,2BAA2B;YAC3B,MAAM,SAAS,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvE,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACvC,+BAA+B;YAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxE,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;YACvE,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACpD,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAA,sBAAY,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;YACpF,MAAM,QAAQ,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACtE,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAkB,EAAE,MAAM,CAAC,CAAC;YAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA2B,CAAC;YAC7D,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAA,sBAAY,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC;YAC5F,IAAA,eAAM,EAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1E,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC;YACnE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;YAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC1C,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"coq-v2-exporter.test.d.ts","sourceRoot":"","sources":["../../../../../src/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.ts"],"names":[],"mappings":""}
|