/*******************************************************************************
 * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the LGPL 3.0
 * which accompanies this distribution, and is available at
 * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
 *
 * Contributors:
 *     Faiez Zalila - initial API and implementation and/or initial documentation
 *******************************************************************************/
/**
 *
 * $Id$
 */
package com.irtsaintexupery.fiacre.instance.fiacreinstance.validation;

import fr.irit.fiacre.xtext.fiacre.Expression;
import fr.irit.fiacre.xtext.fiacre.VariableDeclaration;

/**
 * A sample validator interface for {@link com.irtsaintexupery.fiacre.instance.fiacreinstance.VariableDeclarationInstance}.
 * This doesn't really do anything, and it's not a real EMF artifact.
 * It was generated by the org.eclipse.emf.examples.generator.validator plug-in to illustrate how EMF's code generator can be extended.
 * This can be disabled with -vmargs -Dorg.eclipse.emf.examples.generator.validator=false.
 */
public interface VariableDeclarationInstanceValidator {
	boolean validate();

	boolean validateVariableDeclaration(VariableDeclaration value);
	boolean validateCurrentValue(Expression value);
}
