Skip to content

Design: trampoline — match a definition at any node #431

Description

@zharinov

Query execution is root-anchored today. Batch run --entry Func on real files — and the future test format — need "match this definition at any node, collect all results". This is an engine-level change in plotnik-vm.

Needs design:

  • Implicit for non-root entrypoints, or an explicit flag.
  • Interaction with quantifiers and result cardinality.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions