blob: b83c62e97af40f5960efe18e128a613650c8c61d [file] [log] [blame]
/**
* Copyright (c) 2017 CEA LIST.
*
* 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:
* S�bastien Gerard (CEA LIST) <sebastien.gerard@cea.fr> - Initial API and implementation
* Yupanqui Munoz Julho (CEA LIST) <yupanqui.munozjulho@cea.fr> - Initial API and implementation
*
*/
package org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability;
import org.eclipse.papyrus.requirements.sysml14.papyrusre.modellibrary.papyrusrestandardutils.requirementandprocessconcerns.SatisfactionStatusKind;
import org.eclipse.papyrus.requirements.sysml14.papyrusre.modellibrary.papyrusrestandardutils.verificationandvalidationconcerns.VV_StatusKind;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Verify</b></em>'.
* <!-- end-user-doc -->
*
* <p>
* The following features are supported:
* </p>
* <ul>
* <li>{@link org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.Verify#getVerifierName <em>Verifier Name</em>}</li>
* <li>{@link org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.Verify#getVerifyStatus <em>Verify Status</em>}</li>
* <li>{@link org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.Verify#getVV_Method <em>VV Method</em>}</li>
* </ul>
*
* @see org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.RequirementTraceabilityPackage#getVerify()
* @model
* @generated
*/
public interface Verify extends org.eclipse.papyrus.sysml14.requirements.Verify {
/**
* Returns the value of the '<em><b>Verifier Name</b></em>' attribute.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Verifier Name</em>' attribute isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Verifier Name</em>' attribute.
* @see #setVerifierName(String)
* @see org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.RequirementTraceabilityPackage#getVerify_VerifierName()
* @model dataType="org.eclipse.uml2.types.String" ordered="false"
* @generated
*/
String getVerifierName();
/**
* Sets the value of the '{@link org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.Verify#getVerifierName <em>Verifier Name</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Verifier Name</em>' attribute.
* @see #getVerifierName()
* @generated
*/
void setVerifierName(String value);
/**
* Returns the value of the '<em><b>Verify Status</b></em>' attribute.
* The literals are from the enumeration {@link org.eclipse.papyrus.requirements.sysml14.papyrusre.modellibrary.papyrusrestandardutils.verificationandvalidationconcerns.VV_StatusKind}.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Verify Status</em>' attribute isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Verify Status</em>' attribute.
* @see org.eclipse.papyrus.requirements.sysml14.papyrusre.modellibrary.papyrusrestandardutils.verificationandvalidationconcerns.VV_StatusKind
* @see #setVerifyStatus(VV_StatusKind)
* @see org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.RequirementTraceabilityPackage#getVerify_VerifyStatus()
* @model ordered="false"
* @generated
*/
VV_StatusKind getVerifyStatus();
/**
* Sets the value of the '{@link org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.Verify#getVerifyStatus <em>Verify Status</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Verify Status</em>' attribute.
* @see org.eclipse.papyrus.requirements.sysml14.papyrusre.modellibrary.papyrusrestandardutils.verificationandvalidationconcerns.VV_StatusKind
* @see #getVerifyStatus()
* @generated
*/
void setVerifyStatus(VV_StatusKind value);
/**
* Returns the value of the '<em><b>VV Method</b></em>' attribute.
* The literals are from the enumeration {@link org.eclipse.papyrus.requirements.sysml14.papyrusre.modellibrary.papyrusrestandardutils.requirementandprocessconcerns.SatisfactionStatusKind}.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>VV Method</em>' attribute isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>VV Method</em>' attribute.
* @see org.eclipse.papyrus.requirements.sysml14.papyrusre.modellibrary.papyrusrestandardutils.requirementandprocessconcerns.SatisfactionStatusKind
* @see #setVV_Method(SatisfactionStatusKind)
* @see org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.RequirementTraceabilityPackage#getVerify_VV_Method()
* @model ordered="false"
* @generated
*/
SatisfactionStatusKind getVV_Method();
/**
* Sets the value of the '{@link org.eclipse.papyrus.requirements.sysml.papyrusre.requirementtraceability.Verify#getVV_Method <em>VV Method</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>VV Method</em>' attribute.
* @see org.eclipse.papyrus.requirements.sysml14.papyrusre.modellibrary.papyrusrestandardutils.requirementandprocessconcerns.SatisfactionStatusKind
* @see #getVV_Method()
* @generated
*/
void setVV_Method(SatisfactionStatusKind value);
} // Verify