public class PetrifyDotG extends PetrifyDotAny
Constructor and Description |
---|
PetrifyDotG(java.lang.String absolutePath)
Creates a, say handle, to the file with the given absolute path.
|
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getFileExtension()
Returns the file extension (.g) for this file format.
|
getInputStream, getLength, getName