Module aya.base

Package org.aya.concrete.stmt

Class Generalize

java.lang.Object

org.aya.concrete.stmt.Generalize

All Implemented Interfaces:

Stmt, AyaDocile, TyckUnit, org.aya.util.error.SourceNode

public final class Generalize
extends Object
implements Stmt

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.concrete.stmt.Stmt

Stmt.Accessibility

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable Context	ctx
final @NotNull org.aya.util.error.SourcePos	sourcePos
@NotNull Expr	type
final @NotNull kala.collection.immutable.ImmutableSeq<GeneralizedVar>	variables

Constructor Summary

Constructors

Constructor	Description
Generalize(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull kala.collection.immutable.ImmutableSeq<GeneralizedVar> variables, @NotNull Expr type)

Method Summary

Modifier and Type	Method	Description
@NotNull Stmt.Accessibility	accessibility()
boolean	needTyck(@NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)
@NotNull org.aya.util.error.SourcePos	sourcePos()
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	toExpr()
Expr.Param	toExpr(boolean explicit, @NotNull LocalVar ref)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

Methods inherited from interface org.aya.concrete.stmt.Stmt

desugar, toDoc

Field Details

sourcePos

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

variables

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<GeneralizedVar> variables

type

@NotNull
public @NotNull Expr type

ctx

@Nullable
public @Nullable Context ctx

Constructor Details

Generalize

public Generalize(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<GeneralizedVar> variables,
 @NotNull
 @NotNull Expr type)

Method Details

accessibility

@NotNull
public @NotNull Stmt.Accessibility accessibility()

Specified by:

accessibility in interface Stmt

needTyck

public boolean needTyck(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)

Specified by:

needTyck in interface TyckUnit

toExpr

@NotNull
public Expr.Param toExpr(boolean explicit,
 @NotNull
 @NotNull LocalVar ref)

toExpr

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> toExpr()

sourcePos

@NotNull
public @NotNull org.aya.util.error.SourcePos sourcePos()

Specified by:

sourcePos in interface org.aya.util.error.SourceNode