org.overturetool.vdmj.patterns
Class PatternList

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractList<E>
          java.util.Vector<Pattern>
              org.overturetool.vdmj.patterns.PatternList

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Pattern>, java.util.Collection<Pattern>, java.util.List<Pattern>, java.util.RandomAccess

public class PatternList
extends java.util.Vector<Pattern>

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.Vector

capacityIncrement, elementCount, elementData

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

PatternList()

Method Summary

ExpressionList	getMatchingExpressionList()
NameValuePairList	getNamedValues(Value value, Context ctxt)
Type	getPossibleType(LexLocation location)
java.lang.String	toString()
void	typeResolve(Environment env)
void	unResolve()

Methods inherited from class java.util.Vector

add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

iterator, listIterator, listIterator

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

iterator, listIterator, listIterator

Constructor Detail

PatternList

public PatternList()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.util.Vector<Pattern>

getNamedValues

public NameValuePairList getNamedValues(Value value,
                                        Context ctxt)
                                 throws PatternMatchException

Throws:

PatternMatchException

unResolve

public void unResolve()

typeResolve

public void typeResolve(Environment env)

getPossibleType

public Type getPossibleType(LexLocation location)

getMatchingExpressionList

public ExpressionList getMatchingExpressionList()