blob: 3fb264714f7306e08f4dd2705036ae0adcd0c4fc [file] [log] [blame]
/*******************************************************************************
* Copyright (c) {2007-2008} {INRIA and Engineering}.
* 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:
* {Adrian Mos (INRIA) and Andrea Zoppello (Engineering)} - initial API and implementation
*******************************************************************************/
package org.eclipse.soa.mangrove.tests;
import junit.framework.TestCase;
import junit.textui.TestRunner;
import org.eclipse.soa.mangrove.ImFactory;
import org.eclipse.soa.mangrove.PropertyCondition;
/**
* <!-- begin-user-doc -->
* A test case for the model object '<em><b>Property Condition</b></em>'.
* <!-- end-user-doc -->
* @generated
*/
public class PropertyConditionTest extends TestCase {
/**
* The fixture for this Property Condition test case.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
protected PropertyCondition fixture = null;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public static void main(String[] args) {
TestRunner.run(PropertyConditionTest.class);
}
/**
* Constructs a new Property Condition test case with the given name.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public PropertyConditionTest(String name) {
super(name);
}
/**
* Sets the fixture for this Property Condition test case.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
protected void setFixture(PropertyCondition fixture) {
this.fixture = fixture;
}
/**
* Returns the fixture for this Property Condition test case.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
protected PropertyCondition getFixture() {
return fixture;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see junit.framework.TestCase#setUp()
* @generated
*/
@Override
protected void setUp() throws Exception {
setFixture(ImFactory.eINSTANCE.createPropertyCondition());
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see junit.framework.TestCase#tearDown()
* @generated
*/
@Override
protected void tearDown() throws Exception {
setFixture(null);
}
} //PropertyConditionTest