模块 org.aya

程序包 org.aya.core.serde

Record Class Serializer

java.lang.Object

java.lang.Record

org.aya.core.serde.Serializer

所有已实现的接口:

Def.Visitor<kala.tuple.Unit,SerDef>, Term.Visitor<kala.tuple.Unit,SerTerm>

public record Serializer(Serializer.State state)
extends Record
implements Term.Visitor<kala.tuple.Unit,SerTerm>, Def.Visitor<kala.tuple.Unit,SerDef>

嵌套类概要

嵌套类

修饰符和类型	类	说明
static final record	Serializer.State

构造器概要

构造器

构造器	说明
Serializer(Serializer.State state)	创建 Serializer 记录的实例。

方法概要

修饰符和类型	方法	说明
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
Serializer.State	state()	返回 state 记录组件的值。
final String	toString()	返回此记录的字符串表示形式。
SerTerm	visitAccess(@NotNull CallTerm.Access term, kala.tuple.Unit unit)
SerTerm	visitApp(@NotNull ElimTerm.App term, kala.tuple.Unit unit)
SerTerm	visitConCall(CallTerm.Con conCall, kala.tuple.Unit unit)
SerDef.Ctor	visitCtor(@NotNull CtorDef def, kala.tuple.Unit unit)
SerDef	visitData(@NotNull DataDef def, kala.tuple.Unit unit)
SerTerm.DataCall	visitDataCall(CallTerm.Data dataCall, kala.tuple.Unit unit)
SerTerm	visitError(@NotNull ErrorTerm term, kala.tuple.Unit unit)
SerDef.Field	visitField(@NotNull FieldDef def, kala.tuple.Unit unit)
SerTerm	visitFieldRef(RefTerm.Field term, kala.tuple.Unit unit)
SerDef	visitFn(@NotNull FnDef def, kala.tuple.Unit unit)
SerTerm	visitFnCall(CallTerm.Fn fnCall, kala.tuple.Unit unit)
SerTerm	visitHole(@NotNull CallTerm.Hole term, kala.tuple.Unit unit)
SerTerm	visitLam(@NotNull IntroTerm.Lambda term, kala.tuple.Unit unit)
SerTerm	visitMetaPat(@NotNull RefTerm.MetaPat metaPat, kala.tuple.Unit unit)
SerTerm	visitNew(@NotNull IntroTerm.New newTerm, kala.tuple.Unit unit)
SerTerm	visitPi(@NotNull FormTerm.Pi term, kala.tuple.Unit unit)
SerDef	visitPrim(@NotNull PrimDef def, kala.tuple.Unit unit)
SerTerm	visitPrimCall(@NotNull CallTerm.Prim prim, kala.tuple.Unit unit)
SerTerm	visitProj(@NotNull ElimTerm.Proj term, kala.tuple.Unit unit)
SerTerm	visitRef(@NotNull RefTerm term, kala.tuple.Unit unit)
SerTerm	visitSigma(@NotNull FormTerm.Sigma term, kala.tuple.Unit unit)
SerDef	visitStruct(@NotNull StructDef def, kala.tuple.Unit unit)
SerTerm.StructCall	visitStructCall(CallTerm.Struct structCall, kala.tuple.Unit unit)
SerTerm	visitTup(@NotNull IntroTerm.Tuple term, kala.tuple.Unit unit)
SerTerm	visitUniv(@NotNull FormTerm.Univ term, kala.tuple.Unit unit)

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

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

从接口继承的方法 org.aya.core.term.Term.Visitor

traceEntrance, traceExit

构造器详细资料

Serializer

public Serializer(@NotNull
 Serializer.State state)

创建 Serializer 记录的实例。

参数:

state - state 记录组件的值

方法详细资料

visitError

public SerTerm visitError(@NotNull
 @NotNull ErrorTerm term,
 kala.tuple.Unit unit)

指定者:

visitError 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitMetaPat

public SerTerm visitMetaPat(@NotNull RefTerm.MetaPat metaPat,
 kala.tuple.Unit unit)

指定者:

visitMetaPat 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitHole

public SerTerm visitHole(@NotNull CallTerm.Hole term,
 kala.tuple.Unit unit)

指定者:

visitHole 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitFieldRef

public SerTerm visitFieldRef(@NotNull
 RefTerm.Field term,
 kala.tuple.Unit unit)

指定者:

visitFieldRef 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitRef

public SerTerm visitRef(@NotNull
 @NotNull RefTerm term,
 kala.tuple.Unit unit)

指定者:

visitRef 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitLam

public SerTerm visitLam(@NotNull IntroTerm.Lambda term,
 kala.tuple.Unit unit)

指定者:

visitLam 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitPi

public SerTerm visitPi(@NotNull FormTerm.Pi term,
 kala.tuple.Unit unit)

指定者:

visitPi 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitSigma

public SerTerm visitSigma(@NotNull FormTerm.Sigma term,
 kala.tuple.Unit unit)

指定者:

visitSigma 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitUniv

public SerTerm visitUniv(@NotNull FormTerm.Univ term,
 kala.tuple.Unit unit)

指定者:

visitUniv 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitApp

public SerTerm visitApp(@NotNull ElimTerm.App term,
 kala.tuple.Unit unit)

指定者:

visitApp 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitFnCall

public SerTerm visitFnCall(@NotNull
 CallTerm.Fn fnCall,
 kala.tuple.Unit unit)

指定者:

visitFnCall 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitDataCall

public SerTerm.DataCall visitDataCall(@NotNull
 CallTerm.Data dataCall,
 kala.tuple.Unit unit)

指定者:

visitDataCall 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitConCall

public SerTerm visitConCall(@NotNull
 CallTerm.Con conCall,
 kala.tuple.Unit unit)

指定者:

visitConCall 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitStructCall

public SerTerm.StructCall visitStructCall(@NotNull
 CallTerm.Struct structCall,
 kala.tuple.Unit unit)

指定者:

visitStructCall 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitPrimCall

public SerTerm visitPrimCall(@NotNull CallTerm.Prim prim,
 kala.tuple.Unit unit)

指定者:

visitPrimCall 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitTup

public SerTerm visitTup(@NotNull IntroTerm.Tuple term,
 kala.tuple.Unit unit)

指定者:

visitTup 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitNew

public SerTerm visitNew(@NotNull IntroTerm.New newTerm,
 kala.tuple.Unit unit)

指定者:

visitNew 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitProj

public SerTerm visitProj(@NotNull ElimTerm.Proj term,
 kala.tuple.Unit unit)

指定者:

visitProj 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitAccess

public SerTerm visitAccess(@NotNull CallTerm.Access term,
 kala.tuple.Unit unit)

指定者:

visitAccess 在接口中 Term.Visitor<kala.tuple.Unit,SerTerm>

visitFn

public SerDef visitFn(@NotNull
 @NotNull FnDef def,
 kala.tuple.Unit unit)

指定者:

visitFn 在接口中 Def.Visitor<kala.tuple.Unit,SerDef>

visitData

public SerDef visitData(@NotNull
 @NotNull DataDef def,
 kala.tuple.Unit unit)

指定者:

visitData 在接口中 Def.Visitor<kala.tuple.Unit,SerDef>

visitCtor

public SerDef.Ctor visitCtor(@NotNull
 @NotNull CtorDef def,
 kala.tuple.Unit unit)

指定者:

visitCtor 在接口中 Def.Visitor<kala.tuple.Unit,SerDef>

visitStruct

public SerDef visitStruct(@NotNull
 @NotNull StructDef def,
 kala.tuple.Unit unit)

指定者:

visitStruct 在接口中 Def.Visitor<kala.tuple.Unit,SerDef>

visitField

public SerDef.Field visitField(@NotNull
 @NotNull FieldDef def,
 kala.tuple.Unit unit)

指定者:

visitField 在接口中 Def.Visitor<kala.tuple.Unit,SerDef>

visitPrim

public SerDef visitPrim(@NotNull
 @NotNull PrimDef def,
 kala.tuple.Unit unit)

指定者:

visitPrim 在接口中 Def.Visitor<kala.tuple.Unit,SerDef>

toString

public final String toString()

返回此记录的字符串表示形式。此表示形式包含类型的名称，后跟每个记录组件的名称和值。

指定者:

toString 在类中 Record

返回:

此对象的字符串表示形式

hashCode

public final int hashCode()

返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。

指定者:

hashCode 在类中 Record

返回:

此对象的哈希代码值

equals

public final boolean equals(Object o)

指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类，而且所有记录组件都相等，则这两个对象相等。 此记录中的所有组件都使用 Objects::equals(Object,Object) 进行比较。

指定者:

equals 在类中 Record

参数:

o - 要与之进行比较的对象

返回:

如果此对象与 o 参数相同，则为 true；否则为 false。

state

@NotNull
public Serializer.State state()

返回 state 记录组件的值。

返回:

state 记录组件的值