Commit 3097dd91 authored by Simon Barner's avatar Simon Barner
Browse files

Eliminate unused variables

parent 29336821
......@@ -5,5 +5,5 @@ HelpComposite.java 0f7de17a0363d5250e6ccb2f6e91a5f6a0553688 RED
HelpView.java fd7e374fdc92d6c30df9a743e6b2fdfe45a3e262 RED
SynthesisViewBase.java ce4d7451907e6d29d73ceac93f6256060b01d0b3 RED
SynthesisViewBase2.java 8b11fa8b649a1d720748958da7302efebae77c24 RED
SynthesisViewBase2Composite.java 4a6b0b05e47167dd63f8338abc9e3b2bc846b12b RED
SynthesisViewBase2Composite.java 12ed97b5ce1b5bdd409b034b95d803c135ab48ba RED
UtilizationPatternBackend.java 12874f76e51f91b2bea00f1238fe610ee6f39f8c RED
......@@ -143,7 +143,6 @@ public class SynthesisViewBase2Composite extends Composite {
tblclmnObjectiveAuthor.setText("Author");
objectiveSetsCommentColumn = new TableViewerColumn(objectiveSetsTable, SWT.NONE);
TableColumn tblclmnObjectiveComment = objectiveSetsCommentColumn.getColumn();
tblclmnObjectiveAuthor.setWidth(100);
tblclmnObjectiveAuthor.setText("Comment");
......
......@@ -2,6 +2,6 @@ AF3ToNuSMVTransformation.java 443a9e70ae46e124c730cc07212ff7db7b47d2a0 RED
CounterExample.java a7316a303c69ba23c6cf8288d4c3c1b99ae99d47 RED
CounterExampleSimulator.java 7181e87d4a505ec7d13ce60cf31c2b2ff5cdc9b0 RED
ModelCheckingAnalysis.java 5a2c408490ad9f609da185dabb0c2bc5032aee1c RED
NuSMVTransformations.java 01026cdad47e08d8166cf457cccca24447080724 RED
NuSMVTransformations.java 618e8aae395bee093eef5db221dd8434dba644c8 RED
OCRAAnalysis.java 01874a6841ff5418297fa573d99bbd2c155b47bc RED
ParseResult.java 94a6d9e340f1006249a83448a1ae5a7483dcdee8 RED
......@@ -30,8 +30,6 @@ public class NuSMVTransformations {
/** Copy project transformation */
private IPragmaticTransformation copyProjectTransformation;
/** Transformation resolving stand alone booleans, e.g. @code{x} to @code{x==true}. */
private IPragmaticTransformation standaloneBooleans;
/** Transformation converting code specification to state automaton */
private IPragmaticTransformation codeSpecTransformation;
/** Transformation to make names unique. */
......@@ -77,8 +75,6 @@ public class NuSMVTransformations {
public NuSMVTransformations() {
copyProjectTransformation = AF3ToNuSMVTransformation.getCopyProjectTransformation();
standaloneBooleans =
AF3ToNuSMVTransformation.getResolveStandaloneBooleanVarsTransformation();
codeSpecTransformation = AF3ToNuSMVTransformation.getCodeSpecTransformation();
namesTransformation = AF3ToNuSMVTransformation.getNamesTransformation();
functionDefinitionToSingleStatementTransformation =
......
Supports Markdown
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