public interface ServiceResources
Modifier and Type | Method and Description |
---|---|
void |
copyFileToWorkspace(java.lang.String id)
Copy a FILE Resource to the Workspace.
|
Resource |
get(java.lang.String id)
Get the raw resource definitions without assuming anything.
|
Executable |
getExe(java.lang.String id)
Get an executable from a resource definition.
|
java.io.File |
getFile(java.lang.String id)
Get a service resource file.
|
java.sql.Connection |
getJDBC(java.lang.String id)
Get a JDBC connection from a resource definition.
|
java.lang.String |
getResolved(java.lang.String id)
Get the resolved 'file' configuration for 'id'.
|
Resource get(java.lang.String id)
id
- the resource idjava.lang.String getResolved(java.lang.String id)
id
- java.io.File getFile(java.lang.String id) throws ServiceException
id
- the id of the resource.ServiceException
- if file cannot be found or unpackedResource
Executable getExe(java.lang.String id) throws ServiceException
id
- the id of the resourceServiceException
- if there is no EXEResource
void copyFileToWorkspace(java.lang.String id) throws ServiceException, java.io.IOException
id
- The FILE resource ID.ServiceException
- if id does not existjava.io.IOException
- if copy failsjava.sql.Connection getJDBC(java.lang.String id) throws ServiceException
id
- the id of the resourceServiceException
- if connection failsResource
(c) 2012-2022, OMSLab, Colorado State University.