| /* |
| * Copyright (c) 2005, 2006 IBM Corporation and others. |
| * 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: |
| * IBM - initial API and implementation |
| * |
| * $Id: OccurrenceSpecificationTest.java,v 1.1 2006/02/21 16:32:27 khussey Exp $ |
| */ |
| package org.eclipse.uml2.uml.tests; |
| |
| import junit.textui.TestRunner; |
| |
| import org.eclipse.uml2.uml.OccurrenceSpecification; |
| |
| import org.eclipse.uml2.uml.UMLFactory; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * A test case for the model object '<em><b>Occurrence Specification</b></em>'. |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| public class OccurrenceSpecificationTest |
| extends InteractionFragmentTest { |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| public static void main(String[] args) { |
| TestRunner.run(OccurrenceSpecificationTest.class); |
| } |
| |
| /** |
| * Constructs a new Occurrence Specification test case with the given name. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| public OccurrenceSpecificationTest(String name) { |
| super(name); |
| } |
| |
| /** |
| * Returns the fixture for this Occurrence Specification test case. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| private OccurrenceSpecification getFixture() { |
| return (OccurrenceSpecification) fixture; |
| } |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see junit.framework.TestCase#setUp() |
| * @generated |
| */ |
| protected void setUp() |
| throws Exception { |
| setFixture(UMLFactory.eINSTANCE.createOccurrenceSpecification()); |
| } |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see junit.framework.TestCase#tearDown() |
| * @generated |
| */ |
| protected void tearDown() |
| throws Exception { |
| setFixture(null); |
| } |
| |
| } //OccurrenceSpecificationTest |
