sysml-validate 0.10.18 → 0.14.2

package/resources/sysml.library/Systems Library/Allocations.sysml

@@ -1,29 +1,29 @@
-standard library package Allocations {
-	doc
-	/*
-	 * This package defines the base types for allocations and related structural elements
-	 * in the SysML language.
-	 */
-
-	private import Base::Anything;
-	private import Connections::*;
-
-	allocation def Allocation :> BinaryConnection {
-		doc
-		/*
-		 * Allocation is the most general class of allocation, represented as a connection 
-		 * between the source of the allocation and the target. Allocation is the base type 
-		 * of all AllocationDefinitions.
-		 */
-	
-		end source: Anything :>> BinaryConnection::source;
-		end target: Anything :>> BinaryConnection::target;
-	}
-	
-	abstract allocation allocations: Allocation[0..*] nonunique :> binaryConnections {
-		doc
-		/*
-		 * allocations is the base feature of all AllocationUsages.
-		 */
-	}
+standard library package Allocations {
+	doc
+	/*
+	 * This package defines the base types for allocations and related structural elements
+	 * in the SysML language.
+	 */
+
+	private import Base::Anything;
+	private import Connections::*;
+
+	allocation def Allocation :> BinaryConnection {
+		doc
+		/*
+		 * Allocation is the most general class of allocation, represented as a connection 
+		 * between the source of the allocation and the target. Allocation is the base type 
+		 * of all AllocationDefinitions.
+		 */
+	
+		end source: Anything :>> BinaryConnection::source;
+		end target: Anything :>> BinaryConnection::target;
+	}
+	
+	abstract allocation allocations: Allocation[0..*] nonunique :> binaryConnections {
+		doc
+		/*
+		 * allocations is the base feature of all AllocationUsages.
+		 */
+	}
 }

package/resources/sysml.library/Systems Library/AnalysisCases.sysml

@@ -1,38 +1,38 @@
-standard library package AnalysisCases {
-	doc
-	/*
-	 * This package defines the base types for analysis cases and related behavioral elements 
-	 * in the SysML language.
-	 */
-
-	private import Performances::Evaluation;
-	private import Performances::evaluations;
-	private import Calculations::Calculation;
-	private import Cases::Case;
-	private import Cases::cases;
-	
-	abstract analysis def AnalysisCase :> Case {
-		doc
-		/*
-		 * AnalysisCase is the most general class of performances of AnalysisCaseDefinitions. 
-		 * AnalysisCase is the base class of all AnalysisCaseDefinitions.
-		 */
-	
-		ref analysis self : AnalysisCase :>> Case::self;		
-		subject subj :>> Case::subj;
-		
-		abstract analysis subAnalysisCases : AnalysisCase[0..*] :> analysisCases, subcases {
-			doc
-			/*
-			 * Other AnalysisCases carried out as part of the performance of this AnalysisCase.
-			 */
-		}
-	}
-	
-	abstract analysis analysisCases : AnalysisCase[0..*] nonunique :> cases {
-		doc
-		/*
-		 * analysisCases is the base feature of all AnalysisCaseUsages.
-		 */
-	}
+standard library package AnalysisCases {
+	doc
+	/*
+	 * This package defines the base types for analysis cases and related behavioral elements 
+	 * in the SysML language.
+	 */
+
+	private import Performances::Evaluation;
+	private import Performances::evaluations;
+	private import Calculations::Calculation;
+	private import Cases::Case;
+	private import Cases::cases;
+	
+	abstract analysis def AnalysisCase :> Case {
+		doc
+		/*
+		 * AnalysisCase is the most general class of performances of AnalysisCaseDefinitions. 
+		 * AnalysisCase is the base class of all AnalysisCaseDefinitions.
+		 */
+	
+		ref analysis self : AnalysisCase :>> Case::self;		
+		subject subj :>> Case::subj;
+		
+		abstract analysis subAnalysisCases : AnalysisCase[0..*] :> analysisCases, subcases {
+			doc
+			/*
+			 * Other AnalysisCases carried out as part of the performance of this AnalysisCase.
+			 */
+		}
+	}
+	
+	abstract analysis analysisCases : AnalysisCase[0..*] nonunique :> cases {
+		doc
+		/*
+		 * analysisCases is the base feature of all AnalysisCaseUsages.
+		 */
+	}
 }

package/resources/sysml.library/Systems Library/Attributes.sysml

@@ -1,25 +1,25 @@
-standard library package Attributes {
-doc
-/*
- * This package defines the base types for attributes and related structural elements 
- * in the SysML language.
- */
-
-	private import Base::DataValue;
-	private import Base::dataValues;
-
-	alias AttributeValue for DataValue {
-		doc
-		/*
-		 * AttributeValue is the most general type of data values that represent qualities or characteristics 
-		 * of a system or part of a system. AttributeValue is the base type of all AttributeDefinitions.
-		 */
-	}
-			
-	alias attributeValues for dataValues {
-		doc
-		/*
-		 * attributeValues is the base feature for all AttributeUsages.
-		 */
-	}		
+standard library package Attributes {
+doc
+/*
+ * This package defines the base types for attributes and related structural elements 
+ * in the SysML language.
+ */
+
+	private import Base::DataValue;
+	private import Base::dataValues;
+
+	alias AttributeValue for DataValue {
+		doc
+		/*
+		 * AttributeValue is the most general type of data values that represent qualities or characteristics 
+		 * of a system or part of a system. AttributeValue is the base type of all AttributeDefinitions.
+		 */
+	}
+			
+	alias attributeValues for dataValues {
+		doc
+		/*
+		 * attributeValues is the base feature for all AttributeUsages.
+		 */
+	}		
 }

package/resources/sysml.library/Systems Library/Calculations.sysml

@@ -1,37 +1,37 @@
-standard library package Calculations {
-	doc
-	/*
-	 * This package defines the base types for calculations and related behavioral elements in the
-	 * SysML language.
-	 */
-
-	private import Performances::Evaluation;
-	private import Performances::evaluations;
-	private import Actions::Action;
-	private import Actions::actions;
-	
-	abstract calc def Calculation :> Action, Evaluation {
-		doc
-		/*
-		 * Calculation is the most general class of evaluations of CalculationDefinitions in a
-		 * system or part of a system. Calculation is the base class of all CalculationDefinitions.
-		 */
-	
-		ref calc self: Calculation :>> Action::self, Evaluation::self;
-		
-		abstract calc subcalculations: Calculation :> calculations, subactions {
-			doc
-			/*
-			 * The subactions of this Calculation that are Calculations.
-			 */
-		}
-		
-	}
-	
-	abstract calc calculations: Calculation[0..*] nonunique :> actions, evaluations {
-		doc
-		/*
-		 * calculations is the base Feature for all CalculationUsages.
-		 */
-	}
+standard library package Calculations {
+	doc
+	/*
+	 * This package defines the base types for calculations and related behavioral elements in the
+	 * SysML language.
+	 */
+
+	private import Performances::Evaluation;
+	private import Performances::evaluations;
+	private import Actions::Action;
+	private import Actions::actions;
+	
+	abstract calc def Calculation :> Action, Evaluation {
+		doc
+		/*
+		 * Calculation is the most general class of evaluations of CalculationDefinitions in a
+		 * system or part of a system. Calculation is the base class of all CalculationDefinitions.
+		 */
+	
+		ref calc self: Calculation :>> Action::self, Evaluation::self;
+		
+		abstract calc subcalculations: Calculation :> calculations, subactions {
+			doc
+			/*
+			 * The subactions of this Calculation that are Calculations.
+			 */
+		}
+		
+	}
+	
+	abstract calc calculations: Calculation[0..*] nonunique :> actions, evaluations {
+		doc
+		/*
+		 * calculations is the base Feature for all CalculationUsages.
+		 */
+	}
 }

package/resources/sysml.library/Systems Library/Cases.sysml

@@ -1,71 +1,71 @@
-standard library package Cases {
-	doc
-	/*
-	 * This package defines the base types for cases and related behavioral elements 
-	 * in the SysML language.
-	 */
-
-	private import Base::Anything;
-	private import Requirements::RequirementCheck;
-	private import Calculations::Calculation;
-	private import Calculations::calculations;
-	private import Parts::Part;
-	private import Parts::parts;
-	
-	abstract case def Case :> Calculation {
-		doc
-		/*
-		 * Case is the most general class of performances of CaseDefinitions. 
-		 * Case is the base class of all CaseDefinitions.
-		 */
-	
-		ref case self : Case :>> Calculation::self;
-		
-		subject subj : Anything[1] {
-			doc
-			/*
-			 * The subject that was investigated by this Case.
-			 */
-		}
-		
-		ref part actors : Part[0..*] :> parts {
-			doc
-			/*
-			 * The Parts that fill the role of actors for this Case.
-			 * (Note: This is not itself an actor parameter, because specific actor
-			 * parameters will be added for specific Cases.)
-			 */
-		}
-		
-		objective obj : RequirementCheck[1] {
-			doc
-			/*
-			 * A check of whether the objective RequirementUsage was satisfied for this Case.
-			 */
-		
-			subject subj default Case::result;
-		}
-		
-		return ref result[0..*] {
-			doc
-			/*
-			 * The result determined by the case, which should satisfy the case objective.
-			 */
-		}
-		
-		abstract case subcases : Case[0..*] :> cases, subcalculations {
-			doc
-			/*
-			 * Other Cases carried out as part of the performance of this Case.
-			 */
-		}
-	
-	}
-	
-	abstract case cases : Case[0..*] nonunique :> calculations {
-		doc
-		/*
-		 * cases is the base Feature of all CaseUsages.
-		 */
-	}
+standard library package Cases {
+	doc
+	/*
+	 * This package defines the base types for cases and related behavioral elements 
+	 * in the SysML language.
+	 */
+
+	private import Base::Anything;
+	private import Requirements::RequirementCheck;
+	private import Calculations::Calculation;
+	private import Calculations::calculations;
+	private import Parts::Part;
+	private import Parts::parts;
+	
+	abstract case def Case :> Calculation {
+		doc
+		/*
+		 * Case is the most general class of performances of CaseDefinitions. 
+		 * Case is the base class of all CaseDefinitions.
+		 */
+	
+		ref case self : Case :>> Calculation::self;
+		
+		subject subj : Anything[1] {
+			doc
+			/*
+			 * The subject that was investigated by this Case.
+			 */
+		}
+		
+		ref part actors : Part[0..*] :> parts {
+			doc
+			/*
+			 * The Parts that fill the role of actors for this Case.
+			 * (Note: This is not itself an actor parameter, because specific actor
+			 * parameters will be added for specific Cases.)
+			 */
+		}
+		
+		objective obj : RequirementCheck[1] {
+			doc
+			/*
+			 * A check of whether the objective RequirementUsage was satisfied for this Case.
+			 */
+		
+			subject subj default Case::result;
+		}
+		
+		return ref result[0..*] {
+			doc
+			/*
+			 * The result determined by the case, which should satisfy the case objective.
+			 */
+		}
+		
+		abstract case subcases : Case[0..*] :> cases, subcalculations {
+			doc
+			/*
+			 * Other Cases carried out as part of the performance of this Case.
+			 */
+		}
+	
+	}
+	
+	abstract case cases : Case[0..*] nonunique :> calculations {
+		doc
+		/*
+		 * cases is the base Feature of all CaseUsages.
+		 */
+	}
 }

package/resources/sysml.library/Systems Library/Connections.sysml

@@ -1,60 +1,60 @@
-standard library package Connections {
-    doc
-    /*
-     * This package defines the base types for connections and related structural elements 
-     * in the SysML language.
-     */
-
-    private import Base::Anything;
-    private import Occurrences::Occurrence;
-    private import Occurrences::HappensDuring;
-    private import Objects::LinkObject;
-    private import Objects::linkObjects;
-    private import Objects::BinaryLinkObject;
-    private import Objects::binaryLinkObjects;
-    private import Transfers::Transfer;
-    private import Transfers::transfers;
-    private import Transfers::FlowTransfer;
-    private import Transfers::flowTransfers;
-    private import Transfers::FlowTransferBefore;
-    private import Transfers::flowTransfersBefore;
-    private import ScalarValues::Natural;
-    private import Parts::Part;
-    private import Parts::parts;
-    private import Actions::Action;
-    private import Actions::actions;
-
-    abstract connection def Connection :> LinkObject, Part {
-        doc
-        /*
-         * Connection is the most general class of links between things within some 
-         * containing structure. Connection is the base type of all ConnectionDefinitions.
-         */
-    }
-     
-    abstract connection def BinaryConnection :> BinaryLinkObject, Connection {
-        doc
-        /*
-         * BinaryConnection is the most general class of binary links between two things 
-         * within some containing structure. BinaryConnection is the base type of all 
-         * ConnectionDefinitions with exactly two ends.
-         */
-    
-        end source: Anything :>> BinaryLinkObject::source;
-        end target: Anything :>> BinaryLinkObject::target;
-    }
-    
-    abstract connection connections: Connection[0..*] nonunique :> linkObjects, parts {
-        doc
-        /*
-         * connections is the base feature of all ConnectionUsages.
-         */
-    }
-    
-    abstract connection binaryConnections: Connection[0..*] nonunique :> connections, binaryLinkObjects {
-        doc
-        /*
-         * binaryConnections is the base feature of all binary ConnectionUsages.
-         */
-    }
+standard library package Connections {
+    doc
+    /*
+     * This package defines the base types for connections and related structural elements 
+     * in the SysML language.
+     */
+
+    private import Base::Anything;
+    private import Occurrences::Occurrence;
+    private import Occurrences::HappensDuring;
+    private import Objects::LinkObject;
+    private import Objects::linkObjects;
+    private import Objects::BinaryLinkObject;
+    private import Objects::binaryLinkObjects;
+    private import Transfers::Transfer;
+    private import Transfers::transfers;
+    private import Transfers::FlowTransfer;
+    private import Transfers::flowTransfers;
+    private import Transfers::FlowTransferBefore;
+    private import Transfers::flowTransfersBefore;
+    private import ScalarValues::Natural;
+    private import Parts::Part;
+    private import Parts::parts;
+    private import Actions::Action;
+    private import Actions::actions;
+
+    abstract connection def Connection :> LinkObject, Part {
+        doc
+        /*
+         * Connection is the most general class of links between things within some 
+         * containing structure. Connection is the base type of all ConnectionDefinitions.
+         */
+    }
+     
+    abstract connection def BinaryConnection :> BinaryLinkObject, Connection {
+        doc
+        /*
+         * BinaryConnection is the most general class of binary links between two things 
+         * within some containing structure. BinaryConnection is the base type of all 
+         * ConnectionDefinitions with exactly two ends.
+         */
+    
+        end source: Anything :>> BinaryLinkObject::source;
+        end target: Anything :>> BinaryLinkObject::target;
+    }
+    
+    abstract connection connections: Connection[0..*] nonunique :> linkObjects, parts {
+        doc
+        /*
+         * connections is the base feature of all ConnectionUsages.
+         */
+    }
+    
+    abstract connection binaryConnections: Connection[0..*] nonunique :> connections, binaryLinkObjects {
+        doc
+        /*
+         * binaryConnections is the base feature of all binary ConnectionUsages.
+         */
+    }
 }

package/resources/sysml.library/Systems Library/Constraints.sysml

@@ -1,44 +1,44 @@
-standard library package Constraints {
-	doc
-	/*
-	 * This package defines the base types for constraints and related elements in the
-	 * SysML language.
-	 */
-
-	private import Performances::BooleanEvaluation;
-	private import Performances::booleanEvaluations;
-	private import Performances::trueEvaluations;
-	private import Performances::falseEvaluations;
-	
-	abstract constraint def ConstraintCheck :> BooleanEvaluation {
-		doc
-		/*
-		 * ConstraintCheck is the most general class for constraint checking. ConstraintCheck is the base
-		 * type of all ConstraintDefinitions.
-		 */
-	
-		ref constraint self: ConstraintCheck :>> BooleanEvaluation::self;
-	}
-	
-	abstract constraint constraintChecks: ConstraintCheck[0..*] nonunique :> booleanEvaluations {
-		doc
-		/*
-		 * constraintChecks is the base feature of all ConstraintUsages.
-		 */
-	}
-	
-	abstract constraint assertedConstraintChecks :> constraintChecks, trueEvaluations {
-		doc
-		/*
-		 * assertedConstraintChecks is the subset of constraintChecks for ConstraintChecks asserted to be true.
-		 */
-	}
-		
-	abstract constraint negatedConstraintChecks :> constraintChecks, falseEvaluations {
-		doc
-		/*
-		 * negatedConstraintChecks is the subset of constraintChecks for ConstraintChecks asserted to be false.
-		 */
-	}
-		
+standard library package Constraints {
+	doc
+	/*
+	 * This package defines the base types for constraints and related elements in the
+	 * SysML language.
+	 */
+
+	private import Performances::BooleanEvaluation;
+	private import Performances::booleanEvaluations;
+	private import Performances::trueEvaluations;
+	private import Performances::falseEvaluations;
+	
+	abstract constraint def ConstraintCheck :> BooleanEvaluation {
+		doc
+		/*
+		 * ConstraintCheck is the most general class for constraint checking. ConstraintCheck is the base
+		 * type of all ConstraintDefinitions.
+		 */
+	
+		ref constraint self: ConstraintCheck :>> BooleanEvaluation::self;
+	}
+	
+	abstract constraint constraintChecks: ConstraintCheck[0..*] nonunique :> booleanEvaluations {
+		doc
+		/*
+		 * constraintChecks is the base feature of all ConstraintUsages.
+		 */
+	}
+	
+	abstract constraint assertedConstraintChecks :> constraintChecks, trueEvaluations {
+		doc
+		/*
+		 * assertedConstraintChecks is the subset of constraintChecks for ConstraintChecks asserted to be true.
+		 */
+	}
+		
+	abstract constraint negatedConstraintChecks :> constraintChecks, falseEvaluations {
+		doc
+		/*
+		 * negatedConstraintChecks is the subset of constraintChecks for ConstraintChecks asserted to be false.
+		 */
+	}
+		
 }