@Override public Type popValue() throws DataflowAnalysisException {
  exactTypeSet.clear(getStackLocation(0));
  return super.popValue();
}

@ Override public Type popValue ( ) throws DataflowAnalysisException { exactTypeSet . clear ( getStackLocation ( 0 ) ) ; return super . popValue ( ) ; }
pop a value off of the java operand stack .
