Module aya.base

Class GeneralizedVar

java.lang.Object
org.aya.concrete.stmt.GeneralizedVar
All Implemented Interfaces:
AnyVar

public final class GeneralizedVar extends Object implements AnyVar
  • Field Details

    • name

      @NotNull public final @NotNull String name
    • sourcePos

      @NotNull public final @NotNull org.aya.util.error.SourcePos sourcePos
    • owner

      public Generalize owner
  • Constructor Details

    • GeneralizedVar

      public GeneralizedVar(@NotNull @NotNull String name, @NotNull @NotNull org.aya.util.error.SourcePos sourcePos)
  • Method Details

    • toLocal

      @NotNull public @NotNull LocalVar toLocal()
    • name

      @NotNull public @NotNull String name()
      Specified by:
      name in interface AnyVar