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
92f20b74
Commit
92f20b74
authored
Nov 28, 2017
by
Sudeep Kanav
Browse files
ratings migrated
refs 3177
parent
800c11ce
Changes
138
Hide whitespace changes
Inline
Side-by-side
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/.ratings
View file @
92f20b74
AF3OCRAActivator.java d60b19a2918300aec285ddfb27afc9c6dbf166cb GREEN
.ratings aa1986696e1977d841b1f74c9e6626df3fc094fa GREEN
AF3OCRAActivator.java 52dea8f5bdc2ab7a7e09cd2c6c25727f1e91382b GREEN
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/AF3OCRAActivator.java
View file @
92f20b74
...
...
@@ -22,7 +22,6 @@ import org.osgi.framework.BundleContext;
* The activator class controls the plug-in life cycle.
*
* @author creator
* @ConQAT.Rating GREEN Hash: 6D3CC2F581F812E9667447980437FCBD
*/
public
class
AF3OCRAActivator
extends
Plugin
{
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/compose/.ratings
View file @
92f20b74
.ratings
5cad5d8c13b594c83a977681895f26351836980b YELLOW
OCRAContractComponentCompositor.java
064968bc51180fb36376be7332b08e93cebd8e9a YELLOW
.ratings
19b1c71815e2601d43ca844b85a17b34544c740f GREEN
OCRAContractComponentCompositor.java
bc3952a161ed5120a83227bf5a2f91fbfad48686 GREEN
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/compose/OCRAContractComponentCompositor.java
View file @
92f20b74
...
...
@@ -29,7 +29,6 @@ import org.fortiss.tooling.kernel.extension.data.Prototype;
* Compositor for {@link ContractContainer}.
*
* @author kanav
* @ConQAT.Rating GREEN Hash: 618D3E7C9958D2BCF44E2B3E5B333900
*/
public
class
OCRAContractComponentCompositor
extends
HierarchicElementCompositorBase
<
Component
>
{
/** {@inheritDoc} */
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/constraint/.ratings
View file @
92f20b74
ContractConstraintChecker.java 7ec70f3730647e5c69b29653cd7bbd7ccd2d2880 GREEN
OCRATypeChecker.java c016ae3e686cc581218a754462771e7fb373a60e GREEN
.ratings 5cc496fd052f8d402946e39850e3f2618da636af GREEN
ContractConstraintChecker.java 6b77baf7553cbbb78705e722febb542e3498bda0 GREEN
OCRATypeChecker.java 70db401b86cabd4293ccab1df95bd7ace2924d2d GREEN
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/constraint/ContractConstraintChecker.java
View file @
92f20b74
...
...
@@ -20,7 +20,6 @@ import org.fortiss.tooling.kernel.utils.EcoreUtils;
* Constraint checker for contracts.
*
* @author kanav
* @ConQAT.Rating GREEN Hash: 7D335F40C093DA46BE3A2F854BB1AC14
*/
public
class
ContractConstraintChecker
extends
ConstraintCheckerBase
<
Contract
>
{
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/constraint/OCRATypeChecker.java
View file @
92f20b74
...
...
@@ -23,7 +23,6 @@ import org.fortiss.af3.project.utils.VariableScopeUtils;
* Type checker for OCRA expressions.
*
* @author kanav
* @ConQAT.Rating GREEN Hash: 64CCE55FE9749D5F8F8D562F7278DD91
*/
public
class
OCRATypeChecker
extends
TypeChecker
{
/** {@inheritDoc} */
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/generator/nusmv/.ratings
View file @
92f20b74
OCRABooleanComparisonWorkaroundTransformation.java 9bbad4fe5140ada980a4eebdcc98e439dddb602b GREEN
ResolveNoVal.java 9dea1ba5d36594db7dcc7b675fc0234a1a54cc3b GREEN
.ratings c769aed24cae00284fe1f804afe9b14c4e9d95bb GREEN
OCRABooleanComparisonWorkaroundTransformation.java acd25827983f323c0f6b2e91b6530aa45e77bb82 GREEN
ResolveNoVal.java 9ba4d5826ef0333696ade1262db753798fa5572a GREEN
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/generator/nusmv/OCRABooleanComparisonWorkaroundTransformation.java
View file @
92f20b74
...
...
@@ -48,7 +48,6 @@ import org.fortiss.pragmatictransformation.service.IPragmaticTransformation;
* </p>
*
* @author kanav
* @ConQAT.Rating GREEN Hash: 40D20345EFE0D9D8C56BDDDF4C47002D
*/
public
class
OCRABooleanComparisonWorkaroundTransformation
extends
CacheSupportedTransformationBase
{
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/generator/nusmv/ResolveNoVal.java
View file @
92f20b74
...
...
@@ -38,7 +38,6 @@ import org.fortiss.pragmatictransformation.service.IPragmaticTransformation;
* The remaining parts are in the {@code generator.nusmv} package of the {@code af3.component} and
* {@code af3.state} plugins.
*
* @ConQAT.Rating GREEN Hash: 5BA1A4EF857523A80C2068C66140097E
*/
public
class
ResolveNoVal
extends
CacheSupportedTransformationBase
{
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/language/.ratings
View file @
92f20b74
OCRACompiler.java f1246abf96a9c33ae562c3f5015f9890a0885550 GREEN
.ratings c0c30d2a2e8a0f8973b52142994829382f60fb6f GREEN
OCRACompiler.java b413a0fb688f4b294145a76ae25505d5aa5792e0 GREEN
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/language/OCRACompiler.java
View file @
92f20b74
...
...
@@ -32,7 +32,6 @@ import org.fortiss.af3.ocra.model.parser.OCRAExpressionParser;
* Compiler for terms and types of the expression language.
*
* @author hoelzl
* @ConQAT.Rating GREEN Hash: 80DA0EFBFC9C6722F74C1BB6C23BA5D7
*/
public
final
class
OCRACompiler
{
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/model/contract/ocraterms/impl/.ratings
View file @
92f20b74
OthelloConstraintStaticImpl.java 55e1f95b1abb2ea34acc8031a4905dad0da01d46 GREEN
.ratings 01cee6eb2d2eb9fa85c6ee99b45c932441dac780 GREEN
OthelloConstraintStaticImpl.java b2189348d09780f93b37c2e1f8f60f62e65a59a9 GREEN
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/model/contract/ocraterms/impl/OthelloConstraintStaticImpl.java
View file @
92f20b74
...
...
@@ -27,7 +27,6 @@ import org.fortiss.af3.ocra.model.contract.ocraterms.UnaryOCRATerm;
/**
* The complex implementation for methods of {@link OthelloConstraintImpl}.
*
* @ConQAT.Rating GREEN Hash: E8B8C004B7CE7457A31D02D87D2302CA
*/
public
class
OthelloConstraintStaticImpl
{
/** Converts an {@link OthelloConstraint} to a {@link String}. */
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/model/parser/.ratings
View file @
92f20b74
OCRAExpressionParserBase.java 6a4abe7e2e67fe62d3ec757667f4c0e67d4f5558 GREEN
.ratings e47473a621bed83558254d139c4bfea56a4f96ba GREEN
OCRAExpressionParserBase.java 6defb345080c5e68a057dc66423e71ff8495b445 GREEN
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/model/parser/OCRAExpressionParserBase.java
View file @
92f20b74
...
...
@@ -24,7 +24,6 @@ import org.antlr.runtime.TokenStream;
* Base class of the {@link OCRAExpressionParser}. To be noted that {@link OCRAExpressionParser} is
* generated from the grammar file.
*
* @ConQAT.Rating GREEN Hash: 655B333EC3C4A5F528600F61A68F2058
*/
/* package */
class
OCRAExpressionParserBase
extends
Parser
{
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/run/.ratings
View file @
92f20b74
OCRAResultBuilder.java 7ffe871503328c57db5772924391b65be367110a GREEN
OCRARunner.java e27279db7dea35919c46366359f1a966c21f3411 RED
.ratings 0c48b4961f14344ff724de34f46f1364e0184780 GREEN
OCRAResultBuilder.java 94aea838dfbe4864e73315ed6a1a039a406c5eda GREEN
OCRARunner.java 61e6d8eecda425c8a417fe87e082c169fadec0d7 RED
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/run/OCRAResultBuilder.java
View file @
92f20b74
...
...
@@ -52,7 +52,6 @@ import org.fortiss.af3.tools.nusmv.xml.counterexample.Value;
* Builder for {@link NuSMVResult} representing OCRA result. There is no separate class for OCRA
* results.
*
* @ConQAT.Rating GREEN Hash: 70A1F669D2D45736F725A1C1D34A03E0
*/
public
class
OCRAResultBuilder
{
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/run/OCRARunner.java
View file @
92f20b74
...
...
@@ -54,7 +54,6 @@ import org.fortiss.af3.tools.nusmv.run.NuSMVRunner;
* Class for running NuSMV.
*
* @author ratiu
* @ConQAT.Rating RED Hash: A3141774D5F5796D6EE4E70DD7766CEA
*/
public
class
OCRARunner
extends
ToolRunnerBase
<
Component
,
NuSMVResult
>
{
...
...
org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/textgen/.ratings
View file @
92f20b74
OCRATextGenerator.java e31acfb0a29f1cf83b5ab762e6c460c72ad974db GREEN
.ratings f6d35461720c224a2197b962911111ea382e31c8 GREEN
OCRATextGenerator.java e89e001d59372d1a9e58cde8ffad1f54f7095622 GREEN
Prev
1
2
3
4
5
…
7
Next
Write
Preview
Markdown
is supported
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