projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
These checking do the reconstruction of the model and invoke concrete repairs.
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
IR
/
ImplicitSchema.java
diff --git
a/Repair/RepairCompiler/MCC/IR/ImplicitSchema.java
b/Repair/RepairCompiler/MCC/IR/ImplicitSchema.java
index 7e8aee5aca37d2697b51692012c827031155e76c..b00c06b31d335cfc1671c2789f83d74ee93a71b9 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/IR/ImplicitSchema.java
+++ b/
Repair/RepairCompiler/MCC/IR/ImplicitSchema.java
@@
-1,5
+1,7
@@
package MCC.IR;
import MCC.State;
+import MCC.Compiler;
+
import java.util.*;
public class ImplicitSchema {
@@
-11,7
+13,9
@@
public class ImplicitSchema {
}
public void update() {
- updaterules();
+ if (Compiler.REPAIR) {
+ updaterules();
+ }
updateconstraints();
updaterelationconstraints();
}