Packages

package translator

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. final class Translator[T, P] extends AnyRef

    Abstraction over the process of building a translation for different targets.

    Abstraction over the process of building a translation for different targets.

    Translator instances are not reusable.

  2. sealed abstract final class TranslatorFeature extends Enum[TranslatorFeature]

    Translator features are additional behaviors that can be allowed in translation.

    Translator features are additional behaviors that can be allowed in translation. These need to be enabled individually when creating a Translator.

  3. sealed case class TranslatorFlavor extends Product with Serializable

    A flavor defines translation rewriting rules and post-conditions.

Value Members

  1. object TranslatorFlavor extends Serializable

Ungrouped