Package net.automatalib.ts.modal.transition

Class ProceduralModalEdgePropertyImpl

java.lang.Object

net.automatalib.ts.modal.transition.ModalEdgePropertyImpl

net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl

All Implemented Interfaces:

ModalEdgeProperty, MutableModalEdgeProperty, MutableProceduralModalEdgeProperty, ProceduralModalEdgeProperty

public class ProceduralModalEdgePropertyImpl
extends ModalEdgePropertyImpl
implements MutableProceduralModalEdgeProperty

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.ts.modal.transition.ModalEdgeProperty

ModalEdgeProperty.ModalType

Nested classes/interfaces inherited from interface net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty

ProceduralModalEdgeProperty.ProceduralType

Constructor Summary

Constructors

Constructor	Description
ProceduralModalEdgePropertyImpl(ProceduralModalEdgeProperty.ProceduralType proceduralType, ModalEdgeProperty.ModalType modalType)

Method Summary

Modifier and Type	Method	Description
boolean	equals(@Nullable Object o)
ProceduralModalEdgeProperty.ProceduralType	getProceduralType()
int	hashCode()
void	setProceduralType(ProceduralModalEdgeProperty.ProceduralType type)

Methods inherited from class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl

getModalType, setModalType

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.ts.modal.transition.ModalEdgeProperty

getModalType, isMayOnly, isMust

Methods inherited from interface net.automatalib.ts.modal.transition.MutableModalEdgeProperty

setMayOnly, setModalType, setMust

Methods inherited from interface net.automatalib.ts.modal.transition.MutableProceduralModalEdgeProperty

setInternal, setProcess

Methods inherited from interface net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty

isInternal, isProcess

Constructor Detail

ProceduralModalEdgePropertyImpl

public ProceduralModalEdgePropertyImpl(ProceduralModalEdgeProperty.ProceduralType proceduralType,
                                       ModalEdgeProperty.ModalType modalType)

Method Detail

getProceduralType

public ProceduralModalEdgeProperty.ProceduralType getProceduralType()

Specified by:

getProceduralType in interface ProceduralModalEdgeProperty

setProceduralType

public void setProceduralType(ProceduralModalEdgeProperty.ProceduralType type)

Specified by:

setProceduralType in interface MutableProceduralModalEdgeProperty

equals

public boolean equals(@Nullable Object o)

Overrides:

equals in class ModalEdgePropertyImpl

hashCode

public int hashCode()

Overrides:

hashCode in class ModalEdgePropertyImpl