public interface AgentManagerElement
Modifier and Type | Method and Description |
---|---|
void |
delete() |
void |
delete(boolean force) |
AgentManager |
getAgentManager() |
File |
getLocation() |
boolean |
isCurrent() |
boolean |
isUsed() |
boolean |
isValid() |
AgentManager getAgentManager()
File getLocation()
boolean isValid()
boolean isCurrent()
boolean isUsed()
void delete()
void delete(boolean force)
Copyright (c) 2014 Eike Stepper (Loehne, Germany) and others.
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v2.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v20.html