Skip to content
Snippets Groups Projects
Commit d4831b44 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

Re-introduced @Override annotations. This should require a Java 1.6 based...

Re-introduced @Override annotations. This should require a Java 1.6 based build, which will be activated with the next commit.
parent 01ca2d67
No related branches found
No related tags found
No related merge requests found
...@@ -93,6 +93,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter { ...@@ -93,6 +93,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter {
super.caseABoolSetExpression(node); super.caseABoolSetExpression(node);
} }
@Override
public String toString() { public String toString() {
return sb.toString(); return sb.toString();
} }
...@@ -118,6 +119,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter { ...@@ -118,6 +119,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter {
writeSpace(); writeSpace();
} }
@Override
public void caseAEvent(AEvent node) { public void caseAEvent(AEvent node) {
inAEvent(node); inAEvent(node);
write("EVENT"); write("EVENT");
...@@ -188,6 +190,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter { ...@@ -188,6 +190,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter {
} }
} }
@Override
public void caseASkipSubstitution(ASkipSubstitution node) { public void caseASkipSubstitution(ASkipSubstitution node) {
write("SKIP"); write("SKIP");
writeSpace(); writeSpace();
...@@ -208,6 +211,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter { ...@@ -208,6 +211,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter {
outAConjunctPredicate(node); outAConjunctPredicate(node);
} }
@Override
public void caseAVariablesModelClause(AVariablesModelClause node) { public void caseAVariablesModelClause(AVariablesModelClause node) {
inAVariablesModelClause(node); inAVariablesModelClause(node);
{ {
...@@ -224,6 +228,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter { ...@@ -224,6 +228,7 @@ public class AstPrettyPrinter extends DepthFirstAdapter {
outAVariablesModelClause(node); outAVariablesModelClause(node);
} }
@Override
public void caseAInvariantModelClause(AInvariantModelClause node) { public void caseAInvariantModelClause(AInvariantModelClause node) {
inAInvariantModelClause(node); inAInvariantModelClause(node);
{ {
......
...@@ -33,10 +33,10 @@ public class DisproverReasonerInput implements IReasonerInput { ...@@ -33,10 +33,10 @@ public class DisproverReasonerInput implements IReasonerInput {
RELEVANT, SELECTED, ALL RELEVANT, SELECTED, ALL
} }
private HypothesesSource hypothesesSource; private final HypothesesSource hypothesesSource;
private IProofTreeNode node; private final IProofTreeNode node;
private boolean useDisproverPrefs; private final boolean useDisproverPrefs;
private boolean useContexts; private final boolean useContexts;
private List<ISCContextRoot> contexts; private List<ISCContextRoot> contexts;
private Set<String> constants; private Set<String> constants;
...@@ -66,15 +66,18 @@ public class DisproverReasonerInput implements IReasonerInput { ...@@ -66,15 +66,18 @@ public class DisproverReasonerInput implements IReasonerInput {
this.timeout = timeout; this.timeout = timeout;
} }
@Override
public void applyHints(ReplayHints renaming) { public void applyHints(ReplayHints renaming) {
// TODO Auto-generated method stub // TODO Auto-generated method stub
} }
@Override
public String getError() { public String getError() {
// TODO Auto-generated method stub // TODO Auto-generated method stub
return null; return null;
} }
@Override
public boolean hasError() { public boolean hasError() {
// TODO Auto-generated method stub // TODO Auto-generated method stub
return false; return false;
......
...@@ -24,6 +24,7 @@ public class DisproverActivator extends AbstractUIPlugin { ...@@ -24,6 +24,7 @@ public class DisproverActivator extends AbstractUIPlugin {
* org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext * org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext
* ) * )
*/ */
@Override
public void start(BundleContext context) throws Exception { public void start(BundleContext context) throws Exception {
super.start(context); super.start(context);
plugin = this; plugin = this;
...@@ -36,6 +37,7 @@ public class DisproverActivator extends AbstractUIPlugin { ...@@ -36,6 +37,7 @@ public class DisproverActivator extends AbstractUIPlugin {
* org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext * org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext
* ) * )
*/ */
@Override
public void stop(BundleContext context) throws Exception { public void stop(BundleContext context) throws Exception {
plugin = null; plugin = null;
super.stop(context); super.stop(context);
......
...@@ -35,6 +35,7 @@ public class DisproverTacticProvider extends DefaultTacticProvider { ...@@ -35,6 +35,7 @@ public class DisproverTacticProvider extends DefaultTacticProvider {
this.hyps = hyps; this.hyps = hyps;
} }
@Override
public ITactic getTactic(String[] inputs, String globalInput) { public ITactic getTactic(String[] inputs, String globalInput) {
return getTactic(node, globalInput, inputs); return getTactic(node, globalInput, inputs);
} }
...@@ -48,6 +49,7 @@ public class DisproverTacticProvider extends DefaultTacticProvider { ...@@ -48,6 +49,7 @@ public class DisproverTacticProvider extends DefaultTacticProvider {
Disprover.createDisproverReasoner(), reasonerInput); Disprover.createDisproverReasoner(), reasonerInput);
} }
@Override
public String getTacticID() { public String getTacticID() {
return "de.prob.eventb.disprover.ui.disproverTactic"; return "de.prob.eventb.disprover.ui.disproverTactic";
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment