Slots

checkFieldFieldOverrideSource

private Void checkFieldFieldOverride(TypeDef t, CField base, FieldDef def)

checkMethodFieldOverrideSource

private Void checkMethodFieldOverride(TypeDef t, CMethod base, FieldDef def)

checkMethodMethodOverrideSource

private Void checkMethodMethodOverride(TypeDef t, CMethod base, MethodDef def)

checkOverrideSource

private Void checkOverride(TypeDef t, CSlot base, SlotDef def)

Check that def is a valid override of the base slot.

inheritSlotSource

private Void inheritSlot(TypeDef t, CSlot newSlot)

inheritTypeSource

private Void inheritType(TypeDef t, CType? parent)

isOverrideProtectionErrSource

private Bool isOverrideProtectionErr(CSlot base, SlotDef def)

keepSource

private CSlot? keep(CSlot a, CSlot b)

Return if there is a clear keeper between a and b - if so return the one to keep otherwise return null.

makeSource

new make(Compiler compiler)

matchingSignaturesSource

private Bool matchingSignatures(CSlot a, CSlot b)

Return if two slots have matching signatures

runSource

override Void run()

Overrides compiler::CompilerStep.run

Doc inherited from compiler::CompilerStep.run

Run the step

visitTypeDefSource

override Void visitTypeDef(TypeDef t)

Overrides compiler::Visitor.visitTypeDef

Doc inherited from compiler::Visitor.visitTypeDef

Callback when visiting a type definition.