Updated tests to load the Base library model from a file.

Author: seidewitz

org.omg.sysml.tests/library/Base.alf

@@ -0,0 +1,89 @@
+package Base {
+		
+    /*
+     * Anything is the top level generalized type in the language. 
+     */
+	abstract Class Anything;
+	
+	/*
+	 * Object is the most general class of individuals with reference identity.
+	 */
+	abstract class Object specializes Anything;
+	
+	/*
+	 * Value is the most general class of individuals with value identity.
+	 * EnumeratedValue is a specialization that is the most general class for enumerated values.
+	 */
+	abstract datatype Value specializes Anything;
+	abstract datatype EnumeratedValue specializes Value;
+	
+	/*
+	 * Link is the most general association between two or more things.
+	 * (It is actually class, not an association, because an association
+	 * must have a specific number of ends.)
+	 */
+	class Link specializes Object {
+		feature participant: Anything[2..*] ordered;
+	}
+	
+	/*
+	 * BinaryLink is the most general binary association between exactly two things, 
+	 * nominally directed from source to target.
+	 */
+	assoc BinaryLink specializes Link {
+		end sourceEnd: Anything[0..*];
+	    end targetEnd: Anything[0..*];     
+
+	    feature participant: Anything[2] redefines Link::participant;
+		
+	    feature sourceParticipant: Anything[1..1] subsets participant = participant[1];
+	    feature targetParticipant: Anything[1..1] subsets participant = participant[2];
+	
+	    private connector linkage: BinaryLink is sourceParticipant to targetParticipant;	
+	}
+	
+	/*
+	 * SelfLink is a binary association in which the individuals at the two ends are asserted
+	 * to be the same.
+	 */
+	assoc SelfLink specializes Link {
+		end self: Anything[0..*] redefines BinaryLink::sourceEnd;
+		end myself: Anything[0..*] redefines BinaryLink::targetEnd;
+		
+		feature sourceParticipant: Anything[1..1] redefines BinaryLink::sourceParticipant subsets targetParticipant; 
+		feature targetParticipant: Anything[1..1] redefines BinaryLink::targetParticipant subsets sourceParticipant;
+	}
+	
+	/*  
+	 * Occurrence is the most general class of entities that may occur over time.
+	 * BehaviorOccurrence and FunctionOccurrence are specializations representing the
+	 * occurrence (execution/evaluation) of behaviors and functions.
+	 */
+	abstract class Occurrence specializes Anything;
+	abstract class BehaviorOccurrence specializes Occurrence;
+	abstract class FunctionEvaluation specializes BehaviorOccurrence;
+
+	/*
+	 * property is the top-level feature in the language.
+	 * referenceProperty and valueProperty are specializations that restrict the feature type
+	 * to Objects and Values, respectively.
+	 */
+	feature property: Anything[0..*] nonunique;
+	feature referenceProperty: Object[0..*] nonunique subsets property;
+	feature valueProperty: Value[0..*] nonunique subsets property;
+	
+	/*
+	 * connection is the most general feature of links between individuals.
+	 * binaryConnection and binding are specializations of binary links and self links.
+	 */
+	feature connection: Link[0..*] nonunique subsets property;
+	feature binaryConnection: BinaryLink[0..*] nonunique subsets connection;
+	feature binding: SelfLink[0..*] nonunique subsets binaryConnection;
+	
+	/*
+	 * execution is the most general feature of occurrences of behaviors.
+	 * evaluation is a specialization for occurrences of functions.
+	 */
+	feature execution: BehaviorOccurrence[0..*] nonunique subsets property;
+	feature evaluation: FunctionEvaluation[0..*] nonunique subsets execution;
+}

org.omg.sysml.tests/src/org/omg/sysml/tests/AlfParsingTest.xtend

@@ -1,6 +1,8 @@
 /*****************************************************************************
  * SysML 2 Pilot Implementation
  * Copyright (c) 2018 IncQuery Labs Ltd.
+ * Copyright (c) 2018, 2019 California Institute of Technology/Jet Propulsion Laboratory
+ * Copyright (c) 2019 Model Driven Solutions
  *    
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
@@ -18,8 +20,10 @@
  * @license LGPL-3.0-or-later <http://spdx.org/licenses/LGPL-3.0-or-later>
  * 
  * Contributors:
- *  Zoltan Kiss
- *  Balazs Grill
+ *  Zoltan Kiss, IncQuery
+ *  Balazs Grill, IncQuery
+ *  Miyako Wilson, JPL
+ *  Ed Seidewitz, MDS
  * 
  *****************************************************************************/
 package org.omg.sysml.tests
@@ -30,18 +34,28 @@ import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl
 import org.eclipse.xtext.resource.XtextResourceSet
 import org.eclipse.xtext.testing.util.ParseHelper
 import org.omg.sysml.lang.sysml.Package
+import org.eclipse.emf.common.util.URI
 
 class Dependency {
+	
+	public static final String LIBRARY_BASE_PATH = "library/Base.alf";
 
 	@Inject
 	private Provider<XtextResourceSet> resourceSetProvider;
 
 	@Inject
 	ParseHelper<Package> parseHelper
+	
+	// Loads Base library file, which has elements that are needed for default specializations
+	public def ResourceSetImpl getLibraryBasePackage() {
+		val rs = resourceSetProvider.get
+		rs.getResource(URI.createFileURI(LIBRARY_BASE_PATH), true)
+		rs
+	}
 
 	// Basic import file most of the tests use this
 	public def ResourceSetImpl getDependencyOuterPackage() {
-		val rs = resourceSetProvider.get
+		val rs = getLibraryBasePackage
 		parseHelper.parse(
 		'''package OuterPackage{
 				class A{
@@ -56,7 +70,7 @@ class Dependency {
 
 	// Basic import file most of the tests use this
 	public def ResourceSetImpl getDependencyOuterPackage2() {
-		val rs = resourceSetProvider.get
+		val rs = getLibraryBasePackage
 		parseHelper.parse(
 		'''package OuterPackage{
 				class A{
@@ -116,7 +130,7 @@ class Dependency {
 
 	// It's for the shadowing tests 
 	def ResourceSetImpl getDependencyAlias() {
-		val rs = resourceSetProvider.get
+		val rs = getLibraryBasePackage
 		parseHelper.parse('''
 			package PackageAlias1{
 				A_alias is A;
@@ -144,7 +158,7 @@ class Dependency {
 
 	// It's for the shadowing tests 
 	def ResourceSetImpl getDependencySameNamesImport() {
-		val rs = resourceSetProvider.get
+		val rs = getLibraryBasePackage
 		parseHelper.parse('''
 			package SamePackage{
 				class container{
@@ -164,7 +178,7 @@ class Dependency {
 
 	// The Visibility tests use this source
 	def ResourceSetImpl getDependencyVisibilityPackage() {
-		val rs = resourceSetProvider.get
+		val rs = getLibraryBasePackage
 		parseHelper.parse('''
 		package VisibilityPackage {
 			private class c_Private{