Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
af3
AF3
Commits
c8fa8b9d
Commit
c8fa8b9d
authored
Jul 09, 2012
by
Christoph Döbber
Browse files
organized model elements in a tree
refs 143
parent
e0df639a
Changes
12
Hide whitespace changes
Inline
Side-by-side
org.fortiss.af3.component.ui/trunk/src/org/fortiss/af3/component/ui/prototypes/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -40,6 +40,9 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
final
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Component Architecture"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
...
...
@@ -50,21 +53,21 @@ public final class PrototypeProvider extends PrototypeProviderBase {
/** Defines prototypes for {@link ComponentArchitecture}s. */
private
void
setupComponentArchitecturePrototypes
()
{
registerPrimaryPrototype
(
"Component Architecture"
,
createComponentArchitecture
()
);
registerPrimaryPrototype
(
"Component Architecture"
,
createComponentArchitecture
(),
CATEGORY_NAME
);
}
/** Defines prototypes for {@link Component}s. */
private
void
setupComponentPrototypes
()
{
registerPrimaryPrototype
(
"Component"
,
createComponent
(
"Component"
,
""
));
registerPrototype
(
"Input"
,
createInputPort
(
"Input"
,
""
));
registerPrototype
(
"Output"
,
createOutputPort
(
"Output"
,
""
));
registerPrimaryPrototype
(
"Component"
,
createComponent
(
"Component"
,
""
)
,
CATEGORY_NAME
);
registerPrototype
(
"Input"
,
createInputPort
(
"Input"
,
""
)
,
CATEGORY_NAME
);
registerPrototype
(
"Output"
,
createOutputPort
(
"Output"
,
""
)
,
CATEGORY_NAME
);
}
/** Defines prototypes for behavior specifications. */
private
void
setupBehaviorPrototypes
()
{
registerPrimaryPrototype
(
"Code Specification"
,
createCodeSpecification
(
StatementSequenceStaticImpl
.
create
(
ReturnStaticImpl
.
create
()))
);
createCodeSpecification
(
StatementSequenceStaticImpl
.
create
(
ReturnStaticImpl
.
create
(
))),
CATEGORY_NAME
);
}
}
\ No newline at end of file
}
org.fortiss.af3.deployment.ui/trunk/src/org/fortiss/af3/deployment/ui/prototypes/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -33,6 +33,9 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
final
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Deployment"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
...
...
@@ -41,7 +44,7 @@ public final class PrototypeProvider extends PrototypeProviderBase {
/** Defines prototypes for {@link PlatformArchitecture}s. */
private
void
setupDeploymentPrototypes
()
{
registerPrimaryPrototype
(
"Deployment"
,
createDeployment
(
"Deployment"
,
null
,
null
)
);
registerPrimaryPrototype
(
"Deployment"
,
createDeployment
(
"Deployment"
,
null
,
null
),
CATEGORY_NAME
);
}
}
org.fortiss.af3.expression.ui/trunk/src/org/fortiss/af3/expression/ui/prototypes/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -50,6 +50,9 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
final
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Expressions"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
...
...
@@ -58,7 +61,7 @@ public final class PrototypeProvider extends PrototypeProviderBase {
/** Defines prototypes for {@link DataDictionary}. */
private
void
setupDataDictionaryPrototypes
()
{
registerPrimaryPrototype
(
"Data Dictionary"
,
createDataDictionary
());
registerPrimaryPrototype
(
"Data Dictionary"
,
createDataDictionary
()
,
CATEGORY_NAME
);
setupEnumerationPrototype
();
setEnumerationMemberPrototype
();
...
...
@@ -71,13 +74,12 @@ public final class PrototypeProvider extends PrototypeProviderBase {
/** Defines prototype for {@link FunctionDefinition}. */
private
void
setupUserDefinedFunctionPrototype
()
{
FunctionDefinition
fun
=
createUserDefinedFunctionDefinition
(
"myFun"
,
intType
());
FunctionDefinition
fun
=
createUserDefinedFunctionDefinition
(
"myFun"
,
intType
());
FunctionParameter
param
=
createFunctionParameter
(
"_V"
,
boolType
());
fun
.
getParametersList
().
add
(
param
);
Return
ret
=
ReturnStaticImpl
.
create
(
IntConstStaticImpl
.
create
(
0
));
fun
.
setDefinition
(
StatementSequenceStaticImpl
.
create
(
ret
));
registerPrototype
(
"Function"
,
fun
);
registerPrototype
(
"Function"
,
fun
,
CATEGORY_NAME
);
}
/** Defines prototype for {@link StructureMember}. */
...
...
@@ -106,8 +108,7 @@ public final class PrototypeProvider extends PrototypeProviderBase {
/** Defines prototype for {@link EnumerationMember}. */
private
void
setEnumerationMemberPrototype
()
{
registerPrototype
(
"Enumeration Member"
,
createEnumerationMember
(
"Member"
));
registerPrototype
(
"Enumeration Member"
,
createEnumerationMember
(
"Member"
),
CATEGORY_NAME
);
}
/** Defines prototype for {@link Enumeration}. */
...
...
@@ -115,6 +116,6 @@ public final class PrototypeProvider extends PrototypeProviderBase {
Enumeration
en
=
createEnumeration
(
"MyEnum"
);
en
.
getMembersList
().
add
(
createEnumerationMember
(
"First"
));
en
.
getMembersList
().
add
(
createEnumerationMember
(
"Second"
));
registerPrototype
(
"Enumeration"
,
en
);
registerPrototype
(
"Enumeration"
,
en
,
CATEGORY_NAME
);
}
}
org.fortiss.af3.mira/trunk/src/org/fortiss/af3/mira/prototype/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -40,33 +40,36 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Requirement Analysis"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
// register analysis
registerPrimaryPrototype
(
"Requirements Analysis"
,
createAnalysis
());
registerPrimaryPrototype
(
"Requirements Analysis"
,
createAnalysis
()
,
CATEGORY_NAME
);
// register requirement
Requirement
req
=
createRequirement
();
registerPrimaryPrototype
(
"Requirement"
,
req
);
registerPrimaryPrototype
(
"Requirement"
,
req
,
CATEGORY_NAME
);
// register use case
UseCase
uc
=
createUseCase
();
registerPrimaryPrototype
(
"Use Case"
,
uc
);
registerPrimaryPrototype
(
"Use Case"
,
uc
,
CATEGORY_NAME
);
// register scenario
registerPrimaryPrototype
(
"Scenario"
,
createScenario
(
""
,
""
,
false
));
registerPrimaryPrototype
(
"Scenario"
,
createScenario
(
""
,
""
,
false
)
,
CATEGORY_NAME
);
// register glossary
Glossary
glossary
=
createGlossary
(
"Glossary"
,
""
);
registerPrimaryPrototype
(
"Glossary"
,
glossary
);
registerPrimaryPrototype
(
"Glossary"
,
glossary
,
CATEGORY_NAME
);
// register glossary entry
registerPrimaryPrototype
(
"Entry"
,
createGlossaryEntry
(
""
,
""
,
""
));
registerPrimaryPrototype
(
"Entry"
,
createGlossaryEntry
(
""
,
""
,
""
)
,
CATEGORY_NAME
);
// register functional requirement
registerPrimaryPrototype
(
"Formal Specification"
,
createFunctionalSpecification
(
"Formal Specification"
));
createFunctionalSpecification
(
"Formal Specification"
)
,
CATEGORY_NAME
);
}
}
org.fortiss.af3.mode.ui/trunk/src/org/fortiss/af3/mode/ui/prototypes/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -37,24 +37,24 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Mode Automaton"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
registerPrimaryPrototype
(
"Mode Switch Specification"
,
createModeAutomaton
(
"Root Mode"
)
);
registerPrimaryPrototype
(
"Mode Switch Specification"
,
createModeAutomaton
(
"Root Mode"
),
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Mode Component Structure"
,
createModeCompStruSpec
(
"Mode Component Structure Root"
,
""
));
createModeCompStruSpec
(
"Mode Component Structure Root"
,
""
)
,
CATEGORY_NAME
);
registerPrototype
(
"Mode"
,
createMode
(
"Mode Prototype"
,
""
,
false
));
registerPrototype
(
"Mode"
,
createMode
(
"Mode Prototype"
,
""
,
false
)
,
CATEGORY_NAME
);
registerPrototype
(
"Input"
,
createSwitchSegmentEntryConnector
(
"Input"
,
""
));
registerPrototype
(
"Input"
,
createSwitchSegmentEntryConnector
(
"Input"
,
""
),
CATEGORY_NAME
);
registerPrototype
(
"Output"
,
createSwitchSegmentExitConnector
(
"Output"
,
""
));
registerPrototype
(
"Output"
,
createSwitchSegmentExitConnector
(
"Output"
,
""
),
CATEGORY_NAME
);
registerPrototype
(
"Local"
,
createSwitchSegmentLocalConnector
(
"Local"
,
""
));
registerPrototype
(
"Local"
,
createSwitchSegmentLocalConnector
(
"Local"
,
""
),
CATEGORY_NAME
);
}
}
org.fortiss.af3.msc.ui/trunk/src/org/fortiss/af3/msc/ui/prototypes/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -38,14 +38,18 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
final
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"MSC Specification"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
registerPrimaryPrototype
(
"MSC Specification"
,
createMSCSpecification
(
"MSC Specification"
));
registerPrimaryPrototype
(
"MSC Entity"
,
createMSCEntity
(
"MSC Entity"
,
""
));
registerPrototype
(
"Entry"
,
createMessageEntryConnector
(
"Entry"
,
""
));
registerPrototype
(
"Exit"
,
createMessageExitConnector
(
"Exit"
,
""
));
registerPrototype
(
"Loop"
,
createLoopOperator
());
registerPrototype
(
"Condition"
,
createConditionalOperator
());
registerPrimaryPrototype
(
"MSC Specification"
,
createMSCSpecification
(
"MSC Specification"
),
CATEGORY_NAME
);
registerPrimaryPrototype
(
"MSC Entity"
,
createMSCEntity
(
"MSC Entity"
,
""
),
CATEGORY_NAME
);
registerPrototype
(
"Entry"
,
createMessageEntryConnector
(
"Entry"
,
""
),
CATEGORY_NAME
);
registerPrototype
(
"Exit"
,
createMessageExitConnector
(
"Exit"
,
""
),
CATEGORY_NAME
);
registerPrototype
(
"Loop"
,
createLoopOperator
(),
CATEGORY_NAME
);
registerPrototype
(
"Condition"
,
createConditionalOperator
(),
CATEGORY_NAME
);
}
}
org.fortiss.af3.operatorpanel.ui/trunk/src/org/fortiss/af3/operatorpanel/ui/prototypes/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -39,17 +39,23 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
final
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Operator Panel"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
registerPrimaryPrototype
(
"Operator Panel"
,
createOperatorPanelSpecification
(
"Operator Panel"
));
registerPrimaryPrototype
(
"Label"
,
createOPLabel
(
"Label"
,
"Displayed text"
));
registerPrimaryPrototype
(
"Push Button"
,
createOPPushButton
(
"Push Button"
,
"Click"
));
registerPrimaryPrototype
(
"Toggle Button"
,
createOPToggleButton
(
"Toggle Button"
,
"Toggle"
));
registerPrimaryPrototype
(
"Color Display"
,
createOPColorDisplay
(
"Color Display"
));
registerPrimaryPrototype
(
"Text Display"
,
createOPTextDisplay
(
"Text Display"
));
registerPrimaryPrototype
(
"Term Input"
,
createOPITermInput
(
"Term Input"
));
registerPrimaryPrototype
(
"Area Input"
,
createOPAreaInput
(
"Area Input"
));
createOperatorPanelSpecification
(
"Operator Panel"
),
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Label"
,
createOPLabel
(
"Label"
,
"Displayed text"
),
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Push Button"
,
createOPPushButton
(
"Push Button"
,
"Click"
),
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Toggle Button"
,
createOPToggleButton
(
"Toggle Button"
,
"Toggle"
),
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Color Display"
,
createOPColorDisplay
(
"Color Display"
),
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Text Display"
,
createOPTextDisplay
(
"Text Display"
),
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Term Input"
,
createOPITermInput
(
"Term Input"
),
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Area Input"
,
createOPAreaInput
(
"Area Input"
),
CATEGORY_NAME
);
}
}
org.fortiss.af3.platform.ui/trunk/src/org/fortiss/af3/platform/ui/prototypes/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -50,6 +50,9 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
final
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Generic Platform Architecture"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
...
...
@@ -65,26 +68,26 @@ public final class PrototypeProvider extends PrototypeProviderBase {
/** Defines prototypes of the generic platform. */
private
void
setupGenericPlatformPrototypes
()
{
GenericExecutionUnit
geu
=
createGenericExecutionUnit
(
"Generic_ECU"
);
registerPrimaryPrototype
(
"Generic_ECU"
,
geu
);
registerPrimaryPrototype
(
"Generic_ECU"
,
geu
,
CATEGORY_NAME
);
GenericTransmissionUnit
gtu
=
createGenericTransmissionUnit
(
"Generic_Bus"
);
setNodeBounds
(
gtu
,
new
Rectangle
(
0
,
0
,
DEFAULT_SHAPE_MINIMUM_WIDTH
,
DEFAULT_SHAPE_MINIMUM_HEIGHT
));
registerPrimaryPrototype
(
"Generic_Bus"
,
gtu
);
registerPrimaryPrototype
(
"Generic_Bus"
,
gtu
,
CATEGORY_NAME
);
GenericTransmitter
gt
=
createGenericTransmitter
(
"Generic_Actuator"
);
setNodePosition
(
gt
,
0
,
0
);
setConnectorPosition
(
gt
,
0
,
0
);
registerPrototype
(
"Generic_Actuator"
,
gt
);
registerPrototype
(
"Generic_Actuator"
,
gt
,
CATEGORY_NAME
);
GenericTransceiver
gtr
=
createGenericTransceiver
(
"Generic_BusController"
);
setNodePosition
(
gtr
,
0
,
0
);
setConnectorPosition
(
gtr
,
0
,
0
);
registerPrototype
(
"Generic_BusController"
,
gtr
);
registerPrototype
(
"Generic_BusController"
,
gtr
,
CATEGORY_NAME
);
GenericReceiver
gr
=
createGenericReceiver
(
"Generic_Sensor"
);
setNodePosition
(
gr
,
0
,
0
);
setConnectorPosition
(
gr
,
0
,
0
);
registerPrototype
(
"Generic_Sensor"
,
gr
);
registerPrototype
(
"Generic_Sensor"
,
gr
,
CATEGORY_NAME
);
}
}
org.fortiss.af3.project/trunk/src/org/fortiss/af3/project/prototypes/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -32,14 +32,17 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
final
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Project Configuration"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
registerPrimaryPrototype
(
"Project Configuration"
,
ProjectModelElementFactory
.
createProjectConfiguration
());
ProjectModelElementFactory
.
createProjectConfiguration
()
,
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Execution Configuration Store"
,
ProjectModelElementFactory
.
createExecutionConfigurationStore
());
ProjectModelElementFactory
.
createExecutionConfigurationStore
()
,
CATEGORY_NAME
);
registerPrimaryPrototype
(
"Execution Configuration"
,
ProjectModelElementFactory
.
createExecutionConfiguration
());
ProjectModelElementFactory
.
createExecutionConfiguration
()
,
CATEGORY_NAME
);
}
}
org.fortiss.af3.refinement/trunk/src/org/fortiss/af3/refinement/prototype/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -31,10 +31,15 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
* @ConQAT.Rating GREEN Hash: 26677350008B34528B605AEC143696EF
*/
public
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Refinement"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
// register refinement specification
registerPrimaryPrototype
(
"Refinement Specification"
,
createRefinementSpecification
());
registerPrimaryPrototype
(
"Refinement Specification"
,
createRefinementSpecification
(),
CATEGORY_NAME
);
}
}
org.fortiss.af3.state.ui/trunk/src/org/fortiss/af3/state/ui/prototypes/PrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -37,21 +37,24 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
final
class
PrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"State Automaton"
;
/** {@inheritDoc} */
@Override
protected
void
registerPrototypes
()
{
registerPrimaryPrototype
(
"Automaton Specification"
,
createStateAutomaton
(
"Root State"
)
);
registerPrimaryPrototype
(
"Automaton Specification"
,
createStateAutomaton
(
"Root State"
),
CATEGORY_NAME
);
registerPrototype
(
"State"
,
createState
(
"State Prototype"
,
""
,
false
));
registerPrototype
(
"State"
,
createState
(
"State Prototype"
,
""
,
false
)
,
CATEGORY_NAME
);
registerPrototype
(
"Input"
,
createTransitionSegmentEntryConnector
(
"Input"
,
""
)
);
registerPrototype
(
"Input"
,
createTransitionSegmentEntryConnector
(
"Input"
,
""
),
CATEGORY_NAME
);
registerPrototype
(
"Output"
,
createTransitionSegmentExitConnector
(
"Output"
,
""
)
);
registerPrototype
(
"Output"
,
createTransitionSegmentExitConnector
(
"Output"
,
""
),
CATEGORY_NAME
);
registerPrototype
(
"Local"
,
createTransitionSegmentLocalConnector
(
"Local"
,
""
)
);
registerPrototype
(
"Local"
,
createTransitionSegmentLocalConnector
(
"Local"
,
""
),
CATEGORY_NAME
);
}
}
\ No newline at end of file
}
org.fortiss.af3.testing/trunk/src/org/fortiss/af3/testing/compose/TestSuiteSpecificationPrototypeProvider.java
View file @
c8fa8b9d
...
...
@@ -35,18 +35,22 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*/
public
class
TestSuiteSpecificationPrototypeProvider
extends
PrototypeProviderBase
{
/** Stores the category to display for these prototypes. */
protected
final
static
String
CATEGORY_NAME
=
"Test Suite"
;
/** {@inheritDoc} */
@Override
public
void
registerPrototypes
()
{
TestSuiteSpecification
specification
=
createTestSuiteSpecification
();
// register test suite specification
registerPrimaryPrototype
(
"Test Suite Specification"
,
specification
);
registerPrimaryPrototype
(
"Test Suite Specification"
,
specification
,
CATEGORY_NAME
);
// register state coverage profile
registerPrimaryPrototype
(
"State Coverage Profile"
,
createStateCoverage
());
registerPrimaryPrototype
(
"State Coverage Profile"
,
createStateCoverage
()
,
CATEGORY_NAME
);
// register transition coverage profile
registerPrimaryPrototype
(
"Transition Coverage Profile"
,
createTransitionCoverage
());
registerPrimaryPrototype
(
"Transition Coverage Profile"
,
createTransitionCoverage
(),
CATEGORY_NAME
);
}
}
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment