org.w3c.rdfpic.core
Class URLVector

java.lang.Object
  |
  +--org.w3c.rdfpic.core.URLVector

class URLVector

extends java.lang.Object

URLVector is essentially a wrapper around Vector so typecasting isn't necessary. It doesn't offer any new functions.

Field Summary

(package private) java.util.Vector

urlsV

Constructor Summary

(package private)

URLVector(java.net.URL[] urls)

Method Summary

(package private) void	add(java.net.URL url)
(package private) java.net.URL	elementAt(int index)
(package private) void	remove(int index)
(package private) int	size()

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

urlsV

java.util.Vector urlsV

Constructor Detail

URLVector

URLVector(java.net.URL[] urls)

Method Detail

size

int size()

elementAt

java.net.URL elementAt(int index)

add

void add(java.net.URL url)

remove

void remove(int index)