server/jack-server-api/src/com/android/jack/server/api/v01/LauncherHandle.java

/*
 * Copyright (C) 2015 The Android Open Source Project
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package com.android.jack.server.api.v01;

import java.io.File;
import java.io.IOException;
import java.io.InputStream;
import java.util.Map;

import javax.annotation.Nonnull;

/**
 * Services provided by the launcher to the launched servers.
 */
public interface LauncherHandle {

  @Nonnull
  File getServerDir();

  void replaceServer(@Nonnull InputStream newServer, @Nonnull Map<String, Object> parameters,
      boolean forced) throws IOException, ServerException, NotInstalledException;

  @Nonnull
  ClassLoader getLauncherClassLoader();

  void deleteFilesOnGarbage(@Nonnull File[] filesToDelete, @Nonnull Object watched);

}