nl.cwi.sen1.moduleapi.types
Class ModuleList

java.lang.Object
  aterm.pure.ATermVisitableImpl
      aterm.pure.ATermImpl
          aterm.pure.ATermListImpl
              nl.cwi.sen1.moduleapi.AbstractList
                  nl.cwi.sen1.moduleapi.types.ModuleList

All Implemented Interfaces:

aterm.ATerm, aterm.ATermList, aterm.Identifiable, jjtraveler.Visitable, shared.SharedObject, shared.SharedObjectWithID

public class ModuleList
extends AbstractList
implements jjtraveler.Visitable

Field Summary

private aterm.ATerm

term

Fields inherited from class aterm.pure.ATermImpl

factory

Fields inherited from interface aterm.ATerm

AFUN, APPL, BLOB, INT, LIST, LONG, PLACEHOLDER, REAL

Constructor Summary

ModuleList(Factory factory, aterm.ATermList annos, aterm.ATerm first, aterm.ATermList next)

Method Summary

AbstractList	accept(Visitor v)
aterm.ATermList	append(aterm.ATerm elem)
ModuleList	append(Module elem)
aterm.ATermList	concat(aterm.ATermList peer)
ModuleList	concat(ModuleList peer)
shared.SharedObject	duplicate()
boolean	equivalent(shared.SharedObject peer)
aterm.ATermList	getEmpty()
Module	getHead()
Module	getModuleAt(int index)
ModuleList	getTail()
aterm.ATermList	insert(aterm.ATerm head)
ModuleList	insert(Module head)
boolean	isSortModuleList()
aterm.ATermList	make(aterm.ATerm head, aterm.ATermList tail)
aterm.ATermList	make(aterm.ATerm head, aterm.ATermList tail, aterm.ATermList annos)
aterm.ATermList	reverse()
ModuleList	reverseModuleList()
aterm.ATerm	toTerm()

Methods inherited from class nl.cwi.sen1.moduleapi.AbstractList

getModuleapiFactory, hasHead, hasTail, isEmpty, isMany, isSingle, isSortAttribute, isSortAttributeMap, isSortAttributeStore, isSortDependencies, isSortDependency, isSortDependencyList, isSortModule, isSortModuleAttribute, isSortModuleAttributeList, isSortModuleId, isSortModuleIdList, isSortModules, isSortNatCon, isSortTableEntry, isSortTableEntryTable, toString

Methods inherited from class aterm.pure.ATermListImpl

accept, dictGet, dictPut, dictRemove, elementAt, findEmptyHashCode, getFirst, getLast, getLength, getNext, getNrSubTerms, getPrefix, getSlice, getSubTerm, getType, indexOf, init, initHashCode, insertAt, lastIndexOf, make, match, remove, removeAll, removeElementAt, replace, setAnnotations, setSubTerm

Methods inherited from class aterm.pure.ATermImpl

equals, getAnnotation, getAnnotations, getFactory, getPureFactory, getUniqueIdentifier, hasAnnotations, hashCode, init, internSetAnnotations, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, setHashCode, setUniqueIdentifier, writeToSharedTextFile, writeToTextFile, writeToTextFile

Methods inherited from class aterm.pure.ATermVisitableImpl

getChildAt, getChildCount, setChildAt

Methods inherited from class java.lang.Object

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

Methods inherited from interface jjtraveler.Visitable

getChildAt, getChildCount, setChildAt

Methods inherited from interface aterm.ATerm

equals, getAnnotation, getAnnotations, getFactory, hasAnnotations, hashCode, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, writeToSharedTextFile, writeToTextFile

Methods inherited from interface aterm.Identifiable

getUniqueIdentifier

Field Detail

term

private aterm.ATerm term

Constructor Detail

ModuleList

public ModuleList(Factory factory,
                  aterm.ATermList annos,
                  aterm.ATerm first,
                  aterm.ATermList next)

Method Detail

equivalent

public boolean equivalent(shared.SharedObject peer)

Specified by:

equivalent in interface shared.SharedObject

Overrides:

equivalent in class aterm.pure.ATermListImpl

duplicate

public shared.SharedObject duplicate()

Specified by:

duplicate in interface shared.SharedObject

Overrides:

duplicate in class aterm.pure.ATermListImpl

toTerm

public aterm.ATerm toTerm()

Specified by:

toTerm in class AbstractList

isSortModuleList

public boolean isSortModuleList()

Overrides:

isSortModuleList in class AbstractList

getHead

public Module getHead()

getTail

public ModuleList getTail()

getEmpty

public aterm.ATermList getEmpty()

Specified by:

getEmpty in interface aterm.ATermList

Overrides:

getEmpty in class aterm.pure.ATermListImpl

insert

public ModuleList insert(Module head)

make

public aterm.ATermList make(aterm.ATerm head,
                            aterm.ATermList tail,
                            aterm.ATermList annos)

Overrides:

make in class aterm.pure.ATermListImpl

make

public aterm.ATermList make(aterm.ATerm head,
                            aterm.ATermList tail)

Overrides:

make in class aterm.pure.ATermListImpl

insert

public aterm.ATermList insert(aterm.ATerm head)

Specified by:

insert in interface aterm.ATermList

Overrides:

insert in class aterm.pure.ATermListImpl

reverseModuleList

public ModuleList reverseModuleList()

reverse

public aterm.ATermList reverse()

Specified by:

reverse in interface aterm.ATermList

Overrides:

reverse in class aterm.pure.ATermListImpl

concat

public ModuleList concat(ModuleList peer)

concat

public aterm.ATermList concat(aterm.ATermList peer)

Specified by:

concat in interface aterm.ATermList

Overrides:

concat in class aterm.pure.ATermListImpl

append

public ModuleList append(Module elem)

append

public aterm.ATermList append(aterm.ATerm elem)

Specified by:

append in interface aterm.ATermList

Overrides:

append in class aterm.pure.ATermListImpl

getModuleAt

public Module getModuleAt(int index)

accept

public AbstractList accept(Visitor v)
                    throws jjtraveler.VisitFailure

Specified by:

accept in class AbstractList

Throws:

jjtraveler.VisitFailure