All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.opalj.br.instructions.LabeledSingleJumpTargetInstruction.scala Maven / Gradle / Ivy

The newest version!
/* BSD 2-Clause License - see OPAL/LICENSE for details. */
package org.opalj
package br
package instructions

/**
 * An instruction where the jump target is identified using a `Symbol` associated with the
 * instruction which should be executed in case of a jump.
 * The label is a standard Scala `Symbol`.
 *
 * @author Malte Limmeroth
 * @author Michael Eichberg
 */
trait LabeledSingleJumpTargetInstruction extends LabeledInstruction {

    final def branchTargets: Iterator[InstructionLabel] =
        Iterator(branchTarget)

    def branchTarget: InstructionLabel
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy