@SuppressWarnings("unchecked")
public VerificationResult verify() {
Quantifier quantifier = criterion.getQuantifiers().get(0);
List<Object> firstSet = null;
try {
firstSet = quantifier.getRightPart().getSet(null);
} catch (MappingException e) {
e.printStackTrace();
}
assert firstSet != null;
for (int i = 0; i < firstSet.size(); ++i) {
Object o = firstSet.get(i);
HistoryItem historyItem = new HistoryItem();
historyItem.getVariableValue().variable = quantifier.getBoundVariable();
historyItem.getVariableValue().value = o;
wholeHistory.add(historyItem);
verify(historyItem, 1);
}
// ��� �� �����
// "�������������� �������".
// �������� �
// ��������������
VerificationResult result = analyseHistory();
LOGGER.error(result.toString());
return result;
}
private boolean analyseHistory(HistoryItem historyItem) {
int d = historyItem.getDepth();
if (d < criterion.getQuantifiers().size()) {
Quantifier quantifier = criterion.getQuantifiers().get(d);
int counter = 0;
for (int i = 0; i < historyItem.getChildren().size(); ++i) {
if (analyseHistory(historyItem.getChildren().get(i))) {
++counter;
}
}
boolean result = false;
switch (quantifier.getType()) {
case ALL:
if (counter == historyItem.getChildren().size()) {
result = true;
} else {
LOGGER.debug("!ALL " + counter + " ; " + historyItem.getChildren().size());
}
break;
case EXIST:
if (counter > 0) {
result = true;
} else {
LOGGER.debug("!EXI " + counter + " ; " + historyItem.getChildren().size());
}
break;
case ALONE:
if (counter == 1) {
result = true;
} else {
LOGGER.debug("!ALO " + counter + " ; " + historyItem.getChildren().size());
}
break;
}
return result;
} else {
return historyItem.isSuccess();
}
}
// /olololo
@SuppressWarnings("unchecked")
private void verify(HistoryItem parentHistoryItem, int currentIndex) {
assert currentIndex > 0 : "Bad index";
if (currentIndex < criterion.getQuantifiers().size()) {
Quantifier quantifier = criterion.getQuantifiers().get(currentIndex);
List<Object> set = null;
try {
set = quantifier.getRightPart().getSet(parentHistoryItem.getPlainHistory());
} catch (MappingException e) {
e.printStackTrace();
}
assert set != null;
if (set.isEmpty()) {
// parentHistoryItem.setSuccess(false);
HistoryItem historyItem = new HistoryItem();
historyItem.getVariableValue().variable = quantifier.getBoundVariable();
historyItem.getVariableValue().value = null;
historyItem.setParent(parentHistoryItem);
parentHistoryItem.getChildren().add(historyItem);
verify(historyItem, currentIndex + 1);
}
for (int i = 0; i < set.size(); ++i) {
Object o = set.get(i);
HistoryItem historyItem = new HistoryItem();
historyItem.getVariableValue().variable = quantifier.getBoundVariable();
historyItem.getVariableValue().value = o;
historyItem.setParent(parentHistoryItem);
parentHistoryItem.getChildren().add(historyItem);
verify(historyItem, currentIndex + 1);
}
} else {
List<VariableValue> currentVariables = parentHistoryItem.getPlainHistory();
boolean result = criterion.getFormula().predict(currentVariables);
parentHistoryItem.setSuccess(result);
}
}
private VerificationResult analyseHistory() {
VerificationResult result = new VerificationResult();
result.setCriterion(criterion);
Quantifier quantifier = criterion.getQuantifiers().get(0);
int counter = 0;
failHistory = new LinkedList<HistoryItem>();
for (int i = 0; i < wholeHistory.size(); ++i) {
if (analyseHistory(wholeHistory.get(i))) {
++counter;
} else {
failHistory.add(wholeHistory.get(i));
}
}
result.setGood(false);
switch (quantifier.getType()) {
case ALL:
if (counter == wholeHistory.size()) {
result.setGood(true);
} else {
LOGGER.debug("!ALL " + counter + " ; " + wholeHistory.size());
}
break;
case EXIST:
if (counter > 0) {
result.setGood(true);
} else {
LOGGER.debug("!EXI " + counter + " ; " + wholeHistory.size());
}
break;
case ALONE:
if (counter == 1) {
result.setGood(true);
} else {
LOGGER.debug("!ALO " + counter + " ; " + wholeHistory.size());
}
break;
}
// � ��� �� ������ � ������
// ������� ������ ���������
// ������� ���� �� ������
// �����������
// ���� ������� ������
if (result.isFail()) {
Set<HistoryPlainItem> bigWithoutRepeat = new LinkedHashSet<HistoryPlainItem>();
List<HistoryPlainItem> big = createPlainFailHistory();
for (HistoryPlainItem hpi : big) {
while (hpi.getItems().size() > criterion.trickyMethod()) {
/** ololo we should cut variables */
hpi.getItems().remove(criterion.trickyMethod());
}
}
for (HistoryPlainItem hpi : big) {
bigWithoutRepeat.add(hpi);
}
big.clear();
Iterator<HistoryPlainItem> it = bigWithoutRepeat.iterator();
while (it.hasNext()) {
big.add(it.next());
}
result.setFailHistory(big);
}
return result;
}
