package tests;

import algorithms.Validation;
import models.dataFlowModel.DataTransferModel;
import org.junit.Test;
import parser.Parser;
import parser.exceptions.*;

import java.io.BufferedReader;
import java.io.File;
import java.io.FileNotFoundException;
import java.io.FileReader;

import static org.junit.Assert.assertTrue;

public class UpdateConflictCheckTest {
	
	@Test
	public void test() {
		File file = new File("models/POS2.model");
		try {
			Parser parser = new Parser(new BufferedReader(new FileReader(file)));
			DataTransferModel model;
			try {
				model = parser.doParse();
				assertTrue(Validation.checkUpdateConflict(model));
			} catch (ExpectedRightBracket | ExpectedChannel | ExpectedChannelName | ExpectedLeftCurlyBracket
					 | ExpectedRightCurlyBracket | ExpectedInOrOutOrRefOrSubKeyword | ExpectedStateTransition |
					 ExpectedEquals
					 | ExpectedRHSExpression | WrongLHSExpression | WrongRHSExpression | ExpectedAssignment
					 | WrongPathExpression | WrongJsonExpression | ExpectedColon | ExpectedDoubleQuotation e) {
				e.printStackTrace();
			}
		} catch (FileNotFoundException e) {
			e.printStackTrace();
		}
	}
}