toolbus
Class SpecOrderVector

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractList<E>
          java.util.ArrayList<aterm.ATermAppl>
              toolbus.SpecOrderVector

All Implemented Interfaces:

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

 class SpecOrderVector
extends java.util.ArrayList<aterm.ATermAppl>

Field Summary

private static long

serialVersionUID

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

SpecOrderVector()

Method Summary

private static java.lang.String	buildFormals(aterm.ATermList args)
private static void	genActuals(java.io.PrintWriter out, aterm.ATermList args)
private static void	genArgs(java.io.PrintWriter out, aterm.ATermList args)
void	genCalls(java.io.PrintWriter out, java.lang.String base, boolean ret)
void	genMethods(java.io.PrintWriter out, java.lang.String base, boolean ret, boolean gen_impl)
void	genPatternAttribs(java.io.PrintWriter out, java.lang.String base)
void	genPatterns(java.io.PrintWriter out, java.lang.String base, java.lang.String func)
void	insert(aterm.ATermAppl appl)
private boolean	moreSpecific(aterm.ATerm a, aterm.ATerm b)
private boolean	moreSpecific(java.lang.String a, java.lang.String b)
void	print(java.io.PrintWriter out)

Methods inherited from class java.util.ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeRange, retainAll, set, size, subList, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

equals, hashCode

Methods inherited from class java.util.AbstractCollection

containsAll, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.List

containsAll, equals, hashCode

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

SpecOrderVector

SpecOrderVector()

Method Detail

insert

public void insert(aterm.ATermAppl appl)

moreSpecific

private boolean moreSpecific(aterm.ATerm a,
                             aterm.ATerm b)

moreSpecific

private boolean moreSpecific(java.lang.String a,
                             java.lang.String b)

print

public void print(java.io.PrintWriter out)

genPatterns

public void genPatterns(java.io.PrintWriter out,
                        java.lang.String base,
                        java.lang.String func)

genPatternAttribs

public void genPatternAttribs(java.io.PrintWriter out,
                              java.lang.String base)

genCalls

public void genCalls(java.io.PrintWriter out,
                     java.lang.String base,
                     boolean ret)

genArgs

private static void genArgs(java.io.PrintWriter out,
                            aterm.ATermList args)

genMethods

public void genMethods(java.io.PrintWriter out,
                       java.lang.String base,
                       boolean ret,
                       boolean gen_impl)

buildFormals

private static java.lang.String buildFormals(aterm.ATermList args)

genActuals

private static void genActuals(java.io.PrintWriter out,
                               aterm.ATermList args)