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
5d5288a4
Commit
5d5288a4
authored
Apr 10, 2018
by
Simon Barner
Browse files
RED
(only update ratings, no actual review)
parent
7bfea512
Changes
16
Hide whitespace changes
Inline
Side-by-side
org.fortiss.af3.exploration.ui/trunk/src/org/fortiss/af3/exploration/ui/perspective/constraint/.ratings
View file @
5d5288a4
...
...
@@ -3,4 +3,4 @@ ConstraintPatternHeader.java c8b3e7d3eb4922fef4c20793f39b72c0a022998d RED
ConstraintViewBackend.java d06cfc60a8d2d572f331dd6a46db1ffddbb4e507 RED
FunctionCouplingCompositeBackend.java 816ae4ba8bd4e00a8ed10c3f082fd14a93a8b755 RED
MemoryPatternBackend.java 4d576ead43b8e65febb56ad1840a078e4070085c RED
SafetyPatternBackend.java
ed140c2660b582d32f24c72d3c86ef3a6ce58eea
RED
SafetyPatternBackend.java
0aca96ab99e0950d1be2099184647630a655b348
RED
org.fortiss.af3.exploration.ui/trunk/src/org/fortiss/af3/exploration/ui/perspective/dashboard/projectwizard/.ratings
View file @
5d5288a4
DashboardWizard.java
7061851d640bb190099f901765aa1f7f2a4a26b2
RED
DashboardWizard.java
02145b69b142e96889eeaf864363c95d92abb3fa
RED
DashboardWizardSelectLA.java d4235716eda878d6545a96205cf7b132250dc35e RED
DashboardWizardSelectProjectSource.java 0be8ef85a6264b141b893acd120e79dcf58b7c5a RED
DashboardWizardSelectTA.java 524c82afa4262a6cdffbc58985206a63df05a0ec RED
org.fortiss.af3.exploration.ui/trunk/src/org/fortiss/af3/exploration/ui/perspective/generic/.ratings
View file @
5d5288a4
...
...
@@ -3,7 +3,7 @@ DSEPerspectiveViewBase.java 88655c24974a85acad5831a220a27fb025af7ef0 RED
DseSaveableView.java 22835778bfb4feab96f3a3b6cc2ce84ea966566d RED
HelpComposite.java 0f7de17a0363d5250e6ccb2f6e91a5f6a0553688 RED
HelpView.java fd7e374fdc92d6c30df9a743e6b2fdfe45a3e262 RED
SynthesisViewBase.java c
bb419af6e1248f58af2450ed313b36e4e4faf3e
RED
SynthesisViewBase.java c
e4d7451907e6d29d73ceac93f6256060b01d0b3
RED
SynthesisViewBase2.java 8b11fa8b649a1d720748958da7302efebae77c24 RED
SynthesisViewBase2Composite.java 4a6b0b05e47167dd63f8338abc9e3b2bc846b12b RED
UtilizationPatternBackend.java 12874f76e51f91b2bea00f1238fe610ee6f39f8c RED
org.fortiss.af3.exploration.ui/trunk/src/org/fortiss/af3/exploration/ui/perspective/navigator/.ratings
View file @
5d5288a4
DSENavigator.java
2814cffdde386f99eb0fb041fb385f1e63be8d8
4 RED
DSENavigatorLabelProvider.java
8811adeaa0cdf1fe994db479cba7027f177b4b7e
RED
DSENavigatorTreeContentProvider.java
10a0aaaa4e6a37a550f3bec0cb785b7ca60398ca
RED
DSENavigator.java
7792a255fe9d94d32eef836b61effbd1791d12c
4 RED
DSENavigatorLabelProvider.java
966326ff971ecd5af028f366b966271aa439b146
RED
DSENavigatorTreeContentProvider.java
c015228bd147294aab613ea5c2377fe981f3df49
RED
DSEProcessNavigator.java eca832796af53fd01f5e4cb243cad7031cfe48b7 RED
NavigatorFilter.java b19977d7204f47696bd611cf64aae7935d1deca6 RED
org.fortiss.af3.exploration.ui/trunk/src/org/fortiss/af3/exploration/ui/perspective/objective/.ratings
View file @
5d5288a4
BusBandwidthOptimzationBackend.java 716a924fc917fde134b0092e38096ced0cfae3dd RED
BusEliminationBackend.java
2a59e676986244b1c5d1c6a2459276c970932ba9
RED
BusEliminationBackend.java
792b9bed0be6965d6ee747d36fd972b3c34a4020
RED
HardwareOptimizationPatternCompositeBackend.java 4ce94aae3484ff7585e6ff24b62fdda70559e598 RED
ObjectiveViewBackend.java 6a15f25b474cea8b9ef1bf3517276641691b1b24 RED
org.fortiss.af3.exploration.ui/trunk/src/org/fortiss/af3/exploration/ui/perspective/synthesis/.ratings
View file @
5d5288a4
DeploymentSynthesisViewBackend.java d345b691012726a92f9ffa6bafab34e231628f4c RED
ExplorationSynthesisView.java b4b02d2727254cbd0636b79fdf3e1b61c3cb1318 RED
PlatformSynthesisViewBackend.java 5fe5715872810a72030aea1f1db65e73bd06d5a6 RED
ScheduleSynthesisViewBackend.java
2553687b90aa211979782cf0fca37792c93baacd
RED
ScheduleSynthesisViewBackend.java
63a02f3af63114edae895a64f0e6e743a320bfe4
RED
org.fortiss.af3.exploration.ui/trunk/src/org/fortiss/af3/exploration/ui/perspective/synthesis/subsetwizards/.ratings
View file @
5d5288a4
ConstraintSetWizard.java 7a5b0fb83d47c84fb6d0c8e4df5f7baf42ad3c54 RED
ConstraintSetWizardContentProvider.java
55d5a41a0554e6a9059e2350e9125b09e05719ef
RED
ConstraintSetWizardContentProvider.java
dd32ab781d3eec2b76b6c4b3e5a6949fd3cbe05e
RED
ConstraintSetWizardPageBackend.java 7889b4ca620b2336bceb7e9018b5103870efd974 RED
ConstraintWizardLabelProvider.java 4ebef79ac02da97f546be9518d87fd838224a3ff RED
ModifiySubSetWizard.java 9511a81079c36983755caa6f4f303b15d1be1272 RED
ModifyWizardPage.java 97cadbef2e1f8146b230c97c057839d9eeb1687f RED
ObjectiveSetWizardContentProvider.java
9cd121baecabe6165ae8e8f5c8563327b3d557e1
RED
ObjectiveSetWizardContentProvider.java
42d2b5f6b055d5687d9d14b39f0dce806085056b
RED
ObjectivesSetWizardPageBackend.java 5ef6d00ede479f53933cac3c7b221f13b5381794 RED
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/.ratings
View file @
5d5288a4
...
...
@@ -3,8 +3,8 @@ CodeSpecVVDashboardEditorBinding.java 86398a6bda20eb532b76c31e61eaceae51e17d4d G
ListEditorSection.java d09d331040c331224fdba37a815b13deca2f73bc GREEN
NonAtomicComponentVVDashboard.java cf00860cfde8ae666e1967ae100c31fd1a847d85 GREEN
NonAtomicComponentVVDashboardEditorBinding.java a0fcc91418a506463bd256fc7482bf4657809426 GREEN
RequirementVVDashboard.java
b99428a26586b3af021abe7bc953dd9b09fc8d47 GREEN
RequirementVVDashboardBinding.java
275b00aba4e93440418ccaeea3041e0390dd0c01 GREEN
RequirementVVDashboard.java
9f4d76383fe387b155afc3a0d4e3a00b382e83a6 RED
RequirementVVDashboardBinding.java
70c96cefca578d4f993d0edcef76b711337e7588 RED
StateAutomatonVVDashboard.java 06ec05b7832a302f0d4aa33d1822e821623e0572 GREEN
StateAutomatonVVDashboardEditorBinding.java a1996b84336eb5dcf04ec52161a8955a5c03196c GREEN
VVDashboardBase.java f68968db27057e1564683af35fa41abe4132cfa3 GREEN
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/RequirementVVDashboard.java
View file @
5d5288a4
...
...
@@ -22,8 +22,9 @@ import org.fortiss.af3.mira.model.Requirement;
import
org.fortiss.tooling.kernel.extension.IConstraint
;
import
org.fortiss.tooling.kernel.model.constraints.ConstraintInstance
;
//TODO(SB, 3): Class comment
/**
*
*
* @author vivek
*
*/
...
...
@@ -40,6 +41,7 @@ public class RequirementVVDashboard extends VVDashboardBase<Requirement> {
(
Class
<?
extends
IConstraint
>)
Class
.
forName
(
c
.
getConstraintName
());
singleCheckGUI
(
checkSection
,
className
,
req
);
}
catch
(
ClassNotFoundException
e
)
{
// TODO(SB, 16): Use LoggingUtils.error to format a proper error message
e
.
printStackTrace
();
}
}
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/RequirementVVDashboardBinding.java
View file @
5d5288a4
...
...
@@ -21,6 +21,7 @@ import org.eclipse.ui.IEditorPart;
import
org.fortiss.tooling.base.model.element.IHierarchicElementContainer
;
import
org.fortiss.tooling.kernel.ui.extension.base.ModelEditorBindingBase
;
// TODO(SB, 3): Class comment
/**
*
* @author vivek
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/trees/.ratings
View file @
5d5288a4
ConstraintsTree.java 0e1be032628e920486e27fc9d9f7b93f2d283305 GREEN
OCRAContractTree.java
36045e5c
28
e
4a
15792d94ab439972ff05e860571
YELLOW
OCRAContractTree.java
098
284a
fad45d5cbdfceabbfad89855bed7c2f73
YELLOW
TLTree.java 3045679032306d81cc1dd38b84cd957a188c175c GREEN
TestTree.java ef7cb6f5c27460211baeea8686b6088e76cf386d GREEN
TracesTree.java 028a6a69ca26beb805c9581876ab05c132494301 GREEN
org.fortiss.af3.specification/trunk/src/org/fortiss/af3/specification/constraint/.ratings
View file @
5d5288a4
AbstractFormalVerificationConstraint.java aa88d27c8f9c0934f4bfb6ab351ef9784c56b61a RED
AdmissibleNoVALConstraint.java 0df3f404dc339332857da27efc3dcf8a61f84854 GREEN
BoundsConstraint.java
78501d08c5213eb06520d8642
da77
e2abc9e09bd
RED
BoundsConstraint.java
044a58
da
1
77
d3482ba14701a75ba9fc21fec3262
RED
ContractConstraint.java 74920f06bfb47535b9445e650b9ae331c0a135a7 GREEN
DeterminismConstraint.java
b048bd90ae3e068eb963b0cd227
d1
b
c2
366e6ddf
RED
DeterminismConstraint.java
f2c86b3233c5
d1
7
c2
cdb64eeb69fd839f98908d6
RED
FailedNoValAdmin.java c29f3aea4b56aa30c90b890f91e49d0f1d2d7465 GREEN
InterfaceTraceMatchConstraint.java becb05e4245f95dcc871d8670c047bdfc2822451 GREEN
ReachabilityConstraint.java
247b6c1defb4ce6635b71f5d36e7184512694c34
RED
ReachabilityConstraint.java
0a69cbad301d6fffb64b358f9a1fd92cb5020837
RED
StateAutomatonConstraintBase.java 632782cb5949e5a530a612bd09a71d135be66a90 GREEN
TLSpecificationConstraint.java a4e308eb9b3f78df39f0650ac4305571c828a2f0 RED
TopComponentSignalsConstraint.java db406bec43ff5c07f11214605080317f03b86fec GREEN
org.fortiss.af3.specification/trunk/src/org/fortiss/af3/specification/generator/nusmv/.ratings
View file @
5d5288a4
AddAssumptionForCycle.java 72f7a4e20024a28c54852f9f72ee91c0fa9ad95b RED
ArrayToStructValueGenerator.java 2df5190242c2164457190842e79445bb64ff4dc8 RED
CreateValueGeneratorsForCounterExample.java
e00f07e81be2a2efe0c8aa0320012edf1f38b5ac
RED
CreateValueGeneratorsForCounterExample.java
d833f9ef6af41a4ad6d45ace914aa433211ce210
RED
FlattenDefinitionForCounterExample.java 3aaccdce76931f25dac17513b7537a59e8796938 RED
OCRACounterExample.java 6508efa090aef3601787db29b49814b02e4c2f31 RED
ResolveNoValForCounterExample.java a9f644a51219b556f6c2f5ff07604257334ad4d6 RED
...
...
org.fortiss.af3.specification/trunk/src/org/fortiss/af3/specification/modelchecking/af3tonusmv/.ratings
View file @
5d5288a4
AF3ToNuSMVTransformation.java 443a9e70ae46e124c730cc07212ff7db7b47d2a0 RED
CounterExample.java a7316a303c69ba23c6cf8288d4c3c1b99ae99d47 RED
CounterExampleSimulator.java 7181e87d4a505ec7d13ce60cf31c2b2ff5cdc9b0 RED
ModelCheckingAnalysis.java
847d6c0ca986525ffda2a5a4570d942b6c13c5b8
RED
ModelCheckingAnalysis.java
5a2c408490ad9f609da185dabb0c2bc5032aee1c
RED
NuSMVTransformations.java 01026cdad47e08d8166cf457cccca24447080724 RED
OCRAAnalysis.java
a
18
68dedd12ad7edf34c1fb8c05097be0269a512
RED
OCRAAnalysis.java
0
18
74a6841ff5418297fa573d99bbd2c155b47bc
RED
ParseResult.java 94a6d9e340f1006249a83448a1ae5a7483dcdee8 RED
org.fortiss.af3.specification/trunk/src/org/fortiss/af3/specification/modelchecking/counterexample/.ratings
View file @
5d5288a4
...
...
@@ -7,4 +7,4 @@ IPortValueGenerator.java c8724afc977e1962108b24f8cc6571ef2b40077f GREEN
IntegerValueGenerator.java c56be38692804f13bb93a940a8b86f31ca604493 GREEN
NoValHandledValueGenerator.java b063f84aafbebe6aec29b2ff2ff7e5777ce6aaf2 GREEN
PortValueGeneratorBase.java 7c2c16a7027e2e96aa9e6eea8db000c98c33c99e GREEN
StructureValueGenerator.java
fd0aee5faf0be727ead4517cc47e87ab5e9a79e9
RED
StructureValueGenerator.java
d8948ed2ddd601f282bfa546ac20e1f9a17a543f
RED
org.fortiss.af3.tools/trunk/src/org/fortiss/af3/tools/nusmv/run/.ratings
View file @
5d5288a4
EModelCheckingType.java 099480024bb20d6de3b83897b78e95860a43d20f GREEN
ModelCheckingException.java a5fb04f1b617590328c26a17ba085558cc470f70 GREEN
NuSMVResultBuilder.java bca2771ad0d93bbb51e26086409c9a65821254ad GREEN
NuSMVRunner.java
f01be6e3449650f
c6
7
f5
50eab852e06a03fcc9ad
RED
NuSMVRunner.java
70eb0d57846e2b8b5cf8
c6f5
31897fc276fc71ff
RED
Specification.java 4a8059e33eb36db13e135c08906e27f3a361f3fb GREEN
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