/** * <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