checkProperty() impelmented
modifyProperty() changed: diffrent InvalidQueryException-Text

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14231 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Change the parameter for retrieving a certain precision from Class<T> to a Predicate. This is needed in the case that more CPAs use the same Precision Class but different instances. The only precision which is currently used in this way is the VariabletrackingPrecision. Instead of only creating an InstanceofPrededicte, according to the Class parameter before, we now check an additional field in the Precision to ensure that we found the correct one.
Every other Precision that should be used in more than one CPA should implement such a mechanism, otherwise it is not sure that the correct precision can be found.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14232 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Remove unnecessary field for checking missing enum comparison information.
The field is never set to true and we use EnumValue objects for enum comparison by now.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14233 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
added comments into checkProperty()

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14235 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
VCloud changed the keys, thus the benchmark-script also has to be changed.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14238 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix for the last fix, the new time-values have no trailing 's'

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14239 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
added secure tag to options

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14240 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
improved IntervalAnalysisState.checkProperty()

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14241 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
allow compatibility with both versions of the cloud-output-format, for the case that if it is reverted to the previous one.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14242 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fixed a bug in the isTracking method of the LocalizedRefinablePrecision, now the location is regarded during computation.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14243 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix a FindBugs warning that somehow gets triggered on every commit

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14244 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Add some notNull checks to the isTracking method of the refinable part of the VariableTrackingPrecision.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14245 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Let the ApronDelegatingRefiner use the new possibility to retrieve a precision out of the WrapperPrecision, regarding a given (guava) predicate.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14246 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Let the OctagonDelegatingRefiner use the new possibility to retrieve a precision out of the WrapperPrecision, regarding a given (guava) predicate.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14247 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Let the ValueAnalysis' refiners use the new possibility to retrieve a precision out of the WrapperPrecision, regarding a given (guava) predicate.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14248 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Integration of the isEmpty Method in preparation for changing the precision of the BDDCPA to the VariableTrackingPrecision.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14249 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Remove unnecessary parameter precision from some functions in BDD's PredicateManager.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14250 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Changed keys, because the VCloud changed them.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14251 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
refactoring

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14252 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Refactoring: Parsing strings must be centralized at one location
such that we can easily change it.
Never parse the same string in more than one location!
Also, do not hard-code values such as the default value of an SSAMap in
other places.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14254 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c