| Methods Summary |
|---|
| public static final synchronized boolean | commit()Writes all the properties in the hashtable to the
jmf.properties file. If the file is non-existent or the writing
failed for some reason, it throws an IOException.
if (filename == null)
throw new IOException("Can't find resource file");
FileOutputStream fos = new FileOutputStream(filename);
ObjectOutputStream oos = new ObjectOutputStream(fos);
int tableSize = hash.size();
oos.writeInt(tableSize);
oos.writeInt(versionNumber);
for (Enumeration e = hash.keys(); e.hasMoreElements() ;) {
String key = (String) e.nextElement();
Object value = hash.get(key);
oos.writeUTF(key); // write key as UTF chars.
/*
ByteArrayOutputStream baos = new ByteArrayOutputStream();
ObjectOutputStream tempOOS = new ObjectOutputStream(baos);
tempOOS.writeObject(value);
tempOOS.flush();
byte [] serObject = baos.toByteArray();
oos.writeObject(serObject);
tempOOS.close();
*/
oos.writeObject(value);
oos.flush();
}
oos.close();
return true;
|
| public static final synchronized void | destroy()Remove the permanent registry.
if (filename == null)
return;
try {
File file = new File(filename);
file.delete();
} catch (Throwable t) {
filename = null;
}
|
| private static final synchronized java.io.InputStream | findResourceFile()
String dir;
String strJMF = ".jmf-resource";
File file = null;
InputStream ris = null;
if (userhome == null)
return null;
try {
filename = userhome + File.separator + strJMF;
//System.out.println("Resource: file name is " + filename);
file = new File(filename);
ris = getResourceStream(file);
} catch (Throwable t) {
filename = null;
return null;
}
return ris;
|
| public static final synchronized java.lang.Object | get(java.lang.String key)Returns the value corresponding to the specified key. Returns null
if no such property is found.
if (key != null)
return hash.get(key);
else
return null;
|
| public static final javax.media.Format[] | getDB(javax.media.Format input)Given an input format, check the tables to for its supported
formats.
synchronized (fmtTblSync) {
if (audioFmtTbl == null)
initDB();
if (input instanceof AudioFormat)
return audioFmtTbl.get(input);
else if (input instanceof VideoFormat)
return videoFmtTbl.get(input);
return miscFmtTbl.get(input);
}
|
| private static final java.io.FileInputStream | getResourceStream(java.io.File file)
try {
if ( (jmfSecurity != null) && (jmfSecurity.getName().startsWith("jdk12"))) {
Constructor cons = jdk12ReadFileAction.cons;
return (FileInputStream) jdk12.doPrivM.invoke(
jdk12.ac,
new Object[] {
cons.newInstance(
new Object[] {
file.getPath()
})});
} else {
if (!file.exists()) {
//System.out.println("file doesnt exist");
return null;
} else {
return new FileInputStream(file.getPath());
}
}
} catch (Throwable t) {
return null;
}
|
| static final void | initDB()Initialize the supported format tables.
synchronized (fmtTblSync) {
audioFmtTbl = new FormatTable(AUDIO_TBL_SIZE);
videoFmtTbl = new FormatTable(VIDEO_TBL_SIZE);
miscFmtTbl = new FormatTable(MISC_TBL_SIZE);
loadDB();
}
|
| private static final void | loadDB()Load the supported format table from the resource file.
synchronized (fmtTblSync) {
int i, size;
Object key, value, hit;
key = Resource.get(AUDIO_SIZE_KEY);
if (key instanceof Integer)
size = ((Integer)key).intValue();
else
size = 0;
if (size > AUDIO_TBL_SIZE) {
// Something's wrong.
System.err.println("Resource file is corrupted");
size = AUDIO_TBL_SIZE;
}
//System.err.println("audio table size = " + size);
audioFmtTbl.last = size;
for (i = 0; i < size; i++) {
key = Resource.get(AUDIO_INPUT_KEY + i);
value = Resource.get(AUDIO_FORMAT_KEY + i);
hit = Resource.get(AUDIO_HIT_KEY + i);
if (key instanceof Format && value instanceof Format[] &&
hit instanceof Integer) {
audioFmtTbl.keys[i] = (Format)key;
audioFmtTbl.table[i] = (Format[])value;
audioFmtTbl.hits[i] = ((Integer)hit).intValue();
} else {
System.err.println("Resource file is corrupted");
audioFmtTbl.last = 0;
break;
}
}
key = Resource.get(VIDEO_SIZE_KEY);
if (key instanceof Integer)
size = ((Integer)key).intValue();
else
size = 0;
if (size > VIDEO_TBL_SIZE) {
// Something's wrong.
System.err.println("Resource file is corrupted");
size = VIDEO_TBL_SIZE;
}
//System.err.println("video table size = " + size);
videoFmtTbl.last = size;
for (i = 0; i < size; i++) {
key = Resource.get(VIDEO_INPUT_KEY + i);
value = Resource.get(VIDEO_FORMAT_KEY + i);
hit = Resource.get(VIDEO_HIT_KEY + i);
if (key instanceof Format && value instanceof Format[] &&
hit instanceof Integer) {
videoFmtTbl.keys[i] = (Format)key;
videoFmtTbl.table[i] = (Format[])value;
videoFmtTbl.hits[i] = ((Integer)hit).intValue();
} else {
System.err.println("Resource file is corrupted");
videoFmtTbl.last = 0;
break;
}
}
key = Resource.get(MISC_SIZE_KEY);
if (key instanceof Integer)
size = ((Integer)key).intValue();
else
size = 0;
if (size > MISC_TBL_SIZE) {
// Something's wrong.
System.err.println("Resource file is corrupted");
size = MISC_TBL_SIZE;
}
//System.err.println("misc table size = " + size);
miscFmtTbl.last = size;
for (i = 0; i < size; i++) {
key = Resource.get(MISC_INPUT_KEY + i);
value = Resource.get(MISC_FORMAT_KEY + i);
hit = Resource.get(MISC_HIT_KEY + i);
if (key instanceof Format && value instanceof Format[] &&
hit instanceof Integer) {
miscFmtTbl.keys[i] = (Format)key;
miscFmtTbl.table[i] = (Format[])value;
miscFmtTbl.hits[i] = ((Integer)hit).intValue();
} else {
System.err.println("Resource file is corrupted");
miscFmtTbl.last = 0;
break;
}
}
} // synchronized
|
| public static final void | purgeDB()Reset (destroy) the supported format tables.
synchronized (fmtTblSync) {
if (audioFmtTbl == null)
return;
audioFmtTbl = new FormatTable(AUDIO_TBL_SIZE);
videoFmtTbl = new FormatTable(VIDEO_TBL_SIZE);
miscFmtTbl = new FormatTable(MISC_TBL_SIZE);
}
|
| public static final javax.media.Format[] | putDB(javax.media.Format input, javax.media.Format[] supported)Save an input format and it's supported formats to the table.
synchronized (fmtTblSync) {
Format in = input.relax();
Format list[] = new Format[supported.length];
for (int i = 0; i < supported.length; i++)
list[i] = supported[i].relax();
if (in instanceof AudioFormat)
audioFmtTbl.save(in, list);
else if (in instanceof VideoFormat)
videoFmtTbl.save(in, list);
else
miscFmtTbl.save(in, list);
needSaving = true;
return list;
}
|
| private static final synchronized boolean | readResource(java.io.InputStream ris)
if (ris == null)
return false;
try {
// Inner class with skipHeader so that the protected method
// readStreamHeader can be called.
ObjectInputStream ois = new ObjectInputStream(ris);
int tableSize = ois.readInt();
int version = ois.readInt();
if (version > 200) {
System.err.println("Version number mismatch.\nThere could be" +
" errors in reading the resource");
}
hash = new Hashtable();
for (int i = 0; i < tableSize; i++) {
String key = ois.readUTF();
boolean failed = false;
byte [] serObject;
try {
/*
serObject = (byte[])ois.readObject();
ByteArrayInputStream bais = new ByteArrayInputStream(serObject);
ObjectInputStream tois = new ObjectInputStream(bais);
Object value = tois.readObject();
hash.put(key, value);
tois.close();
*/
Object value = ois.readObject();
hash.put(key, value);
} catch (ClassNotFoundException cnfe) {
failed = true;
} catch (OptionalDataException ode) {
failed = true;
}
}
ois.close();
ris.close();
} catch (IOException ioe) {
System.err.println("IOException in readResource: " + ioe);
return false;
} catch (Throwable t) {
return false;
}
return true;
|
| public static final synchronized boolean | remove(java.lang.String key)Removes a property from the hashtable. Returns false
if the property was not found.
if (key != null) {
if (hash.containsKey(key)) {
hash.remove(key);
return true;
}
}
return false;
|
| public static final synchronized void | removeGroup(java.lang.String keyStart)Removes an entire set of properties with the keys starting with
the value "keyStart".
Vector keys = new Vector();
if (keyStart != null) {
Enumeration e = hash.keys();
while (e.hasMoreElements()) {
String key = (String) e.nextElement();
if (key.startsWith(keyStart))
keys.addElement(key);
}
}
for (int i = 0; i < keys.size(); i++) {
hash.remove(keys.elementAt(i));
}
|
| public static final synchronized void | reset()Static code block to read in the resource file and initialize
the hash table.
hash = new Hashtable();
try {
jmfSecurity = JMFSecurityManager.getJMFSecurity();
securityPrivelege = true;
} catch (SecurityException e) {
}
if ( /* securityPrivelege && */ (jmfSecurity != null) ) {
String permission = null;
try {
if (jmfSecurity.getName().startsWith("jmf-security")) {
permission = "read property";
jmfSecurity.requestPermission(m, cl, args, JMFSecurity.READ_PROPERTY);
m[0].invoke(cl[0], args[0]);
permission = "read file";
jmfSecurity.requestPermission(m, cl, args, JMFSecurity.READ_FILE);
m[0].invoke(cl[0], args[0]);
} else if (jmfSecurity.getName().startsWith("internet")) {
PolicyEngine.checkPermission(PermissionID.PROPERTY);
PolicyEngine.checkPermission(PermissionID.FILEIO);
PolicyEngine.assertPermission(PermissionID.PROPERTY);
PolicyEngine.assertPermission(PermissionID.FILEIO);
}
} catch (Throwable e) {
if (JMFSecurityManager.DEBUG) {
System.err.println("Resource: Unable to get " + permission +
" privilege " + e.getMessage());
}
securityPrivelege = false;
}
}
if ( (jmfSecurity != null) && (jmfSecurity.getName().startsWith("jdk12"))) {
try {
Constructor cons = jdk12PropertyAction.cons;
userhome = (String) jdk12.doPrivM.invoke(
jdk12.ac,
new Object[] {
cons.newInstance(
new Object[] {
USERHOME,
})});
} catch (Throwable e) {
securityPrivelege = false;
}
} else {
try {
if (securityPrivelege)
userhome = System.getProperty(USERHOME);
} catch (Exception e) {
userhome = null;
securityPrivelege = false;
}
}
if (userhome == null) {
securityPrivelege = false;
}
InputStream is = null;
if (securityPrivelege) {
is = findResourceFile();
if (is == null) {
securityPrivelege=false; // there is no access to jmf.properties
}
}
if (!readResource(is)) {
hash = new Hashtable();
}
hash = new Hashtable();
|
| public static final void | saveDB()Save the table of supported formats to the resource file.
synchronized (fmtTblSync) {
if (!needSaving)
return;
Resource.reset();
int i;
Resource.set(AUDIO_SIZE_KEY, new Integer(audioFmtTbl.last));
for (i = 0; i < audioFmtTbl.last; i++) {
Resource.set(AUDIO_INPUT_KEY + i, audioFmtTbl.keys[i]);
Resource.set(AUDIO_FORMAT_KEY + i, audioFmtTbl.table[i]);
Resource.set(AUDIO_HIT_KEY + i, new Integer(audioFmtTbl.hits[i]));
}
Resource.set(VIDEO_SIZE_KEY, new Integer(videoFmtTbl.last));
for (i = 0; i < videoFmtTbl.last; i++) {
Resource.set(VIDEO_INPUT_KEY + i, videoFmtTbl.keys[i]);
Resource.set(VIDEO_FORMAT_KEY + i, videoFmtTbl.table[i]);
Resource.set(VIDEO_HIT_KEY + i, new Integer(videoFmtTbl.hits[i]));
}
Resource.set(MISC_SIZE_KEY, new Integer(miscFmtTbl.last));
for (i = 0; i < miscFmtTbl.last; i++) {
Resource.set(MISC_INPUT_KEY + i, miscFmtTbl.keys[i]);
Resource.set(MISC_FORMAT_KEY + i, miscFmtTbl.table[i]);
Resource.set(MISC_HIT_KEY + i, new Integer(miscFmtTbl.hits[i]));
}
try {
Resource.commit();
} catch (Throwable e) {
//System.err.println("Cannot save resource file: " + e);
}
needSaving = false;
} // synchronized
|
| public static final synchronized boolean | set(java.lang.String key, java.lang.Object value)Add or modify a property. The key and the value should be non-null.
Returns false if it couldn't add/modify the property.
if (key != null && value != null) {
if (jmfSecurity != null && key.indexOf("secure.") == 0)
return false;
hash.put(key, value);
return true;
} else
return false;
|
