cz.afri.smg.objects.tree

Class SimpleBinaryTree

java.lang.Object

cz.afri.smg.objects.SMGObject

cz.afri.smg.objects.SMGAbstractObject

cz.afri.smg.objects.tree.SimpleBinaryTree

public class SimpleBinaryTree
extends SMGAbstractObject

Constructor Summary

Constructors

Constructor and Description
SimpleBinaryTree(SMGRegion pPrototype, int lOffset, int rOffset, int pDepth)

Method Summary

Modifier and Type	Method and Description
void	accept(SMGObjectVisitor pVisitor)
protected SMGConcretisation	createConcretisation()
int	getDepth()
boolean	isMoreGeneral(SMGObject pOther)
SMGObject	join(SMGObject pOther)
boolean	matchGenericShape(SMGAbstractObject pOther)
boolean	matchSpecificShape(SMGAbstractObject pOther)

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, toString, wait, wait, wait

Constructor Detail

SimpleBinaryTree

public SimpleBinaryTree(SMGRegion pPrototype,
                        int lOffset,
                        int rOffset,
                        int pDepth)

Method Detail

getDepth

public final int getDepth()

matchGenericShape

public final boolean matchGenericShape(SMGAbstractObject pOther)

Specified by:

matchGenericShape in class SMGAbstractObject

matchSpecificShape

public final boolean matchSpecificShape(SMGAbstractObject pOther)

Specified by:

matchSpecificShape in class SMGAbstractObject

createConcretisation

protected final SMGConcretisation createConcretisation()

Specified by:

createConcretisation in class SMGAbstractObject

accept

public final void accept(SMGObjectVisitor pVisitor)

Specified by:

accept in class SMGObject

isMoreGeneral

public final boolean isMoreGeneral(SMGObject pOther)

Specified by:

isMoreGeneral in class SMGObject

join

public final SMGObject join(SMGObject pOther)

Specified by:

join in class SMGObject