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 null
public String getFile()
public String getType()
public int getSource()
public int getHandle()
public void setHandle(int h)
h
- the new handle associated to the fileCopyright © 2023 CNES. All rights reserved.