package de.vksi.c4j.systemtest.pure;

import org.junit.Rule;
import org.junit.Test;

import de.vksi.c4j.Pure;
import de.vksi.c4j.systemtest.TransformerAwareRule;

public class PureInConstructorSystemTest {
	@Rule
	public TransformerAwareRule transformerAware = new TransformerAwareRule();

	@Test
	public void testCallingPureConstructor() {
		new DummyClass().pureMethodCallingPureConstructor();
	}

	@Test(expected = AssertionError.class)
	public void testCallingUnpureConstructor() {
		new DummyClass().pureMethodCallingUnpureConstructor();
	}

	@SuppressWarnings("unused")
	private static class ExternalClass {
		public static int VALUE;
	}

	private static class DummyClass {
		@Pure
		public void pureMethodCallingPureConstructor() {
			new ClassWithPureConstructor(3);
		}

		@Pure
		public void pureMethodCallingUnpureConstructor() {
			new ClassWithUnpureConstructor(3);
		}
	}

	@SuppressWarnings("unused")
	private static class ClassWithPureConstructor {
		protected int value;

		public ClassWithPureConstructor(int value) {
			this.value = value;
			setValue(value);
		}

		public void setValue(int value) {
			this.value = value;
		}
	}

	private static class ClassWithUnpureConstructor {
		public ClassWithUnpureConstructor(int value) {
			ExternalClass.VALUE = 1;
		}
	}

	@Test
	public void testPureConstructorCallingUnpureConstructor() {
		new ClassWithPureConstructorCallingUnpureConstructor();
	}

	private static class ClassWithPureConstructorCallingUnpureConstructor {
		public ClassWithPureConstructorCallingUnpureConstructor() {
			this(3);
		}

		public ClassWithPureConstructorCallingUnpureConstructor(int value) {
			ExternalClass.VALUE = 1;
		}
	}

	@Test
	public void testPureConstructorCallingUnpureSuperConstructor() {
		new ClassWithPureConstructorCallingUnpureSuperConstructor();
	}

	private static class ClassWithPureConstructorCallingUnpureSuperConstructor extends ClassWithUnpureSuperConstructor {
		public ClassWithPureConstructorCallingUnpureSuperConstructor() {
			super(3);
		}
	}

	private static class ClassWithUnpureSuperConstructor {
		public ClassWithUnpureSuperConstructor(int value) {
			ExternalClass.VALUE = 1;
		}
	}
}