ModelChecker_if.h

/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

/* 
 * File:   ModelChecker_if.h
 * Author: cancian
 *
 * Created on 23 de Agosto de 2018, 15:48
 */

#ifndef MODELCHECKER_IF_H
#define MODELCHECKER_IF_H

#include <typeinfo>
#include <string>

//#include "Model.h"
//class Model;

class ModelChecker_if {
public:
	virtual bool checkAll() = 0; /*! Invoques all other checks and returns true only if all of them returned true */
	virtual bool checkAndAddInternalLiterals() = 0;  /*! */
	virtual bool checkConnected() = 0; /*! Checks if components are consistently connected to other to form a valid process-oriented model, describing how entities proceed to the flow*/
	virtual bool checkSymbols() = 0; /*! Checks if user-defined strings for symbols required by components, usually expressions or functions, are valid or references existing and valid infrastructures. */
	virtual bool checkPathway() = 0; /*! Check if components forms a valid pathway, including logical connections, such as routes, statios and pickups, for example */
	virtual bool checkActivationCode() = 0;  /*! unnecessary */

	virtual bool verifySymbol(std::string componentName, std::string expressionName, std::string expression, std::string expressionResult, bool mandatory) = 0;
};

#endif /* MODELCHECKER_IF_H */