cz.afri.smg.objects.sll

Class SMGSingleLinkedList

java.lang.Object

cz.afri.smg.objects.SMGObject

cz.afri.smg.objects.SMGAbstractObject

cz.afri.smg.objects.sll.SMGSingleLinkedList

public final class SMGSingleLinkedList
extends SMGAbstractObject

Constructor Summary

Constructors

Constructor and Description
SMGSingleLinkedList(SMGRegion pPrototype, int pOffset, int pLength)
SMGSingleLinkedList(SMGSingleLinkedList pOriginal)

Method Summary

Modifier and Type	Method and Description
void	accept(SMGObjectVisitor visitor)
int	addLength(int pLen)
protected SMGConcretisation	createConcretisation()
int	getLength()
int	getOffset()
boolean	isMoreGeneral(SMGObject pOther)
SMGSingleLinkedList	join(SMGObject pOther)
boolean	matchGenericShape(SMGAbstractObject pOther)
boolean	matchSpecificShape(SMGAbstractObject pOther)
java.lang.String	toString()

Methods inherited from class cz.afri.smg.objects.SMGAbstractObject

concretise, isAbstract

Methods inherited from class cz.afri.smg.objects.SMGObject

getLabel, getNullObject, getSize, notNull

Methods inherited from class java.lang.Object

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

Constructor Detail

SMGSingleLinkedList

public SMGSingleLinkedList(SMGRegion pPrototype,
                           int pOffset,
                           int pLength)

SMGSingleLinkedList

public SMGSingleLinkedList(SMGSingleLinkedList pOriginal)

Method Detail

getLength

public int getLength()

getOffset

public int getOffset()

addLength

public int addLength(int pLen)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public void accept(SMGObjectVisitor visitor)

Specified by:

accept in class SMGObject

matchGenericShape

public boolean matchGenericShape(SMGAbstractObject pOther)

Specified by:

matchGenericShape in class SMGAbstractObject

matchSpecificShape

public boolean matchSpecificShape(SMGAbstractObject pOther)

Specified by:

matchSpecificShape in class SMGAbstractObject

createConcretisation

protected SMGConcretisation createConcretisation()

Specified by:

createConcretisation in class SMGAbstractObject

isMoreGeneral

public boolean isMoreGeneral(SMGObject pOther)

Specified by:

isMoreGeneral in class SMGObject

join

public SMGSingleLinkedList join(SMGObject pOther)

Specified by:

join in class SMGObject