Interface KokosInputPanelServiceMethods

interface KokosInputPanelServiceMethods {
    "*CHECK": (
        fun: Fun,
        context: ExecutionContext,
        printer: SmeupDataStructureWriter,
    ) => Promise<void>;
    "*EXIT": (
        fun: Fun,
        context: ExecutionContext,
        printer: SmeupDataStructureWriter,
    ) => Promise<void>;
    "*INIT": (
        fun: Fun,
        context: ExecutionContext,
        printer: SmeupDataStructureWriter,
    ) => Promise<void>;
    "*SETUP": (
        fun: Fun,
        context: ExecutionContext,
        printer: SmeupDataStructureWriter,
    ) => Promise<void>;
    "*UPDATE": (
        fun: Fun,
        context: ExecutionContext,
        printer: SmeupDataStructureWriter,
    ) => Promise<void>;
}

Properties

"*CHECK": (
    fun: Fun,
    context: ExecutionContext,
    printer: SmeupDataStructureWriter,
) => Promise<void>

F(FBK;XXX;*CHECK)

"*EXIT": (
    fun: Fun,
    context: ExecutionContext,
    printer: SmeupDataStructureWriter,
) => Promise<void>

F(FBK;XXX;*EXIT)

"*INIT": (
    fun: Fun,
    context: ExecutionContext,
    printer: SmeupDataStructureWriter,
) => Promise<void>

F(EXB;XXX;*INIT)

"*SETUP": (
    fun: Fun,
    context: ExecutionContext,
    printer: SmeupDataStructureWriter,
) => Promise<void>

F(EXB;XXX;*SETUP)

"*UPDATE": (
    fun: Fun,
    context: ExecutionContext,
    printer: SmeupDataStructureWriter,
) => Promise<void>

F(EXB;XXX;*UPDATE) INPUT(BEFORE() AFTER())