langtools/src/jdk.jshell/share/classes/jdk/internal/jshell/jdi/JDIEnv.java
changeset 38836 b09d1cfbf28c
parent 38835 37280d52d723
child 38837 128b0f2cfaf4
equal deleted inserted replaced
38835:37280d52d723 38836:b09d1cfbf28c
     1 /*
       
     2  * Copyright (c) 1998, 2015, Oracle and/or its affiliates. All rights reserved.
       
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
       
     4  *
       
     5  * This code is free software; you can redistribute it and/or modify it
       
     6  * under the terms of the GNU General Public License version 2 only, as
       
     7  * published by the Free Software Foundation.  Oracle designates this
       
     8  * particular file as subject to the "Classpath" exception as provided
       
     9  * by Oracle in the LICENSE file that accompanied this code.
       
    10  *
       
    11  * This code is distributed in the hope that it will be useful, but WITHOUT
       
    12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
       
    13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
       
    14  * version 2 for more details (a copy is included in the LICENSE file that
       
    15  * accompanied this code).
       
    16  *
       
    17  * You should have received a copy of the GNU General Public License version
       
    18  * 2 along with this work; if not, write to the Free Software Foundation,
       
    19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
       
    20  *
       
    21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
       
    22  * or visit www.oracle.com if you need additional information or have any
       
    23  * questions.
       
    24  */
       
    25 
       
    26 package jdk.internal.jshell.jdi;
       
    27 
       
    28 import java.util.Map;
       
    29 
       
    30 import com.sun.jdi.*;
       
    31 import static jdk.internal.jshell.debug.InternalDebugControl.DBG_GEN;
       
    32 
       
    33 /**
       
    34  * Representation of a Java Debug Interface environment
       
    35  * Select methods extracted from jdb Env; shutdown() adapted to JShell shutdown.
       
    36  */
       
    37 class JDIEnv {
       
    38 
       
    39     private JDIConnection connection;
       
    40     private final JDIExecutionControl ec;
       
    41 
       
    42     JDIEnv(JDIExecutionControl ec) {
       
    43         this.ec = ec;
       
    44     }
       
    45 
       
    46     void init(String connectorName, Map<String, String> argumentName2Value, boolean openNow, int flags) {
       
    47         connection = new JDIConnection(ec, connectorName, argumentName2Value, flags);
       
    48         if (!connection.isLaunch() || openNow) {
       
    49             connection.open();
       
    50         }
       
    51     }
       
    52 
       
    53     JDIConnection connection() {
       
    54         return connection;
       
    55     }
       
    56 
       
    57     VirtualMachine vm() {
       
    58         return connection.vm();
       
    59     }
       
    60 
       
    61     void shutdown() {
       
    62         if (connection != null) {
       
    63             try {
       
    64                 connection.disposeVM();
       
    65             } catch (VMDisconnectedException e) {
       
    66                 // Shutting down after the VM has gone away. This is
       
    67                 // not an error, and we just ignore it.
       
    68             } catch (Throwable e) {
       
    69                 ec.debug(DBG_GEN, null, "disposeVM threw: " + e);
       
    70             }
       
    71         }
       
    72         if (ec.execEnv.state() != null) { // If state has been set-up
       
    73             try {
       
    74                 ec.execEnv.closeDown();
       
    75             } catch (Throwable e) {
       
    76                 ec.debug(DBG_GEN, null, "state().closeDown() threw: " + e);
       
    77             }
       
    78         }
       
    79     }
       
    80 }