private void addLeftParenV(AST ast,PCalLocation loc){
  if (ast.getOrigin() == null) {
    return;
  }
  if (loc != null) {
    mappingVectorNextLine.addElement(new MappingObject.LeftParen(loc));
  }
 else {
    addLeftParen(ast.getOrigin());
  }
}

private void addLeftParenV ( AST ast , PCalLocation loc ) { if ( ast . getOrigin ( ) == null ) { return ; } if ( loc != null ) { mappingVectorNextLine . addElement ( new MappingObject . LeftParen ( loc ) ) ; } else { addLeftParen ( ast . getOrigin ( ) ) ; } }
like addleftparen ( ast . getorigin ( ) ) , except that it uses loc the location if it is not null . it is called by genlabeledstmt and ast . getorigin ( ) should never be null . however , if it is , then we don ' t add a paren ; this insures that the matching calls of addleftparenv and addrightparenv both either do or don ' t add a paren .
