Skip to content
GitLab
Menu
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
6684abf1
Commit
6684abf1
authored
Nov 28, 2017
by
Sudeep Kanav
Browse files
ratings migrated
refs 3177
parent
0c008c88
Changes
82
Hide whitespace changes
Inline
Side-by-side
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/.ratings
View file @
6684abf1
AF3SpecificationUIActivator.java
05f2a51e5e536d8d5f48f57f49868a005b177048 GREEN
AF3SpecificationUIActivator.java
e2470acbdd7b92f6d93c94ea5e1f4626b7380760 RED
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/AF3SpecificationUIActivator.java
View file @
6684abf1
...
...
@@ -38,7 +38,6 @@ import org.osgi.framework.BundleContext;
* The activator class controls the plug-in life cycle.
*
* @author hoelzl
* @ConQAT.Rating GREEN Hash: F0AD2DCB28421EB77A4F8C02FCF0DE77
*/
public
class
AF3SpecificationUIActivator
extends
AbstractUIPlugin
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/compose/.ratings
View file @
6684abf1
TraceCompositor.java
67855d237d947f227284ba0ff507ce8e69b3d17a YELLOW
TraceCompositor.java
0e3d336bac0c3795edfe4342de17be316d38bffd RED
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/.ratings
View file @
6684abf1
BoundsConstraintUI.java b8a4bc4913a5f0c0b9aea74607582359e659e2f2 RED
ContractConstraintUI.java eff0886e4a69b310a78f87742bd2c3eb0add530e GREEN
DeterminismConstraintUI.java 80856a5540acd25e953a00ab653c7921ddd68d01 RED
InterfaceTraceMatchConstraintUI.java f9ea2e2ef17badf5df9121491dea090af8841589 GREEN
ReachabilityConstraintUI.java 72e389ab1dc6112c91b5f724f4cb19c927c77e0a RED
TLSpecificationConstraintUI.java 0f1567cfbdbdda1f0891d228a7da2374ac97da62 GREEN
TopComponentSignalsConstraintUI.java 4eb276372bbaa2e812789bc6d522dbd73bdf3024 GREEN
TraceSelectionDialog.java 37219850616a9a93a383d1858273ce53a2c3d947 GREEN
.ratings c4878cb86178d9584bd18028a7de8b608a8500a9 GREEN
BoundsConstraintUI.java 7526410215ffe073f761323502e55ebdf48c6051 RED
ContractConstraintUI.java 214d7db2e9e9527b2101c46e205f7ba0a6e78410 GREEN
DeterminismConstraintUI.java 485393b7d462d0159bcb8c641dfdfa7c57c67e5c RED
InterfaceTraceMatchConstraintUI.java 2826fbd209db70d5c20c652bd7d3739371a9003d GREEN
ReachabilityConstraintUI.java d01410ff690388b64f365b7e7a44c51a6b699582 RED
TLSpecificationConstraintUI.java 6ea5ac0917481ec33f634fd9c7b3ebed25819573 GREEN
TopComponentSignalsConstraintUI.java 30c2a7e40b96a4a3bc112ddaa9cf94be533637f3 GREEN
TraceSelectionDialog.java 09a6229b47563ee677abdf4bf52eb35c82041b91 GREEN
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/BoundsConstraintUI.java
View file @
6684abf1
...
...
@@ -61,7 +61,6 @@ import org.fortiss.tooling.kernel.utils.ConstraintsUtils;
/**
* Verifier UI for {@link BoundsConstraint}.
*
* @ConQAT.Rating YELLOW Hash: 7E3A8557C5B81496324A7C88267A3C86
*/
public
class
BoundsConstraintUI
extends
ConstraintUIBases
.
ConstraintUIBaseAutocheck
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/ContractConstraintUI.java
View file @
6684abf1
...
...
@@ -43,7 +43,6 @@ import org.fortiss.tooling.kernel.ui.service.IConstraintUIService;
/**
* Verifier UI for {@link TLSpecificationConstraint}.
*
* @ConQAT.Rating GREEN Hash: B28FA6B8BC93E4B73AA08CBDF0F4DC4F
*/
public
class
ContractConstraintUI
extends
ConstraintUIBases
.
ConstraintUIBaseAutocheck
{
/** {@inheritDoc} */
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/DeterminismConstraintUI.java
View file @
6684abf1
...
...
@@ -49,7 +49,6 @@ import org.fortiss.tooling.kernel.utils.ConstraintsUtils;
* Verifier UI for {@link DeterminismConstraint}.
*
* @author aravantinos
* @ConQAT.Rating YELLOW Hash: 038E5922974E2F50227F03D9D3C44534
*/
public
class
DeterminismConstraintUI
extends
ConstraintUIBases
.
ConstraintUIBaseAutocheck
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/InterfaceTraceMatchConstraintUI.java
View file @
6684abf1
...
...
@@ -46,7 +46,6 @@ import org.fortiss.tooling.kernel.utils.EcoreUtils;
* Verifier UI for {@link InterfaceTraceMatchConstraint}.
*
* @author aravantinos
* @ConQAT.Rating GREEN Hash: F010C7CCA114D66F15DCAB9294A62F04
*/
public
class
InterfaceTraceMatchConstraintUI
extends
ConstraintUIBases
.
ConstraintUIBaseAutocheck
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/ReachabilityConstraintUI.java
View file @
6684abf1
...
...
@@ -58,7 +58,6 @@ import org.fortiss.tooling.kernel.utils.ConstraintsUtils;
* Verifier UI for {@link ReachabilityConstraint}.
*
* @author aravantinos
* @ConQAT.Rating YELLOW Hash: 4A065413801425E90F9FC618FE548FFB
*/
public
class
ReachabilityConstraintUI
extends
ConstraintUIBases
.
ConstraintUIBaseAutocheck
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/TLSpecificationConstraintUI.java
View file @
6684abf1
...
...
@@ -41,7 +41,6 @@ import org.fortiss.tooling.kernel.ui.service.IConstraintUIService;
/**
* Verifier UI for {@link TLSpecificationConstraint}.
*
* @ConQAT.Rating GREEN Hash: 24B68EB8800936F28AAA7785AEB4E74A
*/
public
class
TLSpecificationConstraintUI
extends
ConstraintUIBases
.
ConstraintUIBase
{
/** {@inheritDoc} */
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/TopComponentSignalsConstraintUI.java
View file @
6684abf1
...
...
@@ -35,7 +35,6 @@ import org.fortiss.tooling.kernel.ui.service.IModelEditorBindingService;
* Verifier UI for {@link TopComponentSignalsConstraint}.
*
* @author aravantinos
* @ConQAT.Rating GREEN Hash: 5CDAF8E6E49517A40BFC6F5511C40CA7
*/
public
class
TopComponentSignalsConstraintUI
extends
ConstraintUIBases
.
ConstraintUIBaseAutocheck
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/TraceSelectionDialog.java
View file @
6684abf1
...
...
@@ -31,7 +31,6 @@ import org.fortiss.af3.specification.modelchecking.af3tonusmv.CounterExample;
* Dialog to select a trace.
*
* @author kanav
* @ConQAT.Rating GREEN Hash: 51C40D4C3C8497FC1AC0694371934DBD
*/
public
class
TraceSelectionDialog
extends
TrayDialog
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/.ratings
View file @
6684abf1
ListEditorSection.java 0e16984f82d69835ee88fb4b2bfd1a116193ca69 GREEN
NonAtomicComponentVVDashboard.java 4f91e1636e102d1fd13ee448bbb08f45f83b0eab GREEN
NonAtomicComponentVVDashboardEditorBinding.java e48d06ed1cab1ff4b2386afaa3ce5cd426a53bf5 GREEN
StateAutomatonVVDashboard.java 2f021271cd0b50cd5db6cad83b41aebf548d14ea GREEN
StateAutomatonVVDashboardEditorBinding.java ad6ba45514590cfc81c0364461db5b1fa90e1e79 GREEN
VVDashboardBase.java cbc2641ecdc5994a56376940e789481be4c07773 GREEN
.ratings e05adb5b9238d478e9906a8672b4f022624f8da4 GREEN
ListEditorSection.java d09d331040c331224fdba37a815b13deca2f73bc GREEN
NonAtomicComponentVVDashboard.java f9e08be4bebe77b039a1e5b1838415e774d70a58 GREEN
NonAtomicComponentVVDashboardEditorBinding.java a0fcc91418a506463bd256fc7482bf4657809426 GREEN
StateAutomatonVVDashboard.java 90f81901fd7761687613a45d969c6d3ed7655037 GREEN
StateAutomatonVVDashboardEditorBinding.java a1996b84336eb5dcf04ec52161a8955a5c03196c GREEN
VVDashboardBase.java b599ac00a8d78931fbd34a3479503f956e24ac44 GREEN
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/ListEditorSection.java
View file @
6684abf1
...
...
@@ -29,7 +29,6 @@ import org.fortiss.af3.specification.ui.editor.trees.ConstraintsTree;
* Generic editor for a list of constraints.
*
* @author aravantinos
* @ConQAT.Rating GREEN Hash: 50051B54BFD40C2BDD70A928CD1B75E5
*/
public
class
ListEditorSection
implements
ISelectionProvider
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/NonAtomicComponentVVDashboard.java
View file @
6684abf1
...
...
@@ -25,7 +25,6 @@ import org.fortiss.af3.specification.ui.editor.trees.TLTree;
* Editor "V&V Dashboard" for non-atomic components.
*
* @author aravantinos
* @ConQAT.Rating GREEN Hash: 2E209E2065F9E66755CBE912E890112D
*/
public
class
NonAtomicComponentVVDashboard
extends
VVDashboardBase
<
Component
>
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/NonAtomicComponentVVDashboardEditorBinding.java
View file @
6684abf1
...
...
@@ -23,7 +23,6 @@ import org.fortiss.tooling.kernel.ui.extension.base.ModelEditorBindingBase;
* Editor binding for component analyses.
*
* @author aravantinos
* @ConQAT.Rating GREEN Hash: B014A06FA5FC8A433A0F23F3000613AD
*/
public
class
NonAtomicComponentVVDashboardEditorBinding
extends
ModelEditorBindingBase
<
IHierarchicElementContainer
>
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/StateAutomatonVVDashboard.java
View file @
6684abf1
...
...
@@ -32,7 +32,6 @@ import org.fortiss.af3.testing.constraint.StatisticCoverageConstraint;
* Editor "V&V Dashboard" for state automata.
*
* @author aravantinos
* @ConQAT.Rating GREEN Hash: E00C2737749CED92B612BAA150D21156
*/
public
class
StateAutomatonVVDashboard
extends
VVDashboardBase
<
StateAutomaton
>
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/StateAutomatonVVDashboardEditorBinding.java
View file @
6684abf1
...
...
@@ -23,7 +23,6 @@ import org.fortiss.tooling.kernel.ui.extension.base.ModelEditorBindingBase;
* Editor binding for component analyses.
*
* @author aravantinos
* @ConQAT.Rating GREEN Hash: DE81ACB61AFF1F95D051712B1DFD5BBE
*/
public
class
StateAutomatonVVDashboardEditorBinding
extends
ModelEditorBindingBase
<
IHierarchicElementContainer
>
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/VVDashboardBase.java
View file @
6684abf1
...
...
@@ -57,7 +57,6 @@ import org.fortiss.tooling.kernel.utils.ConstraintsUtils;
* Base for "V&V Dashboard" editors.
*
* @author aravantinos
* @ConQAT.Rating GREEN Hash: A22E0B82C50F8903D09251939F9F9488
*/
public
abstract
class
VVDashboardBase
<
T
extends
EObject
>
extends
FormsEditorBase
<
T
>
{
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/trees/.ratings
View file @
6684abf1
ConstraintsTree.java e7f9d749e3927ee089b72a9bb6d95f79a560ad36 GREEN
OCRAContractTree.java a66f908cc2477b295ea5b08e0292f42298181a4a GREEN
TLTree.java 06fddccb0d69330b12789495e537106ffcc52542 GREEN
TestTree.java 3ce42c2c20ea9ab945366cf1346f7228d4cdd349 GREEN
TracesTree.java 1625251437a078f8913ca288b8c974bc1bd6e688 GREEN
.ratings 24ca5b9b1067dd3bc21ba558488e47009310d0cb GREEN
ConstraintsTree.java 0e1be032628e920486e27fc9d9f7b93f2d283305 GREEN
OCRAContractTree.java b23976771ef8a9b76492f74f89842bbd5acd4f80 GREEN
TLTree.java 3045679032306d81cc1dd38b84cd957a188c175c GREEN
TestTree.java ef7cb6f5c27460211baeea8686b6088e76cf386d GREEN
TracesTree.java 028a6a69ca26beb805c9581876ab05c132494301 GREEN
Prev
1
2
3
4
5
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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