模块 org.aya

程序包 org.aya.core.def

类 PrimDef.Factory

java.lang.Object

org.aya.core.def.PrimDef.Factory

封闭类:

PrimDef

public static class PrimDef.Factory
extends Object

字段概要

字段

修饰符和类型	字段	说明
static final PrimDef.Factory	INSTANCE
static final @NotNull kala.collection.immutable.ImmutableSeq<PrimDef.ID>	LEFT_RIGHT

方法概要

修饰符和类型	方法	说明
@NotNull kala.control.Option<kala.collection.immutable.ImmutableSeq<@NotNull PrimDef.ID>>	checkDependency(@NotNull PrimDef.ID name)
void	clear()
@NotNull PrimDef	factory(@NotNull PrimDef.ID name, @NotNull DefVar<PrimDef,Decl.PrimDecl> ref)
@NotNull kala.control.Option<PrimDef>	getOption(@NotNull PrimDef.ID name)
@NotNull PrimDef	getOrCreate(@NotNull PrimDef.ID name, @NotNull DefVar<PrimDef,Decl.PrimDecl> ref)
boolean	have(@NotNull PrimDef.ID name)
boolean	leftOrRight(PrimDef core)
@NotNull Term	unfold(@NotNull PrimDef.ID name, CallTerm.Prim primCall, @Nullable TyckState state)

从类继承的方法 java.lang.Object

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

字段详细资料

INSTANCE

@NotNull
public static final PrimDef.Factory INSTANCE

LEFT_RIGHT

@NotNull
public static final @NotNull kala.collection.immutable.ImmutableSeq<PrimDef.ID> LEFT_RIGHT

方法详细资料

factory

@NotNull
public @NotNull PrimDef factory(@NotNull
 @NotNull PrimDef.ID name,
 @NotNull
 @NotNull DefVar<PrimDef,Decl.PrimDecl> ref)

getOption

@NotNull
public @NotNull kala.control.Option<PrimDef> getOption(@NotNull
 @NotNull PrimDef.ID name)

have

public boolean have(@NotNull
 @NotNull PrimDef.ID name)

getOrCreate

@NotNull
public @NotNull PrimDef getOrCreate(@NotNull
 @NotNull PrimDef.ID name,
 @NotNull
 @NotNull DefVar<PrimDef,Decl.PrimDecl> ref)

checkDependency

@NotNull
public @NotNull kala.control.Option<kala.collection.immutable.ImmutableSeq<@NotNull PrimDef.ID>> checkDependency(@NotNull
 @NotNull PrimDef.ID name)

unfold

@NotNull
public @NotNull Term unfold(@NotNull
 @NotNull PrimDef.ID name,
 @NotNull
 CallTerm.Prim primCall,
 @Nullable
 @Nullable TyckState state)

leftOrRight

public boolean leftOrRight(PrimDef core)

clear

public void clear()