tests/org.eclipse.qvtd.doc.minioclcs.xtext.tests/src/org/eclipse/qvtd/doc/minioclcs/xtext/tests/MiniOCLCSParsingTest.xtend

/*
 * generated by Xtext 2.10.0-SNAPSHOT
 */
package org.eclipse.qvtd.doc.minioclcs.xtext.tests

import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl
import org.eclipse.qvtd.doc.MiniOCLCSStandaloneSetup
import org.eclipse.qvtd.doc.minioclcs.RootCS
import org.eclipse.qvtd.xtext.qvtbase.tests.LoadTestCase
import org.junit.Assert
import org.junit.Test
import org.junit.Before

class MiniOCLCSParsingTest extends LoadTestCase {

	
	@Before
	override protected setUp() throws Exception {
		super.setUp();
		MiniOCLCSStandaloneSetup.doSetup();
	}
	
	
	def protected parse(String fileName) {
		val fileURI = getProjectFileURI(fileName);
		val rSet = new ResourceSetImpl();
		val resoure = rSet.getResource(fileURI, true);
		return resoure.contents.get(0) as RootCS; 
	}
	
	@Test 
	def void testSimpleMiniOCL_PackagesDef() {
		val result = parse('models/simple_packages.mocl');
		Assert.assertNotNull(result)
	}

	@Test 
	def void testSimpleMiniOCL_Invariant() {
		val result = parse('models/simple_invariants.mocl');
		Assert.assertNotNull(result)
	}

}