All Superinterfaces:
Comparable<Lvar>, NestedParam, VarrefParam
All Known Implementing Classes:
Lvar.Generated, Lvar.Original

public sealed interface Lvar extends VarrefParam, NestedParam, Comparable<Lvar> permits Lvar.Original, Lvar.Generated
Sym of a local var.
  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    Sym generated during SSA-conversion.
    static final record 
    Sym which is specified by the program.

    Nested classes/interfaces inherited from interface org.kink_lang.kink.internal.program.itree.NestedParam

    NestedParam.Tuple
  • Method Summary

    Modifier and Type
    Method
    Description
    default int
     
    default String
    Returns the representation as an LHS.
    Returns the name of the sym specified in the program.
    Key to order the LocalVar.
  • Method Details

    • name

      String name()
      Returns the name of the sym specified in the program.
      Specified by:
      name in interface VarrefParam
      Returns:
      the name of the sym specified in the program.
    • sortKey

      String sortKey()
      Key to order the LocalVar.
      Returns:
      key to order the LocalVar.
    • compareTo

      default int compareTo(Lvar arg)
      Specified by:
      compareTo in interface Comparable<Lvar>
    • lhsRepr

      default String lhsRepr()
      Description copied from interface: VarrefParam
      Returns the representation as an LHS.
      Specified by:
      lhsRepr in interface NestedParam
      Specified by:
      lhsRepr in interface VarrefParam
      Returns:
      the representation as an LHS.