• Home
• info.hupel
• libisabelle-setup_2.12
• 1.0.0-RC1
• source code
• JPlatform.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.JPlatform Maven / Gradle / Ivy

package info.hupel.isabelle.japi;

import scala.Option;

import info.hupel.isabelle.*;
import info.hupel.isabelle.setup.*;

public class JPlatform {

  public static class UnknownPlatformException extends RuntimeException {}

  private JPlatform() {}


  public static final OfficialPlatform LINUX =
    Platform.Linux$.MODULE$;

  public static final OfficialPlatform WINDOWS =
    Platform.Windows$.MODULE$;

  public static final OfficialPlatform OSX =
    Platform.OSX$.MODULE$;

  public static OfficialPlatform guess() {
    Option option = Platform.guess();
    if (option.isDefined())
      return option.get();
    else
      throw new UnknownPlatformException();
  }

}