cz.afri.smg.objects

Class DummyAbstraction

java.lang.Object

cz.afri.smg.objects.SMGObject

cz.afri.smg.objects.SMGAbstractObject

cz.afri.smg.objects.DummyAbstraction

public class DummyAbstraction
extends SMGAbstractObject

Constructor Summary

Constructors

Constructor and Description
DummyAbstraction(SMGObject pPrototype)

Method Summary

Modifier and Type	Method and Description
void	accept(SMGObjectVisitor pVisitor)
protected SMGConcretisation	createConcretisation()
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

DummyAbstraction

public DummyAbstraction(SMGObject pPrototype)

Method Detail

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