cz.afri.smg.objects

Class SMGAbstractObject

java.lang.Object

cz.afri.smg.objects.SMGObject

cz.afri.smg.objects.SMGAbstractObject

Direct Known Subclasses:

DummyAbstraction, SimpleBinaryTree, SMGSingleLinkedList

public abstract class SMGAbstractObject
extends SMGObject

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SMGAbstractObject(int pSize, java.lang.String pLabel)
protected	SMGAbstractObject(SMGObject pPrototype)

Method Summary

Modifier and Type	Method and Description
java.util.HashSet<ReadableSMG>	concretise(ReadableSMG pSmg)
protected abstract SMGConcretisation	createConcretisation()
boolean	isAbstract()
abstract boolean	matchGenericShape(SMGAbstractObject pOther)
abstract boolean	matchSpecificShape(SMGAbstractObject pOther)

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

accept, getLabel, getNullObject, getSize, isMoreGeneral, join, notNull

Methods inherited from class java.lang.Object

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

Constructor Detail

SMGAbstractObject

protected SMGAbstractObject(int pSize,
                            java.lang.String pLabel)

SMGAbstractObject

protected SMGAbstractObject(SMGObject pPrototype)

Method Detail

isAbstract

public final boolean isAbstract()

Specified by:

isAbstract in class SMGObject

matchGenericShape

public abstract boolean matchGenericShape(SMGAbstractObject pOther)

matchSpecificShape

public abstract boolean matchSpecificShape(SMGAbstractObject pOther)

concretise

public final java.util.HashSet<ReadableSMG> concretise(ReadableSMG pSmg)

createConcretisation

protected abstract SMGConcretisation createConcretisation()