/*
 * Mutability Detector
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 *
 * Further licensing information for this project can be found in 
 * 		license/LICENSE.txt
 */

package org.mutabilitydetector.benchmarks;

import org.junit.Before;
import org.mutabilitydetector.AnalysisSession;
import org.mutabilitydetector.CheckerRunner;
import org.mutabilitydetector.IAnalysisSession;
import org.mutabilitydetector.ImmutableAssert;
import org.mutabilitydetector.benchmarks.types.EnumType;
import org.mutabilitydetector.checkers.InheritedMutabilityChecker;


public class InheritedMutabilityCheckerTest {

	InheritedMutabilityChecker checker;
	CheckerRunner runner;
	IAnalysisSession session;
	
	@Before
	public void setUp() {
		runner = CheckerRunner.createWithCurrentClasspath();
		session =  new AnalysisSession();
		checker = new InheritedMutabilityChecker(session);
	}
	
	//@Test TODO work in progress.
	public void testEnumTypeIsDefinitelyImmutable() throws Exception {
		runner.run(checker, EnumType.class);
		
		ImmutableAssert.assertImmutable(checker.result());
	}
}

@@ -638,17 +638,16 @@
 ecker;%0A%0A
-%0A
 public c
@@ -772,18 +772,17 @@
 ession;%0A
-%09
 %0A
+
 %09@Before
@@ -871,17 +871,16 @@
 ession =
- 
  new Ana
@@ -955,13 +955,13 @@
 %0A%09%7D%0A
-%09
 %0A%09//
+ 
 @Tes
@@ -1092,18 +1092,16 @@
 class);%0A
-%09%09
 %0A%09%09Immut

Formatting.