Commit 92df3ba7 authored by Simon Barner's avatar Simon Barner
Browse files

GREEN

Issue-Ref: 3524
Issue-Url: https://af3-developer.fortiss.org/issues/3524

Signed-off-by: Simon Barner's avatarSimon Barner <barner@fortiss.org>
parent 961dfaaa
documentation.html 7ac45cd9eae287924288ef6d80f2360d0769a810 YELLOW
documentation.html e66e28a6276439808c7cbcdac8b3e62f1e734067 GREEN
......@@ -27,7 +27,7 @@ used for the further development of a project. All these specifications allow to
hierarchy of components. The superior component is called the parent
component and the inferior one, correspondingly, the child component
or the sub-component. If a component does not have another component
inside, it is called an atomic component, i. e. one, which cannot be
inside, it is called an atomic component, i. e. one that cannot be
decomposed in other components. Complex components, constituted
of many sub-components on different levels can be decomposed by the
<i>unpack</i> function and vice versa, many components can be packed in one
......@@ -70,13 +70,13 @@ the data is passing through a component with a certain time delay. Weak causalit
time delay.</li>
<li><tt>PortSpecification</tt>: specifies the initial value and the type of the data propagated from
one port to another.</li>
<li><tt>ComponentRef</tt>: describes a reference to a component, which is in a library of components.</li>
<li><tt>ComponentRef</tt>: describes a reference to a component that is in a library of components.</li>
<li><tt>LibraryComponent</tt>: represents a library of components.</li>
<li><tt>LibraryComponentPackage</tt>: represents a package of libraries of components.</li>
<li><tt>PropagatableSpecification</tt>: describes how data can be propagated from one port to another.</li>
<li><tt>ComponentSpecificationsContainer</tt>: interface implementing methods, which allow to get the specifications of a component container.</li>
<li><tt>VerifBehaviourComponentSpecification</tt>: interface implementing methods, which allow to get the specifications of a component and to verify its behavior.</li>
<li><tt>IReadOnlyBehaviorSpecification</tt>: interface implementing methods, which allow to get only readable specifications of a component.</li>
<li><tt>PropagatableSpecification</tt>: describes how data can be propagated from one port to another.</li>
<li><tt>ComponentSpecificationsContainer</tt>: interface implementing methods that allow to get the specifications of a component container.</li>
<li><tt>VerifBehaviourComponentSpecification</tt>: interface implementing methods that allow to get the specifications of a component and to verify its behavior.</li>
<li><tt>IReadOnlyBehaviorSpecification</tt>: interface implementing methods that allow to get only readable specifications of a component.</li>
</ul>
The sub-package <i>annotation</i> contains:
......
component.ecore 6a932d4ff3ef0b8c119efdebbf4476b22d54b506 YELLOW
component.ecore 0f73aaa543d3ba434c263bd046cdebc75f2fea86 GREEN
......@@ -315,7 +315,7 @@
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ComponentRef" eSuperTypes="#//Component platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//ILibraryElementReference">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="This class describes a reference to a component, which is in a library of components."/>
<details key="documentation" value="This class describes a reference to a component that is in a library of components."/>
</eAnnotations>
<eOperations name="getOutputPorts" upperBound="-1" eType="#//OutputPort">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
......@@ -460,13 +460,13 @@
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ComponentSpecificationsContainer" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElement">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Interface implementing methods, which allow to get the specifications of a component container."/>
<details key="documentation" value="Interface implementing methods that allow to get the specifications of a component container."/>
</eAnnotations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="VerifBehaviourComponentSpecification"
eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Interface implementing methods, which allow to get the specifications of a component and to verify its behavior."/>
<details key="documentation" value="Interface implementing methods that allow to get the specifications of a component and to verify its behavior."/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="verifBehaviour" eType="#//VerificationBehaviour"/>
</eClassifiers>
......@@ -477,7 +477,7 @@
<eClassifiers xsi:type="ecore:EClass" name="IReadOnlyBehaviorSpecification" abstract="true"
interface="true" eSuperTypes="#//behavior/IComponentBehaviorDefinitionSpecification">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Interface implementing methods, which allow to get only readable specifications of a component."/>
<details key="documentation" value="Interface implementing methods that allow to get only readable specifications of a component."/>
</eAnnotations>
</eClassifiers>
<eSubpackages name="annotation" nsURI="http://www.fortiss.org/af3/component/annotation"
......@@ -546,7 +546,7 @@
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Action">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Used in state automata to create an assignment expression for a state, which means to create an action when the automaton is in this state - in other words, to assign a value to a variable. Example of action: CurrSpeed = SensedSpeed; oldSpeed = SensedSpeed."/>
<details key="documentation" value="Used in state automata to create an assignment expression for a state, which means to create an action, when the automaton is in this state - in other words, to assign a value to a variable. Example of action: CurrSpeed = SensedSpeed; oldSpeed = SensedSpeed."/>
</eAnnotations>
<eOperations name="toString" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment