Module org.kink_lang.kink
Package org.kink_lang.kink.internal.program.itree

Interface UsedDefinedVars

All Known Implementing Classes:
FastFunItree
public interface UsedDefinedVars
Provides access to used/defined local vars in a fun.

  • Method Details

    • usedLvars

      Set<LocalVar> usedLvars()
      Returns the set of local vars used in the fun.
      Returns:
      the set of local vars used in the fun.

    • definedLvars

      Set<LocalVar> definedLvars()
      Returns the set of local vars defined in the fun.
      Returns:
      the set of local vars defined in the fun.

    • freeLvars

      Set<LocalVar> freeLvars()
      Returns the set of free local vars of the fun.
      Returns:
      the set of free local vars of the fun.

    • isUsed

      default boolean isUsed(LocalVar lvar)
      Whether the lvar is used in the fun.
      Parameters:
      lvar - the local var to test.
      Returns:
      whether the lvar is used in the fun.

    • getContent

      LocalVarContent getContent(LocalVar lvar)
      Returns the content for the local var.
      Parameters:
      lvar - the local var.
      Returns:
      the content for the local var.