(:after) - Operators

select a value that appears after another

(:after anchor val)

Where:

1. anchor: the reference point in the source code *
2. val: what to find after the anchor *

Guides

• Confinement

Examples

Find variable uses after a null check to verify safe access.

(:inside
  (fun)
  (:after
    (if (:and (id data) (id)))
    (mem (:ref (id data)))))

Selects in lines { 3 }:

def process():
  if data:
    return data.value
  return None

---

Locate translate() calls after i18n initialization to verify correct ordering.

(:inside
  (fun /render/)
  (:after
    (call init_i18n)
    (call translate)))

Selects in lines { 2 }:

def render1():
  translate()

def render2():
  init_i18n()
  translate()

def render3():
  translate()
  init_i18n()

---

Find all code after an error check to understand error handling flow.

(:inside
  (fun)
  (:after
    (if (:and (id error) (id)))
    (call)))

Selects in lines { 4 }:

def process():
  if error:
    log()
  cleanup()

---

Include the anchor in results by refining with :into.

(:after (:into (id a)) (id))

Selects in lines { 1, 2 }:

a
b
a

---

Arguments

anchor

1. (:into)
2. (:after)
3. (:at)
4. (:before)
5. (:inside)
6. (:nearest)
7. (:outside)
8. (:kind)
9. (:ref)
10. (:text)
11. ...language selectors
    

Does NOT support: Composition — Replacement

val

1. inherit