blob: 439c0d36e8b1ebbf7e3bd6e88d1e0eda210caabe [file] [log] [blame]
/**
* * Copyright (c) 2006-2010 Istvan Rath and Daniel Varro
* * All rights reserved. This program and the accompanying materials
* * are made available under the terms of the Eclipse Public License v1.0
* * which accompanies this distribution, and is available at
* * http://www.eclipse.org/legal/epl-v10.html
* *
* * Contributors:
* * Istvan Rath, Daniel Varro - initial API and implementation
*
*/
package org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions;
import org.eclipse.emf.common.util.EList;
import org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.gt.GTRule;
import org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.gt.PatternContainer;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Machine</b></em>'.
* <!-- end-user-doc -->
*
* <p>
* The following features are supported:
* <ul>
* <li>{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Machine#getMainRule <em>Main Rule</em>}</li>
* <li>{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Machine#getGtRuleDefinitions <em>Gt Rule Definitions</em>}</li>
* <li>{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Machine#getAsmFunctionDefinitions <em>Asm Function Definitions</em>}</li>
* <li>{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Machine#getAsmRuleDefinitions <em>Asm Rule Definitions</em>}</li>
* <li>{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Machine#getModule <em>Module</em>}</li>
* </ul>
* </p>
*
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.DefinitionsPackage#getMachine()
* @model
* @generated
*/
public interface Machine extends PatternContainer
{
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
String copyright = " * Copyright (c) 2006-2010 Istvan Rath and Daniel Varro\r\n * All rights reserved. This program and the accompanying materials\r\n * are made available under the terms of the Eclipse Public License v1.0\r\n * which accompanies this distribution, and is available at\r\n * http://www.eclipse.org/legal/epl-v10.html\r\n *\r\n * Contributors:\r\n * Istvan Rath, Daniel Varro - initial API and implementation\r\n";
/**
* Returns the value of the '<em><b>Main Rule</b></em>' reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Main Rule</em>' reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Main Rule</em>' reference.
* @see #setMainRule(Rule)
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.DefinitionsPackage#getMachine_MainRule()
* @model ordered="false"
* @generated
*/
Rule getMainRule();
/**
* Sets the value of the '{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Machine#getMainRule <em>Main Rule</em>}' reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Main Rule</em>' reference.
* @see #getMainRule()
* @generated
*/
void setMainRule(Rule value);
/**
* Returns the value of the '<em><b>Gt Rule Definitions</b></em>' containment reference list.
* The list contents are of type {@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.gt.GTRule}.
* It is bidirectional and its opposite is '{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.gt.GTRule#getNamespace <em>Namespace</em>}'.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Gt Rule Definitions</em>' containment reference list isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Gt Rule Definitions</em>' containment reference list.
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.DefinitionsPackage#getMachine_GtRuleDefinitions()
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.gt.GTRule#getNamespace
* @model opposite="namespace" containment="true" ordered="false"
* @generated
*/
EList<GTRule> getGtRuleDefinitions();
/**
* Returns the value of the '<em><b>Asm Function Definitions</b></em>' containment reference list.
* The list contents are of type {@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.ASMFunction}.
* It is bidirectional and its opposite is '{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.ASMFunction#getNamespace <em>Namespace</em>}'.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Asm Function Definitions</em>' containment reference list isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Asm Function Definitions</em>' containment reference list.
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.DefinitionsPackage#getMachine_AsmFunctionDefinitions()
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.ASMFunction#getNamespace
* @model opposite="namespace" containment="true" ordered="false"
* @generated
*/
EList<ASMFunction> getAsmFunctionDefinitions();
/**
* Returns the value of the '<em><b>Asm Rule Definitions</b></em>' containment reference list.
* The list contents are of type {@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Rule}.
* It is bidirectional and its opposite is '{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Rule#getNamespace <em>Namespace</em>}'.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Asm Rule Definitions</em>' containment reference list isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Asm Rule Definitions</em>' containment reference list.
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.DefinitionsPackage#getMachine_AsmRuleDefinitions()
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Rule#getNamespace
* @model opposite="namespace" containment="true" ordered="false"
* @generated
*/
EList<Rule> getAsmRuleDefinitions();
/**
* Returns the value of the '<em><b>Module</b></em>' container reference.
* It is bidirectional and its opposite is '{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Module#getMachine <em>Machine</em>}'.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Module</em>' container reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Module</em>' container reference.
* @see #setModule(Module)
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.DefinitionsPackage#getMachine_Module()
* @see org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Module#getMachine
* @model opposite="machine" transient="false"
* @generated
*/
Module getModule();
/**
* Sets the value of the '{@link org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.asm.definitions.Machine#getModule <em>Module</em>}' container reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Module</em>' container reference.
* @see #getModule()
* @generated
*/
void setModule(Module value);
} // Machine