Back to project page interdroid-swan.
The source code is released under:
Copyright (c) 2008-2011 Vrije Universiteit, The Netherlands All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the follo...
If you think the Android project interdroid-swan listed in this page is inappropriate, such as containing malicious code/tools or violating the copyright, please email info at java2s dot com, thanks.
package interdroid.swan.swansong; /*ww w. j ava 2 s .c o m*/ public class ComparatorResult extends Result { /** * */ private static final long serialVersionUID = 7226955492296550441L; private HistoryReductionMode mLeft; private HistoryReductionMode mRight; public ComparatorResult(long timestamp, HistoryReductionMode left, HistoryReductionMode right) { super(timestamp, TriState.UNDEFINED); this.mLeft = left; this.mRight = right; } public void startOuterLoop() { // left == ANY -> start with FALSE, stop with positive counter example // left == ALL -> start with TRUE, stop with negative counter example if (mLeft == HistoryReductionMode.ANY) { mTriState = TriState.FALSE; } else if (mLeft == HistoryReductionMode.ALL) { mTriState = TriState.TRUE; } } public void startInnerLoop() { if (mRight == HistoryReductionMode.ANY) { mTriState = TriState.FALSE; } else if (mRight == HistoryReductionMode.ALL) { mTriState = TriState.TRUE; } } public boolean innerResult(TriState result) { if (mRight == HistoryReductionMode.ANY) { if (result == TriState.TRUE) { mTriState = TriState.TRUE; return true; } } else if (mRight == HistoryReductionMode.ALL) { if (result == TriState.FALSE) { mTriState = TriState.FALSE; return true; } } return false; } public boolean outerResult() { if (mLeft == HistoryReductionMode.ANY) { if (mTriState == TriState.TRUE) { return true; } } else if (mLeft == HistoryReductionMode.ALL) { if (mTriState == TriState.FALSE) { return true; } } return false; } }