package bytecode;

import static org.junit.Assert.*;

import java.io.File;
import java.io.IOException;

import junit.framework.TestCase;

import org.junit.Ignore;
import org.junit.Test;

import plugindevelopment.TypeInsertTester;
import de.dhbwstuttgart.core.MyCompiler;
import de.dhbwstuttgart.core.MyCompilerAPI;
import de.dhbwstuttgart.logger.LoggerConfiguration;
import de.dhbwstuttgart.logger.Section;
import de.dhbwstuttgart.parser.JavaParser.yyException;
import de.dhbwstuttgart.typeinference.ByteCodeResult;
import de.dhbwstuttgart.typeinference.Menge;
import de.dhbwstuttgart.typeinference.TypeinferenceResultSet;
import de.dhbwstuttgart.typeinference.typedeployment.TypeInsertSet;

public class PostDecrement extends SourceFileBytecodeTest{
	@Override
	protected void init() {
		testName = "PostDecrement";
		rootDirectory = System.getProperty("user.dir")+"/test/bytecode/";
	}
	
	@Test
	public void testConstruct() throws Exception{
	    ClassLoader classLoader = getClassLoader();

	    Class cls =  classLoader.loadClass(testName);
	    
		Object obj = cls.newInstance();
		assertTrue(true);
	}
}