public final class SpiceKernelInfo extends Object
SpiceKernelManager.| Constructor and Description |
|---|
SpiceKernelInfo(String file,
String type,
int source,
int handle)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object obj) |
String |
getFile()
Getter for the file name.
|
int |
getHandle()
Getter for the handle associated to the file.
|
int |
getSource()
Getter for the file source.
|
String |
getType()
Getter for the file type.
|
int |
hashCode() |
void |
setHandle(int h)
Setter for the handle associated to the file.
|
public SpiceKernelInfo(String file, String type, int source, int handle)
file - File nametype - File typesource - File sourcehandle - File associated handleIllegalArgumentException - if file or type is nullpublic String getFile()
public String getType()
public int getSource()
public int getHandle()
public void setHandle(int h)
h - the new handle associated to the fileCopyright © 2024 CNES. All rights reserved.