import os.simulation.Application;
import os.simulation.AutoCreate;
import os.simulation.Container;
import os.simulation.Item;
import os.simulation.Operation;
import os.simulation.Thread;

/*
 * U okviru maturske ekskurzije, za djake iz tri evropske drzave - Engleske,
 * Nemacke i Italije - je organizovan obilazak muzeja Louvre u Parizu. Sve tri
 * grupe djaka borave neko vreme ispred muzeja, nakon cega ulaze u muzej i uzi-
 * vaju u izlozenim umetnickim delima. Medjutim, u jednom momentu samo djaci
 * jedne drzave mogu boraviti u muzeju, jer bi se u suprotnom njihovi vodici
 * morali nadvikivati i niko nista ne bi cuo.
 *
 * Sinhronizovati boravak djaka u muzeju koriscenjem semafora, tako da u jednom
 * momentu samo jedna grupa bude unutar muzeja. Svaki djak je predstavljen jed-
 * nom niti cija klasa odredjuje drzavu iz koje on dolazi.
 */

class MuzejSinh {
	int brojacEngleza = 0;
	int brojacNemaca = 0;
	int brojacItalijana = 0;


}

public class Muzej extends Application {

	final MuzejSinh objMuzej = new MuzejSinh();

	@AutoCreate(8)
	protected class Englez extends Thread {

		@Override
		protected void step() {
			odmara();
			// Sinhronizacija
			try {
			synchronized (objMuzej) {
				while (objMuzej.brojacItalijana > 0 || objMuzej.brojacNemaca > 0) {
					objMuzej.wait();
				}
				objMuzej.brojacEngleza++;
			}
			} catch (InterruptedException e) {

			}
			obilazi();
			// Sinhronizacija
			synchronized (objMuzej) {
				objMuzej.brojacEngleza--;
				if (objMuzej.brojacEngleza == 0) {
					objMuzej.notifyAll();
				}
			}
		}
	}



	@AutoCreate(8)
	protected class Italijan extends Thread {

		@Override
		protected void step() {
			odmara();
			// Sinhronizacija
			try {
			synchronized (objMuzej) {
				while (objMuzej.brojacNemaca > 0 || objMuzej.brojacEngleza > 0) {
					objMuzej.wait();
				}
				objMuzej.brojacItalijana++;
			}
			} catch (InterruptedException e) {

			}
			obilazi();
			// Sinhronizacija
			synchronized (objMuzej) {
				objMuzej.brojacItalijana--;
				if (objMuzej.brojacItalijana == 0) {
					objMuzej.notifyAll();
				}
			}
		}
	}

	@AutoCreate(8)
	protected class Nemac extends Thread {

		@Override
		protected void step() {
			odmara();
			// Sinhronizacija
			try {
			synchronized (objMuzej) {
				while (objMuzej.brojacItalijana > 0 || objMuzej.brojacEngleza > 0) {
					objMuzej.wait();
				}
				objMuzej.brojacNemaca++;
			}
			} catch (InterruptedException e) {

			}
			obilazi();
			// Sinhronizacija
			synchronized (objMuzej) {
				objMuzej.brojacNemaca--;
				if (objMuzej.brojacNemaca == 0) {
					objMuzej.notifyAll();
				}
			}
		}
	}

	// ------------------- //
	//    Sistemski deo    //
	// ------------------- //
	// Ne dirati kod ispod //
	// ------------------- //

	protected final Container englezi   = box("Енглези").color(MAROON);
	protected final Container nemci     = box("Немци").color(ROYAL);
	protected final Container italijani = box("Италијани").color(ARMY);
	protected final Container muzej     = box("Музеј").color(NAVY);
	protected final Container main      = column(row(englezi, nemci, italijani), muzej);
	protected final Operation nemac     = init().container(nemci).name("Немац %d").color(PURPLE);
	protected final Operation italijan  = init().container(italijani).name("Италијан %d").color(GREEN);
	protected final Operation englez    = init().container(englezi).name("Енглез %d").color(RED);


	protected final Operation odmaranje = duration("7±2").text("Одмара").textAfter("Чека");
	protected final Operation obilazak  = duration("5±2").text("Обилази").container(muzej).textAfter("Обишао").update(this::azuriraj);

	protected void odmara() {
		odmaranje.performUninterruptibly();
	}

	protected void obilazi() {
		obilazak.performUninterruptibly();
	}

	protected void azuriraj(Item item) {
		long brE = muzej.stream(Englez.class).count();
		long brN = muzej.stream(Nemac.class).count();
		long brI = muzej.stream(Italijan.class).count();
		muzej.setText(String.format("%d / %d / %d", brE, brN, brI));
		if (brE == 0 && brN == 0 && brI == 0) {
			muzej.setColor(NAVY);
		} else if (brE > 0 && brN == 0 && brI == 0) {
			muzej.setColor(MAROON);
		} else if (brE == 0 && brN > 0 && brI == 0) {
			muzej.setColor(ROYAL);
		} else if (brE == 0 && brN == 0 && brI > 0) {
			muzej.setColor(ARMY);
		} else {
			muzej.setColor(CARBON);
		}
	}

	@Override
	protected void initialize() {
		azuriraj(null);
	}

	public static void main(String[] a) {
		launch("Музеј");
	}
}