• Home
• info.hupel
• libisabelle_2.11
• 0.3.4
• source code
• Operations.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

edu.tum.cs.isabelle.japi.Operations Maven / Gradle / Ivy

package edu.tum.cs.isabelle.japi;

import edu.tum.cs.isabelle.*;

public class Operations {

  private Operations() {}

  public static  Operation fromCodecs(String name, Codec enc, Codec dec) {
    return Operation$.MODULE$.simple(name, enc, dec);
  }

  public static final Operation HELLO =
    Operation$.MODULE$.Hello();

  public static final Operation, Void> useThys(MarkupProcessor processor) {
    return Operation$.MODULE$.UseThys_Java(processor);
  }

  public static final Operation, Void> USE_THYS =
    useThys(MarkupProcessor.NULL_PROCESSOR);

}