bitterfox

/*
 * 3pi-linefollower - demo code for the Pololu 3pi Robot
 * 
 * This code will follow a black line on a white background, using a
 * very simple algorithm.  It demonstrates auto-calibration and use of
 * the 3pi IR sensors, motor control, bar graphs using custom
 * characters, and music playback, making it a good starting point for
 * developing your own more competitive line follower.
 *
 * http://www.pololu.com/docs/0J21

bitterfox

import java.util.*;
import java.util.stream.*;

import org.checkerframework.checker.nullness.qual.*;

/**
 * export CHECKERFRAMEWORK=${HOME}/lib/checker-framework-2.1.9
 * alias javach='$CHECKERFRAMEWORK/checker/bin/javac' 
 * export PATH=~/bin/jdk1.8.0_51/bin:$PATH

bitterfox

import javafx.application.Application;
import javafx.stage.Stage;
import javafx.scene.Scene;
import javafx.scene.web.WebView;

public class WebApp extends Application {
    public static void main(String[] args) {
        launch(args);
    }

bitterfox

/resolve org.jsoup:jsoup:jar:1.9.2

import org.jsoup.*
import org.jsoup.nodes.*
import org.jsoup.select.*
import java.util.stream.*
import java.nio.file.*

class Person {
    String name;

bitterfox

import java.io.Serializable;
import java.lang.annotation.*;

public class Java8
{
    @FunctionalInterface
    private interface F // 関数型インターフェース
    {
        static F concat(F f1, F f2) // staticインターフェースメソッド