parsley.internal.machine.XAssert.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of parsley_native0.4_2.12 Show documentation

parsley

The newest version!

/*
 * Copyright 2020 Parsley Contributors 
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */
package parsley.internal.machine

import scala.annotation.elidable, elidable.ASSERTION

import parsley.XAssert._

// $COVERAGE-OFF$
private [machine] object XAssert {
    @elidable(ASSERTION) @inline
    final def ensureRegularInstruction(ctx: Context): Unit = {
        assert(ctx.good && ctx.running, s"regular instructions can only be executed when the status is Good, it is ${ctx.status}")
    }

    @elidable(ASSERTION) @inline
    final def ensureHandlerInstruction(ctx: Context): Unit = {
        assert(!ctx.good && ctx.running, s"handler instructions can only be executed when the status is Recover, it is ${ctx.status}")
    }
}
// $COVERAGE-ON$