Ejemplo n.º 1
0
 private boolean isUnknownState(DfaValue val) {
   val = unwrap(val);
   if (val instanceof DfaVariableValue) {
     if (myUnknownVariables.contains(val)) return true;
     DfaVariableValue negatedValue = ((DfaVariableValue) val).getNegatedValue();
     if (negatedValue != null && myUnknownVariables.contains(negatedValue)) return true;
   }
   return false;
 }
Ejemplo n.º 2
0
 void setVariableState(DfaVariableValue dfaVar, DfaVariableState state) {
   assert !myUnknownVariables.contains(dfaVar);
   if (state.equals(myDefaultVariableStates.get(dfaVar))) {
     myVariableStates.remove(dfaVar);
   } else {
     myVariableStates.put(dfaVar, state);
   }
   myCachedHash = null;
 }