package bytecode;

import static org.junit.Assert.*;

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

import junit.framework.TestCase;

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 {
	
	public final static String rootDirectory = System.getProperty("user.dir")+"/test/bytecode/";
	public final static String testFile = "PostDecrement.jav";
	public final static String outputFile = "PostDecrement.class";
	
	@Test
	public void test() {
		SingleClassTester.compileToBytecode(rootDirectory+testFile, rootDirectory+outputFile);
	}

}