package com.acme.javaInterop;

import javax.swing.JButton;

import church.lang.ByteStream;
import church.lang.operators.Streams.$$encode;
import church.primitives.Integers;
import church.primitives.Objects;

import static church.lang.operators.Streams.output;

@SuppressWarnings("unchecked")
public class ChainedFields2 {
    private static final $$encode<ByteStream, String>  $S0 = Objects::$encode;
    private static final $$encode<ByteStream, Integer> $S1 = Integers::$encode;

    public static void main(String[] args) {
        int i1 = new JButton().getPreferredSize().width;
        $S0.$encode($S1.$encode($S0.$encode(output, "i1 = "), i1), "\n");
        int i2 = new java.awt.Button().getBounds().x;
        $S0.$encode($S1.$encode($S0.$encode(output, "i2 = "), i2), "\n");
    }

}