Module aya.base

Package org.aya.core.def

Class ClassDef

java.lang.Object

org.aya.core.def.ClassDef

All Implemented Interfaces:

GenericDef, AyaDocile

public final class ClassDef
extends Object
implements AyaDocile, GenericDef

Field Summary

Fields

Modifier and Type	Field	Description
final @NotNull kala.collection.immutable.ImmutableSeq<MemberDef>	members
final @NotNull DefVar<ClassDef,ClassDecl>	ref

Constructor Summary

Constructors

Constructor	Description
ClassDef(@NotNull DefVar<ClassDef,ClassDecl> ref, @NotNull kala.collection.immutable.ImmutableSeq<MemberDef> members)

Method Summary

Modifier and Type	Method	Description
void	descentConsume(@NotNull Consumer<Term> f, @NotNull Consumer<Pat> g)
@NotNull DefVar<? extends ClassDef,? extends ClassDecl>	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.core.def.GenericDef

toDoc

Field Details

ref

@NotNull
public final @NotNull DefVar<ClassDef,ClassDecl> ref

members

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<MemberDef> members

Constructor Details

ClassDef

public ClassDef(@NotNull
 @NotNull DefVar<ClassDef,ClassDecl> ref,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<MemberDef> members)

Method Details

ref

@NotNull
public @NotNull DefVar<? extends ClassDef,? extends ClassDecl> ref()

Specified by:

ref in interface GenericDef

descentConsume

public void descentConsume(@NotNull
 @NotNull Consumer<Term> f,
 @NotNull
 @NotNull Consumer<Pat> g)

Specified by:

descentConsume in interface GenericDef