/**
* <copyright>
* </copyright>
*
* $Id$
*/
package org.jnario;
import org.eclipse.xtend.core.xtend.XtendClass;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Specification</b></em>'.
* <!-- end-user-doc -->
*
*
* @see org.jnario.JnarioPackage#getSpecification()
* @model
* @generated
*/
public interface Specification extends XtendClass, Executable {
} // Specification