package tests.parser;

import models.Edge;
import models.algebra.InvalidMessage;
import models.algebra.ParameterizedIdentifierIsFutureWork;
import models.algebra.UnificationFailed;
import models.algebra.ValueUndefined;
import models.dataConstraintModel.Channel;
import models.dataConstraintModel.ChannelMember;
import models.dataFlowModel.DataFlowGraph;
import models.dataFlowModel.DataTransferChannel;
import models.dataFlowModel.DataTransferModel;
import models.dataFlowModel.ResolvingMultipleDefinitionIsFutureWork;
import parser.Parser;
import parser.exceptions.*;

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

public class ParseTest {
	
	public static void main(String[] args) {
		File file = new File("models/POS.model");
		try {
			Parser parser = new Parser(new BufferedReader(new FileReader(file)));
			DataTransferModel model;
			try {
				model = parser.doParse();
				System.out.println(model);
				
				for (Channel c : model.getChannels()) {
					for (ChannelMember out : ((DataTransferChannel) c).getOutputChannelMembers()) {
						String[] sideEffects = new String[]{""};
						System.out.println("next" + out.getResource().getLeafResourceName() + " = " + ((DataTransferChannel) c).deriveUpdateExpressionOf(out).toImplementation(sideEffects));
					}
				}
				
				System.out.println();
				
				DataFlowGraph resourceDependencyGraph = model.getDataFlowGraph();
				for (Edge e : resourceDependencyGraph.getEdges()) {
					System.out.println(e.getSource() + "-(" + e + ")->" + e.getDestination());
				}
			} catch (ExpectedChannel | ExpectedChannelName | ExpectedLeftCurlyBracket | ExpectedInOrOutOrRefOrSubKeyword
					 | ExpectedStateTransition | ExpectedEquals | ExpectedRHSExpression | WrongLHSExpression
					 | WrongRHSExpression | ExpectedRightBracket | ParameterizedIdentifierIsFutureWork
					 | ResolvingMultipleDefinitionIsFutureWork | InvalidMessage
					 | UnificationFailed | ValueUndefined | ExpectedAssignment | ExpectedRightCurlyBracket |
					 WrongPathExpression | WrongJsonExpression | ExpectedColon | ExpectedDoubleQuotation e) {
				e.printStackTrace();
			}
		} catch (FileNotFoundException e) {
			e.printStackTrace();
		}
	}
	
}