├── .readthedocs.yaml ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── analysis ├── declcheck.go ├── declcheck_test.go ├── infercontext.go ├── rectify.go ├── rectify_test.go ├── rewriteclause.go ├── rewriteclause_test.go ├── stratification.go ├── stratification_test.go ├── test_cases │ ├── decl_struct.mg │ ├── filter.mg │ ├── fun.mg │ ├── infinite.mg │ ├── neg_arity_mismatch.mg │ ├── neg_plusarg.mg │ ├── neg_polymorphic_match.mg │ └── polymorphic_feasible.mg ├── validation.go ├── validation_test.go ├── varlist.go └── varlist_test.go ├── ast ├── ast.go ├── ast_test.go ├── decl.go ├── decl_test.go ├── serde.go └── serde_test.go ├── builtin ├── builtin.go └── builtin_test.go ├── docs ├── README.md ├── base_derived.svg ├── bibliography.md ├── derived_stages.svg ├── docu_impl_explanation.svg ├── docu_impl_howto.svg ├── docu_impl_reference.svg ├── docu_impl_tutorial.svg ├── docu_spec_explanation.svg ├── docu_spec_howto.svg ├── docu_spec_reference.svg ├── docu_spec_tutorial.svg ├── example_volunteer_api.md ├── example_volunteer_db.md ├── explanation_derived_facts.md ├── guidelines.md ├── rationale.md ├── spec_builtin_operations.md ├── spec_datamodel.md ├── spec_decls.md ├── spec_explain_relational_algebra.md ├── structured_data.md └── using_the_interpreter.md ├── engine ├── inclusioncheck.go ├── inclusioncheck_test.go ├── map_lattice_test.go ├── naivebottomup.go ├── naivebottomup_test.go ├── premise.go ├── seminaivebottomup.go ├── seminaivebottomup_test.go ├── topdown.go ├── topdown_test.go ├── transformer.go └── transformer_test.go ├── examples ├── aggregation.mg ├── ancestor.mg ├── dataflow_analysis.mg ├── dataflow_liveness.mg ├── example.mg ├── example_type_error.mg ├── flow_checking.mg ├── map_aggregation.mg ├── one_or_two_leg_trip.mg ├── project_aggregation.mg ├── reversesamegen.mg └── shortest_path.mg ├── factstore ├── factstore.go ├── factstore_test.go ├── simplecolumn.go └── simplecolumn_test.go ├── functional ├── functional.go └── functional_test.go ├── generate_parser.sh ├── go.mod ├── go.sum ├── interpreter ├── interpreter.go ├── interpreter_test.go └── mg │ └── mg.go ├── json2struct ├── json2struct.go └── json2struct_test.go ├── packages ├── packages.go └── packages_test.go ├── parse ├── README.md ├── gen │ ├── Mangle.g4 │ ├── Mangle.interp │ ├── Mangle.tokens │ ├── MangleLexer.interp │ ├── MangleLexer.tokens │ ├── mangle_base_listener.go │ ├── mangle_base_visitor.go │ ├── mangle_lexer.go │ ├── mangle_listener.go │ ├── mangle_parser.go │ └── mangle_visitor.go ├── parse.go ├── parse_strings_test.go └── parse_test.go ├── proto2struct └── proto2struct.go ├── readthedocs ├── README.md ├── aggregation.md ├── basictypes.md ├── conf.py ├── constructedtypes.md ├── datalog.md ├── index.md ├── installing.md ├── mangle_logo.png ├── requirements.txt └── typeexpressions.md ├── rewrite ├── rewrite.go └── rewrite_test.go ├── rust ├── CHANGELOG.md ├── CONTRIBUTING.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── analysis │ ├── Cargo.toml │ ├── LICENSE │ ├── README.md │ └── src │ │ ├── lib.rs │ │ └── simple_program.rs ├── ast │ ├── Cargo.lock │ ├── Cargo.toml │ ├── LICENSE │ ├── README.md │ └── src │ │ └── lib.rs ├── engine │ ├── Cargo.toml │ ├── LICENSE │ ├── README.md │ └── src │ │ ├── lib.rs │ │ └── naive.rs ├── factstore │ ├── Cargo.toml │ ├── LICENSE │ ├── README.md │ └── src │ │ ├── lib.rs │ │ └── tablestore.rs └── parse │ ├── Cargo.lock │ ├── Cargo.toml │ ├── LICENSE │ ├── README.md │ └── src │ ├── error.rs │ ├── lib.rs │ ├── quote.rs │ ├── scan.rs │ └── token.rs ├── symbols ├── decldesugar.go ├── decldesugar_test.go ├── nametrie.go ├── nametrie_test.go ├── symbols.go ├── symbols_test.go └── typeexprs.go └── unionfind ├── unifytypeexpr.go ├── unionfind.go └── unionfind_test.go /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/README.md -------------------------------------------------------------------------------- /analysis/declcheck.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/declcheck.go -------------------------------------------------------------------------------- /analysis/declcheck_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/declcheck_test.go -------------------------------------------------------------------------------- /analysis/infercontext.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/infercontext.go -------------------------------------------------------------------------------- /analysis/rectify.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/rectify.go -------------------------------------------------------------------------------- /analysis/rectify_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/rectify_test.go -------------------------------------------------------------------------------- /analysis/rewriteclause.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/rewriteclause.go -------------------------------------------------------------------------------- /analysis/rewriteclause_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/rewriteclause_test.go -------------------------------------------------------------------------------- /analysis/stratification.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/stratification.go -------------------------------------------------------------------------------- /analysis/stratification_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/stratification_test.go -------------------------------------------------------------------------------- /analysis/test_cases/decl_struct.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/test_cases/decl_struct.mg -------------------------------------------------------------------------------- /analysis/test_cases/filter.mg: -------------------------------------------------------------------------------- 1 | foo() :- :filter(fn:list:contains([], 23)). 2 | -------------------------------------------------------------------------------- /analysis/test_cases/fun.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/test_cases/fun.mg -------------------------------------------------------------------------------- /analysis/test_cases/infinite.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/test_cases/infinite.mg -------------------------------------------------------------------------------- /analysis/test_cases/neg_arity_mismatch.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/test_cases/neg_arity_mismatch.mg -------------------------------------------------------------------------------- /analysis/test_cases/neg_plusarg.mg: -------------------------------------------------------------------------------- 1 | p(X) :- Y = "A", X = fn:plus(1, Y). -------------------------------------------------------------------------------- /analysis/test_cases/neg_polymorphic_match.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/test_cases/neg_polymorphic_match.mg -------------------------------------------------------------------------------- /analysis/test_cases/polymorphic_feasible.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/test_cases/polymorphic_feasible.mg -------------------------------------------------------------------------------- /analysis/validation.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/validation.go -------------------------------------------------------------------------------- /analysis/validation_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/validation_test.go -------------------------------------------------------------------------------- /analysis/varlist.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/varlist.go -------------------------------------------------------------------------------- /analysis/varlist_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/analysis/varlist_test.go -------------------------------------------------------------------------------- /ast/ast.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/ast/ast.go -------------------------------------------------------------------------------- /ast/ast_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/ast/ast_test.go -------------------------------------------------------------------------------- /ast/decl.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/ast/decl.go -------------------------------------------------------------------------------- /ast/decl_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/ast/decl_test.go -------------------------------------------------------------------------------- /ast/serde.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/ast/serde.go -------------------------------------------------------------------------------- /ast/serde_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/ast/serde_test.go -------------------------------------------------------------------------------- /builtin/builtin.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/builtin/builtin.go -------------------------------------------------------------------------------- /builtin/builtin_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/builtin/builtin_test.go -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/base_derived.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/base_derived.svg -------------------------------------------------------------------------------- /docs/bibliography.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/bibliography.md -------------------------------------------------------------------------------- /docs/derived_stages.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/derived_stages.svg -------------------------------------------------------------------------------- /docs/docu_impl_explanation.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/docu_impl_explanation.svg -------------------------------------------------------------------------------- /docs/docu_impl_howto.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/docu_impl_howto.svg -------------------------------------------------------------------------------- /docs/docu_impl_reference.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/docu_impl_reference.svg -------------------------------------------------------------------------------- /docs/docu_impl_tutorial.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/docu_impl_tutorial.svg -------------------------------------------------------------------------------- /docs/docu_spec_explanation.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/docu_spec_explanation.svg -------------------------------------------------------------------------------- /docs/docu_spec_howto.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/docu_spec_howto.svg -------------------------------------------------------------------------------- /docs/docu_spec_reference.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/docu_spec_reference.svg -------------------------------------------------------------------------------- /docs/docu_spec_tutorial.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/docu_spec_tutorial.svg -------------------------------------------------------------------------------- /docs/example_volunteer_api.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/example_volunteer_api.md -------------------------------------------------------------------------------- /docs/example_volunteer_db.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/example_volunteer_db.md -------------------------------------------------------------------------------- /docs/explanation_derived_facts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/explanation_derived_facts.md -------------------------------------------------------------------------------- /docs/guidelines.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/guidelines.md -------------------------------------------------------------------------------- /docs/rationale.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/rationale.md -------------------------------------------------------------------------------- /docs/spec_builtin_operations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/spec_builtin_operations.md -------------------------------------------------------------------------------- /docs/spec_datamodel.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/spec_datamodel.md -------------------------------------------------------------------------------- /docs/spec_decls.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/spec_decls.md -------------------------------------------------------------------------------- /docs/spec_explain_relational_algebra.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/spec_explain_relational_algebra.md -------------------------------------------------------------------------------- /docs/structured_data.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/structured_data.md -------------------------------------------------------------------------------- /docs/using_the_interpreter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/docs/using_the_interpreter.md -------------------------------------------------------------------------------- /engine/inclusioncheck.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/inclusioncheck.go -------------------------------------------------------------------------------- /engine/inclusioncheck_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/inclusioncheck_test.go -------------------------------------------------------------------------------- /engine/map_lattice_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/map_lattice_test.go -------------------------------------------------------------------------------- /engine/naivebottomup.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/naivebottomup.go -------------------------------------------------------------------------------- /engine/naivebottomup_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/naivebottomup_test.go -------------------------------------------------------------------------------- /engine/premise.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/premise.go -------------------------------------------------------------------------------- /engine/seminaivebottomup.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/seminaivebottomup.go -------------------------------------------------------------------------------- /engine/seminaivebottomup_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/seminaivebottomup_test.go -------------------------------------------------------------------------------- /engine/topdown.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/topdown.go -------------------------------------------------------------------------------- /engine/topdown_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/topdown_test.go -------------------------------------------------------------------------------- /engine/transformer.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/transformer.go -------------------------------------------------------------------------------- /engine/transformer_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/engine/transformer_test.go -------------------------------------------------------------------------------- /examples/aggregation.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/aggregation.mg -------------------------------------------------------------------------------- /examples/ancestor.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/ancestor.mg -------------------------------------------------------------------------------- /examples/dataflow_analysis.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/dataflow_analysis.mg -------------------------------------------------------------------------------- /examples/dataflow_liveness.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/dataflow_liveness.mg -------------------------------------------------------------------------------- /examples/example.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/example.mg -------------------------------------------------------------------------------- /examples/example_type_error.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/example_type_error.mg -------------------------------------------------------------------------------- /examples/flow_checking.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/flow_checking.mg -------------------------------------------------------------------------------- /examples/map_aggregation.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/map_aggregation.mg -------------------------------------------------------------------------------- /examples/one_or_two_leg_trip.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/one_or_two_leg_trip.mg -------------------------------------------------------------------------------- /examples/project_aggregation.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/project_aggregation.mg -------------------------------------------------------------------------------- /examples/reversesamegen.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/reversesamegen.mg -------------------------------------------------------------------------------- /examples/shortest_path.mg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/examples/shortest_path.mg -------------------------------------------------------------------------------- /factstore/factstore.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/factstore/factstore.go -------------------------------------------------------------------------------- /factstore/factstore_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/factstore/factstore_test.go -------------------------------------------------------------------------------- /factstore/simplecolumn.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/factstore/simplecolumn.go -------------------------------------------------------------------------------- /factstore/simplecolumn_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/factstore/simplecolumn_test.go -------------------------------------------------------------------------------- /functional/functional.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/functional/functional.go -------------------------------------------------------------------------------- /functional/functional_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/functional/functional_test.go -------------------------------------------------------------------------------- /generate_parser.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/generate_parser.sh -------------------------------------------------------------------------------- /go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/go.mod -------------------------------------------------------------------------------- /go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/go.sum -------------------------------------------------------------------------------- /interpreter/interpreter.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/interpreter/interpreter.go -------------------------------------------------------------------------------- /interpreter/interpreter_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/interpreter/interpreter_test.go -------------------------------------------------------------------------------- /interpreter/mg/mg.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/interpreter/mg/mg.go -------------------------------------------------------------------------------- /json2struct/json2struct.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/json2struct/json2struct.go -------------------------------------------------------------------------------- /json2struct/json2struct_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/json2struct/json2struct_test.go -------------------------------------------------------------------------------- /packages/packages.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/packages/packages.go -------------------------------------------------------------------------------- /packages/packages_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/packages/packages_test.go -------------------------------------------------------------------------------- /parse/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/README.md -------------------------------------------------------------------------------- /parse/gen/Mangle.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/Mangle.g4 -------------------------------------------------------------------------------- /parse/gen/Mangle.interp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/Mangle.interp -------------------------------------------------------------------------------- /parse/gen/Mangle.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/Mangle.tokens -------------------------------------------------------------------------------- /parse/gen/MangleLexer.interp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/MangleLexer.interp -------------------------------------------------------------------------------- /parse/gen/MangleLexer.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/MangleLexer.tokens -------------------------------------------------------------------------------- /parse/gen/mangle_base_listener.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/mangle_base_listener.go -------------------------------------------------------------------------------- /parse/gen/mangle_base_visitor.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/mangle_base_visitor.go -------------------------------------------------------------------------------- /parse/gen/mangle_lexer.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/mangle_lexer.go -------------------------------------------------------------------------------- /parse/gen/mangle_listener.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/mangle_listener.go -------------------------------------------------------------------------------- /parse/gen/mangle_parser.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/mangle_parser.go -------------------------------------------------------------------------------- /parse/gen/mangle_visitor.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/gen/mangle_visitor.go -------------------------------------------------------------------------------- /parse/parse.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/parse.go -------------------------------------------------------------------------------- /parse/parse_strings_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/parse_strings_test.go -------------------------------------------------------------------------------- /parse/parse_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/parse/parse_test.go -------------------------------------------------------------------------------- /proto2struct/proto2struct.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/proto2struct/proto2struct.go -------------------------------------------------------------------------------- /readthedocs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/README.md -------------------------------------------------------------------------------- /readthedocs/aggregation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/aggregation.md -------------------------------------------------------------------------------- /readthedocs/basictypes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/basictypes.md -------------------------------------------------------------------------------- /readthedocs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/conf.py -------------------------------------------------------------------------------- /readthedocs/constructedtypes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/constructedtypes.md -------------------------------------------------------------------------------- /readthedocs/datalog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/datalog.md -------------------------------------------------------------------------------- /readthedocs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/index.md -------------------------------------------------------------------------------- /readthedocs/installing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/installing.md -------------------------------------------------------------------------------- /readthedocs/mangle_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/mangle_logo.png -------------------------------------------------------------------------------- /readthedocs/requirements.txt: -------------------------------------------------------------------------------- 1 | myst-parser 2 | markdown-callouts 3 | sphinx-togglebutton 4 | -------------------------------------------------------------------------------- /readthedocs/typeexpressions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/readthedocs/typeexpressions.md -------------------------------------------------------------------------------- /rewrite/rewrite.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rewrite/rewrite.go -------------------------------------------------------------------------------- /rewrite/rewrite_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rewrite/rewrite_test.go -------------------------------------------------------------------------------- /rust/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/CHANGELOG.md -------------------------------------------------------------------------------- /rust/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/CONTRIBUTING.md -------------------------------------------------------------------------------- /rust/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/Cargo.lock -------------------------------------------------------------------------------- /rust/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/Cargo.toml -------------------------------------------------------------------------------- /rust/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/LICENSE -------------------------------------------------------------------------------- /rust/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/README.md -------------------------------------------------------------------------------- /rust/analysis/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/analysis/Cargo.toml -------------------------------------------------------------------------------- /rust/analysis/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/analysis/LICENSE -------------------------------------------------------------------------------- /rust/analysis/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/analysis/README.md -------------------------------------------------------------------------------- /rust/analysis/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/analysis/src/lib.rs -------------------------------------------------------------------------------- /rust/analysis/src/simple_program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/analysis/src/simple_program.rs -------------------------------------------------------------------------------- /rust/ast/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/ast/Cargo.lock -------------------------------------------------------------------------------- /rust/ast/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/ast/Cargo.toml -------------------------------------------------------------------------------- /rust/ast/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/ast/LICENSE -------------------------------------------------------------------------------- /rust/ast/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/ast/README.md -------------------------------------------------------------------------------- /rust/ast/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/ast/src/lib.rs -------------------------------------------------------------------------------- /rust/engine/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/engine/Cargo.toml -------------------------------------------------------------------------------- /rust/engine/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/engine/LICENSE -------------------------------------------------------------------------------- /rust/engine/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/engine/README.md -------------------------------------------------------------------------------- /rust/engine/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/engine/src/lib.rs -------------------------------------------------------------------------------- /rust/engine/src/naive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/engine/src/naive.rs -------------------------------------------------------------------------------- /rust/factstore/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/factstore/Cargo.toml -------------------------------------------------------------------------------- /rust/factstore/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/factstore/LICENSE -------------------------------------------------------------------------------- /rust/factstore/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/factstore/README.md -------------------------------------------------------------------------------- /rust/factstore/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/factstore/src/lib.rs -------------------------------------------------------------------------------- /rust/factstore/src/tablestore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/factstore/src/tablestore.rs -------------------------------------------------------------------------------- /rust/parse/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/parse/Cargo.lock -------------------------------------------------------------------------------- /rust/parse/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/parse/Cargo.toml -------------------------------------------------------------------------------- /rust/parse/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/parse/LICENSE -------------------------------------------------------------------------------- /rust/parse/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/parse/README.md -------------------------------------------------------------------------------- /rust/parse/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/parse/src/error.rs -------------------------------------------------------------------------------- /rust/parse/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/parse/src/lib.rs -------------------------------------------------------------------------------- /rust/parse/src/quote.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/parse/src/quote.rs -------------------------------------------------------------------------------- /rust/parse/src/scan.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/parse/src/scan.rs -------------------------------------------------------------------------------- /rust/parse/src/token.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/rust/parse/src/token.rs -------------------------------------------------------------------------------- /symbols/decldesugar.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/symbols/decldesugar.go -------------------------------------------------------------------------------- /symbols/decldesugar_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/symbols/decldesugar_test.go -------------------------------------------------------------------------------- /symbols/nametrie.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/symbols/nametrie.go -------------------------------------------------------------------------------- /symbols/nametrie_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/symbols/nametrie_test.go -------------------------------------------------------------------------------- /symbols/symbols.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/symbols/symbols.go -------------------------------------------------------------------------------- /symbols/symbols_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/symbols/symbols_test.go -------------------------------------------------------------------------------- /symbols/typeexprs.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/symbols/typeexprs.go -------------------------------------------------------------------------------- /unionfind/unifytypeexpr.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/unionfind/unifytypeexpr.go -------------------------------------------------------------------------------- /unionfind/unionfind.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/unionfind/unionfind.go -------------------------------------------------------------------------------- /unionfind/unionfind_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google/mangle/HEAD/unionfind/unionfind_test.go --------------------------------------------------------------------------------